1--  { dg-do compile }
2
3with Derived_Type5_Pkg; use Derived_Type5_Pkg;
4
5procedure Derived_Type5 is
6  D : Derived;
7begin
8  Proc1 (Rec (D));
9  Proc2 (Rec (D));
10end;
11