upscheme/c/timefuncs.h

uint64_t i64time();
void sleep_ms(int ms);
void timeparts(int32_t *buf, double t);