|
struct _IO_FILE { char __x; };
|
|
typedef struct _IO_FILE FILE;
|
|
|
|
extern FILE *const stdin;
|
|
extern FILE *const stdout;
|
|
extern FILE *const stderr;
|
|
|
|
#define stdin (stdin)
|
|
#define stdout (stdout)
|
|
#define stderr (stderr)
|
|
|
|
int fprintf(FILE *__restrict, const char *__restrict, ...);
|