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