(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
deref1.ads
package deref1 is
  type T is tagged limited null record;
   procedure Op (Obj : in out T);
end deref1;