gmp_default_free  321 maint/gnulib/lib/mini-gmp.c static void (*gmp_free_func) (void *, size_t) = gmp_default_free;
gmp_default_free  348 maint/gnulib/lib/mini-gmp.c     free_func = gmp_default_free;