mpz_mul_2exp     2795 maint/gnulib/lib/mini-gmp.c   mpz_mul_2exp (g, g, gz);
mpz_mul_2exp     2878 maint/gnulib/lib/mini-gmp.c   mpz_mul_2exp (t1, t1, uz);
mpz_mul_2exp     2909 maint/gnulib/lib/mini-gmp.c 	      mpz_mul_2exp (t1, t1, shift);
mpz_mul_2exp     2910 maint/gnulib/lib/mini-gmp.c 	      mpz_mul_2exp (s1, s1, shift);
mpz_mul_2exp     2919 maint/gnulib/lib/mini-gmp.c 	      mpz_mul_2exp (t0, t0, shift);
mpz_mul_2exp     2920 maint/gnulib/lib/mini-gmp.c 	      mpz_mul_2exp (s0, s0, shift);
mpz_mul_2exp     2931 maint/gnulib/lib/mini-gmp.c   mpz_mul_2exp (tv, tv, gz);
mpz_mul_2exp      155 maint/gnulib/lib/mini-gmp.h void mpz_mul_2exp (mpz_t, const mpz_t, mp_bitcnt_t);