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