></a><span class="Other">:</span> <span class="Identifier">cint</span></pre></dt>
<dd>



</dd>
</div>
<div id="SIGTRAP">
<dt><pre><a href="jsos.html#SIGTRAP"><span class="Identifier">SIGTRAP</span></a><span class="Other">:</span> <span class="Identifier">cint</span></pre></dt>
<dd>



</dd>
</div>
<div id="SIGTSTP">
<dt><pre><a href="jsos.html#SIGTSTP"><span class="Identifier">SIGTSTP</span></a><span class="Other">:</span> <span class="Identifier">cint</span></pre></dt>
<dd>



</dd>
</div>
<div id="SIGTTI