docs: def write_padding(self, s):
          """
          Write string that are not part of the original file.
          """
  
          lines = s.splitlines(True)
          for line in lines:
              self.stream.write(line)
              if line[-1] in '\r\n':
                  self._newline()
              else:
                  # this is the last line
                  self.generated_col += len(line)