new_buf 3184 gc/os_dep.c char * new_buf = GC_scratch_alloc(new_size); new_buf 3186 gc/os_dep.c if (new_buf != 0) { new_buf 3187 gc/os_dep.c GC_proc_buf = bufp = new_buf;