#include #include int (getchar)(void) { char c; if (read(0, &c, 1) == 0) return EOF; return c; }