an class="preprocessor">#else</span></div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno">   83</span>    (void) msg; <span class="comment">// Discard parameter</span></div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno">   84</span>    abort();</div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno">   85</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno">   86</