gmp_free          384 lib/mini-gmp.c   gmp_free (old, size * sizeof (mp_limb_t));
gmp_free         4383 lib/mini-gmp.c 	  gmp_free (dp, sn);
gmp_free         4393 lib/mini-gmp.c       gmp_free (dp, sn);
gmp_free         4417 lib/mini-gmp.c   gmp_free (dp, sn);
gmp_free         4442 lib/mini-gmp.c   gmp_free (str, len + 1);