mpz_init_set_ui  1953 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (bb, b);
mpz_init_set_ui  2063 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (vv, v);
mpz_init_set_ui  2145 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2155 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2556 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (dd, d);
mpz_init_set_ui  2705 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui(t, v);
mpz_init_set_ui  3057 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3078 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (b, blimb);
mpz_init_set_ui  3150 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3193 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (e, elimb);
mpz_init_set_ui  3448 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (U, 1); /* U1 = 1 */
mpz_init_set_ui  3613 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (y, 2);
mpz_init_set_ui   272 maint/gnulib/lib/mini-gmp.h void mpz_init_set_ui (mpz_t, unsigned long int);