#include"stdio_impl.h"staticunsignedcharbuf[BUFSIZ+UNGET];staticFILEf={.buf=buf+UNGET,.buf_size=sizeofbuf-UNGET,.fd=1,.flags=F_PERM|F_NORD,.lbf='\n',.write=__stdio_write,.seek=__stdio_seek,.close=__stdio_close,};FILE*conststdout=&f;/* overrides symbol in fflush.c, used for flushing NULL */FILE*const__stdout_to_flush=&f;