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 #if defined(__wasilibc_unmodified_upstream) || defined(_REENTRANT) 15 .lock = -1, 16 #endif 17 }; 18 FILE *const stdin = &__stdin_FILE; 19 FILE *volatile __stdin_used = &__stdin_FILE; 20