Symbol: seqcount_t