A bug. Workaround: use `x = x + 1` instead of `inc x` here.

Reply via email to