gmp_default_realloc  320 maint/gnulib/lib/mini-gmp.c static void * (*gmp_reallocate_func) (void *, size_t, size_t) = gmp_default_realloc;
gmp_default_realloc  346 maint/gnulib/lib/mini-gmp.c     realloc_func = gmp_default_realloc;