Symbol: info_to_phc