Symbol: do_write_seqcount_end