pub fn mul3(x: &[u64], y: &[u64]) -> BigUint