GC_finalize_on_demand   20 gc/finalize.c      int GC_finalize_on_demand = 1;
GC_finalize_on_demand   22 gc/finalize.c      int GC_finalize_on_demand = 0;
GC_finalize_on_demand  843 gc/finalize.c      if (!GC_finalize_on_demand) {
GC_finalize_on_demand  118 gc/include/gc.h GC_API int GC_finalize_on_demand;
GC_finalize_on_demand  117 src/core.c         GC_finalize_on_demand = TRUE;