Symbol: write_seqcount_end