#include #undef putchar int putchar(int c) { putc(c, stdout); }