let type ai = array of int var ai : ai := new ai[10] of 5 in ai[0] := (let var x := 7 in x end); ai end