#include #include int getchar(void) { return fgetc(stdin); } weak_reference(getchar, getchar_unlocked);