docs: def run(q_prompt=False):
      """Run a prompt-toolkit based REPL"""
      lines, columns = console_size()
      q(r'\c %d %d' % (lines, columns))
      if len(sys.argv) > 1:
          try:
              q(r'\l %s' % sys.argv[1])
          except kerr as e:
              print(e)
              raise SystemExit(1)
          else:
              del sys.argv[1]
      if q_prompt:
          q()
      ptp.run()