+++ /dev/null
-/* 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 */