GC_DEFAULT_THRESHOLD 6343 src/alloc.c          threshold = max (threshold, GC_DEFAULT_THRESHOLD / 10);
GC_DEFAULT_THRESHOLD 8073 src/alloc.c      gc_cons_threshold = GC_DEFAULT_THRESHOLD;