# { dg-options "-fstropping=upper" }  #
BEGIN REF[]CHAR t;
      PROC foo = VOID: (HEAP[3]CHAR ss := ("1","2","3"); t := ss[1:3]);
      foo;
      ASSERT (LWB t = 1 AND UPB t = 3);
      ASSERT (t[1] = "1" AND t[2] = "2" AND t[3] = "3")
END