1 #include <stdio.h>
2 
getchar(void)3 int getchar(void) {
4     return fgetc(stdin);
5 }
6