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