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