1with Ada.Text_IO; use Ada.Text_IO; 2 3package body Assertion_Policy1_Pkg is 4 procedure Proc (Low : Integer; High : Integer) is 5 begin 6 Put_Line ("Proc"); 7 end Proc; 8end Assertion_Policy1_Pkg; 9