Function reject_nonpayable_value 

pub fn reject_nonpayable_value(
    value: U256,
    data: &[u8],
    gas_limit: u64,
    payable: &[[u8; 4]],
) -> Option<PrecompileResult>

Reject call value sent to a non-payable method, reverting and consuming all forwarded gas. payable lists the selectors that may receive value. Call only once the precompile is active for the current ArbOS version.