pub fn udivmod4( res: &mut MaybeUninit<U256>, a: &U256, b: &U256, rem: Option<&mut MaybeUninit<U256>>, )