Symbol: pr_suptypes