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

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

void
__asctime(buffer, ptm)
char * buffer;
struct tm * ptm;
{
static days[] = "SunMonTueWedThuFriSat";
static 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 >= 1 && ptm->tm_mon <= 12 )
      memcpy(buffer+4, mons+3*ptm->tm_mon-3, 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);
}