Symbol: read_seqcount_latch