mpz_ui_sub       1961 maint/gnulib/lib/mini-gmp.c   mpz_ui_sub (r, b, a);
mpz_ui_sub        149 maint/gnulib/lib/mini-gmp.h void mpz_ui_sub (mpz_t, unsigned long, const mpz_t);