pub fn adc(a: u64, b: u64, carry: &mut u64) -> u64
Calculate a + b + carry, returning the sum and modifying the carry value.