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;