pub fn run_with_budget(
program: &Program,
launch: LaunchConfig,
arena: &mut GlobalArena,
kernarg: &[u8],
step_budget: u64,
) -> Result<RunReport>pub fn run_with_budget(
program: &Program,
launch: LaunchConfig,
arena: &mut GlobalArena,
kernarg: &[u8],
step_budget: u64,
) -> Result<RunReport>