pub fn __add2(a: &mut [u64], b: &[u64]) -> u64