#include <stdio.h> int getchar(void);
The same as fgetc(stdin) (see section fgetc).
fgetc(stdin)
The character, or EOF.
EOF