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