Symbol: __read_seqcount_begin