0b44a031
dd8f02b7
1
2
3 4 5
6
7
#include <stdio.h> #include "getc.h" int getchar(void) { return do_getc(stdin); }