pub fn addmul_ref(result: &mut [u64], a: &[u64], b: &[u64]) -> bool