CORD_ec_flush_buf  280 gc/cord/cordprnt.c             	            CORD_ec_flush_buf(result);
CORD_ec_flush_buf  425 gc/cord/cordxtra.c     CORD_ec_flush_buf(x);
CORD_ec_flush_buf  455 gc/cord/cordxtra.c             CORD_ec_flush_buf(ecord);
CORD_ec_flush_buf   49 gc/include/ec.h void CORD_ec_flush_buf(CORD_ec x);
CORD_ec_flush_buf   52 gc/include/ec.h # define CORD_ec_to_cord(x) (CORD_ec_flush_buf(x), (x)[0].ec_cord)
CORD_ec_flush_buf   61 gc/include/ec.h 	  	CORD_ec_flush_buf(x); \