let type t = array of int var x := new t[10] of 5 in x[0] := 2; x[1] := 3; x[0] + x[1] + x[2] - x[6] end