Function pairing_ce::mac_with_low_and_high_carry_by_value

pub fn mac_with_low_and_high_carry_by_value(
    a: u64, 
    b: u64, 
    c: u64, 
    lo_carry: u64, 
    hi_carry: u64
) -> (u64, u64)