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