Symbol: prb_first_valid_seq