let
  type a = array of int
  var arr1 := a [10] of 0
in
  1 = arr1
end