5884

1 files changed, 18 insertions, 18 deletions

diff --git a/html/apps/pack.subx.html b/html/apps/pack.subx.html
index aa7afa7b..bd5015eb 100644
--- a/html/apps/pack.subx.html
+++ b/html/apps/pack.subx.html
@@ -117,7 +117,7 @@ if ('onhashchange' in window) {
 <span id="L55" class="LineNr">  55 </span>    eb/jump  $subx-pack-main:end/disp8
 <span id="L56" class="LineNr">  56 </span><span class="Constant">$subx-pack-main:interactive</span>:
 <span id="L57" class="LineNr">  57 </span>    <span class="subxH1Comment"># - otherwise convert stdin</span>
-<span id="L58" class="LineNr">  58 </span>    <span class="subxComment"># var ed/eax : (ref exit-descriptor)</span>
+<span id="L58" class="LineNr">  58 </span>    <span class="subxComment"># var ed/eax : exit-descriptor</span>
 <span id="L59" class="LineNr">  59 </span>    81          5/subop/subtract    3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              8/imm32           <span class="subxComment"># subtract from esp</span>
 <span id="L60" class="LineNr">  60 </span>    89/copy                         3/mod/direct    0/rm32/eax   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to eax</span>
 <span id="L61" class="LineNr">  61 </span>    <span class="subxComment"># configure ed to really exit()</span>
@@ -161,7 +161,7 @@ if ('onhashchange' in window) {
 <span id="L99" class="LineNr">  99 </span>
 <span id="L100" class="LineNr"> 100 </span><span class="subxFunction">subx-pack</span>:  <span class="subxComment"># in : (addr buffered-file), out : (addr buffered-file)</span>
 <span id="L101" class="LineNr"> 101 </span>    <span class="subxComment"># pseudocode:</span>
-<span id="L102" class="LineNr"> 102 </span>    <span class="subxComment">#   var line : (ref stream byte 512)</span>
+<span id="L102" class="LineNr"> 102 </span>    <span class="subxComment">#   var line : (stream byte 512)</span>
 <span id="L103" class="LineNr"> 103 </span>    <span class="subxComment">#   var in-code? = false</span>
 <span id="L104" class="LineNr"> 104 </span>    <span class="subxComment">#   while true</span>
 <span id="L105" class="LineNr"> 105 </span>    <span class="subxComment">#     clear-stream(line)</span>
@@ -190,13 +190,13 @@ if ('onhashchange' in window) {
 <span id="L128" class="LineNr"> 128 </span>    51/push-ecx
 <span id="L129" class="LineNr"> 129 </span>    52/push-edx
 <span id="L130" class="LineNr"> 130 </span>    53/push-ebx
-<span id="L131" class="LineNr"> 131 </span>    <span class="subxComment"># var line/ecx : (ref stream byte 512)</span>
+<span id="L131" class="LineNr"> 131 </span>    <span class="subxComment"># var line/ecx : (stream byte 512)</span>
 <span id="L132" class="LineNr"> 132 </span>    81          5/subop/subtract    3/mod/direct    4/rm32/esp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>         <span class="Normal"> . </span>         <span class="Normal"> . </span>              0x200/imm32       <span class="subxComment"># subtract from esp</span>
 <span id="L133" class="LineNr"> 133 </span>    68/push  0x200/imm32/length
 <span id="L134" class="LineNr"> 134 </span>    68/push  0/imm32/read
 <span id="L135" class="LineNr"> 135 </span>    68/push  0/imm32/write
 <span id="L136" class="LineNr"> 136 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
-<span id="L137" class="LineNr"> 137 </span>    <span class="subxComment"># var word-slice/edx : (ref slice)</span>
+<span id="L137" class="LineNr"> 137 </span>    <span class="subxComment"># var word-slice/edx : slice</span>
 <span id="L138" class="LineNr"> 138 </span>    68/push  0/imm32/end
 <span id="L139" class="LineNr"> 139 </span>    68/push  0/imm32/start
 <span id="L140" class="LineNr"> 140 </span>    89/copy                         3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edx</span>
@@ -820,7 +820,7 @@ if ('onhashchange' in window) {
 <span id="L911" class="LineNr"> 911 </span>
 <span id="L912" class="LineNr"> 912 </span><span class="subxFunction">convert-data</span>:  <span class="subxComment"># line : (addr stream byte), out : (addr buffered-file)</span>
 <span id="L913" class="LineNr"> 913 </span>    <span class="subxComment"># pseudocode:</span>
-<span id="L914" class="LineNr"> 914 </span>    <span class="subxComment">#   var word-slice : (ref slice)</span>
+<span id="L914" class="LineNr"> 914 </span>    <span class="subxComment">#   var word-slice : slice</span>
 <span id="L915" class="LineNr"> 915 </span>    <span class="subxComment">#   while true</span>
 <span id="L916" class="LineNr"> 916 </span>    <span class="subxComment">#     word-slice = next-word(line)</span>
 <span id="L917" class="LineNr"> 917 </span>    <span class="subxComment">#     if slice-empty?(word-slice)                 # end of file (maybe including trailing whitespace)</span>
@@ -845,7 +845,7 @@ if ('onhashchange' in window) {
 <span id="L936" class="LineNr"> 936 </span>    50/push-eax
 <span id="L937" class="LineNr"> 937 </span>    51/push-ecx
 <span id="L938" class="LineNr"> 938 </span>    52/push-edx
-<span id="L939" class="LineNr"> 939 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L939" class="LineNr"> 939 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L940" class="LineNr"> 940 </span>    68/push  0/imm32/end
 <span id="L941" class="LineNr"> 941 </span>    68/push  0/imm32/start
 <span id="L942" class="LineNr"> 942 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -1607,7 +1607,7 @@ if ('onhashchange' in window) {
 <span id="L1837" class="LineNr">1837 </span>    50/push-eax
 <span id="L1838" class="LineNr">1838 </span>    51/push-ecx
 <span id="L1839" class="LineNr">1839 </span>    52/push-edx
-<span id="L1840" class="LineNr">1840 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L1840" class="LineNr">1840 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L1841" class="LineNr">1841 </span>    68/push  0/imm32/end
 <span id="L1842" class="LineNr">1842 </span>    68/push  0/imm32/start
 <span id="L1843" class="LineNr">1843 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -1764,11 +1764,11 @@ if ('onhashchange' in window) {
 <span id="L1994" class="LineNr">1994 </span>    51/push-ecx
 <span id="L1995" class="LineNr">1995 </span>    52/push-edx
 <span id="L1996" class="LineNr">1996 </span>    53/push-ebx
-<span id="L1997" class="LineNr">1997 </span>    <span class="subxComment"># var op1/ecx : (ref slice)</span>
+<span id="L1997" class="LineNr">1997 </span>    <span class="subxComment"># var op1/ecx : slice</span>
 <span id="L1998" class="LineNr">1998 </span>    68/push  0/imm32/end
 <span id="L1999" class="LineNr">1999 </span>    68/push  0/imm32/start
 <span id="L2000" class="LineNr">2000 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
-<span id="L2001" class="LineNr">2001 </span>    <span class="subxComment"># var op2/edx : (ref slice)</span>
+<span id="L2001" class="LineNr">2001 </span>    <span class="subxComment"># var op2/edx : slice</span>
 <span id="L2002" class="LineNr">2002 </span>    68/push  0/imm32/end
 <span id="L2003" class="LineNr">2003 </span>    68/push  0/imm32/start
 <span id="L2004" class="LineNr">2004 </span>    89/copy                         3/mod/direct    2/rm32/edx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to edx</span>
@@ -2023,7 +2023,7 @@ if ('onhashchange' in window) {
 <span id="L2253" class="LineNr">2253 </span>    <span class="subxComment"># pseudocode:</span>
 <span id="L2254" class="LineNr">2254 </span>    <span class="subxComment">#   rewind-stream(line)</span>
 <span id="L2255" class="LineNr">2255 </span>    <span class="subxComment">#   var has-modrm? = false, mod = 0, rm32 = 0, r32 = 0</span>
-<span id="L2256" class="LineNr">2256 </span>    <span class="subxComment">#   var word-slice : (ref slice)</span>
+<span id="L2256" class="LineNr">2256 </span>    <span class="subxComment">#   var word-slice : slice</span>
 <span id="L2257" class="LineNr">2257 </span>    <span class="subxComment">#   while true</span>
 <span id="L2258" class="LineNr">2258 </span>    <span class="subxComment">#     word-slice = next-word(line)</span>
 <span id="L2259" class="LineNr">2259 </span>    <span class="subxComment">#     if (slice-empty?(word-slice)) break</span>
@@ -2055,7 +2055,7 @@ if ('onhashchange' in window) {
 <span id="L2285" class="LineNr">2285 </span>    53/push-ebx
 <span id="L2286" class="LineNr">2286 </span>    56/push-esi
 <span id="L2287" class="LineNr">2287 </span>    57/push-edi
-<span id="L2288" class="LineNr">2288 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L2288" class="LineNr">2288 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L2289" class="LineNr">2289 </span>    68/push  0/imm32/end
 <span id="L2290" class="LineNr">2290 </span>    68/push  0/imm32/start
 <span id="L2291" class="LineNr">2291 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -2268,7 +2268,7 @@ if ('onhashchange' in window) {
 <span id="L2569" class="LineNr">2569 </span><span class="subxFunction">emit-sib</span>:  <span class="subxComment"># line : (addr stream byte), out : (addr buffered-file)</span>
 <span id="L2570" class="LineNr">2570 </span>    <span class="subxComment"># pseudocode:</span>
 <span id="L2571" class="LineNr">2571 </span>    <span class="subxComment">#   var has-sib? = false, base = 0, index = 0, scale = 0</span>
-<span id="L2572" class="LineNr">2572 </span>    <span class="subxComment">#   var word-slice : (ref slice)</span>
+<span id="L2572" class="LineNr">2572 </span>    <span class="subxComment">#   var word-slice : slice</span>
 <span id="L2573" class="LineNr">2573 </span>    <span class="subxComment">#   while true</span>
 <span id="L2574" class="LineNr">2574 </span>    <span class="subxComment">#     word-slice = next-word(line)</span>
 <span id="L2575" class="LineNr">2575 </span>    <span class="subxComment">#     if (slice-empty?(word-slice)) break</span>
@@ -2300,7 +2300,7 @@ if ('onhashchange' in window) {
 <span id="L2601" class="LineNr">2601 </span>    53/push-ebx
 <span id="L2602" class="LineNr">2602 </span>    56/push-esi
 <span id="L2603" class="LineNr">2603 </span>    57/push-edi
-<span id="L2604" class="LineNr">2604 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L2604" class="LineNr">2604 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L2605" class="LineNr">2605 </span>    68/push  0/imm32/end
 <span id="L2606" class="LineNr">2606 </span>    68/push  0/imm32/start
 <span id="L2607" class="LineNr">2607 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -2485,7 +2485,7 @@ if ('onhashchange' in window) {
 <span id="L2850" class="LineNr">2850 </span><span class="subxFunction">emit-disp</span>:  <span class="subxComment"># line : (addr stream byte), out : (addr buffered-file)</span>
 <span id="L2851" class="LineNr">2851 </span>    <span class="subxComment"># pseudocode:</span>
 <span id="L2852" class="LineNr">2852 </span>    <span class="subxComment">#   rewind-stream(line)</span>
-<span id="L2853" class="LineNr">2853 </span>    <span class="subxComment">#   var word-slice : (ref slice)</span>
+<span id="L2853" class="LineNr">2853 </span>    <span class="subxComment">#   var word-slice : slice</span>
 <span id="L2854" class="LineNr">2854 </span>    <span class="subxComment">#   while true</span>
 <span id="L2855" class="LineNr">2855 </span>    <span class="subxComment">#     word-slice = next-word(line)</span>
 <span id="L2856" class="LineNr">2856 </span>    <span class="subxComment">#     if (slice-empty?(word-slice)) break</span>
@@ -2507,7 +2507,7 @@ if ('onhashchange' in window) {
 <span id="L2872" class="LineNr">2872 </span>    50/push-eax
 <span id="L2873" class="LineNr">2873 </span>    51/push-ecx
 <span id="L2874" class="LineNr">2874 </span>    52/push-edx
-<span id="L2875" class="LineNr">2875 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L2875" class="LineNr">2875 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L2876" class="LineNr">2876 </span>    68/push  0/imm32/end
 <span id="L2877" class="LineNr">2877 </span>    68/push  0/imm32/start
 <span id="L2878" class="LineNr">2878 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -2640,7 +2640,7 @@ if ('onhashchange' in window) {
 <span id="L3069" class="LineNr">3069 </span><span class="subxFunction">emit-imm</span>:  <span class="subxComment"># line : (addr stream byte), out : (addr buffered-file)</span>
 <span id="L3070" class="LineNr">3070 </span>    <span class="subxComment"># pseudocode:</span>
 <span id="L3071" class="LineNr">3071 </span>    <span class="subxComment">#   rewind-stream(line)</span>
-<span id="L3072" class="LineNr">3072 </span>    <span class="subxComment">#   var word-slice : (ref slice)</span>
+<span id="L3072" class="LineNr">3072 </span>    <span class="subxComment">#   var word-slice : slice</span>
 <span id="L3073" class="LineNr">3073 </span>    <span class="subxComment">#   while true</span>
 <span id="L3074" class="LineNr">3074 </span>    <span class="subxComment">#     word-slice = next-word(line)</span>
 <span id="L3075" class="LineNr">3075 </span>    <span class="subxComment">#     if (slice-empty?(word-slice)) break</span>
@@ -2662,7 +2662,7 @@ if ('onhashchange' in window) {
 <span id="L3091" class="LineNr">3091 </span>    50/push-eax
 <span id="L3092" class="LineNr">3092 </span>    51/push-ecx
 <span id="L3093" class="LineNr">3093 </span>    52/push-edx
-<span id="L3094" class="LineNr">3094 </span>    <span class="subxComment"># var word-slice/ecx : (ref slice)</span>
+<span id="L3094" class="LineNr">3094 </span>    <span class="subxComment"># var word-slice/ecx : slice</span>
 <span id="L3095" class="LineNr">3095 </span>    68/push  0/imm32/end
 <span id="L3096" class="LineNr">3096 </span>    68/push  0/imm32/start
 <span id="L3097" class="LineNr">3097 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>
@@ -4703,7 +4703,7 @@ if ('onhashchange' in window) {
 <span id="L5846" class="LineNr">5846 </span>    56/push-esi
 <span id="L5847" class="LineNr">5847 </span>    <span class="subxComment"># esi = word</span>
 <span id="L5848" class="LineNr">5848 </span>    8b/copy                         1/mod/*+disp8   5/rm32/ebp   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          6/r32/esi   8/disp8        <span class="Normal"> . </span>                <span class="subxComment"># copy *(ebp+8) to esi</span>
-<span id="L5849" class="LineNr">5849 </span>    <span class="subxComment"># var slice/ecx : (ref slice)</span>
+<span id="L5849" class="LineNr">5849 </span>    <span class="subxComment"># var slice/ecx : slice</span>
 <span id="L5850" class="LineNr">5850 </span>    68/push  0/imm32/end
 <span id="L5851" class="LineNr">5851 </span>    68/push  0/imm32/start
 <span id="L5852" class="LineNr">5852 </span>    89/copy                         3/mod/direct    1/rm32/ecx   <span class="Normal"> . </span>         <span class="Normal"> . </span>           <span class="Normal"> . </span>          4/r32/esp  <span class="Normal"> . </span>             <span class="Normal"> . </span>                <span class="subxComment"># copy esp to ecx</span>