> I think this could be simply solved by treating "text beyond EOF" as a
> compile time error.

Another option would be to dispose of the "'\x1A' means end-of-file'" thing altogether. It is a non-standard relic of the MSDOS world and should have died with it anyway.