Symbol: write_seqcount_latch_begin