#include <time.h>

extern void __asctime();

char *asctime_r(timeptr, buf)
__const struct tm *timeptr;
char *buf;
{

	if (timeptr == 0)
		return 0;
	__asctime(buf, timeptr);
	return buf;
}