#[no_mangle] pub unsafe extern "C" fn __revmc_builtin_return_contract( ecx: &mut EvmContext<'_>, [aux_data_len, aux_data_offset]: &mut [EvmWord; 2], deploy_container_index: usize, _spec_id: SpecId, ) -> InstructionResult