Here we should probably break when EOF is encountered. What's the point of continuing? Can there be more EOFs?