s="identifier">multiplier</span><span class="special">;</span>
  <span class="keyword">static</span> <span class="keyword">const</span> <span class="identifier">IntType</span> <span class="identifier">increment</span><span class="special">;</span>
  <span class="keyword">static</span> <span class="keyword">const</span> <span class="identifier">IntType</span> <span class="identifier">modulus</span><span class="special">;</span>
  <span class="keyword">static</span> <span class="keyword">const</span> <span cl