div><div class="field "><a name="exit"></a><h3 class="anchor"><code><span class="label label-static">static</span><a href="#exit"><span class="identifier">exit</span></a>(<span style="white-space:nowrap">code:<a class="type" title="Int - The standard Int type." href="../../Int.html">Int</a></span>):<a class="type" title="Void - The standard Void type." href="../../Void.html">Void</a></code></h3><div class="doc"><p></p></div></div><div class="field "><a name="getDisplay"></a><h3 class="anchor"><code><span cl