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	.lock = -1,
15};
16FILE *const stdin = &__stdin_FILE;
17FILE *volatile __stdin_used = &__stdin_FILE;