/* $Header$ */ #include #undef getchar getchar() { return getc(stdin); }