xref: /dports/devel/riscv64-none-elf-gcc/gcc-8.4.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;