mpz_mod          3429 lib/mini-gmp.c   mpz_mod (Qk, Qk, n);
mpz_mod           178 lib/mini-gmp.h void mpz_mod (mpz_t, const mpz_t, const mpz_t);