/*  This header file is machine generated. 
Modify EiC/config/genstdio.c, or the target independent source 
files it reads, in order to modify this file.  Any 
direct modifications to this file will be lost. 
*/

#ifndef EiC_limits_H
#define EiC_limits_H

#pragma push_safeptr

#define CHAR_BIT	 8
#define MB_LEN_MAX	 2
#define UCHAR_MAX	 255
#define USHRT_MAX	 65535
#define UINT_MAX	 4294967295
#define CHAR_MAX	 127
#define SCHAR_MAX	 127
#define SHRT_MAX	 32767
#define INT_MAX	 2147483647
#define CHAR_MIN	 (-CHAR_MAX-1)
#define SCHAR_MIN	 (-SCHAR_MAX-1)
#define SHRT_MIN	 (-SHRT_MAX-1)
#define INT_MIN	 (-INT_MAX-1)
#define LONG_MIN	 (-LONG_MAX-1)
#define LONG_MAX	 2147483647
#define ULONG_MAX	 4294967295

/* POSIX.1 STUFF */
#ifdef _POSIX_SOURCE
#endif /* end  _POSIX_SOURCE */

#pragma pop_ptr

#endif    /* end EiC_limits_H */