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