# { dg-options "-fstropping=upper" }  #
BEGIN [2:4]INT arr := []INT(1,2,3)[@2];
      ASSERT (arr[3] = 2 AND arr[4] = 3);
      []INT jorl = arr[3:];
      ASSERT (LWB jorl = 1 AND UPB jorl = 2);
      ASSERT (jorl[1] = 2 AND jorl[2] = 3)
END