 class="w"> </span><span class="p">)</span><span class="w"> </span><span class="k">THEN</span>
<span class="k">                           </span><span class="n">ix0</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">ix2</span>
<span class="w">                           </span><span class="n">p0</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">p2</span>
<span class="w">                        </span><span class="k">ELSE</