#include <time.h>

char *asctime(const struct tm *tm)
{
	static char buf[26];
	return __asctime_r(tm, buf);
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif