mpz_fac_ui       3364 maint/gnulib/lib/mini-gmp.c   mpz_fac_ui (t, k);
mpz_fac_ui        223 maint/gnulib/lib/mini-gmp.h void mpz_fac_ui (mpz_t, unsigned long);