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;