public IEnumerable<string> ReadLines() { for (string line = ReadLine(); line != null; line = ReadLine()) yield return line; yield break; }