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