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