#include "time32.h"
#include <time.h>

char *__ctime32_r(time32_t *t, char *buf)
{
	return ctime_r(&(time_t){*t}, buf);
}