Symbol: pr_defect