Symbol: cvs_write_tagfile