pub fn convolve_u32_mod(a: &[u32], b: &[u32], mm: u32) -> Vec<u32>