Symbol: pr_to_dev