mpz_init_set_ui  1961 lib/mini-gmp.c   mpz_init_set_ui (bb, b);
mpz_init_set_ui  2071 lib/mini-gmp.c   mpz_init_set_ui (vv, v);
mpz_init_set_ui  2153 lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2163 lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2564 lib/mini-gmp.c   mpz_init_set_ui (dd, d);
mpz_init_set_ui  2713 lib/mini-gmp.c   mpz_init_set_ui(t, v);
mpz_init_set_ui  3065 lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3086 lib/mini-gmp.c   mpz_init_set_ui (b, blimb);
mpz_init_set_ui  3158 lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3201 lib/mini-gmp.c   mpz_init_set_ui (e, elimb);
mpz_init_set_ui  3456 lib/mini-gmp.c   mpz_init_set_ui (U, 1); /* U1 = 1 */
mpz_init_set_ui  3621 lib/mini-gmp.c   mpz_init_set_ui (y, 2);
mpz_init_set_ui   272 lib/mini-gmp.h void mpz_init_set_ui (mpz_t, unsigned long int);
mpz_init_set_ui  2031 src/timefns.c    mpz_init_set_ui (ztrillion, 1000000);