Symbol: seqcount_mutex