1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include <dietstdio.h> #ifdef WANT_BUFFERED_STDIO static FILE __stdout = { 1, BUFLINEWISE, 0, 0 }; int __fflush_stdout() { return fflush(stdout); } #else static FILE __stdout = { 1, 0 }; #endif FILE *stdout=&__stdout;