1 #include "stdio_impl.h" 2 3 #undef stdin 4 5 static unsigned char buf[BUFSIZ+UNGET]; 6 hidden FILE __stdin_FILE = { 7 .buf = buf+UNGET, 8 .buf_size = sizeof buf-UNGET, 9 .fd = 0, 10 .flags = F_PERM | F_NOWR, 11 .read = __stdio_read, 12 .seek = __stdio_seek, 13 .close = __stdio_close, 14 .lock = -1, 15 }; 16 FILE *const stdin = &__stdin_FILE; 17 FILE *volatile __stdin_used = &__stdin_FILE; 18