Symbol: write_seqcount_latch_end