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