pub fn chinese_remainder_theorem(
    b: &[i64],
    modulo: &[i64]
) -> Option<(i64, i64)>