-- { dg-do run }

with Derived_Type3_Pkg; use Derived_Type3_Pkg;

procedure Derived_Type3 is
begin
   Proc1;
   Proc2;
end;