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