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