# { dg-options "-fstropping=upper" }  #
BEGIN REF BOOL x = HEAP BOOL;
      ASSERT (x = FALSE);
      x := TRUE;
      ASSERT (x = TRUE)
END