1with Thunk1_Pkg2; use Thunk1_Pkg2;
2
3package Thunk1_Pkg1 is
4
5  type Derived is new Ext with null record;
6
7end Thunk1_Pkg1;
8