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;