let type var_ = array of int var a := 159 + 23 var b : var_ := new var_[1000] of -012345 var c := 0 in let var d : var_ := new var_[2000] of 09876 in c := b[a * 3] + d[a * 5] end; let var e : var_ := new var_[500] of 2 in c := e[a] + c end; c * 2 end