pub fn mul_double_add_by_value(a: u64, b: u64, c: u64) -> (u64, u64, u64)