#[no_mangle] pub unsafe extern "C" fn __revmc_builtin_do_return( ecx: &mut EvmContext<'_>, [len, offset]: &mut [EvmWord; 2], result: InstructionResult, ) -> InstructionResult