Symbol: seqcount_init