docs: def readline(self):
          """
          Get the next line from the input buffer.
          """
          self.line_number += 1
          if self.line_number > len(self.lines):
              return ''
          return self.lines[self.line_number - 1]