Symbol: prb_next_seq