gcc/testsuite/gnat.dg/thunk1_pkg1.ads

with Thunk1_Pkg2; use Thunk1_Pkg2;

package Thunk1_Pkg1 is

  type Derived is new Ext with null record;

end Thunk1_Pkg1;