Symbol: pr_int_val