(45 . 6)(45 . 7)
17 pragma Restrictions(No_Floating_Point);
18 pragma Restrictions(No_Implementation_Aspect_Specifications);
19 pragma Restrictions(No_Implementation_Units);
20 pragma Restrictions(No_Implicit_Conditionals);
21 pragma Restrictions(No_Implicit_Dynamic_Code);
22 pragma Restrictions(No_Implicit_Heap_Allocations);
23 pragma Restrictions(No_Implicit_Protected_Object_Allocations);