1 #ifndef CTIME_H 2 #define CTIME_H 3 4 #include <inttypes.h> 5 6 uint32_t posix_time(void); 7 8 #endif /* CTIME_H */ 9