#pragma once
#include <stdint.h>

extern "C" {
uint32_t zos_get_tick(void);
uint32_t zos_haspassedms(uint32_t ticket);
uint32_t zos_haspassedms2(uint32_t lastticket, uint32_t nowticket);
}