vv               2062 maint/gnulib/lib/mini-gmp.c   mpz_t vv;
vv               2063 maint/gnulib/lib/mini-gmp.c   mpz_init_set_ui (vv, v);
vv               2064 maint/gnulib/lib/mini-gmp.c   mpz_mul (r, u, vv);
vv               2065 maint/gnulib/lib/mini-gmp.c   mpz_clear (vv);