with Text_IO, Ada.Integer_Text_IO;

package body bank is

 procedure makeaccount(a : out account; name : String; bal : integer) is
  begin
   a.name := name;
   a.balance := bal;
  end makeaccount;

 procedure deposit(a : in out account; x : integer) is
  begin
   a.balance := a.balance + x;
  end deposit;

 procedure withdraw(a : in out account; x : integer) is 
  begin
   a.balance := a.balance - x;
  end withdraw;

 procedure inquiry(a : in account) is
    use Text_IO, Ada.Integer_Text_IO;
  begin
   put(a.name);
   put(", your balance is :");
   put(a.balance); new_line;
  end inquiry;

end bank;