package Interface8 is
   type Iface is interface;

   type Root is abstract tagged null record;

   type Child is new Root and Iface with record
      Interface_1 : access Iface'Class;
   end record;

   function Get_Iface (This : Child) return not null access Iface'Class;
end;