let type t = array of int var x:t := new t[2] of 1 in x[0] end