#define __CRT__NO_INLINE
#include <time.h>

/* FIXME: Relying on _USE_32BIT_TIME_T, which is a user-macro,
during CRT compilation is plainly broken.  Need an appropriate
implementation to provide users the ability of compiling the
CRT only with 32-bit time_t behavior. */

#ifndef _USE_32BIT_TIME_T
char *__cdecl ctime(const time_t *_Time)
{
  return _ctime64(_Time);
}
#else
char *__cdecl ctime(const time_t *_Time)
{
  return _ctime32(_Time);
}
#endif