Just need to check if it's plain Ada or one specific profile or SPARK