GC_proc_buf 3078 gc/os_dep.c char *GC_proc_buf; GC_proc_buf 3135 gc/os_dep.c GC_proc_buf = GC_scratch_alloc(GC_proc_buf_size); GC_proc_buf 3175 gc/os_dep.c bufp = GC_proc_buf; GC_proc_buf 3187 gc/os_dep.c GC_proc_buf = bufp = new_buf;