pub fn sub2rev(a: &[u64], b: &mut [u64])