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