1package Root.Level_1 is
2
3   type Level_1_Type (First  : Natural;
4                      Second : Natural) is new Root_Type with private;
5
6private
7
8   type Level_1_Type (First  : Natural;
9                      Second : Natural) is new Root_Type (First => First)
10   with record
11      Buffer_1 : Buffer_Type (1 .. Second);
12   end record;
13
14end Root.Level_1;
15