let type w = array of int var x := 10 var y : w := new w[10] of 7 var z := 0 in for v := 1 to x + 2 - 3 do z := z * y[v]; z * z end