can this be !file.eof?