let
  type  arrtype = array of int
  var arr1:arrtype := nothing [10] of 0
in
  arr1
end