gcc/gcc/testsuite/gnat.dg/test_tamdt.adb

-- { dg-do run }

with Tamdt;

procedure Test_Tamdt is
begin
   Tamdt.Check;
end;