/* arr1 is valid since expression 0 is int = myint */
let
type myint = int
type  arrtype = array of myint

var arr1:arrtype := arrtype [10] of 0
var arr2:arrtype := arrtype [5] of 6
var i := 2

in
  arr1; 
  arr1[3] := 5; 
  arr1[arr2[3]] := 7
end