Of course you’re right about “i”. However, I was making a small joke at the expense of metacomputation theories, and referring to a supercompiling optimizer.
The joke being that a supercompiler that would (incorrectly) convert
while(1) { fork(); }
into
while(1) { }
could be fooled by an addition of arithmetic that did nothing.
looks up at all the glares
Fine, fine, I’ll go back to my cave.