gmp_free          377 lib/mini-gmp.c   gmp_free (old, size * sizeof (mp_limb_t));
gmp_free         4376 lib/mini-gmp.c 	  gmp_free (dp, sn);
gmp_free         4386 lib/mini-gmp.c       gmp_free (dp, sn);
gmp_free         4410 lib/mini-gmp.c   gmp_free (dp, sn);
gmp_free         4435 lib/mini-gmp.c   gmp_free (str, len + 1);