class DC_A(a: A) -- downcast to a

feature

   operation
      do
         print("[" + a.out + "]" + " " + "DC_A"+"%N");
      end

end -- DC_A