<span class="w"> </span><span class="p">,</span><span class="w"> </span><span class="n">x0</span><span class="w"> </span><span class="p">,</span><span class="w"> </span><span class="n">x1</span><span class="w"> </span><span class="p">,</span><span class="w"> </span><span class="n">x2</span><span class="w"> </span><span class="p">,</span><span class="w"> </span><span class="n">zppf</span>
<span class="kt">INTEGER</span><span class="w"> </span><span class="kd">::</span><span class="w"> </span><span class="n">