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