let type t = array of int var x := new t[15] of 33 in x[15] := 42; x end