Function __revmc_builtin_do_return 

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