Symbol: pr_print