class A_T_X(a: A; t: T; x: X)

inherit
   ANY
      redefine default_create,out end

feature

   default_create
      do
         -- does nothing! (check correct code generation)
      end

   out: STRING
      do
         Result := "A_T_X"
      end

   write
      do
         print("[write] "+a.out+"+"+t.out+"+"+x.out+" -> "+out+"%N");
      end

end -- A_T_X