ofiler</span></code> tool.</p>
<p>The procedure box model is the same as the one used in the debugger
tool. This is an extended version of the original Byrd’s four-port
model. Besides the standard <code class="docutils literal notranslate"><span class="pre">call</span></code>, <code class="docutils literal notranslate"><span class="pre">exit</span></code>, <code class="docutils literal notranslate"><span class="pre">fail</span></code>, and <code class="docutils literal notranslate"><span class="pre">redo<