#include #undef getchar int getchar(void) { return fgetc(stdin); }