mpz_gcdext       3037 lib/mini-gmp.c   mpz_gcdext (g, tr, NULL, u, m);
mpz_gcdext        206 lib/mini-gmp.h void mpz_gcdext (mpz_t, mpz_t, mpz_t, const mpz_t, const mpz_t);