with Thunk1_Pkg2; use Thunk1_Pkg2;

package Thunk1_Pkg1 is

  type Derived is new Ext with null record;

end Thunk1_Pkg1;