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