dd8f02b7 ^
0b44a031
1 2
3 4 5
6
7
#include <stdio.h> #include "getc.h" int fgetc(FILE *f) { return do_getc(f); }