Next: No_Local_Timing_Events, Previous: No_Local_Allocators, Up: Partition-Wide Restrictions
[RM D.7] This restriction ensures at compile time that protected objects are only declared at the library level.