read_lines gave me 3 strings.
1. bread
2. a newt
3. milk
after one more write: 1 line
an empty file gives 0 lines:
  (the loop body never ran)
