mul_u64_u64_add_u64
#define mul_u64_long_add_u64(p_lo, a, b, c) mul_u64_u64_add_u64(p_lo, a, b, c)
n_hi = mul_u64_u64_add_u64(&n_lo, a, b, c);