mpz_submul_ui    3432 lib/mini-gmp.c   mpz_submul_ui (V, Qk, 2);
mpz_submul_ui     158 lib/mini-gmp.h void mpz_submul_ui (mpz_t, const mpz_t, unsigned long int);