typedef struct _IO_FILE _IO_FILE;

extern struct _IO_FILE *stdin;