1 with Ada.Finalization; use Ada.Finalization;
3 package Controlled5_Pkg is
5 type Root is tagged private;
7 type Inner is new Ada.Finalization.Controlled with null record;
9 type T_Root_Class is access all Root'Class;
11 function Dummy (I : Integer) return Root'Class;
15 type Root is tagged record