CORD_fprintf      233 gc/cord/cordtest.c     CORD_fprintf(stderr, "SUCCEEDED\n");
CORD_fprintf      320 gc/include/cord.h int CORD_fprintf(FILE * f, CORD format, ...);