4155

1 files changed, 12 insertions, 12 deletions

diff --git a/html/010vm.cc.html b/html/010vm.cc.html
index bc742c78..f67b4efa 100644
--- a/html/010vm.cc.html
+++ b/html/010vm.cc.html
@@ -211,7 +211,7 @@ if ('onhashchange' in window) {
 <span id="L147" class="LineNr">147 </span>  <span class="Comment">// End Mu Types Initialization</span>
 <span id="L148" class="LineNr">148 </span><span class="Delimiter">}</span>
 <span id="L149" class="LineNr">149 </span><span class="Normal">void</span> <a href='010vm.cc.html#L149'>teardown_types</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L150" class="LineNr">150 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;type_ordinal<span class="Delimiter">,</span> type_info&gt;::iterator p = Type<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Type<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
+<span id="L150" class="LineNr">150 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;type_ordinal<span class="Delimiter">,</span> type_info&gt;::iterator p = Type<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Type<span class="Delimiter">.</span><a href='003trace.cc.html#L203'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L151" class="LineNr">151 </span>  <span class="Conceal">¦</span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>p<span class="Delimiter">-&gt;</span>second<span class="Delimiter">.</span>elements<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span>
 <span id="L152" class="LineNr">152 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> p<span class="Delimiter">-&gt;</span>second<span class="Delimiter">.</span>elements<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
 <span id="L153" class="LineNr">153 </span>  <span class="Delimiter">}</span>
@@ -647,7 +647,7 @@ if ('onhashchange' in window) {
 <span id="L583" class="LineNr">583 </span><span class="Delimiter">}</span>
 <span id="L584" class="LineNr">584 </span>
 <span id="L585" class="LineNr">585 </span><span class="Normal">void</span> dump_memory<span class="Delimiter">()</span> <span class="Delimiter">{</span>
-<span id="L586" class="LineNr">586 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;<span class="Normal">int</span><span class="Delimiter">,</span> <span class="Normal">double</span>&gt;::iterator p = Memory<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Memory<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
+<span id="L586" class="LineNr">586 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;<span class="Normal">int</span><span class="Delimiter">,</span> <span class="Normal">double</span>&gt;::iterator p = Memory<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Memory<span class="Delimiter">.</span><a href='003trace.cc.html#L203'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L587" class="LineNr">587 </span>  <span class="Conceal">¦</span> cout &lt;&lt; p<span class="Delimiter">-&gt;</span>first &lt;&lt; <span class="Constant">&quot;: &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span>p<span class="Delimiter">-&gt;</span>second<span class="Delimiter">)</span> &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
 <span id="L588" class="LineNr">588 </span>  <span class="Delimiter">}</span>
 <span id="L589" class="LineNr">589 </span><span class="Delimiter">}</span>
@@ -754,11 +754,11 @@ if ('onhashchange' in window) {
 <span id="L690" class="LineNr">690 </span>string <a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span><span class="Normal">const</span> string_tree* property<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L691" class="LineNr">691 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!property<span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">&quot;()&quot;</span><span class="Delimiter">;</span>
 <span id="L692" class="LineNr">692 </span>  ostringstream out<span class="Delimiter">;</span>
-<span id="L693" class="LineNr">693 </span>  dump<span class="Delimiter">(</span>property<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L693" class="LineNr">693 </span>  <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>property<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L694" class="LineNr">694 </span>  <span class="Identifier">return</span> out<span class="Delimiter">.</span>str<span class="Delimiter">();</span>
 <span id="L695" class="LineNr">695 </span><span class="Delimiter">}</span>
 <span id="L696" class="LineNr">696 </span>
-<span id="L697" class="LineNr">697 </span><span class="Normal">void</span> dump<span class="Delimiter">(</span><span class="Normal">const</span> string_tree* x<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
+<span id="L697" class="LineNr">697 </span><span class="Normal">void</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span><span class="Normal">const</span> string_tree* x<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L698" class="LineNr">698 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!x<span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
 <span id="L699" class="LineNr">699 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>x<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L700" class="LineNr">700 </span>  <span class="Conceal">¦</span> out &lt;&lt; <span class="Constant">'&quot;'</span> &lt;&lt; x<span class="Delimiter">-&gt;</span>value &lt;&lt; <span class="Constant">'&quot;'</span><span class="Delimiter">;</span>
@@ -767,14 +767,14 @@ if ('onhashchange' in window) {
 <span id="L703" class="LineNr">703 </span>  out &lt;&lt; <span class="Constant">'('</span><span class="Delimiter">;</span>
 <span id="L704" class="LineNr">704 </span>  <span class="Normal">const</span> string_tree* curr = x<span class="Delimiter">;</span>
 <span id="L705" class="LineNr">705 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span>curr &amp;&amp; !curr<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-<span id="L706" class="LineNr">706 </span>  <span class="Conceal">¦</span> dump<span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>left<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L706" class="LineNr">706 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>left<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L707" class="LineNr">707 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>right<span class="Delimiter">)</span> out &lt;&lt; <span class="Constant">' '</span><span class="Delimiter">;</span>
 <span id="L708" class="LineNr">708 </span>  <span class="Conceal">¦</span> curr = curr<span class="Delimiter">-&gt;</span>right<span class="Delimiter">;</span>
 <span id="L709" class="LineNr">709 </span>  <span class="Delimiter">}</span>
 <span id="L710" class="LineNr">710 </span>  <span class="Comment">// check for dotted list; should never happen</span>
 <span id="L711" class="LineNr">711 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L712" class="LineNr">712 </span>  <span class="Conceal">¦</span> out &lt;&lt; <span class="Constant">&quot;. &quot;</span><span class="Delimiter">;</span>
-<span id="L713" class="LineNr">713 </span>  <span class="Conceal">¦</span> dump<span class="Delimiter">(</span>curr<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L713" class="LineNr">713 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>curr<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L714" class="LineNr">714 </span>  <span class="Delimiter">}</span>
 <span id="L715" class="LineNr">715 </span>  out &lt;&lt; <span class="Constant">')'</span><span class="Delimiter">;</span>
 <span id="L716" class="LineNr">716 </span><span class="Delimiter">}</span>
@@ -782,32 +782,32 @@ if ('onhashchange' in window) {
 <span id="L718" class="LineNr">718 </span>string <a href='028call_return.cc.html#L163'>to_string</a><span class="Delimiter">(</span><span class="Normal">const</span> type_tree* type<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L719" class="LineNr">719 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>type == <span class="Constant">NULL</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">&quot;()&quot;</span><span class="Delimiter">;</span>
 <span id="L720" class="LineNr">720 </span>  ostringstream out<span class="Delimiter">;</span>
-<span id="L721" class="LineNr">721 </span>  dump<span class="Delimiter">(</span>type<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L721" class="LineNr">721 </span>  <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>type<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L722" class="LineNr">722 </span>  <span class="Identifier">return</span> out<span class="Delimiter">.</span>str<span class="Delimiter">();</span>
 <span id="L723" class="LineNr">723 </span><span class="Delimiter">}</span>
 <span id="L724" class="LineNr">724 </span>
-<span id="L725" class="LineNr">725 </span><span class="Normal">void</span> dump<span class="Delimiter">(</span><span class="Normal">const</span> type_tree* x<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
+<span id="L725" class="LineNr">725 </span><span class="Normal">void</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span><span class="Normal">const</span> type_tree* x<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L726" class="LineNr">726 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!x<span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
 <span id="L727" class="LineNr">727 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>x<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-<span id="L728" class="LineNr">728 </span>  <span class="Conceal">¦</span> dump<span class="Delimiter">(</span>x<span class="Delimiter">-&gt;</span>value<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L728" class="LineNr">728 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>x<span class="Delimiter">-&gt;</span>value<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L729" class="LineNr">729 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
 <span id="L730" class="LineNr">730 </span>  <span class="Delimiter">}</span>
 <span id="L731" class="LineNr">731 </span>  out &lt;&lt; <span class="Constant">'('</span><span class="Delimiter">;</span>
 <span id="L732" class="LineNr">732 </span>  <span class="Normal">const</span> type_tree* curr = x<span class="Delimiter">;</span>
 <span id="L733" class="LineNr">733 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span>curr &amp;&amp; !curr<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-<span id="L734" class="LineNr">734 </span>  <span class="Conceal">¦</span> dump<span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>left<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L734" class="LineNr">734 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>left<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L735" class="LineNr">735 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">-&gt;</span>right<span class="Delimiter">)</span> out &lt;&lt; <span class="Constant">' '</span><span class="Delimiter">;</span>
 <span id="L736" class="LineNr">736 </span>  <span class="Conceal">¦</span> curr = curr<span class="Delimiter">-&gt;</span>right<span class="Delimiter">;</span>
 <span id="L737" class="LineNr">737 </span>  <span class="Delimiter">}</span>
 <span id="L738" class="LineNr">738 </span>  <span class="Comment">// check for dotted list; should never happen</span>
 <span id="L739" class="LineNr">739 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L740" class="LineNr">740 </span>  <span class="Conceal">¦</span> out &lt;&lt; <span class="Constant">&quot;. &quot;</span><span class="Delimiter">;</span>
-<span id="L741" class="LineNr">741 </span>  <span class="Conceal">¦</span> dump<span class="Delimiter">(</span>curr<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
+<span id="L741" class="LineNr">741 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span>curr<span class="Delimiter">,</span> out<span class="Delimiter">);</span>
 <span id="L742" class="LineNr">742 </span>  <span class="Delimiter">}</span>
 <span id="L743" class="LineNr">743 </span>  out &lt;&lt; <span class="Constant">')'</span><span class="Delimiter">;</span>
 <span id="L744" class="LineNr">744 </span><span class="Delimiter">}</span>
 <span id="L745" class="LineNr">745 </span>
-<span id="L746" class="LineNr">746 </span><span class="Normal">void</span> dump<span class="Delimiter">(</span><a href='010vm.cc.html#L123'>type_ordinal</a> type<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
+<span id="L746" class="LineNr">746 </span><span class="Normal">void</span> <a href='003trace.cc.html#L120'>dump</a><span class="Delimiter">(</span><a href='010vm.cc.html#L123'>type_ordinal</a> type<span class="Delimiter">,</span> ostream&amp; out<span class="Delimiter">)</span> <span class="Delimiter">{</span>
 <span id="L747" class="LineNr">747 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>contains_key<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> type<span class="Delimiter">))</span>
 <span id="L748" class="LineNr">748 </span>  <span class="Conceal">¦</span> out &lt;&lt; get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> type<span class="Delimiter">).</span>name<span class="Delimiter">;</span>
 <span id="L749" class="LineNr">749 </span>  <span class="Normal">else</span>