let type t = array of int type ta = array of t var a := new ta[5] of new t[10] of 3 in a[1] end