Symbol: seqc_write_begin