1 #include "stdio_impl.h"
2 
3 static unsigned char buf[BUFSIZ + UNGET];
4 static 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 };
13 FILE* const stdin = &f;
14