#include <stdint.h>
uint64_t get_timestamp_us();
void sleep(int ms);