let type ai = array of int var x : ai := new ai[100] of 1 in x[200] end