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