pub fn mod_abs(a: i64, q: u64) -> u64