Better code to avoid the infinite opcode loop on for(;;)