class BANK

creation make

feature { BANKPROG }
  balance : integer;

  make(b:integer) is
    do 
       balance := b;
    end;  -- make

  deposit(a:integer) is
   do
      balance := balance + a;
   end;

  withdraw(a:integer) is
   require a>0 and then a<balance
  do
   balance := balance - a;
  end;

  inquiry : integer is do result := balance; end;

end -- end class BANK