#include <stdio.h>
  int getchar( void );

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