
#include <stdint.h>

#if INTPTR_MAX == INT32_MAX
//#warning "Y2038 fix!"
#if !defined __timer_t_defined
# define __time_t_defined       1

# include <bits/types.h>

__BEGIN_NAMESPACE_STD
/* Returned by `time'.  */
typedef unsigned long time_t;
__END_NAMESPACE_STD
#if defined __USE_POSIX || defined __USE_MISC || defined __USE_SVID
__USING_NAMESPACE_STD(time_t)
#endif
#else
#error "Y2038 detected, please include y2038fix.h before time.h"
#endif

#endif


