Symbol: pr_next