an class="lineno">   31</span>&#160;    <span class="keywordtype">use </span><a class="code" href="classstringlist__.html">stringlist_</a></div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;    <span class="keywordtype">use </span><a class="code" href="classstringintegermap__.html">stringintegermap_</a></div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="keywordtype">use </span><a class="code" href="classstringintegerpair__.ht