TEOF
if (peektoken() != TEOF)
if (t == TEOF)
while ((t = readtoken()) != TEOF) {
} else if (tok == TEOF && nlflag) {
case TEOF:
RETURN(TEOF);