let type t = array of int var x := new t[10] of 18 in (x[0] := 3; x) end