gcc-4.3.1/gcc/testsuite/gnat.dg/ref_type.ads

package ref_type is
private
   type T is tagged;
   procedure Print (X : T);
end ref_type;