pub fn adc_assign(a: &mut Limb, b: Limb, carry: bool) -> bool
Sets a = a + b + carry, and returns the new carry.