gmp_reallocate_func  320 maint/gnulib/lib/mini-gmp.c static void * (*gmp_reallocate_func) (void *, size_t, size_t) = gmp_default_realloc;
gmp_reallocate_func  332 maint/gnulib/lib/mini-gmp.c     *realloc_func = gmp_reallocate_func;
gmp_reallocate_func  351 maint/gnulib/lib/mini-gmp.c   gmp_reallocate_func = realloc_func;
gmp_reallocate_func  357 maint/gnulib/lib/mini-gmp.c #define gmp_realloc(ptr, old_size, size) ((*gmp_reallocate_func)(ptr, old_size, size))