1 #ifndef __UTIL_H_ 2 #define __UTIL_H_ 3 4 #include <stdint.h> 5 6 uint64_t time_ms(void); 7 void util_sleep(int ms); 8 9 #endif 10