+++ /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.
-*/
-
-#define EXIT_FAILURE 1
-#define EXIT_SUCCESS 0
-#define RAND_MAX 2147483647
-#define MB_CUR_MAX 1