Don't override EOF but use a separate constant.