let type x = array of int var y : x := new x[3] of 5 in y[2] end