#include <cstdio>
  int getchar( void );

The getchar() function returns the next character from stdin, or EOF if the end of file is reached.