Symbol: prb_first_seq