let
    type a = array of int
    type b = a
    var arr1 := b ["stop"] of 0
  in
    arr1
  end