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