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