package Taft_Type1_Pkg1 is
   procedure Check;
private
   type TAMT1;
   type TAMT1_Access is access TAMT1;

   type TAMT2;
   type TAMT2_Access is access TAMT2;
end Taft_Type1_Pkg1;