-- { dg-do run }

with Tamdt;

procedure Test_Tamdt is
begin
   Tamdt.Check;
end;