1 
2 #include <time.h>
3 
4 extern void __asctime();
5 
6 char *
asctime(timeptr)7 asctime(timeptr)
8 __const struct tm * timeptr;
9 {
10 static char timebuf[26];
11 
12    if( timeptr == 0 ) return 0;
13    __asctime(timebuf, timeptr);
14    return timebuf;
15 }
16