Symbol: cntype_seqof