1package Root.Level_1.Level_2 is
2
3   type Level_2_Type (First  : Natural;
4                      Second : Natural) is new
5     Level_1.Level_1_Type (First => First, Second => Second) with null record;
6
7end Root.Level_1.Level_2;
8