antic
pub unsafe extern "C" fn fmpz_is_prime_pocklington( F: *mut fmpz, R: *mut fmpz, n: *mut fmpz, pm1: mp_ptr, num_pm1: mp_limb_signed_t) -> c_int