gmp_default_realloc  329 lib/mini-gmp.c static void * (*gmp_reallocate_func) (void *, size_t, size_t) = gmp_default_realloc;
gmp_default_realloc  355 lib/mini-gmp.c     realloc_func = gmp_default_realloc;