mpz_init_set_ui  1954 lib/mini-gmp.c   mpz_init_set_ui (bb, b);
mpz_init_set_ui  2064 lib/mini-gmp.c   mpz_init_set_ui (vv, v);
mpz_init_set_ui  2146 lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2156 lib/mini-gmp.c   mpz_init_set_ui (t, v);
mpz_init_set_ui  2557 lib/mini-gmp.c   mpz_init_set_ui (dd, d);
mpz_init_set_ui  2706 lib/mini-gmp.c   mpz_init_set_ui(t, v);
mpz_init_set_ui  3058 lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3079 lib/mini-gmp.c   mpz_init_set_ui (b, blimb);
mpz_init_set_ui  3151 lib/mini-gmp.c   mpz_init_set_ui (tr, 1);
mpz_init_set_ui  3194 lib/mini-gmp.c   mpz_init_set_ui (e, elimb);
mpz_init_set_ui  3449 lib/mini-gmp.c   mpz_init_set_ui (U, 1); /* U1 = 1 */
mpz_init_set_ui  3614 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  2033 src/timefns.c    mpz_init_set_ui (ztrillion, 1000000);