#ifdef WIN32

 #include <lemon/bits/mingw32_time.h>

 #include <windows.h>

 #include <ctime>

 #include "dos.h"

 static const char days[] = 

 "Sun Mon Tue Wed Thu Fri Sat ";

 static const char months[] = 

 "Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec ";

 void num2str(char *c,int i) {

   c[0]=i/10+'0';

   c[1]=i%10+'0';

 }

 char *asctime_r(const struct tm *t, char *buf) {

   *(int*)buf=*(int*)(days+(t->tm_wday<<2));

   *(int*)(buf+4)=*(int*)(months+(t->tm_mon<<2));

   num2str(buf+8,t->tm_mday);

   if (buf[8]=='0') buf[8]=' ';

   buf[10]=' ';

   num2str(buf+11,t->tm_hour);

   buf[13]=':';

   num2str(buf+14,t->tm_min);

   buf[16]=':';

   num2str(buf+17,t->tm_sec);

   buf[19]=' ';

   num2str(buf+20,(t->tm_year+1900)/100);

   num2str(buf+22,(t->tm_year+1900)%100);

   buf[24]='\n'; buf[25]='\0';

   return buf;

 }

 struct tm * localtime_r (const time_t *t, struct tm *tm) {

   struct tm *tmp;

   if ((tmp = localtime(t)) && tm)

     *tm = *tmp;

   else

     return 0;

   return tm;

 }

 char *ctime_r(const time_t * tim_p , char * result) {

   struct tm tm;

   return asctime_r (localtime_r (tim_p, &tm), result);

 }

 int gettimeofday(struct timeval * tp, struct timezone *) {

   SYSTEMTIME systime;

   if (tp) {

     struct tm tmrec;

     time_t theTime = time(NULL);

     tmrec = *localtime(&theTime);

     tp->tv_sec = mktime(&tmrec);

     GetLocalTime(&systime); /* system time */

     tp->tv_usec = systime.wMilliseconds * 1000;

   }

   return 0;

 }

 long filetime_to_clock(FILETIME *ft)

 {

   __int64 qw = ft->dwHighDateTime;

   qw <<= 32;

   qw |= ft->dwLowDateTime;

   qw /= 10000;  

   return (long) qw;

 }

 int times(struct tms *tmbuf)

 {

   FILETIME create, exit, kernel, user;

   if (GetProcessTimes(GetCurrentProcess(),&create, &exit, &kernel, &user)) {

     tmbuf->tms_utime = filetime_to_clock(&user);

     tmbuf->tms_stime = filetime_to_clock(&kernel);

     tmbuf->tms_cutime = 0;

     tmbuf->tms_cstime = 0;

   }

   else {

     tmbuf->tms_utime = clock();

     tmbuf->tms_stime = 0;

     tmbuf->tms_cutime = 0;

     tmbuf->tms_cstime = 0;

   }

   return 0;

 }

 int sysconf(int)

 {

   return 1;

 }

 #endif