nails 4450 maint/gnulib/lib/mini-gmp.c size_t nails, const void *src) nails 4465 maint/gnulib/lib/mini-gmp.c if (nails != 0) nails 4518 maint/gnulib/lib/mini-gmp.c size_t nails, const mpz_t u) nails 4523 maint/gnulib/lib/mini-gmp.c if (nails != 0)