Next: No_Reentrancy, Previous: No_Protected_Types, Up: Partition-Wide Restrictions
[RM H.4] A program execution is erroneous if a subprogram is invoked as part of its execution.