#include <stdio.h>

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