# { dg-options "-fstropping=upper" }  #
BEGIN INT x;
      REF INT i := (foo; x := 10 EXIT foo: x := 20 EXIT bar: x := 30);
      ASSERT (i = 20)
END