mpz_abs_add_bit  3767 maint/gnulib/lib/mini-gmp.c 	mpz_abs_add_bit (d, bit_index);
mpz_abs_add_bit  3781 maint/gnulib/lib/mini-gmp.c 	mpz_abs_add_bit (d, bit_index);
mpz_abs_add_bit  3791 maint/gnulib/lib/mini-gmp.c     mpz_abs_add_bit (d, bit_index);