let type ai = array of int var ai : ai := new ai[0] of 5 in 1 end