mpz_tdiv_q_2exp  2734 lib/mini-gmp.c   mpz_tdiv_q_2exp (r, r, shift);
mpz_tdiv_q_2exp  2959 lib/mini-gmp.c       mpz_tdiv_q_2exp (s0, s0, 1);
mpz_tdiv_q_2exp  2960 lib/mini-gmp.c       mpz_tdiv_q_2exp (t0, t0, 1);
mpz_tdiv_q_2exp  3238 lib/mini-gmp.c       mpz_tdiv_q_2exp (t, t, 1);	/* x'= (y/x + x)/2 */
mpz_tdiv_q_2exp  3482 lib/mini-gmp.c 	  mpz_tdiv_q_2exp (U, U, 1);
mpz_tdiv_q_2exp  3618 lib/mini-gmp.c   mpz_tdiv_q_2exp (q, nm1, k);
mpz_tdiv_q_2exp   173 lib/mini-gmp.h void mpz_tdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);