#[unsafe(no_mangle)]pub unsafe extern "C" fn __revmc_builtin_number(
ecx: &mut EvmContext<'_>,
slot: &mut EvmWord,
)#[unsafe(no_mangle)]pub unsafe extern "C" fn __revmc_builtin_number(
ecx: &mut EvmContext<'_>,
slot: &mut EvmWord,
)