de></a>
      </h5>
<div class="variablelist">
<p class="title"><b></b></p>
<dl class="variablelist">
<dt><span class="term">Preconditions:</span></dt>
<dd><p>
              <code class="computeroutput"><span class="identifier">is_unbounded</span><span class="special">()</span></code>
              returns <code class="computeroutput"><span class="keyword">false</span></code>.
            </p></dd>
<dt><span class="term">Returns:</span></dt>
<dd><p>
              Returns the maximum size in bytes of stack d