GC_write          861 gc/misc.c        int GC_write(buf, len)
GC_write          914 gc/misc.c      int GC_write(fd, buf, len)
GC_write          937 gc/misc.c      int GC_write(fd, buf, len)
GC_write          945 gc/misc.c      int GC_write(fd, buf, len)