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