GC_stderr         890 gc/misc.c      FILE * GC_stderr = NULL;
GC_stderr         898 gc/misc.c          if (GC_stderr == NULL) {
GC_stderr         899 gc/misc.c      	GC_stderr = stderr;
GC_stderr         906 gc/misc.c        int GC_stderr = 2;
GC_stderr         993 gc/misc.c          if (WRITE(GC_stderr, buf, strlen(buf)) < 0) ABORT("write to stderr failed");
GC_stderr         999 gc/misc.c          if (WRITE(GC_stderr, s, strlen(s)) < 0) ABORT("write to stderr failed");
GC_stderr        1007 gc/misc.c          if (WRITE(GC_stderr, buf, len) < 0) ABORT("write to stderr failed");