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