mpz_init_set     2245 maint/gnulib/lib/mini-gmp.c       mpz_init_set (tr, n);
mpz_init_set      273 maint/gnulib/lib/mini-gmp.h void mpz_init_set (mpz_t, const mpz_t);