PROGRAM IS
  VAR x, y: INTEGER := z;
BEGIN
  x := y + y * x;
  LOOP
    x := x + x;
    EXIT;
  END;
END;