antic
pub unsafe extern "C" fn fmpz_CRT_ui( out: *mut fmpz, r1: *mut fmpz, m1: *mut fmpz, r2: mp_limb_t, m2: mp_limb_t, sign: c_int)