Symbol: write_seqcount_begin