3 procedure loop_bound is
5 type Base is new Integer;
6 Limit : constant Base := 10;
8 generic package Gen is end;
10 type Index is new Base range 0 .. Limit;
14 type Table is array (Index) of Integer;
15 procedure Init (X : in out Table) is
17 for I in 1..Index'last -1 loop
23 package Inst is new P.Gen;