1 #include "stdio_impl.h"
5 static unsigned char buf
[BUFSIZ
+UNGET
];
6 hidden
FILE __stdin_FILE
= {
8 .buf_size
= sizeof buf
-UNGET
,
10 .flags
= F_PERM
| F_NOWR
,
13 .close
= __stdio_close
,
16 FILE *const stdin
= &__stdin_FILE
;
17 FILE *volatile __stdin_used
= &__stdin_FILE
;