Symbol: PTC_MALFINI_ALLABEL