(* Test nested 'var ... in ...' and arithmetic operators *)

var i in var j in var k in begin
    i := 2;
    j := 3;
    k := i + j;   (*  5 *)
    i := j * k;   (* 15 *)
    j := i / 2;   (*  7 *)
    j := j - 1    (*  6 *)
end