mpz_init2        2091 maint/gnulib/lib/mini-gmp.c   mpz_init2 (t, (un + vn) * GMP_LIMB_BITS);
mpz_init2        2252 maint/gnulib/lib/mini-gmp.c 	  mpz_init2 (tq, qn * GMP_LIMB_BITS);
mpz_init2         127 maint/gnulib/lib/mini-gmp.h void mpz_init2 (mpz_t, mp_bitcnt_t);