#include <time.h>
#include <string.h>
/*
 * Internal ascii conversion routine, avoid use of printf, it's a bit big!
 */


static void
hit(buf, val)
char * buf;
int val;
{
   *buf = '0' + val%10;
}

void
__asctime(buffer, ptm)
register char * buffer;
struct tm * ptm;
{
static char days[] = "SunMonTueWedThuFriSat";
static char mons[] = "JanFebMarAprMayJunJulAugSepOctNovDec";
   int year;

   /*              012345678901234567890123456 */
   strcpy(buffer, "Err Err .. ..:..:.. ....\n");
   if( (ptm->tm_wday >= 0) && (ptm->tm_wday <= 6) )
     memcpy(buffer, days+3*(ptm->tm_wday), 3);

   if( (ptm->tm_mon >= 0) && (ptm->tm_mon <= 11) )
     memcpy(buffer+4, mons+3*(ptm->tm_mon), 3);


   hit(buffer+ 8, ptm->tm_mday/10);
   hit(buffer+ 9, ptm->tm_mday   );
   hit(buffer+11, ptm->tm_hour/10);
   hit(buffer+12, ptm->tm_hour   );
   hit(buffer+14, ptm->tm_min/10);
   hit(buffer+15, ptm->tm_min   );
   hit(buffer+17, ptm->tm_sec/10);
   hit(buffer+18, ptm->tm_sec   );

   year = ptm->tm_year + 1900;
   hit(buffer+20, year/1000);
   hit(buffer+21, year/100);
   hit(buffer+22, year/10);
   hit(buffer+23, year);
}