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