gmp_default_free  323 lib/mini-gmp.c static void (*gmp_free_func) (void *, size_t) = gmp_default_free;
gmp_default_free  350 lib/mini-gmp.c     free_func = gmp_default_free;