Symbol: atype_sequence