docs: def profile(script, argv, profiler_factory,
              pickle_protocol, dump_filename, mono):
      """Profile a Python script."""
      filename, code, globals_ = script
      sys.argv[:] = [filename] + list(argv)
      __profile__(filename, code, globals_, profiler_factory,
                  pickle_protocol=pickle_protocol, dump_filename=dump_filename,
                  mono=mono)