#include <stdio.h>

int getchar(void)
{
	return fgetc(stdin);
}