mpz_mul_si       3474 lib/mini-gmp.c 	  mpz_mul_si (Qk, Qk, Q);
mpz_mul_si       3485 lib/mini-gmp.c 	  mpz_mul_si (V, V, -2*Q);
mpz_mul_si        152 lib/mini-gmp.h void mpz_mul_si (mpz_t, const mpz_t, long int);