PowerAda 99
From OC Systems Wiki!
(99) Default ceiling priorities.
See D.3(10).
Protected types that do not declare interrupt handlers have a default ceiling priority of SYSTEM.PRIORITY'LAST.
Protected types that declare interrupt handlers have a default ceiling priority of SYSTEM.INTERRUPT_PRIORITY'LAST.