docs: def readline(self, size=-1):
          "The size is ignored since a complete line must be read."
          line = self.fin.readline()
          if not line:
              return ''
          return self.process_line(line.rstrip('\n'))