gmp_free          375 maint/gnulib/lib/mini-gmp.c   gmp_free (old, size * sizeof (mp_limb_t));
gmp_free         4375 maint/gnulib/lib/mini-gmp.c 	  gmp_free (dp, sn);
gmp_free         4385 maint/gnulib/lib/mini-gmp.c       gmp_free (dp, sn);
gmp_free         4409 maint/gnulib/lib/mini-gmp.c   gmp_free (dp, sn);
gmp_free         4434 maint/gnulib/lib/mini-gmp.c   gmp_free (str, len + 1);