#include #include "getc.h" int getchar(void) { return do_getc(stdin); } #ifdef TEST int main(void) { return 0; } #endif