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