Is this example correct? Surely if it's `eof` as soon as it is opened, there was 0 lines.