note Roy Johnson A quibble on terms: what you call a "reusable iterator" is a "factory". A reusable iterator would be one that resets itself after returning the "list is exhausted" value. [id://440072] is an example of a factory that generates reusable iterators. <!-- Node text goes above. Div tags should contain sig only --> <div class="pmsig"><div class="pmsig-300037"> <hr> <small><b>Caution:</b> Contents may have been coded under pressure.</small> </div></div> 451278 451278