CORD_ec            39 gc/cord/cordprnt.c static int ec_len(CORD_ec x)
CORD_ec           410 gc/cord/cordxtra.c void CORD_ec_flush_buf(CORD_ec x)
CORD_ec           423 gc/cord/cordxtra.c void CORD_ec_append_cord(CORD_ec x, CORD s)
CORD_ec            49 gc/include/ec.h void CORD_ec_flush_buf(CORD_ec x);
CORD_ec            68 gc/include/ec.h void CORD_ec_append_cord(CORD_ec x, CORD s);