let
  type arrtype = array of string
  var arr: arrtype := arrtype [10] of 0
in
  arr
end