GC_scratch_end_ptr   69 gc/headers.c       if (scratch_free_ptr <= GC_scratch_end_ptr) {
GC_scratch_end_ptr  101 gc/headers.c           GC_scratch_end_ptr = scratch_free_ptr + bytes_to_get;
GC_scratch_end_ptr  102 gc/headers.c           GC_scratch_last_end_ptr = GC_scratch_end_ptr;