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