Symbol: pps_seq_t