# { dg-options "-fstropping=upper" }  #
BEGIN
   INT i := 0;
   beginning:
   IF (i < 5) THEN
      i +:= 1;
      beginning
   FI
END