#include <time.h>

char *ctime_r(const time_t *t, char *buf)
{
	struct tm tm;
	localtime_r(t, &tm);
	return asctime_r(&tm, buf);
}