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