pub fn convolve_u64(a: &[u64], b: &[u64]) -> Vec<u64>