char getword(char *word, int lim);
void ungetword(char *word);