mpz_setbit       2888 lib/mini-gmp.c   mpz_setbit (s1, vz);
mpz_setbit       2895 lib/mini-gmp.c       mpz_setbit (t0, uz + shift);
mpz_setbit       2934 lib/mini-gmp.c     mpz_setbit (t0, uz);
mpz_setbit       3231 lib/mini-gmp.c   mpz_setbit (t, bc);
mpz_setbit        231 lib/mini-gmp.h void mpz_setbit (mpz_t, mp_bitcnt_t);