/*  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
