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