class A_A_A(a1: A; a2: A; a3: A)

inherit
   ANY
      redefine out end

feature

   out: STRING
      do
         Result := "A_A_A"
      end

   write
      do
         print("[write] "+a1.out+"("+ &a1.out +")"+"+"+a2.out+"("+ &a2.out +")"+"+"+a3.out+"("+ &a3.out +")"+" -> "+out+"%N");
      end

end -- A_A_A