Symbol: pr_comment