gcc/testsuite/gnat.dg/ref_type.ads

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