void ungetch(char c);
char getch(void);