Symbol: pr_log