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