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