pub fn mod_sub(a: i64, b: i64, modulus: u64) -> u64