Class ACCOUNT feature
   balance: INTEGER
   deposit(v: INTEGER)
      require v > 0
      do
--         implementation.
      end

feature{NONE}
   implementation: ACCOUNT_I
end