lineno">  158</span> </div>
<div class="line"><a id="l00159" name="l00159"></a><span class="lineno">  159</span>  <span class="keyword">protected</span>:</div>
<div class="line"><a id="l00160" name="l00160"></a><span class="lineno">  160</span>    T&amp; pop_kernel_name();</div>
<div class="line"><a id="l00161" name="l00161"></a><span class="lineno">  161</span> </div>
<div class="line"><a id="l00162" name="l00162"></a><span class="lineno">  162</span>  <span class="keyword">private</span>:</div>
<div class