Function pairing_ce::mul_double_add_low_and_high_carry_by_value

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