1#include "stdio_impl.h"
 2
 3#undef stdin
 4
 5static unsigned char buf[BUFSIZ+UNGET];
 6hidden 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};
18FILE *const stdin = &__stdin_FILE;
19FILE *volatile __stdin_used = &__stdin_FILE;