class A_A(a1: A; a2: A)

inherit
   ANY
      redefine out end

feature

   out: STRING
      do
         Result := "A_A"
      end

   write
      do
         count := count + 1
         print("[write "+"#"+count.out+"] "+a1.out+"("+ &a1.out +")"+"+"+a2.out+"("+ &a2.out +")"+" -> "+out+"%N");
      end

   count: INTEGER

end -- A_A