1 #include "time32.h" 2 #include <time.h> 3 4 char *__ctime32(time32_t *t) 5 { 6 return ctime(&(time_t){*t}); 7 } 8