2 procedure Placeholder is
3 subtype Bounded is Integer range 1 .. 5;
4 type Vector is array (Bounded range <>) of Integer;
5 type Interval (Length : Bounded := 1) is record
6 Points : Vector (1 .. Length);
8 An_Interval : Interval := (Length => 1, Points => (1 => 1));
9 generic The_Interval : Interval; package R is end;
10 package body R is end;
11 package S is new R (An_Interval);