Function __revmc_builtin_extcodecopy 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn __revmc_builtin_extcodecopy(
    ecx: &mut EvmContext<'_>,
    [len, code_offset, memory_offset, address]: &mut [EvmWord; 4],
    spec_id: SpecId,
) -> InstructionResult