1 #ifndef NATIVE_TIME_H
2 #define NATIVE_TIME_H
3 
4 uint64_t get_time(void);
5 
6 #endif
7