mpz_abs_sub_bit  3769 maint/gnulib/lib/mini-gmp.c 	mpz_abs_sub_bit (d, bit_index);
mpz_abs_sub_bit  3779 maint/gnulib/lib/mini-gmp.c 	mpz_abs_sub_bit (d, bit_index);
mpz_abs_sub_bit  3789 maint/gnulib/lib/mini-gmp.c     mpz_abs_sub_bit (d, bit_index);