external
probab_prime_p: t
->
int
->
bool =
"_mlgmp_z_probab_prime_p"