l;
</pre>
Note that this cast does not affect code generation.
</p>

<h4 id="use_assert" class="faq">Q: The analyzer assumes that a loop body is never entered.  How can I tell it that the loop body will be entered at least once?</h4>

<img src="images/example_use_assert.png" alt="example use assert">

<p> In the contrived example above, the analyzer has detected that the body of 
the loop is never entered for the case where <tt>length <= 0</tt>. In this 
particular example, you may know that the loop will a