- 0CE47E877E69CDC718556D94802736A36D5289BAC7D5C58F4FAFFC75F0FE8F461F4799705E9B29F89E071C51141BD88B2D73917271170F7FD771ED288AD07215
+ 7FEB3510444D5888F8CD5566F7BEB042274F44E6535C9CC2B3FE05B922D8778E5940911B56CA064490DC67C985476C769ACF23CD25AC62BBFA57EF652D7D7A05
udp/libudp/restrict.adc
(27 . 10)(27 . 10)
  5 pragma Restrictions(No_Access_Parameter_Allocators);
  6 pragma Restrictions(No_Allocators);
  7 pragma Restrictions(No_Asynchronous_Control);
  8 pragma Restrictions(No_Calendar);
  9 --pragma Restrictions(No_Calendar);
 10 pragma Restrictions(No_Coextensions);
 11 pragma Restrictions(No_Default_Stream_Attributes);
 12 pragma Restrictions(No_Delay);
 13 --pragma Restrictions(No_Delay);
 14 pragma Restrictions(No_Dispatch);
 15 pragma Restrictions(No_Dispatching_Calls);
 16 pragma Restrictions(No_Dynamic_Attachment);
(45 . 7)(45 . 6)
 18 pragma Restrictions(No_Floating_Point);
 19 pragma Restrictions(No_Implementation_Aspect_Specifications);
 20 pragma Restrictions(No_Implementation_Units);
 21 pragma Restrictions(No_Implicit_Conditionals);
 22 pragma Restrictions(No_Implicit_Dynamic_Code);
 23 pragma Restrictions(No_Implicit_Heap_Allocations);
 24 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
(57 . 7)(56 . 7)
 26 pragma Restrictions(No_Nested_Finalization);
 27 pragma Restrictions(No_Protected_Type_Allocators);
 28 pragma Restrictions(No_Protected_Types);
 29 pragma Restrictions(No_Relative_Delay);
 30 --pragma Restrictions(No_Relative_Delay);
 31 pragma Restrictions(No_Requeue_Statements);
 32 pragma Restrictions(No_Secondary_Stack);
 33 pragma Restrictions(No_Select_Statements);
(80 . 4)(79 . 5)
 35 pragma Restrictions(Simple_Barriers);
 36 pragma Restrictions(Static_Priorities);
 37 pragma Restrictions(Static_Storage_Size);
 38  --pragma Restrictions(No_Implicit_Conditionals);
 39 pragma Validity_Checks(ALL_CHECKS);