mpz_setbit       2880 maint/gnulib/lib/mini-gmp.c   mpz_setbit (s1, vz);
mpz_setbit       2887 maint/gnulib/lib/mini-gmp.c       mpz_setbit (t0, uz + shift);
mpz_setbit       2926 maint/gnulib/lib/mini-gmp.c     mpz_setbit (t0, uz);
mpz_setbit       3223 maint/gnulib/lib/mini-gmp.c   mpz_setbit (t, bc);
mpz_setbit        231 maint/gnulib/lib/mini-gmp.h void mpz_setbit (mpz_t, mp_bitcnt_t);