# { dg-options "-fstropping=upper" }  #
BEGIN INT n := -4, m := 0;
      [10][n:m,2]INT arr;
      FOR k FROM LWB arr TO UPB arr
      DO FOR i FROM 1 LWB arr[k] TO 1 UPB arr[k]
         DO FOR j FROM 2 LWB arr[k] TO 2 UPB arr[k]
            DO ASSERT (arr[k][i,j] = INT(SKIP)) OD
         OD
      OD
END