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