# { dg-options "-fstropping=upper" }  #
BEGIN INT x := 10;
      REF REF INT xx := LOC REF INT := x := 20;
      ASSERT (xx = 20)
END