div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    &amp;hot1,</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    NULL</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;};</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keywordtype">void</span> hot0PushCallback(<span class="key