class
   ACCOUNT_IMP1
inherit
   ACCOUNT_I
      redefine
         deposit
      end
feature
   deposit(v: INTEGER)
      do

      end
end