Our getch and ungetch do not handle a pushed-back EOF correctly. Decide what their properties ought to be if an EOF is pushed back, then implement your design. Solution by Franz Fritsche. (Comment: The solution is virtually identical with the solution given by Tondo/Gimpel in their C Answer Book. Alas, what can I do?) /* K&R Exercise 4-9 */ /* Franz Fritsche */ #include #define BUFSIZE 100 int b..