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