Symbol: seqc_write_end