#include <time.h>

extern void __asctime();

char *
asctime(timeptr)
__const struct tm * timeptr;
{
   static char timebuf[26];

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