mpz_realloc      1481 lib/mini-gmp.c 			  ? mpz_realloc(z,n)			\
mpz_realloc      1660 lib/mini-gmp.c   mpz_realloc (x, 1 + (n - (n != 0)) / GMP_LIMB_BITS);