ator">=</span> <span class="Identifier">counter</span>
    <span class="Identifier">inc</span> <span class="Identifier">counter</span>
  <span class="Identifier">result</span> <span class="Operator">=</span> <span class="Identifier">instance</span>

<span class="Keyword">proc</span> <span class="Identifier">worker</span> <span class="Punctuation">{</span><span class="Operator">.</span><span class="Identifier">thread</span><span class="Operator">.</span><span class="Punctuation">}</span> <span class="Operato