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