GC_DEFAULT_THRESHOLD 6047 src/alloc.c          threshold = max (threshold, GC_DEFAULT_THRESHOLD / 10);
GC_DEFAULT_THRESHOLD 7743 src/alloc.c      gc_cons_threshold = GC_DEFAULT_THRESHOLD;