let type a5 = array of int var a6/*:*/ : a5 := new a5[3] of -9 in a6[1] end