Symbol: pri_sequence