with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Thunk2_Pkg; use Thunk2_Pkg;

package Thunk2 is

  type Ext is new Root and I with record
    S : Unbounded_String;
  end record;

  overriding function Element (Self : Ext; Name : String) return Ext;

end Thunk2;