By popular demand, ReadLineOrEOF for while loops