EOF does not process preceding semicolon