let in let type ai = array of int var x : ai := new ai[30+30] of (1+2+3) in /* x[4] := 5 */ end ; 1 end