pub fn mod_add(a: u64, b: u64, q: u64) -> u64