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