-- { dg-do run }

with Taft_Type1_Pkg1;

procedure Taft_Type1 is
begin
   Taft_Type1_Pkg1.Check;
end;