EOF is handled lower down. It's the same except you don't advance to the next character since that makes little sense for EOF.