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