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};
13FILE* const stdin = &f;
14