in reply to Re^3: reading several lines in a gulp
in thread reading several lines in a gulp

I didn't talk about reading the whole file. IO is buffered even for reading a single line.