gmp_free_func     321 maint/gnulib/lib/mini-gmp.c static void (*gmp_free_func) (void *, size_t) = gmp_default_free;
gmp_free_func     335 maint/gnulib/lib/mini-gmp.c     *free_func = gmp_free_func;
gmp_free_func     352 maint/gnulib/lib/mini-gmp.c   gmp_free_func = free_func;
gmp_free_func     356 maint/gnulib/lib/mini-gmp.c #define gmp_free(p, size) ((*gmp_free_func) ((p), (size)))