let type ai = array of int var x : ai := ai[] of 1 in ai[4] = 5 end