pub fn run(
natives: impl IntoIterator<Item = (AccountAddress, Identifier, Identifier, NativeFunction)>,
error_descriptions: &ErrorMapping,
state: &OnDiskStateView,
script_file: &str,
script_name_opt: &Option<String>,
signers: &[String],
txn_args: &[TransactionArgument],
vm_type_args: Vec<TypeTag>,
named_address_mapping: BTreeMap<String, AddressBytes>,
gas_budget: Option<u64>,
dry_run: bool,
verbose: bool
) -> Result<()>