Throw an error if EOF passed to ungetch.

Exercise 4-9.