scratch_free_ptr   51 gc/headers.c   static ptr_t scratch_free_ptr = 0;
scratch_free_ptr   59 gc/headers.c       register ptr_t result = scratch_free_ptr;
scratch_free_ptr   68 gc/headers.c       scratch_free_ptr += bytes;
scratch_free_ptr   69 gc/headers.c       if (scratch_free_ptr <= GC_scratch_end_ptr) {
scratch_free_ptr   83 gc/headers.c               scratch_free_ptr -= bytes;
scratch_free_ptr   92 gc/headers.c               scratch_free_ptr -= bytes;
scratch_free_ptr  100 gc/headers.c           scratch_free_ptr = result;
scratch_free_ptr  101 gc/headers.c           GC_scratch_end_ptr = scratch_free_ptr + bytes_to_get;