1-- { dg-do run }
2
3with Thunk1_Pkg1; use Thunk1_Pkg1;
4
5procedure Thunk1 is
6  D: Derived;
7begin
8  D.Op ("Message");
9end;
10