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