#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;
}