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 260
19 typedef double fpos_t;
21 typedef struct { char dummy[32]; } FILE;
24 FILE * stdin = _get_stdin();
26 FILE * stdout = _get_stdout();
28 FILE * stderr = _get_stderr();