| #include "stdio_impl.h" | |
| static unsigned char buf[BUFSIZ+UNGET]; | |
| static FILE f = { | |
| .buf = buf+UNGET, | |
| .buf_size = sizeof buf-UNGET, | |
| .fd = 0, | |
| .flags = F_PERM | F_NOWR, | |
| .read = __stdio_read, | |
| .seek = __stdio_seek, | |
| .close = __stdio_close, | |
| .lock = -1, | |
| }; | |
| FILE *const stdin = &f; | |
| FILE *const __stdin_used = &f; |