>  171</span>&#160;  Dumper dumper;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;  </div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;  dumper.stack.push(top);</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;  dumper.visited.insert(top);</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160; 