gcc/testsuite/gnat.dg/pak.ads

   1 with Ada.Finalization;
   2 package Pak is
   3    type T is new Ada.Finalization.Controlled with null record;
   4    procedure Initialize (X : in out T);
   5    procedure Finalize (X : in out T);
   6    procedure Assign (X : out T'Class);
   7 end Pak;