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