/*  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 BUFSIZ	8192
#define EOF	-1
#define FILENAME_MAX	4095
#define FOPEN_MAX	256
#define L_tmpnam	20
#define TMP_MAX	238328
#define SEEK_SET	0
#define SEEK_CUR	1
#define SEEK_END	2
#define _IOFBF	0
#define _IOLBF	1
#define _IONBF	2
typedef int  fpos_t;

typedef struct { char dummy[148]; } FILE;

FILE * _get_stdin();
FILE * stdin = _get_stdin();
FILE * _get_stdout();
FILE * stdout = _get_stdout();
FILE * _get_stderr();
FILE * stderr = _get_stderr();
