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