1with Ada.Finalization; use Ada.Finalization;
2
3package Controlled5_Pkg is
4
5   type Root is tagged private;
6
7   type Inner is new Ada.Finalization.Controlled with null record;
8
9   type T_Root_Class is access all Root'Class;
10
11   function Dummy (I : Integer) return Root'Class;
12
13private
14
15   type Root is tagged record
16      F2 : Inner;
17   end record;
18
19end Controlled5_Pkg;
20