Let\'s say I have the following to print a character entered by the user (using int to allow EOF in other places):
int
EOF
int ch; scanf("%