cial">,</span> <span class="identifier">State</span><span class="special">,</span> <span class="identifier">TimeIterator</span> <span class="special">&gt;</span> 
  <span class="identifier">make_times_iterator_end</span><span class="special">(</span><span class="identifier">Stepper</span> stepper<span class="special">,</span> <span class="identifier">System</span> system<span class="special">,</span> <span class="identifier">State</span> <span class="special">&amp;</span> x<span class="special">)</span><spa