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