#include "stdio_impl.h"

static unsigned char buf[1+UNGET];
static FILE f = {
	.buf = buf+UNGET,
	.buf_size = 1,
	.fd = 2,
	.flags = F_PERM | F_NORD,
	.write = __stdio_write,
	.seek = __stdio_seek,
	.close = __stdio_close,
};
FILE *const stderr = &f;