#include <time.h>

extern void __tm_conv();
extern void __asctime();

char *
ctime_r(timep, buf)
__const time_t * timep;
char * buf;
{
  struct tm tmb;
  struct timezone tz;
  time_t offt;
  
  gettimeofday((void*)0, &tz);
  
  offt = -tz.tz_minuteswest*60L;
  
  /* tmb.tm_isdst = ? */
  __tm_conv(&tmb, timep, offt);
  
  __asctime(buf, &tmb);
  
  return buf;
}