PowerAda 100
From OC Systems Wiki!
(100) The ceiling of any protected object used internally by the implementation.
See D.3(16).
The package ADA.SYNCHRONOUS_TASK_CONTROL uses a protected object internally. The ceiling priority declared for this object is SYSTEM.INTERRUPT_PRIORITY'LAST.