CORD_ec_append_cord  230 gc/cord/cordprnt.c 			CORD_ec_append_cord(result, arg);
CORD_ec_append_cord   68 gc/include/ec.h void CORD_ec_append_cord(CORD_ec x, CORD s);