
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="keyword">namespace </span>detail</div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;{</div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;        <span class="keyword">template</span></div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;        &lt;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</s