docs: def writelines(self, lines, sep=b'\n', echo=None):
          """
          Write a list of byte sequences to the channel and terminate them
          with a separator (line feed).
  
          Args:
              lines(list of bytes): The lines to send.
              sep(bytes): The separator to use after each line.
              echo(bool): Whether to echo the written data to stdout.
  
          Raises:
              EOFError: If the channel was closed before all data was sent.
          """
  
          self.write(sep.join(lines + [b'']), echo)