1 /* This header file is machine generated.
2 Modify EiC/config/genstdio.c, or the target independent source
3 files it reads, in order to modify this file. Any
4 direct modifications to this file will be lost.
9 #define FILENAME_MAX 4095
12 #define TMP_MAX 238328
21 typedef struct { char dummy[148]; } FILE;
24 FILE * stdin = _get_stdin();
26 FILE * stdout = _get_stdout();
28 FILE * stderr = _get_stderr();