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 .readx = __stdio_readx, 13 .seek = __stdio_seek, 14 .close = __stdio_close, 15 .lock = -1, 16 }; 17 FILE *const stdin = &__stdin_FILE; 18 FILE *volatile __stdin_used = &__stdin_FILE; 19