once 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+"]" + " -> "+out+"%N");
      end

   count: INTEGER

end -- A_A