mpz_limbs_finish 1694 maint/gnulib/lib/mini-gmp.c   mpz_limbs_finish (x, xs);
mpz_limbs_finish  261 maint/gnulib/lib/mini-gmp.h void mpz_limbs_finish (mpz_t, mp_size_t);