# { 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[:@20];
      ASSERT (LWB jorl = 20 AND UPB jorl = 22);
      ASSERT (jorl[20] = 1 AND jorl[21] = 2 AND jorl[22] = 3)
END