with Ada.Finalization; use Ada.Finalization;
package controlled3 is
   type Test is new Controlled with null record;
   procedure Add_Test (T : access Test'Class);
   
   type Test_Case1 is new Test with null record;
   type Test_Suite is new Test with null record;
   
   type Test_Case is new Test_Case1 with record
      Link_Under_Test : Natural;
   end record;
end;