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

inherit
   ANY
      redefine out end

feature

   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