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