Re: no EOF in untyped files?