Mu - linux/survey

From 3350c34a74844e21ea69077e01efff3bae64bdcd Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Tue, 23 Mar 2021 17:31:08 -0700 Subject: . --- html/linux/survey_elf.subx.html | 4039 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 4039 insertions(+) create mode 100644 html/linux/survey_elf.subx.html (limited to 'html/linux/survey_elf.subx.html') diff --git a/html/linux/survey_elf.subx.html b/html/linux/survey_elf.subx.html new file mode 100644 index 00000000..9136545c --- /dev/null +++ b/html/linux/survey_elf.subx.html @@ -0,0 +1,4039 @@ + + + + +Mu - linux/survey_elf.subx + + + + + + + + + + +https://github.com/akkartik/mu/blob/main/linux/survey_elf.subx +
+   1 # Assign addresses (co-ordinates) to instructions (landmarks) in a program
+   2 # (landscape).
+   3 # Use the addresses assigned to:
+   4 #   a) replace labels
+   5 #   b) add an ELF header and segment headers with addresses and offsets correctly filled in
+   6 #
+   7 # To build:
+   8 #   $ bootstrap/bootstrap translate [01]*.subx apps/subx-params.subx apps/survey_elf.subx  -o apps/survey_elf
+   9 #
+  10 # The expected input is a stream of bytes with '==' segment headers, comments
+  11 # and some interspersed labels.
+  12 #   $ cat x
+  13 #   == code 0x1
+  14 #   l1:
+  15 #   aa bb l1/imm8
+  16 #   cc dd l2/disp32
+  17 #   l2:
+  18 #   ee foo/imm32
+  19 #   == data 0x10
+  20 #   foo:
+  21 #     00
+  22 #
+  23 # The output is the stream of bytes without segment headers or label definitions,
+  24 # and with label references replaced with numeric values/displacements.
+  25 #
+  26 #   $ cat x  |bootstrap/bootstrap run survey_elf
+  27 #   ...ELF header bytes...
+  28 #   # ELF header above will specify that code segment begins at this offset
+  29 #   aa bb nn  # some computed address
+  30 #   cc dd nn nn nn nn  # some computed displacement
+  31 #   ee nn nn nn nn  # some computed address
+  32 #   # ELF header above will specify that data segment begins at this offset
+  33 #   00
+  34 #
+  35 # The ELF format has some persnickety constraints on the starting addresses of
+  36 # segments, so input headers are treated as guidelines and adjusted in the
+  37 # output.
+  38 
+  39 == code
+  40 #   instruction                     effective address                                                   register    displacement    immediate
+  41 # . op          subop               mod             rm32          base        index         scale       r32
+  42 # . 1-3 bytes   3 bits              2 bits          3 bits        3 bits      3 bits        2 bits      2 bits      0/1/2/4 bytes   0/1/2/4 bytes
+  43 
+  44 Entry:  # run tests if necessary, convert stdin if not
+  45     # . prologue
+  46     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+  47 
+  48     # Heap = new-segment(Heap-size)
+  49     # . . push args
+  50     68/push  Heap/imm32
+  51     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Heap-size/disp32                  # push *Heap-size
+  52     # . . call
+  53     e8/call  new-segment/disp32
+  54     # . . discard args
+  55     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+  56     # initialize-trace-stream(Trace-size)
+  57     # . . push args
+  58     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-size/disp32                 # push *Heap-size
+  59     # . . call
+  60     e8/call  initialize-trace-stream/disp32
+  61     # . . discard args
+  62     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+  63 
+  64     # - if argc > 1 and argv[1] == "test", then return run_tests()
+  65     # if (argc <= 1) goto interactive
+  66     81          7/subop/compare     1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0/disp8         1/imm32           # compare *ebp
+  67     7e/jump-if-<=  $subx-survey-main:interactive/disp8
+  68     # if (!kernel-string-equal?(argv[1], "test")) goto interactive
+  69     # . eax = kernel-string-equal?(argv[1], "test")
+  70     # . . push args
+  71     68/push  "test"/imm32
+  72     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+  73     # . . call
+  74     e8/call  kernel-string-equal?/disp32
+  75     # . . discard args
+  76     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+  77     # . if (eax == false) goto interactive
+  78     3d/compare-eax-and  0/imm32/false
+  79     74/jump-if-=  $subx-survey-main:interactive/disp8
+  80     # run-tests()
+  81     e8/call  run-tests/disp32
+  82     # syscall(exit, *Num-test-failures)
+  83     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           3/r32/ebx   Num-test-failures/disp32          # copy *Num-test-failures to ebx
+  84     eb/jump  $subx-survey-main:end/disp8
+  85 $subx-survey-main:interactive:
+  86     # - otherwise convert stdin
+  87     # subx-survey(Stdin, Stdout)
+  88     # . . push args
+  89     68/push  Stdout/imm32
+  90     68/push  Stdin/imm32
+  91     # . . call
+  92     e8/call  subx-survey/disp32
+  93     # . . discard args
+  94     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+  95 #?     # . write-stream(2/stderr, Trace-stream)
+  96 #?     # . . push args
+  97 #?     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+  98 #?     68/push  2/imm32/stderr
+  99 #?     # . . call
+ 100 #?     e8/call  write-stream/disp32
+ 101 #?     # . . discard args
+ 102 #?     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 103     # syscall(exit, 0)
+ 104     bb/copy-to-ebx  0/imm32
+ 105 $subx-survey-main:end:
+ 106     e8/call  syscall_exit/disp32
+ 107 
+ 108 # data structures:
+ 109 #   segment-info: {address, file-offset, size}                                  (12 bytes)
+ 110 #   segments: (addr stream {(handle array byte), segment-info})                 (20 bytes per row)
+ 111 #   label-info: {segment-name: (handle array byte), segment-offset, address}    (16 bytes)
+ 112 #   labels: (addr stream {(handle array byte), label-info})                     (24 bytes per row)
+ 113 # these are all inefficient, using sequential scans for lookups
+ 114 
+ 115 subx-survey:  # infile: (addr buffered-file), out: (addr buffered-file)
+ 116     # pseudocode
+ 117     #   var in: (stream byte Input-size)
+ 118     #   slurp(infile, in)
+ 119     #   var segments: (stream {segment-name, segment-info})
+ 120     #   var labels: (stream {label-name, label-info} Max-labels)
+ 121     #   compute-offsets(in, segments, labels)
+ 122     #   compute-addresses(segments, labels)
+ 123     #   rewind-stream(in)
+ 124     #   emit-output(in, out, segments, labels)
+ 125     #
+ 126     # . prologue
+ 127     55/push-ebp
+ 128     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+ 129     # . save registers
+ 130     51/push-ecx
+ 131     52/push-edx
+ 132     56/push-esi
+ 133     # var segments/ecx: (stream {string, segment-info} 200)   # 10 rows * 20 bytes/row
+ 134     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc8/imm32        # subtract from esp
+ 135     68/push  0xc8/imm32/size
+ 136     68/push  0/imm32/read
+ 137     68/push  0/imm32/write
+ 138     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+ 139     # var labels/edx: (stream label-info Max-labels)
+ 140     # . data
+ 141     2b/subtract                     0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Max-labels/disp32                 # subtract *Max-labels from esp
+ 142     # . size
+ 143     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Max-labels/disp32                 # push *Max-labels
+ 144     # . read
+ 145     68/push  0/imm32/read
+ 146     # . write
+ 147     68/push  0/imm32/write
+ 148     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+ 149     # var in/esi: (stream byte Input-size)
+ 150     # . data
+ 151     2b/subtract                     0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Input-size/disp32                 # subtract *Input-size from esp
+ 152     # . size
+ 153     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Input-size/disp32                 # push *Input-size
+ 154     # . read
+ 155     68/push  0/imm32/read
+ 156     # . write
+ 157     68/push  0/imm32/write
+ 158     89/copy                         3/mod/direct    6/rm32/esi    .           .             .           4/r32/esp   .               .                 # copy esp to esi
+ 159     # slurp(infile, in)
+ 160     # . . push args
+ 161     56/push-esi
+ 162     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+ 163     # . . call
+ 164     e8/call  slurp/disp32
+ 165     # . . discard args
+ 166     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 167     # compute-offsets(in, segments, labels)
+ 168     # . . push args
+ 169     52/push-edx
+ 170     51/push-ecx
+ 171     56/push-esi
+ 172     # . . call
+ 173     e8/call  compute-offsets/disp32
+ 174     # . . discard args
+ 175     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+ 176     # compute-addresses(segments, labels)
+ 177     # . . push args
+ 178     52/push-edx
+ 179     51/push-ecx
+ 180     # . . call
+ 181     e8/call  compute-addresses/disp32
+ 182     # . . discard args
+ 183     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 184     # rewind-stream(in)
+ 185     # . . push args
+ 186     56/push-esi
+ 187     # . . call
+ 188     e8/call  rewind-stream/disp32
+ 189     # . . discard args
+ 190     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 191     # emit-output(in, out, segments, labels)
+ 192     # . . push args
+ 193     52/push-edx
+ 194     51/push-ecx
+ 195     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+ 196     56/push-esi
+ 197     # . . call
+ 198     e8/call  emit-output/disp32
+ 199     # . . discard args
+ 200     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+ 201     # flush(out)
+ 202     # . . push args
+ 203     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+ 204     # . . call
+ 205     e8/call  flush/disp32
+ 206     # . . discard args
+ 207     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 208 $subx-survey:end:
+ 209     # . reclaim locals
+ 210     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xec/imm32        # add to esp
+ 211     03/add                          0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Max-labels/disp32                 # add *Max-labels to esp
+ 212     03/add                          0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Input-size/disp32                 # add *Input-size to esp
+ 213     # . restore registers
+ 214     5e/pop-to-esi
+ 215     5a/pop-to-edx
+ 216     59/pop-to-ecx
+ 217     # . epilogue
+ 218     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+ 219     5d/pop-to-ebp
+ 220     c3/return
+ 221 
+ 222 test-subx-survey-computes-addresses:
+ 223     # input:
+ 224     #   == code 0x1
+ 225     #   Entry:
+ 226     #   ab x/imm32
+ 227     #   == data 0x1000
+ 228     #   x:
+ 229     #     01
+ 230     #
+ 231     # trace contains (in any order):
+ 232     #   label x is at address 0x1079
+ 233     #   segment code starts at address 0x74
+ 234     #   segment code has size 5
+ 235     #   segment data starts at address 0x1079
+ 236     #
+ 237     # . prologue
+ 238     55/push-ebp
+ 239     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+ 240     # setup
+ 241     # . clear-stream(_test-input-stream)
+ 242     # . . push args
+ 243     68/push  _test-input-stream/imm32
+ 244     # . . call
+ 245     e8/call  clear-stream/disp32
+ 246     # . . discard args
+ 247     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 248     # . clear-stream($_test-input-buffered-file->buffer)
+ 249     # . . push args
+ 250     68/push  $_test-input-buffered-file->buffer/imm32
+ 251     # . . call
+ 252     e8/call  clear-stream/disp32
+ 253     # . . discard args
+ 254     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 255     # . clear-stream(_test-output-stream)
+ 256     # . . push args
+ 257     68/push  _test-output-stream/imm32
+ 258     # . . call
+ 259     e8/call  clear-stream/disp32
+ 260     # . . discard args
+ 261     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 262     # . clear-stream($_test-output-buffered-file->buffer)
+ 263     # . . push args
+ 264     68/push  $_test-output-buffered-file->buffer/imm32
+ 265     # . . call
+ 266     e8/call  clear-stream/disp32
+ 267     # . . discard args
+ 268     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 269     # initialize input
+ 270     # . write(_test-input-stream, "== code 0x1\n")
+ 271     # . . push args
+ 272     68/push  "== code 0x1\n"/imm32
+ 273     68/push  _test-input-stream/imm32
+ 274     # . . call
+ 275     e8/call  write/disp32
+ 276     # . . discard args
+ 277     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 278     # . write(_test-input-stream, "Entry:\n")
+ 279     # . . push args
+ 280     68/push  "Entry:\n"/imm32
+ 281     68/push  _test-input-stream/imm32
+ 282     # . . call
+ 283     e8/call  write/disp32
+ 284     # . . discard args
+ 285     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 286     # . write(_test-input-stream, "ab x/imm32\n")
+ 287     # . . push args
+ 288     68/push  "ab x/imm32\n"/imm32
+ 289     68/push  _test-input-stream/imm32
+ 290     # . . call
+ 291     e8/call  write/disp32
+ 292     # . . discard args
+ 293     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 294     # . write(_test-input-stream, "== data 0x1000\n")
+ 295     # . . push args
+ 296     68/push  "== data 0x1000\n"/imm32
+ 297     68/push  _test-input-stream/imm32
+ 298     # . . call
+ 299     e8/call  write/disp32
+ 300     # . . discard args
+ 301     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 302     # . write(_test-input-stream, "x:\n")
+ 303     # . . push args
+ 304     68/push  "x:\n"/imm32
+ 305     68/push  _test-input-stream/imm32
+ 306     # . . call
+ 307     e8/call  write/disp32
+ 308     # . . discard args
+ 309     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 310     # . write(_test-input-stream, "01\n")
+ 311     # . . push args
+ 312     68/push  "01\n"/imm32
+ 313     68/push  _test-input-stream/imm32
+ 314     # . . call
+ 315     e8/call  write/disp32
+ 316     # . . discard args
+ 317     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 318     # subx-survey(_test-input-buffered-file, _test-output-buffered-file)
+ 319     # . . push args
+ 320     68/push  _test-output-buffered-file/imm32
+ 321     68/push  _test-input-buffered-file/imm32
+ 322     # . . call
+ 323     e8/call  subx-survey/disp32
+ 324     # . . discard args
+ 325     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 326     # check trace
+ 327 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+ 353     # . check-trace-contains("label 'x' is at address 0x00001079.", msg)
+ 354     # . . push args
+ 355     68/push  "F - test-subx-survey-computes-addresses/0"/imm32
+ 356     68/push  "label 'x' is at address 0x00001079."/imm32
+ 357     # . . call
+ 358     e8/call  check-trace-contains/disp32
+ 359     # . . discard args
+ 360     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 361     # . check-trace-contains("segment 'code' starts at address 0x00000074.", msg)
+ 362     # . . push args
+ 363     68/push  "F - test-subx-survey-computes-addresses/1"/imm32
+ 364     68/push  "segment 'code' starts at address 0x00000074."/imm32
+ 365     # . . call
+ 366     e8/call  check-trace-contains/disp32
+ 367     # . . discard args
+ 368     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 369     # . check-trace-contains("segment 'code' has size 0x00000005.", msg)
+ 370     # . . push args
+ 371     68/push  "F - test-subx-survey-computes-addresses/2"/imm32
+ 372     68/push  "segment 'code' has size 0x00000005."/imm32
+ 373     # . . call
+ 374     e8/call  check-trace-contains/disp32
+ 375     # . . discard args
+ 376     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 377     # . check-trace-contains("segment 'data' starts at address 0x00001079.", msg)
+ 378     # . . push args
+ 379     68/push  "F - test-subx-survey-computes-addresses/3"/imm32
+ 380     68/push  "segment 'data' starts at address 0x00001079."/imm32
+ 381     # . . call
+ 382     e8/call  check-trace-contains/disp32
+ 383     # . . discard args
+ 384     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 385     # . epilogue
+ 386     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+ 387     5d/pop-to-ebp
+ 388     c3/return
+ 389 
+ 390 # global scratch space for compute-offsets
+ 391 == data
+ 392 
+ 393 compute-offsets:file-offset:  # int
+ 394   0/imm32
+ 395 compute-offsets:segment-offset:  # int
+ 396   0/imm32
+ 397 compute-offsets:segment-tmp:  # slice
+ 398   0/imm32/start
+ 399   0/imm32/end
+ 400 
+ 401 == code
+ 402 
+ 403 # write segments->file-offset,
+ 404 #       segments->size,
+ 405 #       labels->segment-name, and
+ 406 #       labels->segment-offset
+ 407 compute-offsets:  # in: (addr stream byte), segments: (addr stream {(handle array byte), segment-info}), labels: (addr stream {(handle array byte), label-info})
+ 408     # skeleton:
+ 409     #   for lines in 'in'
+ 410     #     for words in line
+ 411     #       switch word
+ 412     #         case 1
+ 413     #         case 2
+ 414     #         ...
+ 415     #         default
+ 416     #
+ 417     # pseudocode:
+ 418     #   var curr-segment-name: (handle array byte)
+ 419     #   var file-offset = 0
+ 420     #   var segment-offset = 0
+ 421     #   var line: (stream byte 512)
+ 422     #   var sinfo: (addr segment-info)
+ 423     #   var linfo: (addr label-info)
+ 424     #   while true                                  # line loop
+ 425     #     clear-stream(line)
+ 426     #     read-line(in, line)
+ 427     #     if (line->write == 0) break               # end of file
+ 428     #     while true                                # word loop
+ 429     #       word-slice = next-word(line)
+ 430     #       if slice-empty?(word-slice)             # end of line
+ 431     #         break
+ 432     #       else if slice-starts-with?(word-slice, "#")  # comment
+ 433     #         break                                 # end of line
+ 434     #       else if slice-equal?(word-slice, "==")
+ 435     #         if *curr-segment-name != 0
+ 436     #           sinfo = get-or-insert-handle(segments, curr-segment-name)
+ 437     #           sinfo->size = file-offset - sinfo->file-offset
+ 438     #           trace("segment '", curr-segment-name, "' has size ", sinfo->size)
+ 439     #         segment-tmp = next-word(line)
+ 440     #         if slice-empty?(segment-tmp)
+ 441     #           abort
+ 442     #         curr-segment-name = slice-to-string(segment-tmp)
+ 443     #         segment-tmp = next-word(line)
+ 444     #         if slice-empty?(segment-tmp)
+ 445     #           abort
+ 446     #         sinfo = get-or-insert-handle(segments, curr-segment-name)
+ 447     #         sinfo->starting-address = parse-hex-int-from-slice(segment-tmp)
+ 448     #         sinfo->file-offset = file-offset
+ 449     #         trace("segment '", curr-segment-name, "' is at file offset ", sinfo->file-offset)
+ 450     #         segment-offset = 0
+ 451     #         break  (next line)
+ 452     #       else if label?(word-slice)
+ 453     #         strip trailing ':' from word-slice
+ 454     #         linfo: (addr label-info) = get-or-insert-slice(labels, word-slice)
+ 455     #         linfo->segment-name = curr-segment-name
+ 456     #         trace("label '", word-slice, "' is in segment '", curr-segment-name, "'.")
+ 457     #         linfo->segment-offset = segment-offset
+ 458     #         trace("label '", word-slice, "' is at segment offset ", segment-offset, ".")
+ 459     #         # labels occupy no space, so no need to increment offsets
+ 460     #       else
+ 461     #         width = compute-width-of-slice(word-slice)
+ 462     #         segment-offset += width
+ 463     #         file-offset += width
+ 464     #   sinfo = get-or-insert-handle(segments, curr-segment-name)
+ 465     #   sinfo->size = file-offset - sinfo->file-offset
+ 466     #
+ 467     # . prologue
+ 468     55/push-ebp
+ 469     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+ 470     # . save registers
+ 471     50/push-eax
+ 472     51/push-ecx
+ 473     52/push-edx
+ 474     53/push-ebx
+ 475     56/push-esi
+ 476     57/push-edi
+ 477     # var curr-segment-name/esi: (handle array byte)
+ 478     68/push  0/imm32
+ 479     68/push  0/imm32
+ 480     89/copy                         3/mod/direct    6/rm32/esi    .           .             .           4/r32/esp   .               .                 # copy esp to esi
+ 481     # file-offset = 0
+ 482     c7          0/subop/copy        0/mod/indirect  5/rm32/.disp32            .             .           .           compute-offsets:file-offset/disp32  0/imm32  # copy to *compute-offsets:file-offset
+ 483     # segment-offset = 0
+ 484     c7          0/subop/copy        0/mod/indirect  5/rm32/.disp32            .             .           .           compute-offsets:segment-offset/disp32  0/imm32  # copy to *compute-offsets:segment-offset
+ 485     # var line/ecx: (stream byte 512)
+ 486     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0x200/imm32       # subtract from esp
+ 487     68/push  0x200/imm32/size
+ 488     68/push  0/imm32/read
+ 489     68/push  0/imm32/write
+ 490     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+ 491     # var word-slice/edx: (addr slice)
+ 492     68/push  0/imm32
+ 493     68/push  0/imm32
+ 494     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+ 495 $compute-offsets:line-loop:
+ 496     # clear-stream(line)
+ 497     # . . push args
+ 498     51/push-ecx
+ 499     # . . call
+ 500     e8/call  clear-stream/disp32
+ 501     # . . discard args
+ 502     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 503     # read-line(in, line)
+ 504     # . . push args
+ 505     51/push-ecx
+ 506     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+ 507     # . . call
+ 508     e8/call  read-line/disp32
+ 509     # . . discard args
+ 510     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 511     # if (line->write == 0) break
+ 512     8b/copy                         0/mod/indirect  1/rm32/ecx    .           .             .           0/r32/eax   .               .                 # copy *ecx to eax
+ 513     3d/compare-eax-and  0/imm32
+ 514     0f 84/jump-if-=  $compute-offsets:break-line-loop/disp32
+ 515 +-- 33 lines: #?     # dump line --------------------------------------------------------------------------------------------------------------------------------------------------------
+ 548 $compute-offsets:word-loop:
+ 549     # next-word(line, word-slice)
+ 550     # . . push args
+ 551     52/push-edx
+ 552     51/push-ecx
+ 553     # . . call
+ 554     e8/call  next-word/disp32
+ 555     # . . discard args
+ 556     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 557 $compute-offsets:case-empty:
+ 558     # if slice-empty?(word-slice) break
+ 559     # . eax = slice-empty?(word-slice)
+ 560     # . . push args
+ 561     52/push-edx
+ 562     # . . call
+ 563     e8/call  slice-empty?/disp32
+ 564     # . . discard args
+ 565     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 566     # . if (eax != false) break
+ 567     3d/compare-eax-and  0/imm32/false
+ 568     0f 85/jump-if-!=  $compute-offsets:line-loop/disp32
+ 569 $compute-offsets:case-comment:
+ 570     # if slice-starts-with?(word-slice, "#") continue
+ 571     # . . push args
+ 572     68/push  "#"/imm32
+ 573     52/push-edx
+ 574     # . . call
+ 575     e8/call  slice-starts-with?/disp32
+ 576     # . . discard args
+ 577     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 578     # . if (eax != false) break
+ 579     3d/compare-eax-and  0/imm32/false
+ 580     0f 85/jump-if-!=  $compute-offsets:line-loop/disp32
+ 581 $compute-offsets:case-segment-header:
+ 582     # if (!slice-equal?(word-slice, "==")) goto next case
+ 583     # . eax = slice-equal?(word-slice, "==")
+ 584     # . . push args
+ 585     68/push  "=="/imm32
+ 586     52/push-edx
+ 587     # . . call
+ 588     e8/call  slice-equal?/disp32
+ 589     # . . discard args
+ 590     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 591     # . if (eax == false) goto next case
+ 592     3d/compare-eax-and  0/imm32/false
+ 593     0f 84/jump-if-=  $compute-offsets:case-label/disp32
+ 594     # if (*curr-segment-name == 0) goto construct-next-segment
+ 595     81          7/subop/compare     0/mod/indirect  6/rm32/esi    .           .             .           .           .               0/imm32           # compare *esi
+ 596     74/jump-if-=  $compute-offsets:construct-next-segment/disp8
+ 597     # sinfo/edi = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 598     # . eax = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 599     # . . push args
+ 600     68/push  0x14/imm32/row-size
+ 601     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 602     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 603     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+ 604     # . . call
+ 605     e8/call  get-or-insert-handle/disp32
+ 606     # . . discard args
+ 607     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+ 608     # . edi = eax
+ 609     89/copy                         3/mod/direct    7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to edi
+ 610     # sinfo->size = file-offset - sinfo->file-offset
+ 611     # . save ecx
+ 612     51/push-ecx
+ 613     # . ebx = *file-offset
+ 614     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           3/r32/ebx   compute-offsets:file-offset/disp32  # copy *file-offset to ebx
+ 615     # . ecx = sinfo->file-offset
+ 616     8b/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           1/r32/ecx   4/disp8         .                 # copy *(edi+4) to ecx
+ 617     # . ebx -= ecx
+ 618     29/subtract                     3/mod/direct    3/rm32/ebx    .           .             .           1/r32/ecx   .               .                 # subtract ecx from ebx
+ 619     # . sinfo->size = ebx
+ 620     89/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           3/r32/ebx   8/disp8         .                 # copy ebx to *(edi+8)
+ 621     # . restore ecx
+ 622     59/pop-to-ecx
+ 623     # trace-sssns("segment '", curr-segment-name, "' has size ", sinfo->size, ".")
+ 624     # . eax = lookup(curr-segment-name)
+ 625     # . . push args
+ 626     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 627     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 628     # . . call
+ 629     e8/call  lookup/disp32
+ 630     # . . discard args
+ 631     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 632     # . trace-sssns("segment '", eax, "' has size ", sinfo->size, ".")
+ 633     # . . push args
+ 634     68/push  "."/imm32
+ 635     53/push-ebx
+ 636     68/push  "' has size "/imm32
+ 637     50/push-eax
+ 638     68/push  "segment '"/imm32
+ 639     # . . call
+ 640     e8/call  trace-sssns/disp32
+ 641     # . . discard args
+ 642     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+ 643 $compute-offsets:construct-next-segment:
+ 644     # next-word(line, segment-tmp)
+ 645     # . . push args
+ 646     68/push  compute-offsets:segment-tmp/imm32
+ 647     51/push-ecx
+ 648     # . . call
+ 649     e8/call  next-word/disp32
+ 650     # . . discard args
+ 651     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 652     # if slice-empty?(segment-tmp) abort
+ 653     # . eax = slice-empty?(segment-tmp)
+ 654     # . . push args
+ 655     68/push  compute-offsets:segment-tmp/imm32
+ 656     # . . call
+ 657     e8/call  slice-empty?/disp32
+ 658     # . . discard args
+ 659     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 660     # . if (eax != false) abort
+ 661     3d/compare-eax-and  0/imm32/false
+ 662     0f 85/jump-if-!=  $compute-offsets:abort/disp32
+ 663 $compute-offsets:update-curr-segment-name:
+ 664     # slice-to-string(Heap, segment-tmp, curr-segment-name)
+ 665     # . . push args
+ 666     56/push-esi
+ 667     68/push  compute-offsets:segment-tmp/imm32
+ 668     68/push  Heap/imm32
+ 669     # . . call
+ 670     e8/call  slice-to-string/disp32
+ 671     # . . discard args
+ 672     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+ 673     # next-word(line, segment-tmp)
+ 674     # . . push args
+ 675     68/push  compute-offsets:segment-tmp/imm32
+ 676     51/push-ecx
+ 677     # . . call
+ 678     e8/call  next-word/disp32
+ 679     # . . discard args
+ 680     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 681     # if slice-empty?(segment-tmp) abort
+ 682     # . eax = slice-empty?(segment-tmp)
+ 683     # . . push args
+ 684     68/push  compute-offsets:segment-tmp/imm32
+ 685     # . . call
+ 686     e8/call  slice-empty?/disp32
+ 687     # . . discard args
+ 688     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 689     # . if (eax != false) abort
+ 690     3d/compare-eax-and  0/imm32/false
+ 691     0f 85/jump-if-!=  $compute-offsets:abort/disp32
+ 692     # sinfo/edi = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 693     # . eax = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 694     # . . push args
+ 695     68/push  0x14/imm32/row-size
+ 696     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 697     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 698     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+ 699     # . . call
+ 700     e8/call  get-or-insert-handle/disp32
+ 701     # . . discard args
+ 702     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+ 703     # . edi = eax
+ 704     89/copy                         3/mod/direct    7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to edi
+ 705     # sinfo->address = parse-hex-int-from-slice(segment-tmp)
+ 706     # . eax = parse-hex-int-from-slice(segment-tmp)
+ 707     # . . push args
+ 708     68/push  compute-offsets:segment-tmp/imm32
+ 709     # . . call
+ 710     e8/call  parse-hex-int-from-slice/disp32
+ 711     # . . discard args
+ 712     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 713     # . sinfo->address = eax
+ 714     89/copy                         0/mod/indirect  7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to *edi
+ 715     # sinfo->file-offset = *file-offset
+ 716     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   compute-offsets:file-offset/disp32  # copy *file-offset to eax
+ 717     89/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           0/r32/eax   4/disp8         .                 # copy eax to *(edi+4)
+ 718     # trace-sssns("segment '", curr-segment-name, "' is at file offset ", sinfo->file-offset, "")
+ 719     # . eax = lookup(curr-segment-name)
+ 720     # . . push args
+ 721     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 722     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 723     # . . call
+ 724     e8/call  lookup/disp32
+ 725     # . . discard args
+ 726     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 727     # . trace-sssns("segment '", eax, "' is at file offset ", file-offset, ".")
+ 728     # . . push args
+ 729     68/push  "."/imm32
+ 730     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           compute-offsets:file-offset/disp32  # push *file-offset
+ 731     68/push  "' is at file offset "/imm32
+ 732     50/push-eax
+ 733     68/push  "segment '"/imm32
+ 734     # . . call
+ 735     e8/call  trace-sssns/disp32
+ 736     # . . discard args
+ 737     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+ 738     # segment-offset = 0
+ 739     c7          0/subop/copy        0/mod/indirect  5/rm32/.disp32            .             .           .     compute-offsets:segment-offset/disp32  0/imm32  # copy to *segment-offset
+ 740     # break
+ 741     e9/jump $compute-offsets:line-loop/disp32
+ 742 $compute-offsets:case-label:
+ 743     # if (!label?(word-slice)) goto next case
+ 744     # . eax = label?(word-slice)
+ 745     # . . push args
+ 746     52/push-edx
+ 747     # . . call
+ 748     e8/call  label?/disp32
+ 749     # . . discard args
+ 750     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 751     # . if (eax == false) goto next case
+ 752     3d/compare-eax-and  0/imm32/false
+ 753     0f 84/jump-if-=  $compute-offsets:case-default/disp32
+ 754     # strip trailing ':' from word-slice
+ 755     ff          1/subop/decrement   1/mod/*+disp8   2/rm32/edx    .           .             .           .           4/disp8         .                 # decrement *(edx+4)
+ 756     # linfo/edi = get-or-insert-slice(labels, word-slice, row-size=24)
+ 757     # . eax = get-or-insert-slice(labels, word-slice, row-size=24)
+ 758     # . . push args
+ 759     68/push  Heap/imm32
+ 760     68/push  0x18/imm32/row-size
+ 761     52/push-edx
+ 762     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+ 763     # . . call
+ 764     e8/call  get-or-insert-slice/disp32
+ 765     # . . discard args
+ 766     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+ 767     # . edi = eax
+ 768     89/copy                         3/mod/direct    7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to edi
+ 769 $compute-offsets:save-label-offset:
+ 770     # linfo->segment-name = curr-segment-name
+ 771     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           0/r32/eax   .               .                 # copy *esi to eax
+ 772     89/copy                         0/mod/indirect  7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to *edi
+ 773     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   4/disp8         .                 # copy *(esi+4) to eax
+ 774     89/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           0/r32/eax   4/disp8         .                 # copy eax to *(edi+4)
+ 775     # trace-slsss("label '" word-slice "' is in segment '" current-segment-name "'.")
+ 776     # . eax = lookup(curr-segment-name)
+ 777     # . . push args
+ 778     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 779     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 780     # . . call
+ 781     e8/call  lookup/disp32
+ 782     # . . discard args
+ 783     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 784     # . trace-slsss("label '" word-slice "' is in segment '" eax "'.")
+ 785     # . . push args
+ 786     68/push  "'."/imm32
+ 787     50/push-eax
+ 788     68/push  "' is in segment '"/imm32
+ 789     52/push-edx
+ 790     68/push  "label '"/imm32
+ 791     # . . call
+ 792     e8/call  trace-slsss/disp32
+ 793     # . . discard args
+ 794     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+ 795     # linfo->segment-offset = segment-offset
+ 796     # . ebx = segment-offset
+ 797     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           3/r32/ebx   compute-offsets:segment-offset/disp32  # copy *segment-offset to ebx
+ 798     # . linfo->segment-offset = ebx
+ 799     89/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           3/r32/ebx   8/disp8         .                 # copy ebx to *(edi+8)
+ 800     # trace-slsns("label '" word-slice "' is at segment offset " *segment-offset/eax ".")
+ 801     # . . push args
+ 802     68/push  "."/imm32
+ 803     53/push-ebx
+ 804     68/push  "' is at segment offset "/imm32
+ 805     52/push-edx
+ 806     68/push  "label '"/imm32
+ 807     # . . call
+ 808     e8/call  trace-slsns/disp32
+ 809     # . . discard args
+ 810     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+ 811     # continue
+ 812     e9/jump  $compute-offsets:word-loop/disp32
+ 813 $compute-offsets:case-default:
+ 814     # width/eax = compute-width-of-slice(word-slice)
+ 815     # . . push args
+ 816     52/push-edx
+ 817     # . . call
+ 818     e8/call compute-width-of-slice/disp32
+ 819     # . . discard args
+ 820     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 821     # segment-offset += width
+ 822     01/add                          0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   compute-offsets:segment-offset/disp32  # add eax to *segment-offset
+ 823     # file-offset += width
+ 824     01/add                          0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   compute-offsets:file-offset/disp32  # add eax to *file-offset
+ 825 +-- 41 lines: #?     # dump segment-offset ----------------------------------------------------------------------------------------------------------------------------------------------
+ 866     e9/jump $compute-offsets:word-loop/disp32
+ 867 $compute-offsets:break-line-loop:
+ 868     # sinfo/edi = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 869     # . eax = get-or-insert-handle(segments, curr-segment-name, row-size=16)
+ 870     # . . push args
+ 871     68/push  0x14/imm32/row-size
+ 872     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 873     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 874     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+ 875     # . . call
+ 876     e8/call  get-or-insert-handle/disp32
+ 877     # . . discard args
+ 878     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+ 879     # . edi = eax
+ 880     89/copy                         3/mod/direct    7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to edi
+ 881     # sinfo->size = file-offset - sinfo->file-offset
+ 882     # . save ecx
+ 883     51/push-ecx
+ 884     # . ebx = *file-offset
+ 885     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           3/r32/ebx   compute-offsets:file-offset/disp32  # copy *file-offset to ebx
+ 886     # . ecx = sinfo->file-offset
+ 887     8b/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           1/r32/ecx   4/disp8         .                 # copy *(edi+4) to ecx
+ 888     # . ebx -= ecx
+ 889     29/subtract                     3/mod/direct    3/rm32/ebx    .           .             .           1/r32/ecx   .               .                 # subtract ecx from ebx
+ 890     # . sinfo->size = ebx
+ 891     89/copy                         1/mod/*+disp8   7/rm32/edi    .           .             .           3/r32/ebx   8/disp8         .                 # copy ebx to *(edi+8)
+ 892     # . restore ecx
+ 893     59/pop-to-ecx
+ 894     # trace-sssns("segment '", curr-segment-name, "' has size ", sinfo->size, ".")
+ 895     # . eax = lookup(curr-segment-name)
+ 896     # . . push args
+ 897     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+ 898     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+ 899     # . . call
+ 900     e8/call  lookup/disp32
+ 901     # . . discard args
+ 902     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 903     # . trace-sssns("segment '", eax, "' has size ", ebx, ".")
+ 904     # . . push args
+ 905     68/push  "."/imm32
+ 906     53/push-ebx
+ 907     68/push  "' has size "/imm32
+ 908     50/push-eax
+ 909     68/push  "segment '"/imm32
+ 910     # . . call
+ 911     e8/call  trace-sssns/disp32
+ 912     # . . discard args
+ 913     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+ 914 $compute-offsets:end:
+ 915     # . reclaim locals
+ 916     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x21c/imm32       # add to esp
+ 917     # . restore registers
+ 918     5f/pop-to-edi
+ 919     5e/pop-to-esi
+ 920     5b/pop-to-ebx
+ 921     5a/pop-to-edx
+ 922     59/pop-to-ecx
+ 923     58/pop-to-eax
+ 924     # . epilogue
+ 925     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+ 926     5d/pop-to-ebp
+ 927     c3/return
+ 928 
+ 929 $compute-offsets:abort:
+ 930     # . _write(2/stderr, error)
+ 931     # . . push args
+ 932     68/push  "'==' must be followed by segment name and optionally an address\n"/imm32
+ 933     68/push  2/imm32/stderr
+ 934     # . . call
+ 935     e8/call  _write/disp32
+ 936     # . . discard args
+ 937     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 938     # . syscall(exit, 1)
+ 939     bb/copy-to-ebx  1/imm32
+ 940     e8/call  syscall_exit/disp32
+ 941     # never gets here
+ 942 
+ 943 test-compute-offsets:
+ 944     # input:
+ 945     #   == code 0x1
+ 946     #   ab x/imm32  # skip comment
+ 947     #   == data 0x1000
+ 948     #   00
+ 949     #   x:
+ 950     #     34
+ 951     #
+ 952     # trace contains (in any order):
+ 953     #   segment 'code' is at file offset 0x0.
+ 954     #   segment 'code' has size 0x5.
+ 955     #   segment 'data' is at file offset 0x5.
+ 956     #   segment 'data' has size 0x2.
+ 957     #   label 'x' is in segment 'data'.
+ 958     #   label 'x' is at segment offset 0x1.
+ 959     #
+ 960     # . prologue
+ 961     55/push-ebp
+ 962     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+ 963     # setup
+ 964     # . clear-stream(_test-input-stream)
+ 965     # . . push args
+ 966     68/push  _test-input-stream/imm32
+ 967     # . . call
+ 968     e8/call  clear-stream/disp32
+ 969     # . . discard args
+ 970     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+ 971     # var segments/ecx: (stream byte 2*20)
+ 972     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0x28/imm32        # subtract from esp
+ 973     68/push  0x28/imm32/size
+ 974     68/push  0/imm32/read
+ 975     68/push  0/imm32/write
+ 976     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+ 977     # var labels/edx: (stream byte 2*24)
+ 978     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0x30/imm32        # subtract from esp
+ 979     68/push  0x30/imm32/size
+ 980     68/push  0/imm32/read
+ 981     68/push  0/imm32/write
+ 982     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+ 983     # initialize input
+ 984     # . write(_test-input-stream, "== code 0x1\n")
+ 985     # . . push args
+ 986     68/push  "== code 0x1\n"/imm32
+ 987     68/push  _test-input-stream/imm32
+ 988     # . . call
+ 989     e8/call  write/disp32
+ 990     # . . discard args
+ 991     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+ 992     # . write(_test-input-stream, "ab x/imm32  # skip comment\n")
+ 993     # . . push args
+ 994     68/push  "ab x/imm32  # skip comment\n"/imm32
+ 995     68/push  _test-input-stream/imm32
+ 996     # . . call
+ 997     e8/call  write/disp32
+ 998     # . . discard args
+ 999     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1000     # . write(_test-input-stream, "== data 0x1000\n")
+1001     # . . push args
+1002     68/push  "== data 0x1000\n"/imm32
+1003     68/push  _test-input-stream/imm32
+1004     # . . call
+1005     e8/call  write/disp32
+1006     # . . discard args
+1007     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1008     # . write(_test-input-stream, "00\n")
+1009     # . . push args
+1010     68/push  "00\n"/imm32
+1011     68/push  _test-input-stream/imm32
+1012     # . . call
+1013     e8/call  write/disp32
+1014     # . . discard args
+1015     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1016     # . write(_test-input-stream, "x:\n")
+1017     # . . push args
+1018     68/push  "x:\n"/imm32
+1019     68/push  _test-input-stream/imm32
+1020     # . . call
+1021     e8/call  write/disp32
+1022     # . . discard args
+1023     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1024     # . write(_test-input-stream, "34\n")
+1025     # . . push args
+1026     68/push  "34\n"/imm32
+1027     68/push  _test-input-stream/imm32
+1028     # . . call
+1029     e8/call  write/disp32
+1030     # . . discard args
+1031     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1032     # compute-offsets(_test-input-stream, segments, labels)
+1033     # . . push args
+1034     52/push-edx
+1035     51/push-ecx
+1036     68/push  _test-input-stream/imm32
+1037     # . . call
+1038     e8/call  compute-offsets/disp32
+1039     # . . discard args
+1040     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32        # add to esp
+1041 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+1067     # check trace
+1068     # . check-trace-contains("segment 'code' is at file offset 0x00000000.", msg)
+1069     # . . push args
+1070     68/push  "F - test-compute-offsets/0"/imm32
+1071     68/push  "segment 'code' is at file offset 0x00000000."/imm32
+1072     # . . call
+1073     e8/call  check-trace-contains/disp32
+1074     # . . discard args
+1075     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1076     # . check-trace-contains("segment 'code' has size 0x00000005", msg)
+1077     # . . push args
+1078     68/push  "F - test-compute-offsets/1"/imm32
+1079     68/push  "segment 'code' has size 0x00000005."/imm32
+1080     # . . call
+1081     e8/call  check-trace-contains/disp32
+1082     # . . discard args
+1083     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1084     # . check-trace-contains("segment 'data' is at file offset 0x00000005.", msg)
+1085     # . . push args
+1086     68/push  "F - test-compute-offsets/2"/imm32
+1087     68/push  "segment 'data' is at file offset 0x00000005."/imm32
+1088     # . . call
+1089     e8/call  check-trace-contains/disp32
+1090     # . . discard args
+1091     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1092     # . check-trace-contains("segment 'data' has size 0x00000002.", msg)
+1093     # . . push args
+1094     68/push  "F - test-compute-offsets/3"/imm32
+1095     68/push  "segment 'data' has size 0x00000002."/imm32
+1096     # . . call
+1097     e8/call  check-trace-contains/disp32
+1098     # . . discard args
+1099     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1100     # . check-trace-contains("label 'x' is in segment 'data'.", msg)
+1101     # . . push args
+1102     68/push  "F - test-compute-offsets/4"/imm32
+1103     68/push  "label 'x' is in segment 'data'."/imm32
+1104     # . . call
+1105     e8/call  check-trace-contains/disp32
+1106     # . . discard args
+1107     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1108     # . check-trace-contains("label 'x' is at segment offset 0x00000001.", msg)
+1109     # . . push args
+1110     68/push  "F - test-compute-offsets/5"/imm32
+1111     68/push  "label 'x' is at segment offset 0x00000001."/imm32
+1112     # . . call
+1113     e8/call  check-trace-contains/disp32
+1114     # . . discard args
+1115     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1116     # . check-ints-equal(labels->write, 0x18, msg)
+1117     # . . push args
+1118     68/push  "F - test-compute-offsets-maintains-labels-write-index"/imm32
+1119     68/push  0x18/imm32/1-entry
+1120     ff          6/subop/push        0/mod/indirect  2/rm32/edx    .           .             .           .           .               .                 # push *edx
+1121     # . . call
+1122     e8/call  check-ints-equal/disp32
+1123     # . . discard args
+1124     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1125     # . epilogue
+1126     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+1127     5d/pop-to-ebp
+1128     c3/return
+1129 
+1130 # write segments->file-offset,
+1131 #       segments->address, and
+1132 #       labels->address
+1133 compute-addresses:  # segments: (addr stream {(handle array byte), segment-info}), labels: (addr stream {(handle array byte), label-info})
+1134     # pseudocode:
+1135     #   var srow: (addr segment-row) = segments->data
+1136     #   var max: (addr byte) = &segments->data[segments->write]
+1137     #   var num-segments: int = segments->write / 20
+1138     #   var starting-offset: int = 0x34 + (num-segments * 0x20)
+1139     #   while true
+1140     #     if (srow >= max) break
+1141     #     srow->file-offset += starting-offset
+1142     #     srow->address &= 0xfffff000  # clear last 12 bits for p_align
+1143     #     srow->address += (srow->file-offset & 0x00000fff)
+1144     #     trace-sssns("segment " srow->key " starts at address " srow->address)
+1145     #     srow += 20  # row-size
+1146     #   var lrow: (addr label-row) = labels->data
+1147     #   max = &labels->data[labels->write]
+1148     #   while true
+1149     #     if (lrow >= max) break
+1150     #     var seg-name: (addr array byte) = lookup(lrow->segment-name)
+1151     #     var label-seg: (addr segment-info) = get(segments, seg-name)
+1152     #     lrow->address = label-seg->address + lrow->segment-offset
+1153     #     trace-sssns("label " lrow->key " is at address " lrow->address)
+1154     #     lrow += 24  # row-size
+1155     #
+1156     # . prologue
+1157     55/push-ebp
+1158     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+1159     # . save registers
+1160     50/push-eax
+1161     51/push-ecx
+1162     52/push-edx
+1163     53/push-ebx
+1164     56/push-esi
+1165     57/push-edi
+1166     # esi = segments
+1167     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           6/r32/esi   8/disp8         .                 # copy *(ebp+8) to esi
+1168     # var num-segments/edi: int = segments->write / 20 (row-size)
+1169     # . eax = segments->write
+1170     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           0/r32/eax   .               .                 # copy *esi to eax
+1171     # . edx = 0
+1172     ba/copy-to-edx  0/imm32
+1173     # . ecx = 20 (row-size)
+1174     b9/copy-to-ecx  0x14/imm32/row-size
+1175     # . eax /= ecx (clobbering edx)
+1176     f7          7/subop/divide      3/mod/direct    1/rm32/ecx    .           .             .           .           .               .                 # divide eax by ecx
+1177     # . edi = eax
+1178     89/copy                         3/mod/direct    7/rm32/edi    .           .             .           0/r32/eax   .               .                 # copy eax to edi
+1179     # var starting-offset/edi: int = 0x34 + (num-segments * 0x20)  # make room for ELF headers
+1180     c1/shift    4/subop/left        3/mod/direct    7/rm32/edi    .           .             .           .           .               5/imm8            # shift edi left by 5 bits
+1181     81          0/subop/add         3/mod/direct    7/rm32/edi    .           .             .           .           .               0x34/imm32        # add to edi
+1182     # var max/ecx: (addr byte) = &segments->data[segments->write]
+1183     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           1/r32/ecx   .               .                 # copy *esi to ecx
+1184     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  1/index/ecx   .           1/r32/ecx   0xc/disp8       .                 # copy esi+ecx+12 to ecx
+1185     # var srow/esi: (addr segment-row) = segments->data
+1186     8d/copy-address                 1/mod/*+disp8   6/rm32/esi    .           .             .           6/r32/esi   0xc/disp8       .                 # copy esi+12 to esi
+1187 $compute-addresses:segment-loop:
+1188     # if (srow >= max) break
+1189     39/compare                      3/mod/direct    6/rm32/esi    .           .             .           1/r32/ecx   .               .                 # compare esi with ecx
+1190     73/jump-if-addr>=  $compute-addresses:segment-break/disp8
+1191     # srow->file-offset += starting-offset
+1192     01/add                          1/mod/*+disp8   6/rm32/esi    .           .             .           7/r32/edi   0xc/disp8       .                 # add edi to *(esi+12)
+1193     # clear last 12 bits of srow->address for p_align=0x1000
+1194     # . edx = srow->address
+1195     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           2/r32/edx   8/disp8         .                 # copy *(esi+8) to edx
+1196     # . edx &= 0xfffff000
+1197     81          4/subop/and         3/mod/direct    2/rm32/edx    .           .             .           .           .               0xfffff000/imm32  # bitwise and of edx
+1198     # update last 12 bits from srow->file-offset
+1199     # . ebx = srow->file-offset
+1200     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           3/r32/ebx   0xc/disp8       .                 # copy *(esi+12) to ebx
+1201     # . ebx &= 0xfff
+1202     81          4/subop/and         3/mod/direct    3/rm32/ebx    .           .             .           .           .               0x00000fff/imm32  # bitwise and of ebx
+1203     # . srow->address = edx | ebx
+1204     09/or                           3/mod/direct    2/rm32/edx    .           .             .           3/r32/ebx   .               .                 # edx = bitwise OR with ebx
+1205     89/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           2/r32/edx   8/disp8         .                 # copy edx to *(esi+8)
+1206     # trace-sssns("segment " srow " starts at address " srow->address ".")
+1207     # . eax = lookup(*srow)
+1208     # . . push args
+1209     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+1210     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+1211     # . . call
+1212     e8/call  lookup/disp32
+1213     # . . discard args
+1214     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1215     # . trace-sssns("segment " eax " starts at address " srow->address ".")
+1216     # . . push args
+1217     68/push  "."/imm32
+1218     52/push-edx
+1219     68/push  "' starts at address "/imm32
+1220     50/push-eax
+1221     68/push  "segment '"/imm32
+1222     # . . call
+1223     e8/call  trace-sssns/disp32
+1224     # . . discard args
+1225     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+1226     # srow += 20  # size of row
+1227     81          0/subop/add         3/mod/direct    6/rm32/esi    .           .             .           .           .               0x14/imm32        # add to esi
+1228     eb/jump  $compute-addresses:segment-loop/disp8
+1229 $compute-addresses:segment-break:
+1230 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+1256     # esi = labels
+1257     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           6/r32/esi   0xc/disp8       .                 # copy *(ebp+12) to esi
+1258     # var max/ecx: (addr byte) = &labels->data[labels->write]
+1259     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           1/r32/ecx   .               .                 # copy *esi to ecx
+1260     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  1/index/ecx   .           1/r32/ecx   0xc/disp8       .                 # copy esi+ecx+12 to ecx
+1261     # var lrow/esi: (addr label-row) = labels->data
+1262     8d/copy-address                 1/mod/*+disp8   6/rm32/esi    .           .             .           6/r32/esi   0xc/disp8       .                 # copy esi+12 to esi
+1263 $compute-addresses:label-loop:
+1264     # if (lrow >= max) break
+1265     39/compare                      3/mod/direct    6/rm32/esi    .           .             .           1/r32/ecx   .               .                 # compare esi with ecx
+1266     0f 83/jump-if-addr>=  $compute-addresses:end/disp32
+1267 +-- 26 lines: #?     # dump lrow->key ---------------------------------------------------------------------------------------------------------------------------------------------------
+1293     # var seg-name/edx: (addr array byte) = lookup(lrow->segment-name)
+1294     # . eax = lookup(lrow->segment-name)
+1295     # . . push args
+1296     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           0xc/disp8       .                 # push *(esi+12)
+1297     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           8/disp8         .                 # push *(esi+8)
+1298     # . . call
+1299     e8/call  lookup/disp32
+1300     # . . discard args
+1301     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1302     # . edx = eax
+1303     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           0/r32/eax   .               .                 # copy eax to edx
+1304 +-- 26 lines: #?     # dump seg-name ----------------------------------------------------------------------------------------------------------------------------------------------------
+1330     # var label-seg/edx: (addr segment-info) = get(segments, seg-name, row-size=20, "segment table")
+1331     # . eax = get(segments, seg-name, row-size=20)
+1332     # . . push args
+1333     68/push  "segment table"/imm32
+1334     68/push  0x14/imm32/row-size
+1335     52/push-edx
+1336     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+1337     # . . call
+1338     e8/call  get/disp32
+1339     # . . discard args
+1340     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+1341     # . edx = eax
+1342     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           0/r32/eax   .               .                 # copy eax to edx
+1343     # ebx = label-seg->address
+1344     8b/copy                         0/mod/indirect  2/rm32/edx    .           .             .           3/r32/ebx   .               .                 # copy *edx to ebx
+1345     # ebx += lrow->segment-offset
+1346     03/add                          1/mod/*+disp8   6/rm32/esi    .           .             .           3/r32/ebx   0x10/disp8      .                 # add *(esi+16) to ebx
+1347     # lrow->address = ebx
+1348     89/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           3/r32/ebx   0x14/disp8      .                 # copy ebx to *(esi+20)
+1349     # trace-sssns("label " lrow->key " is at address " lrow->address ".")
+1350     # . eax = lookup(lrow->key)
+1351     # . . push args
+1352     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+1353     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+1354     # . . call
+1355     e8/call  lookup/disp32
+1356     # . . discard args
+1357     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1358     # . trace-sssns("label " eax " is at address " lrow->address ".")
+1359     # . . push args
+1360     68/push  "."/imm32
+1361     53/push-ebx
+1362     68/push  "' is at address "/imm32
+1363     50/push-eax
+1364     68/push  "label '"/imm32
+1365     # . . call
+1366     e8/call  trace-sssns/disp32
+1367     # . . discard args
+1368     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+1369     # lrow += 24  # size of row
+1370     81          0/subop/add         3/mod/direct    6/rm32/esi    .           .             .           .           .               0x18/imm32        # add to esi
+1371     e9/jump  $compute-addresses:label-loop/disp32
+1372 $compute-addresses:end:
+1373     # . restore registers
+1374     5f/pop-to-edi
+1375     5e/pop-to-esi
+1376     5b/pop-to-ebx
+1377     5a/pop-to-edx
+1378     59/pop-to-ecx
+1379     58/pop-to-eax
+1380     # . epilogue
+1381     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+1382     5d/pop-to-ebp
+1383     c3/return
+1384 
+1385 test-compute-addresses:
+1386     # input:
+1387     #   segments:
+1388     #     - 'a': {0x1000, 0, 5}
+1389     #     - 'b': {0x2018, 5, 1}
+1390     #     - 'c': {0x5444, 6, 12}
+1391     #   labels:
+1392     #     - 'l1': {'a', 3, 0}
+1393     #     - 'l2': {'b', 0, 0}
+1394     #
+1395     # trace contains in any order (comments in parens):
+1396     #   segment 'a' starts at address 0x00001094.  (0x34 + 0x20 for each segment)
+1397     #   segment 'b' starts at address 0x00002099.  (0x018 discarded)
+1398     #   segment 'c' starts at address 0x0000509a.  (0x444 discarded)
+1399     #   label 'l1' is at address 0x00001097.       (0x1094 + segment-offset 3)
+1400     #   label 'l2' is at address 0x00002099.       (0x2099 + segment-offset 0)
+1401     #
+1402     # . prologue
+1403     55/push-ebp
+1404     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+1405     # setup
+1406     # . var segments/ecx: (stream byte 10*20)
+1407     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc8/imm32        # subtract from esp
+1408     68/push  0xc8/imm32/size
+1409     68/push  0/imm32/read
+1410     68/push  0/imm32/write
+1411     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+1412     # . var labels/edx: (stream byte 8*24)
+1413     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc0/imm32        # subtract from esp
+1414     68/push  0xc0/imm32/size
+1415     68/push  0/imm32/read
+1416     68/push  0/imm32/write
+1417     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+1418     # . var h/ebx: (handle array byte)
+1419     68/push  0/imm32
+1420     68/push  0/imm32
+1421     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+1422     # . h = copy-array(Heap, "a")
+1423     # . . push args
+1424     53/push-ebx
+1425     68/push  "a"/imm32
+1426     68/push  Heap/imm32
+1427     # . . call
+1428     e8/call  copy-array/disp32
+1429     # . . discard args
+1430     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1431     # . stream-add5(segments, "a", 0x1000, 0, 5)
+1432     # . . push args
+1433     68/push  5/imm32/segment-size
+1434     68/push  0/imm32/file-offset
+1435     68/push  0x1000/imm32/start-address
+1436     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1437     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1438     51/push-ecx
+1439     # . . call
+1440     e8/call  stream-add5/disp32
+1441     # . . discard args
+1442     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
+1443     # . h = copy-array(Heap, "b")
+1444     # . . push args
+1445     53/push-ebx
+1446     68/push  "b"/imm32
+1447     68/push  Heap/imm32
+1448     # . . call
+1449     e8/call  copy-array/disp32
+1450     # . . discard args
+1451     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1452     # . stream-add5(segments, "b", 0x2018, 5, 1)
+1453     # . . push args
+1454     68/push  1/imm32/segment-size
+1455     68/push  5/imm32/file-offset
+1456     68/push  0x2018/imm32/start-address
+1457     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1458     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1459     51/push-ecx
+1460     # . . call
+1461     e8/call  stream-add5/disp32
+1462     # . . discard args
+1463     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
+1464     # . h = copy-array(Heap, "c")
+1465     # . . push args
+1466     53/push-ebx
+1467     68/push  "c"/imm32
+1468     68/push  Heap/imm32
+1469     # . . call
+1470     e8/call  copy-array/disp32
+1471     # . . discard args
+1472     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1473     # . stream-add5(segments, "c", 0x5444, 6, 12)
+1474     68/push  0xc/imm32/segment-size
+1475     68/push  6/imm32/file-offset
+1476     68/push  0x5444/imm32/start-address
+1477     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1478     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1479     51/push-ecx
+1480     # . . call
+1481     e8/call  stream-add5/disp32
+1482     # . . discard args
+1483     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
+1484     # . stream-add6(labels, "l1", "a", 3, 0)
+1485     # . . push args
+1486     68/push  0/imm32/label-address
+1487     68/push  3/imm32/segment-offset
+1488     # . . push "a"
+1489     53/push-ebx
+1490     68/push  "a"/imm32
+1491     68/push  Heap/imm32
+1492     e8/call  copy-array/disp32
+1493     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1494     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1495     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1496     # . . push "l1"
+1497     53/push-ebx
+1498     68/push  "l1"/imm32
+1499     68/push  Heap/imm32
+1500     e8/call  copy-array/disp32
+1501     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1502     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1503     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1504     # . . push labels
+1505     52/push-edx
+1506     # . . call
+1507     e8/call  stream-add6/disp32
+1508     # . . discard args
+1509     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+1510     # . stream-add6(labels, "l2", "b", 0, 0)
+1511     # . . push args
+1512     68/push  0/imm32/label-address
+1513     68/push  0/imm32/segment-offset
+1514     # . . push "b"
+1515     53/push-ebx
+1516     68/push  "b"/imm32
+1517     68/push  Heap/imm32
+1518     e8/call  copy-array/disp32
+1519     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1520     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1521     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1522     # . . push "l2"
+1523     53/push-ebx
+1524     68/push  "l2"/imm32
+1525     68/push  Heap/imm32
+1526     e8/call  copy-array/disp32
+1527     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1528     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1529     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1530     # . . push labels
+1531     52/push-edx
+1532     # . . call
+1533     e8/call  stream-add6/disp32
+1534     # . . discard args
+1535     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+1536     # component under test
+1537     # . compute-addresses(segments, labels)
+1538     # . . push args
+1539     52/push-edx
+1540     51/push-ecx
+1541     # . . call
+1542     e8/call  compute-addresses/disp32
+1543     # . . discard args
+1544     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1545     # checks
+1546 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+1572     # . check-trace-contains("segment 'a' starts at address 0x00001094.", msg)
+1573     # . . push args
+1574     68/push  "F - test-compute-addresses/0"/imm32
+1575     68/push  "segment 'a' starts at address 0x00001094."/imm32
+1576     # . . call
+1577     e8/call  check-trace-contains/disp32
+1578     # . . discard args
+1579     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1580     # . check-trace-contains("segment 'b' starts at address 0x00002099.", msg)
+1581     # . . push args
+1582     68/push  "F - test-compute-addresses/1"/imm32
+1583     68/push  "segment 'b' starts at address 0x00002099."/imm32
+1584     # . . call
+1585     e8/call  check-trace-contains/disp32
+1586     # . . discard args
+1587     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1588     # . check-trace-contains("segment 'c' starts at address 0x0000509a.", msg)
+1589     # . . push args
+1590     68/push  "F - test-compute-addresses/2"/imm32
+1591     68/push  "segment 'c' starts at address 0x0000509a."/imm32
+1592     # . . call
+1593     e8/call  check-trace-contains/disp32
+1594     # . . discard args
+1595     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1596     # . check-trace-contains("label 'l1' is at address 0x00001097.", msg)
+1597     # . . push args
+1598     68/push  "F - test-compute-addresses/3"/imm32
+1599     68/push  "label 'l1' is at address 0x00001097."/imm32
+1600     # . . call
+1601     e8/call  check-trace-contains/disp32
+1602     # . . discard args
+1603     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1604     # . check-trace-contains("label 'l2' is at address 0x00002099.", msg)
+1605     # . . push args
+1606     68/push  "F - test-compute-addresses/4"/imm32
+1607     68/push  "label 'l2' is at address 0x00002099."/imm32
+1608     # . . call
+1609     e8/call  check-trace-contains/disp32
+1610     # . . discard args
+1611     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1612     # . check-ints-equal(labels->write, 0x30, msg)
+1613     # . . push args
+1614     68/push  "F - test-compute-addresses/maintains-labels-write-index"/imm32
+1615     68/push  0x30/imm32/2-entries
+1616     ff          6/subop/push        0/mod/indirect  2/rm32/edx    .           .             .           .           .               .                 # push *edx
+1617     # . . call
+1618     e8/call  check-ints-equal/disp32
+1619     # . . discard args
+1620     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1621     # . epilogue
+1622     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+1623     5d/pop-to-ebp
+1624     c3/return
+1625 
+1626 test-compute-addresses-large-segments:
+1627     # input:
+1628     #   segments:
+1629     #     - 'a': {0x1000, 0, 0x5604}
+1630     #     - 'b': {0x2018, 0x5604, 1}
+1631     #   labels:
+1632     #     - 'l1': {'a', 3, 0}
+1633     #
+1634     # trace contains in any order (comments in parens):
+1635     #   segment 'a' starts at address 0x00001074.  (0x34 + 0x20 for each segment)
+1636     #   segment 'b' starts at address 0x00002678.  (0x018 discarded; last 3 nibbles from 0x1074 + 0x5604)
+1637     #   label 'l1' is at address 0x00001077.       (0x1074 + segment-offset 3)
+1638     #
+1639     # . prologue
+1640     55/push-ebp
+1641     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+1642     # setup
+1643     # . var segments/ecx: (stream byte 10*20)
+1644     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc8/imm32        # subtract from esp
+1645     68/push  0xc8/imm32/size
+1646     68/push  0/imm32/read
+1647     68/push  0/imm32/write
+1648     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+1649     # . var labels/edx: (stream byte 8*24)
+1650     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc0/imm32        # subtract from esp
+1651     68/push  0xc0/imm32/size
+1652     68/push  0/imm32/read
+1653     68/push  0/imm32/write
+1654     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+1655     # . var h/ebx: (handle array byte)
+1656     68/push  0/imm32
+1657     68/push  0/imm32
+1658     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+1659     # . h = copy-array(Heap, "a")
+1660     # . . push args
+1661     53/push-ebx
+1662     68/push  "a"/imm32
+1663     68/push  Heap/imm32
+1664     # . . call
+1665     e8/call  copy-array/disp32
+1666     # . . discard args
+1667     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1668     # . stream-add5(segments, "a", 0x1000, 0, 0x5604)
+1669     68/push  0x5604/imm32/segment-size
+1670     68/push  0/imm32/file-offset
+1671     68/push  0x1000/imm32/start-address
+1672     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1673     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1674     51/push-ecx
+1675     # . . call
+1676     e8/call  stream-add5/disp32
+1677     # . . discard args
+1678     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
+1679     # . h = copy-array(Heap, "b")
+1680     # . . push args
+1681     53/push-ebx
+1682     68/push  "b"/imm32
+1683     68/push  Heap/imm32
+1684     # . . call
+1685     e8/call  copy-array/disp32
+1686     # . . discard args
+1687     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1688     # . stream-add5(segments, "b", 0x2018, 0x5604, 1)
+1689     68/push  1/imm32/segment-size
+1690     68/push  0x5604/imm32/file-offset
+1691     68/push  0x2018/imm32/start-address
+1692     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1693     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1694     51/push-ecx
+1695     # . . call
+1696     e8/call  stream-add5/disp32
+1697     # . . discard args
+1698     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
+1699     # . stream-add6(labels, "l1", "a", 3, 0)
+1700     68/push  0/imm32/label-address
+1701     68/push  3/imm32/segment-offset
+1702     # . . push "a"
+1703     53/push-ebx
+1704     68/push  "a"/imm32
+1705     68/push  Heap/imm32
+1706     e8/call  copy-array/disp32
+1707     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1708     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1709     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1710     # . . push "l1"
+1711     53/push-ebx
+1712     68/push  "l1"/imm32
+1713     68/push  Heap/imm32
+1714     e8/call  copy-array/disp32
+1715     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1716     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+1717     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+1718     # . . push labels
+1719     52/push-edx
+1720     # . . call
+1721     e8/call  stream-add6/disp32
+1722     # . . discard args
+1723     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+1724     # component under test
+1725     # . compute-addresses(segments, labels)
+1726     # . . push args
+1727     52/push-edx
+1728     51/push-ecx
+1729     # . . call
+1730     e8/call  compute-addresses/disp32
+1731     # . . discard args
+1732     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1733     # checks
+1734 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+1760     # . check-trace-contains("segment 'a' starts at address 0x00001074.", msg)
+1761     # . . push args
+1762     68/push  "F - test-compute-addresses-large-segments/0"/imm32
+1763     68/push  "segment 'a' starts at address 0x00001074."/imm32
+1764     # . . call
+1765     e8/call  check-trace-contains/disp32
+1766     # . . discard args
+1767     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1768     # . check-trace-contains("segment 'b' starts at address 0x00002678.", msg)
+1769     # . . push args
+1770     68/push  "F - test-compute-addresses-large-segments/1"/imm32
+1771     68/push  "segment 'b' starts at address 0x00002678."/imm32
+1772     # . . call
+1773     e8/call  check-trace-contains/disp32
+1774     # . . discard args
+1775     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1776     # . check-trace-contains("label 'l1' is at address 0x00001077.", msg)
+1777     # . . push args
+1778     68/push  "F - test-compute-addresses-large-segments/3"/imm32
+1779     68/push  "label 'l1' is at address 0x00001077."/imm32
+1780     # . . call
+1781     e8/call  check-trace-contains/disp32
+1782     # . . discard args
+1783     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1784     # . epilogue
+1785     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+1786     5d/pop-to-ebp
+1787     c3/return
+1788 
+1789 emit-output:  # in: (addr stream byte), out: (addr buffered-file), segments: (addr stream {(handle array byte), segment-info}), labels: (addr stream {(handle array byte), label-info})
+1790     # pseudocode:
+1791     #   emit-headers(out, segments, labels)
+1792     #   emit-segments(in, out, labels)
+1793     #
+1794     # . prologue
+1795     55/push-ebp
+1796     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+1797 +--  9 lines: #?     # write(2/stderr, "emit-headers\n") --------------------------------------------------------------------------------------------------------------------------------
+1806     # emit-headers(out, segments, labels)
+1807     # . . push args
+1808     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8       .                # push *(ebp+20)
+1809     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8       .                # push *(ebp+16)
+1810     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8        .                # push *(ebp+12)
+1811     # . . call
+1812     e8/call  emit-headers/disp32
+1813     # . . discard args
+1814     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1815 +--  9 lines: #?     # write(2/stderr, "emit-segments\n") -------------------------------------------------------------------------------------------------------------------------------
+1824     # emit-segments(in, out, labels)
+1825     # . . push args
+1826     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8      .                 # push *(ebp+20)
+1827     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+1828     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+1829     # . . call
+1830     e8/call  emit-segments/disp32
+1831     # . . discard args
+1832     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+1833 $emit-output:end:
+1834     # . epilogue
+1835     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+1836     5d/pop-to-ebp
+1837     c3/return
+1838 
+1839 # global scratch space for emit-segments
+1840 == data
+1841 
+1842 emit-segments:datum:  # slice
+1843   0/imm32/start
+1844   0/imm32/end
+1845 
+1846 == code
+1847 
+1848 emit-segments:  # in: (addr stream byte), out: (addr buffered-file), labels: (addr stream {(handle array byte), label-info})
+1849     # pseudocode:
+1850     #   var offset-of-next-instruction = 0
+1851     #   var line: (stream byte 512)
+1852     #   line-loop:
+1853     #   while true
+1854     #     clear-stream(line)
+1855     #     read-line(in, line)
+1856     #     if (line->write == 0) break               # end of file
+1857     #     offset-of-next-instruction += num-bytes(line)
+1858     #     var far-jump-or-call? = far-jump-or-call?(line)
+1859     #     rewind-stream(line)
+1860     #     while true
+1861     #       var word-slice = next-word(line)
+1862     #       if slice-empty?(word-slice)             # end of line
+1863     #         break
+1864     #       if slice-starts-with?(word-slice, "#")  # comment
+1865     #         break
+1866     #       if label?(word-slice)                # no need for label declarations anymore
+1867     #         goto line-loop                        # don't insert empty lines
+1868     #       if slice-equal?(word-slice, "==")       # no need for segment header lines
+1869     #         goto line-loop                        # don't insert empty lines
+1870     #       if length(word-slice) == 2
+1871     #         write-slice-buffered(out, word-slice)
+1872     #         write-buffered(out, " ")
+1873     #         continue
+1874     #       var datum: (addr slice) = next-token-from-slice(word-slice->start, word-slice->end, "/")
+1875     #       var info: (addr label-info) = get-slice(labels, datum)
+1876     #       if has-metadata?(word-slice, "imm8")
+1877     #         abort
+1878     #       else if has-metadata?(word-slice, "imm32")
+1879     #         emit(out, info->address, 4)
+1880     #       else if has-metadata?(word-slice, "disp8")
+1881     #         value = info->offset - offset-of-next-instruction
+1882     #         emit(out, value, 1)
+1883     #       else if has-metadata?(word-slice, "disp32")
+1884     #         if far-jump-or-call?
+1885     #           value = info->offset - offset-of-next-instruction
+1886     #         else
+1887     #           value = info->address
+1888     #         emit(out, value, 4)
+1889     #       else
+1890     #         abort
+1891     #     write-buffered(out, "\n")
+1892     #
+1893     # registers:
+1894     #   line: ecx
+1895     #   word-slice: edx
+1896     #   offset-of-next-instruction: ebx
+1897     #   far-jump-or-call?: edi
+1898     #   info: esi (inner loop only)
+1899     #   temporaries: eax, esi (outer loop)
+1900     #
+1901     # . prologue
+1902     55/push-ebp
+1903     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+1904     # . save registers
+1905     50/push-eax
+1906     51/push-ecx
+1907     52/push-edx
+1908     53/push-ebx
+1909     56/push-esi
+1910     57/push-edi
+1911     # var line/ecx: (stream byte 512)
+1912     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0x200/imm32       # subtract from esp
+1913     68/push  0x200/imm32/size
+1914     68/push  0/imm32/read
+1915     68/push  0/imm32/write
+1916     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+1917     # var word-slice/edx: slice
+1918     68/push  0/imm32/end
+1919     68/push  0/imm32/start
+1920     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+1921     # offset-of-next-instruction/ebx = 0
+1922     31/xor                          3/mod/direct    3/rm32/ebx    .           .             .           3/r32/ebx   .               .                 # clear ebx
+1923 $emit-segments:line-loop:
+1924     # clear-stream(line)
+1925     # . . push args
+1926     51/push-ecx
+1927     # . . call
+1928     e8/call  clear-stream/disp32
+1929     # . . discard args
+1930     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+1931     # read-line(in, line)
+1932     # . . push args
+1933     51/push-ecx
+1934     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+1935     # . . call
+1936     e8/call  read-line/disp32
+1937     # . . discard args
+1938     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+1939 +-- 33 lines: #?     # dump line --------------------------------------------------------------------------------------------------------------------------------------------------------
+1972 $emit-segments:check-for-end-of-input:
+1973     # if (line->write == 0) break
+1974     81          7/subop/compare     0/mod/indirect  1/rm32/ecx    .           .             .           .           .               0/imm32           # compare *ecx
+1975     0f 84/jump-if-=  $emit-segments:end/disp32
+1976     # offset-of-next-instruction += num-bytes(line)
+1977     # . eax = num-bytes(line)
+1978     # . . push args
+1979     51/push-ecx
+1980     # . . call
+1981     e8/call  num-bytes/disp32
+1982     # . . discard args
+1983     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+1984     # . ebx += eax
+1985     01/add                          3/mod/direct    3/rm32/ebx    .           .             .           0/r32/eax   .               .                 # add eax to ebx
+1986     # var far-jump-or-call?/edi: boolean = far-jump-or-call?(line)
+1987     # . . push args
+1988     51/push-ecx
+1989     # . . call
+1990     e8/call  far-jump-or-call?/disp32
+1991     # . . discard args
+1992     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+1993     # rewind-stream(line)
+1994     # . . push args
+1995     51/push-ecx
+1996     # . . call
+1997     e8/call  rewind-stream/disp32
+1998     # . . discard args
+1999     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2000 $emit-segments:word-loop:
+2001     # next-word(line, word-slice)
+2002     # . . push args
+2003     52/push-edx
+2004     51/push-ecx
+2005     # . . call
+2006     e8/call  next-word/disp32
+2007     # . . discard args
+2008     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2009 +-- 33 lines: #?     # dump word-slice --------------------------------------------------------------------------------------------------------------------------------------------------
+2042 $emit-segments:check-for-end-of-line:
+2043     # if (slice-empty?(word-slice)) break
+2044     # . eax = slice-empty?(word-slice)
+2045     # . . push args
+2046     52/push-edx
+2047     # . . call
+2048     e8/call  slice-empty?/disp32
+2049     # . . discard args
+2050     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2051     # . if (eax != 0) break
+2052     3d/compare-eax-and  0/imm32/false
+2053     0f 85/jump-if-!=  $emit-segments:next-line/disp32
+2054 $emit-segments:check-for-comment:
+2055     # if (slice-starts-with?(word-slice, "#")) break
+2056     # . start/esi = word-slice->start
+2057     8b/copy                         0/mod/indirect  2/rm32/edx    .           .             .           6/r32/esi   .               .                 # copy *edx to esi
+2058     # . c/eax = *start
+2059     31/xor                          3/mod/direct    0/rm32/eax    .           .             .           0/r32/eax   .               .                 # clear eax
+2060     8a/copy-byte                    0/mod/indirect  6/rm32/esi    .           .             .           0/r32/AL    .               .                 # copy byte at *esi to AL
+2061     # . if (eax == '#') break
+2062     3d/compare-eax-and  0x23/imm32/hash
+2063     0f 84/jump-if-=  $emit-segments:next-line/disp32
+2064 $emit-segments:check-for-label:
+2065     # if label?(word-slice) break
+2066     # . eax = label?(word-slice)
+2067     # . . push args
+2068     52/push-edx
+2069     # . . call
+2070     e8/call  label?/disp32
+2071     # . . discard args
+2072     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2073     # . if (eax != false) break
+2074     3d/compare-eax-and  0/imm32/false
+2075     0f 85/jump-if-!=  $emit-segments:line-loop/disp32
+2076 $emit-segments:check-for-segment-header:
+2077     # if (slice-equal?(word-slice, "==")) break
+2078     # . eax = slice-equal?(word-slice, "==")
+2079     # . . push args
+2080     68/push  "=="/imm32
+2081     52/push-edx
+2082     # . . call
+2083     e8/call  slice-equal?/disp32
+2084     # . . discard args
+2085     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2086     # . if (eax != false) break
+2087     3d/compare-eax-and  0/imm32/false
+2088     0f 85/jump-if-!=  $emit-segments:line-loop/disp32
+2089 $emit-segments:2-character:
+2090     # if (size(word-slice) != 2) goto next check
+2091     # . eax = size(word-slice)
+2092     8b/copy                         1/mod/*+disp8   2/rm32/edx    .           .             .           0/r32/eax   4/disp8         .                 # copy *(edx+4) to eax
+2093     2b/subtract                     0/mod/indirect  2/rm32/edx    .           .             .           0/r32/eax   .               .                 # subtract *edx from eax
+2094     # . if (eax != 2) goto next check
+2095     3d/compare-eax-and  2/imm32
+2096     75/jump-if-!=  $emit-segments:check-metadata/disp8
+2097     # write-slice-buffered(out, word-slice)
+2098     # . . push args
+2099     52/push-edx
+2100     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2101     # . . call
+2102     e8/call  write-slice-buffered/disp32
+2103     # . . discard args
+2104     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2105     # write-buffered(out, " ")
+2106     # . . push args
+2107     68/push  Space/imm32
+2108     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2109     # . . call
+2110     e8/call  write-buffered/disp32
+2111     # . . discard args
+2112     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2113     # continue
+2114     e9/jump  $emit-segments:word-loop/disp32
+2115 $emit-segments:check-metadata:
+2116     # - if we get here, 'word-slice' must be a label to be looked up
+2117     # datum = next-token-from-slice(word-slice->start, word-slice->end, "/")
+2118     # . . push args
+2119     68/push  emit-segments:datum/imm32
+2120     68/push  0x2f/imm32/slash
+2121     ff          6/subop/push        1/mod/*+disp8   2/rm32/edx    .           .             .           .           4/disp8         .                 # push *(edx+4)
+2122     ff          6/subop/push        0/mod/indirect  2/rm32/edx    .           .             .           .           .               .                 # push *edx
+2123     # . . call
+2124     e8/call  next-token-from-slice/disp32
+2125     # . . discard args
+2126     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+2127 +-- 33 lines: #?     # dump datum -------------------------------------------------------------------------------------------------------------------------------------------------------
+2160     # info/esi = get-slice(labels, datum, row-size=24, "label table")
+2161     # . eax = get-slice(labels, datum, row-size=24, "label table")
+2162     # . . push args
+2163     68/push  "label table"/imm32
+2164     68/push  0x18/imm32/row-size
+2165     68/push  emit-segments:datum/imm32
+2166     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+2167     # . . call
+2168     e8/call  get-slice/disp32
+2169     # . . discard args
+2170     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+2171     # . esi = eax
+2172     89/copy                         3/mod/direct    6/rm32/esi    .           .             .           0/r32/eax   .               .                 # copy eax to esi
+2173 $emit-segments:check-imm8:
+2174     # if (has-metadata?(word-slice, "imm8")) abort
+2175     # . eax = has-metadata?(edx, "imm8")
+2176     # . . push args
+2177     68/push  "imm8"/imm32
+2178     52/push-edx
+2179     # . . call
+2180     e8/call  has-metadata?/disp32
+2181     # . . discard args
+2182     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2183     # . if (eax != false) abort
+2184     3d/compare-eax-and  0/imm32/false
+2185     0f 85/jump-if-!=  $emit-segments:imm8-abort/disp32
+2186 $emit-segments:check-imm32:
+2187     # if (!has-metadata?(word-slice, "imm32")) goto next check
+2188     # . eax = has-metadata?(edx, "imm32")
+2189     # . . push args
+2190     68/push  "imm32"/imm32
+2191     52/push-edx
+2192     # . . call
+2193     e8/call  has-metadata?/disp32
+2194     # . . discard args
+2195     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2196     # . if (eax == false) goto next check
+2197     3d/compare-eax-and  0/imm32/false
+2198     74/jump-if-=  $emit-segments:check-disp8/disp8
+2199 +-- 33 lines: #?     # dump info->address -----------------------------------------------------------------------------------------------------------------------------------------------
+2232 $emit-segments:emit-imm32:
+2233     # emit-hex(out, info->address, 4)
+2234     # . . push args
+2235     68/push  4/imm32
+2236     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           0xc/disp8       .                 # push *(esi+12)
+2237     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2238     # . . call
+2239     e8/call  emit-hex/disp32
+2240     # . . discard args
+2241     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2242     # continue
+2243     e9/jump  $emit-segments:word-loop/disp32
+2244 $emit-segments:check-disp8:
+2245     # if (!has-metadata?(word-slice, "disp8")) goto next check
+2246     # . eax = has-metadata?(edx, "disp8")
+2247     # . . push args
+2248     68/push  "disp8"/imm32
+2249     52/push-edx
+2250     # . . call
+2251     e8/call  has-metadata?/disp32
+2252     # . . discard args
+2253     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2254     # . if (eax == false) goto next check
+2255     3d/compare-eax-and  0/imm32/false
+2256     74/jump-if-=  $emit-segments:check-disp32/disp8
+2257 $emit-segments:emit-disp8:
+2258     # emit-hex(out, info->offset - offset-of-next-instruction, 1)
+2259     # . . push args
+2260     68/push  1/imm32
+2261     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   8/disp8         .                 # copy *(esi+8) to eax
+2262     29/subtract                     3/mod/direct    0/rm32/eax    .           .             .           3/r32/ebx   .               .                 # subtract ebx from eax
+2263     50/push-eax
+2264     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2265     # . . call
+2266     e8/call  emit-hex/disp32
+2267     # . . discard args
+2268     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2269     # continue
+2270     e9/jump  $emit-segments:word-loop/disp32
+2271 $emit-segments:check-disp32:
+2272     # if (!has-metadata?(word-slice, "disp32")) abort
+2273     # . eax = has-metadata?(edx, "disp32")
+2274     # . . push args
+2275     68/push  "disp32"/imm32
+2276     52/push-edx
+2277     # . . call
+2278     e8/call  has-metadata?/disp32
+2279     # . . discard args
+2280     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2281     # . if (eax == false) abort
+2282     3d/compare-eax-and  0/imm32/false
+2283     0f 84/jump-if-=  $emit-segments:abort/disp32
+2284 $emit-segments:emit-disp32:
+2285     # var value/eax = info->address
+2286     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   0xc/disp8       .                 # copy *(esi+12) to eax
+2287     # if (far-jump-or-call?) value = info->offset - offset-of-next-instruction
+2288     81          7/subop/compare     3/mod/direct    7/rm32/edi    .           .             .           .           .               0/imm32/false     # compare edi
+2289     74/jump-if-=  $emit-segments:really-emit-disp32/disp8
+2290     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   8/disp8         .                 # copy *(esi+8) to eax
+2291     29/subtract                     3/mod/direct    0/rm32/eax    .           .             .           3/r32/ebx   .               .                 # subtract ebx from eax
+2292 $emit-segments:really-emit-disp32:
+2293     # emit-hex(out, value, 4)
+2294     # . . push args
+2295     68/push  4/imm32
+2296     50/push-eax
+2297     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2298     # . . call
+2299     e8/call  emit-hex/disp32
+2300     # . . discard args
+2301     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2302     # continue
+2303     e9/jump  $emit-segments:word-loop/disp32
+2304 $emit-segments:next-line:
+2305     # write-buffered(out, "\n")
+2306     # . . push args
+2307     68/push  Newline/imm32
+2308     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+2309     # . . call
+2310     e8/call  write-buffered/disp32
+2311     # . . discard args
+2312     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2313     # loop
+2314     e9/jump  $emit-segments:line-loop/disp32
+2315 $emit-segments:end:
+2316     # . reclaim locals
+2317     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x214/imm32       # add to esp
+2318     # . restore registers
+2319     5f/pop-to-edi
+2320     5e/pop-to-esi
+2321     5b/pop-to-ebx
+2322     5a/pop-to-edx
+2323     59/pop-to-ecx
+2324     58/pop-to-eax
+2325     # . epilogue
+2326     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+2327     5d/pop-to-ebp
+2328     c3/return
+2329 
+2330 $emit-segments:imm8-abort:
+2331     # . _write(2/stderr, error)
+2332     # . . push args
+2333     68/push  "emit-segments: cannot refer to code labels with /imm8"/imm32
+2334     68/push  2/imm32/stderr
+2335     # . . call
+2336     e8/call  _write/disp32
+2337     # . . discard args
+2338     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2339     # . syscall(exit, 1)
+2340     bb/copy-to-ebx  1/imm32
+2341     e8/call  syscall_exit/disp32
+2342     # never gets here
+2343 
+2344 $emit-segments:abort:
+2345     # print(stderr, "missing metadata in " word-slice)
+2346     # . _write(2/stderr, "missing metadata in word ")
+2347     # . . push args
+2348     68/push  "emit-segments: missing metadata in "/imm32
+2349     68/push  2/imm32/stderr
+2350     # . . call
+2351     e8/call  _write/disp32
+2352     # . . discard args
+2353     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2354     # . write-slice-buffered(Stderr, word-slice)
+2355     # . . push args
+2356     52/push-edx
+2357     68/push  Stderr/imm32
+2358     # . . call
+2359     e8/call  write-slice-buffered/disp32
+2360     # . . discard args
+2361     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2362     # . flush(Stderr)
+2363     # . . push args
+2364     68/push  Stderr/imm32
+2365     # . . call
+2366     e8/call  flush/disp32
+2367     # . . discard args
+2368     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2369     # . syscall(exit, 1)
+2370     bb/copy-to-ebx  1/imm32
+2371     e8/call  syscall_exit/disp32
+2372     # never gets here
+2373 
+2374 test-emit-segments-non-far-control-flow:
+2375     # labels turn into absolute addresses if opcodes are not far jumps or calls
+2376     #
+2377     # input:
+2378     #   in:
+2379     #     == code 0x1000
+2380     #     ab cd ef gh
+2381     #     ij x/disp32
+2382     #     == data 0x2000
+2383     #     00
+2384     #     x:
+2385     #       34
+2386     #   labels:
+2387     #     - 'x': {'data', 1, 0x207a}
+2388     #
+2389     # output:
+2390     #   ab cd ef gh
+2391     #   ij 7a 20 00 00
+2392     #   00
+2393     #   34
+2394     #
+2395     # . prologue
+2396     55/push-ebp
+2397     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+2398     # setup
+2399     # . clear-stream(_test-input-stream)
+2400     # . . push args
+2401     68/push  _test-input-stream/imm32
+2402     # . . call
+2403     e8/call  clear-stream/disp32
+2404     # . . discard args
+2405     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2406     # . clear-stream(_test-output-stream)
+2407     # . . push args
+2408     68/push  _test-output-stream/imm32
+2409     # . . call
+2410     e8/call  clear-stream/disp32
+2411     # . . discard args
+2412     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2413     # . clear-stream($_test-output-buffered-file->buffer)
+2414     # . . push args
+2415     68/push  $_test-output-buffered-file->buffer/imm32
+2416     # . . call
+2417     e8/call  clear-stream/disp32
+2418     # . . discard args
+2419     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2420     # . var labels/edx: (stream byte 8*24)
+2421     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc0/imm32        # subtract from esp
+2422     68/push  0xc0/imm32/size
+2423     68/push  0/imm32/read
+2424     68/push  0/imm32/write
+2425     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+2426     # . var h/ebx: (handle array byte)
+2427     68/push  0/imm32
+2428     68/push  0/imm32
+2429     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+2430     # initialize input
+2431     # . write(_test-input-stream, "== code 0x1000\n")
+2432     # . . push args
+2433     68/push  "== code 0x1000\n"/imm32
+2434     68/push  _test-input-stream/imm32
+2435     # . . call
+2436     e8/call  write/disp32
+2437     # . . discard args
+2438     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2439     # . write(_test-input-stream, "ab cd ef gh\n")
+2440     # . . push args
+2441     68/push  "ab cd ef gh\n"/imm32
+2442     68/push  _test-input-stream/imm32
+2443     # . . call
+2444     e8/call  write/disp32
+2445     # . . discard args
+2446     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2447     # . write(_test-input-stream, "ij x/disp32\n")
+2448     # . . push args
+2449     68/push  "ij x/disp32\n"/imm32
+2450     68/push  _test-input-stream/imm32
+2451     # . . call
+2452     e8/call  write/disp32
+2453     # . . discard args
+2454     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2455     # . write(_test-input-stream, "== data 0x2000\n")
+2456     # . . push args
+2457     68/push  "== data 0x2000\n"/imm32
+2458     68/push  _test-input-stream/imm32
+2459     # . . call
+2460     e8/call  write/disp32
+2461     # . . discard args
+2462     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2463     # . write(_test-input-stream, "00\n")
+2464     # . . push args
+2465     68/push  "00\n"/imm32
+2466     68/push  _test-input-stream/imm32
+2467     # . . call
+2468     e8/call  write/disp32
+2469     # . . discard args
+2470     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2471     # . write(_test-input-stream, "x:\n")
+2472     # . . push args
+2473     68/push  "x:\n"/imm32
+2474     68/push  _test-input-stream/imm32
+2475     # . . call
+2476     e8/call  write/disp32
+2477     # . . discard args
+2478     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2479     # . write(_test-input-stream, "34\n")
+2480     # . . push args
+2481     68/push  "34\n"/imm32
+2482     68/push  _test-input-stream/imm32
+2483     # . . call
+2484     e8/call  write/disp32
+2485     # . . discard args
+2486     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2487     # . stream-add6(labels, "x", "data", 1, 0x207a)
+2488     68/push  0x207a/imm32/label-address
+2489     68/push  1/imm32/segment-offset
+2490     # . . push "data"
+2491     53/push-ebx
+2492     68/push  "data"/imm32
+2493     68/push  Heap/imm32
+2494     e8/call  copy-array/disp32
+2495     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2496     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2497     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2498     # . . push "l1"
+2499     53/push-ebx
+2500     68/push  "x"/imm32
+2501     68/push  Heap/imm32
+2502     e8/call  copy-array/disp32
+2503     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2504     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2505     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2506     # . . push labels
+2507     52/push-edx
+2508     # . . call
+2509     e8/call  stream-add6/disp32
+2510     # . . discard args
+2511     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+2512     # component under test
+2513     # . emit-segments(_test-input-stream, _test-output-buffered-file, labels)
+2514     # . . push args
+2515     52/push-edx
+2516     68/push  _test-output-buffered-file/imm32
+2517     68/push  _test-input-stream/imm32
+2518     # . . call
+2519     e8/call  emit-segments/disp32
+2520     # . . discard args
+2521     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2522     # checks
+2523     # . flush(_test-output-buffered-file)
+2524     # . . push args
+2525     68/push  _test-output-buffered-file/imm32
+2526     # . . call
+2527     e8/call  flush/disp32
+2528     # . . discard args
+2529     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2530 +-- 33 lines: #?     # dump output ------------------------------------------------------------------------------------------------------------------------------------------------------
+2563     # . check-next-stream-line-equal(_test-output-stream, "ab cd ef gh ", msg)
+2564     # . . push args
+2565     68/push  "F - test-emit-segments-global-variable/0"/imm32
+2566     68/push  "ab cd ef gh "/imm32
+2567     68/push  _test-output-stream/imm32
+2568     # . . call
+2569     e8/call  check-next-stream-line-equal/disp32
+2570     # . . discard args
+2571     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2572     # . check-next-stream-line-equal(_test-output-stream, "ij 7a 20 00 00 ", msg)
+2573     # . . push args
+2574     68/push  "F - test-emit-segments-global-variable/1"/imm32
+2575     68/push  "ij 7a 20 00 00 "/imm32
+2576     68/push  _test-output-stream/imm32
+2577     # . . call
+2578     e8/call  check-next-stream-line-equal/disp32
+2579     # . . discard args
+2580     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2581     # . check-next-stream-line-equal(_test-output-stream, "00 ", msg)
+2582     # . . push args
+2583     68/push  "F - test-emit-segments-global-variable/2"/imm32
+2584     68/push  "00 "/imm32
+2585     68/push  _test-output-stream/imm32
+2586     # . . call
+2587     e8/call  check-next-stream-line-equal/disp32
+2588     # . . discard args
+2589     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2590     # . check-next-stream-line-equal(_test-output-stream, "34 ", msg)
+2591     # . . push args
+2592     68/push  "F - test-emit-segments-global-variable/3"/imm32
+2593     68/push  "34 "/imm32
+2594     68/push  _test-output-stream/imm32
+2595     # . . call
+2596     e8/call  check-next-stream-line-equal/disp32
+2597     # . . discard args
+2598     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2599     # . epilogue
+2600     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+2601     5d/pop-to-ebp
+2602     c3/return
+2603 
+2604 test-emit-segments-code-label:
+2605     # labels turn into PC-relative addresses if opcodes are far jumps or calls
+2606     #
+2607     # input:
+2608     #   in:
+2609     #     == code 0x1000
+2610     #     ab cd
+2611     #     l1:
+2612     #       ef gh
+2613     #       e8 l1/disp32
+2614     #   labels:
+2615     #     - 'l1': {'code', 2, 0x1056}
+2616     #
+2617     # output:
+2618     #   ab cd
+2619     #   ef gh
+2620     #   e8 f9 ff ff ff  # -7
+2621     #
+2622     # . prologue
+2623     55/push-ebp
+2624     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+2625     # setup
+2626     # . clear-stream(_test-input-stream)
+2627     # . . push args
+2628     68/push  _test-input-stream/imm32
+2629     # . . call
+2630     e8/call  clear-stream/disp32
+2631     # . . discard args
+2632     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2633     # . clear-stream(_test-output-stream)
+2634     # . . push args
+2635     68/push  _test-output-stream/imm32
+2636     # . . call
+2637     e8/call  clear-stream/disp32
+2638     # . . discard args
+2639     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2640     # . clear-stream($_test-output-buffered-file->buffer)
+2641     # . . push args
+2642     68/push  $_test-output-buffered-file->buffer/imm32
+2643     # . . call
+2644     e8/call  clear-stream/disp32
+2645     # . . discard args
+2646     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2647     # . var labels/edx: (stream byte 8*24)
+2648     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc0/imm32        # subtract from esp
+2649     68/push  0xc0/imm32/size
+2650     68/push  0/imm32/read
+2651     68/push  0/imm32/write
+2652     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+2653     # . var h/ebx: (handle array byte)
+2654     68/push  0/imm32
+2655     68/push  0/imm32
+2656     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+2657     # initialize input
+2658     # . write(_test-input-stream, "== code 0x1000\n")
+2659     # . . push args
+2660     68/push  "== code 0x1000\n"/imm32
+2661     68/push  _test-input-stream/imm32
+2662     # . . call
+2663     e8/call  write/disp32
+2664     # . . discard args
+2665     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2666     # . write(_test-input-stream, "ab cd\n")
+2667     # . . push args
+2668     68/push  "ab cd\n"/imm32
+2669     68/push  _test-input-stream/imm32
+2670     # . . call
+2671     e8/call  write/disp32
+2672     # . . discard args
+2673     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2674     # . write(_test-input-stream, "l1:\n")
+2675     # . . push args
+2676     68/push  "l1:\n"/imm32
+2677     68/push  _test-input-stream/imm32
+2678     # . . call
+2679     e8/call  write/disp32
+2680     # . . discard args
+2681     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2682     # . write(_test-input-stream, "  ef gh\n")
+2683     # . . push args
+2684     68/push  "  ef gh\n"/imm32
+2685     68/push  _test-input-stream/imm32
+2686     # . . call
+2687     e8/call  write/disp32
+2688     # . . discard args
+2689     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2690     # . write(_test-input-stream, "  e8 l1/disp32\n")
+2691     # . . push args
+2692     68/push  "  e8 l1/disp32\n"/imm32
+2693     68/push  _test-input-stream/imm32
+2694     # . . call
+2695     e8/call  write/disp32
+2696     # . . discard args
+2697     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2698     # . stream-add6(labels, "l1", "code", 2, 0x1056)
+2699     68/push  0x1056/imm32/label-address
+2700     68/push  2/imm32/segment-offset
+2701     # . . push "data"
+2702     53/push-ebx
+2703     68/push  "code"/imm32
+2704     68/push  Heap/imm32
+2705     e8/call  copy-array/disp32
+2706     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2707     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2708     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2709     # . . push "l1"
+2710     53/push-ebx
+2711     68/push  "l1"/imm32
+2712     68/push  Heap/imm32
+2713     e8/call  copy-array/disp32
+2714     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2715     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2716     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2717     # . . push labels
+2718     52/push-edx
+2719     # . . call
+2720     e8/call  stream-add6/disp32
+2721     # . . discard args
+2722     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+2723     # component under test
+2724     # . emit-segments(_test-input-stream, _test-output-buffered-file, labels)
+2725     # . . push args
+2726     52/push-edx
+2727     68/push  _test-output-buffered-file/imm32
+2728     68/push  _test-input-stream/imm32
+2729     # . . call
+2730     e8/call  emit-segments/disp32
+2731     # . . discard args
+2732     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2733     # checks
+2734     # . flush(_test-output-buffered-file)
+2735     # . . push args
+2736     68/push  _test-output-buffered-file/imm32
+2737     # . . call
+2738     e8/call  flush/disp32
+2739     # . . discard args
+2740     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2741 +-- 33 lines: #?     # dump output ------------------------------------------------------------------------------------------------------------------------------------------------------
+2774     # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+2775     # . . push args
+2776     68/push  "F - test-emit-segments-code-label/0"/imm32
+2777     68/push  "ab cd "/imm32
+2778     68/push  _test-output-stream/imm32
+2779     # . . call
+2780     e8/call  check-next-stream-line-equal/disp32
+2781     # . . discard args
+2782     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2783     # . check-next-stream-line-equal(_test-output-stream, "ef gh ", msg)
+2784     # . . push args
+2785     68/push  "F - test-emit-segments-code-label/1"/imm32
+2786     68/push  "ef gh "/imm32
+2787     68/push  _test-output-stream/imm32
+2788     # . . call
+2789     e8/call  check-next-stream-line-equal/disp32
+2790     # . . discard args
+2791     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2792     # . check-next-stream-line-equal(_test-output-stream, "e8 f9 ff ff ff ", msg)
+2793     # . . push args
+2794     68/push  "F - test-emit-segments-code-label/2"/imm32
+2795     68/push  "e8 f9 ff ff ff "/imm32
+2796     68/push  _test-output-stream/imm32
+2797     # . . call
+2798     e8/call  check-next-stream-line-equal/disp32
+2799     # . . discard args
+2800     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2801     # . epilogue
+2802     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+2803     5d/pop-to-ebp
+2804     c3/return
+2805 
+2806 test-emit-segments-code-label-absolute:
+2807     # labels can also convert to absolute addresses
+2808     #
+2809     # input:
+2810     #   in:
+2811     #     == code 0x1000
+2812     #     ab cd
+2813     #     l1:
+2814     #       ef gh
+2815     #       ij l1/imm32
+2816     #   labels:
+2817     #     - 'l1': {'code', 2, 0x1056}
+2818     #
+2819     # output:
+2820     #   ab cd
+2821     #   ef gh
+2822     #   ij 56 10 00 00
+2823     #
+2824     # . prologue
+2825     55/push-ebp
+2826     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+2827     # setup
+2828     # . clear-stream(_test-input-stream)
+2829     # . . push args
+2830     68/push  _test-input-stream/imm32
+2831     # . . call
+2832     e8/call  clear-stream/disp32
+2833     # . . discard args
+2834     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2835     # . clear-stream(_test-output-stream)
+2836     # . . push args
+2837     68/push  _test-output-stream/imm32
+2838     # . . call
+2839     e8/call  clear-stream/disp32
+2840     # . . discard args
+2841     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2842     # . clear-stream($_test-output-buffered-file->buffer)
+2843     # . . push args
+2844     68/push  $_test-output-buffered-file->buffer/imm32
+2845     # . . call
+2846     e8/call  clear-stream/disp32
+2847     # . . discard args
+2848     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2849     # . var labels/edx: (stream byte 8*24)
+2850     81          5/subop/subtract    3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc0/imm32        # subtract from esp
+2851     68/push  0xc0/imm32/size
+2852     68/push  0/imm32/read
+2853     68/push  0/imm32/write
+2854     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+2855     # . var h/ebx: (handle array byte)
+2856     68/push  0/imm32
+2857     68/push  0/imm32
+2858     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+2859     # initialize input
+2860     # . write(_test-input-stream, "== code 0x1000\n")
+2861     # . . push args
+2862     68/push  "== code 0x1000\n"/imm32
+2863     68/push  _test-input-stream/imm32
+2864     # . . call
+2865     e8/call  write/disp32
+2866     # . . discard args
+2867     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2868     # . write(_test-input-stream, "ab cd\n")
+2869     # . . push args
+2870     68/push  "ab cd\n"/imm32
+2871     68/push  _test-input-stream/imm32
+2872     # . . call
+2873     e8/call  write/disp32
+2874     # . . discard args
+2875     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2876     # . write(_test-input-stream, "l1:\n")
+2877     # . . push args
+2878     68/push  "l1:\n"/imm32
+2879     68/push  _test-input-stream/imm32
+2880     # . . call
+2881     e8/call  write/disp32
+2882     # . . discard args
+2883     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2884     # . write(_test-input-stream, "  ef gh\n")
+2885     # . . push args
+2886     68/push  "  ef gh\n"/imm32
+2887     68/push  _test-input-stream/imm32
+2888     # . . call
+2889     e8/call  write/disp32
+2890     # . . discard args
+2891     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2892     # . write(_test-input-stream, "  ij l1/imm32\n")
+2893     # . . push args
+2894     68/push  "  ij l1/imm32\n"/imm32
+2895     68/push  _test-input-stream/imm32
+2896     # . . call
+2897     e8/call  write/disp32
+2898     # . . discard args
+2899     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+2900     # . stream-add6(labels, "l1", "code", 2, 0x1056)
+2901     68/push  0x1056/imm32/label-address
+2902     68/push  2/imm32/segment-offset
+2903     # . . push "data"
+2904     53/push-ebx
+2905     68/push  "code"/imm32
+2906     68/push  Heap/imm32
+2907     e8/call  copy-array/disp32
+2908     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2909     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2910     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2911     # . . push "l1"
+2912     53/push-ebx
+2913     68/push  "l1"/imm32
+2914     68/push  Heap/imm32
+2915     e8/call  copy-array/disp32
+2916     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2917     ff          6/subop/push        1/mod/*+disp8   3/rm32/ebx    .           .             .           .           4/disp8         .                 # push *(ebx+4)
+2918     ff          6/subop/push        0/mod/indirect  3/rm32/ebx    .           .             .           .           .               .                 # push *ebx
+2919     # . . push labels
+2920     52/push-edx
+2921     # . . call
+2922     e8/call  stream-add6/disp32
+2923     # . . discard args
+2924     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x1c/imm32        # add to esp
+2925     # component under test
+2926     # . emit-segments(_test-input-stream, _test-output-buffered-file, labels)
+2927     # . . push args
+2928     52/push-edx
+2929     68/push  _test-output-buffered-file/imm32
+2930     68/push  _test-input-stream/imm32
+2931     # . . call
+2932     e8/call  emit-segments/disp32
+2933     # . . discard args
+2934     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2935     # checks
+2936     # . flush(_test-output-buffered-file)
+2937     # . . push args
+2938     68/push  _test-output-buffered-file/imm32
+2939     # . . call
+2940     e8/call  flush/disp32
+2941     # . . discard args
+2942     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+2943 +-- 33 lines: #?     # dump output ------------------------------------------------------------------------------------------------------------------------------------------------------
+2976     # . check-next-stream-line-equal(_test-output-stream, "ab cd ", msg)
+2977     # . . push args
+2978     68/push  "F - test-emit-segments-code-label-absolute/0"/imm32
+2979     68/push  "ab cd "/imm32
+2980     68/push  _test-output-stream/imm32
+2981     # . . call
+2982     e8/call  check-next-stream-line-equal/disp32
+2983     # . . discard args
+2984     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2985     # . check-next-stream-line-equal(_test-output-stream, "ef gh ", msg)
+2986     # . . push args
+2987     68/push  "F - test-emit-segments-code-label-absolute/1"/imm32
+2988     68/push  "ef gh "/imm32
+2989     68/push  _test-output-stream/imm32
+2990     # . . call
+2991     e8/call  check-next-stream-line-equal/disp32
+2992     # . . discard args
+2993     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+2994     # . check-next-stream-line-equal(_test-output-stream, "ij f9 ff ff ff ", msg)
+2995     # . . push args
+2996     68/push  "F - test-emit-segments-code-label-absolute/2"/imm32
+2997     68/push  "ij 56 10 00 00 "/imm32
+2998     68/push  _test-output-stream/imm32
+2999     # . . call
+3000     e8/call  check-next-stream-line-equal/disp32
+3001     # . . discard args
+3002     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+3003     # . epilogue
+3004     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3005     5d/pop-to-ebp
+3006     c3/return
+3007 
+3008 # reads line to make some checks
+3009 # don't assume the read state of line after calling this function
+3010 far-jump-or-call?:  # line: (addr stream byte) -> result/edi: boolean
+3011     # . prologue
+3012     55/push-ebp
+3013     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3014     # . save registers
+3015     50/push-eax
+3016     51/push-ecx
+3017     52/push-edx
+3018     53/push-ebx
+3019     # ecx = line
+3020     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           1/r32/ecx   8/disp8         .                 # copy *(ebp+8) to ecx
+3021     # var word-slice/edx: slice
+3022     68/push  0/imm32/end
+3023     68/push  0/imm32/start
+3024     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+3025     # var datum-slice/ebx: slice
+3026     68/push  0/imm32/end
+3027     68/push  0/imm32/start
+3028     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+3029     # result = false
+3030     bf/copy-to-edi  0/imm32/false
+3031 $far-jump-or-call?:check-first-word:
+3032     # next-word(line, word-slice)
+3033     # . . push args
+3034     52/push-edx
+3035     51/push-ecx
+3036     # . . call
+3037     e8/call  next-word/disp32
+3038     # . . discard args
+3039     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3040     # if (slice-empty?(word-slice)) return false
+3041     # . eax = slice-empty?(word-slice)
+3042     # . . push args
+3043     52/push-edx
+3044     # . . call
+3045     e8/call  slice-empty?/disp32
+3046     # . . discard args
+3047     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+3048     # . if (eax != 0) return
+3049     3d/compare-eax-and  0/imm32/false
+3050     0f 85/jump-if-!=  $far-jump-or-call?:end/disp32
+3051     # datum = next-token-from-slice(word-slice->start, word-slice->end, "/")
+3052     # . . push args
+3053     53/push-ebx
+3054     68/push  0x2f/imm32/slash
+3055     ff          6/subop/push        1/mod/*+disp8   2/rm32/edx    .           .             .           .           4/disp8         .                 # push *(edx+4)
+3056     ff          6/subop/push        0/mod/indirect  2/rm32/edx    .           .             .           .           .               .                 # push *edx
+3057     # . . call
+3058     e8/call  next-token-from-slice/disp32
+3059     # . . discard args
+3060     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+3061     # if (datum-slice == "e8") return true
+3062     # . eax = slice-equal?(datum-slice, "e8")
+3063     # . . push args
+3064     68/push  "e8"/imm32
+3065     53/push-ebx
+3066     # . . call
+3067     e8/call  slice-equal?/disp32
+3068     # . . discard args
+3069     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3070     # . if (eax != false) return true
+3071     3d/compare-eax-and  0/imm32/false
+3072     75/jump-if-!=  $far-jump-or-call?:return-true/disp8
+3073     # if (datum-slice == "e9") return true
+3074     # . eax = slice-equal?(datum-slice, "e9")
+3075     # . . push args
+3076     68/push  "e9"/imm32
+3077     53/push-ebx
+3078     # . . call
+3079     e8/call  slice-equal?/disp32
+3080     # . . discard args
+3081     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3082     # . if (eax != false) return true
+3083     3d/compare-eax-and  0/imm32/false
+3084     75/jump-if-!=  $far-jump-or-call?:return-true/disp8
+3085     # if (datum-slice != "0f") return false
+3086     # . eax = slice-equal?(datum-slice, "0f")
+3087     # . . push args
+3088     68/push  "0f"/imm32
+3089     53/push-ebx
+3090     # . . call
+3091     e8/call  slice-equal?/disp32
+3092     # . . discard args
+3093     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3094     # . if (eax == false) return
+3095     3d/compare-eax-and  0/imm32/false
+3096     74/jump-if-=  $far-jump-or-call?:end/disp8
+3097 $far-jump-or-call?:check-second-word:
+3098     # next-word(line, word-slice)
+3099     # . . push args
+3100     52/push-edx
+3101     51/push-ecx
+3102     # . . call
+3103     e8/call  next-word/disp32
+3104     # . . discard args
+3105     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3106     # if (slice-empty?(word-slice)) return false
+3107     # . eax = slice-empty?(word-slice)
+3108     # . . push args
+3109     52/push-edx
+3110     # . . call
+3111     e8/call  slice-empty?/disp32
+3112     # . . discard args
+3113     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+3114     # . if (eax != 0) return
+3115     3d/compare-eax-and  0/imm32/false
+3116     75/jump-if-!=  $far-jump-or-call?:end/disp8
+3117     # if datum of word-slice does not start with "8", return false
+3118     # . start/eax = word-slice->start
+3119     8b/copy                         0/mod/indirect  2/rm32/edx    .           .             .           0/r32/eax   .               .                 # copy *edx to eax
+3120     # . c/eax = *start
+3121     8a/copy-byte                    0/mod/indirect  0/rm32/eax    .           .             .           0/r32/AL    .               .                 # copy byte at *eax to AL
+3122     81          4/subop/and         3/mod/direct    0/rm32/eax    .           .             .           .           .               0xff/imm32        # bitwise and of eax
+3123     # . if (eax != '8') return
+3124     3d/compare-eax-and  0x38/imm32/8
+3125     75/jump-if-!=  $far-jump-or-call?:end/disp8
+3126     # otherwise return true
+3127 $far-jump-or-call?:return-true:
+3128     bf/copy-to-edi  1/imm32/true
+3129 $far-jump-or-call?:end:
+3130     # . reclaim locals
+3131     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+3132     # . restore registers
+3133     5b/pop-to-ebx
+3134     5a/pop-to-edx
+3135     59/pop-to-ecx
+3136     58/pop-to-eax
+3137     # . epilogue
+3138     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3139     5d/pop-to-ebp
+3140     c3/return
+3141 
+3142 emit-headers:  # out: (addr buffered-file), segments: (addr stream {(handle array byte), segment-info}), labels: (addr stream {(handle array byte), label-info})
+3143     # pseudocode:
+3144     #   emit-elf-header(out, segments, labels)
+3145     #   var curr-segment-row: (addr handle array byte) = segments->data
+3146     #   max = &segments->data[segments->write]
+3147     #   while true
+3148     #     if (curr-segment >= max) break
+3149     #     emit-elf-program-header-entry(out, curr-segment-row)
+3150     #     curr-segment-row += 20                        # size of a row
+3151     #
+3152     # . prologue
+3153     55/push-ebp
+3154     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3155     # . save registers
+3156     50/push-eax
+3157     51/push-ecx
+3158     # emit-elf-header(out, segments, labels)
+3159     # . . push args
+3160     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+3161     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+3162     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3163     # . . call
+3164     e8/call  emit-elf-header/disp32
+3165     # . . discard args
+3166     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+3167     # eax = segments
+3168     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           0/r32/eax   0xc/disp8       .                 # copy *(ebp+12) to eax
+3169     # ecx = segments->write
+3170     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy *eax to ecx
+3171     # curr-segment/eax = segments->data
+3172     8d/copy-address                 1/mod/*+disp8   0/rm32/eax    .           .             .           0/r32/eax   0xc/disp8       .                 # copy eax+12 to eax
+3173     # max/ecx = &segments->data[segments->write]
+3174     01/add                          3/mod/direct    1/rm32/ecx    .           .             .           0/r32/eax   .               .                 # add eax to ecx
+3175 $emit-headers:loop:
+3176     # if (curr-segment >= max) break
+3177     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # compare eax with ecx
+3178     0f 83/jump-if-addr>=  $emit-headers:end/disp32
+3179 +-- 63 lines: #?     # dump curr-segment->name ------------------------------------------------------------------------------------------------------------------------------------------
+3242 +--  9 lines: #?     # write(2/stderr, "emit-segment-header\n") -------------------------------------------------------------------------------------------------------------------------
+3251     # emit-elf-program-header-entry(out, curr-segment)
+3252     # . . push args
+3253     50/push-eax
+3254     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3255     # . . call
+3256     e8/call  emit-elf-program-header-entry/disp32
+3257     # . . discard args
+3258     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3259     # curr-segment += 20                        # size of a row
+3260     81          0/subop/add         3/mod/direct    0/rm32/eax    .           .             .           .           .               0x14/imm32        # add to eax
+3261     e9/jump  $emit-headers:loop/disp32
+3262 $emit-headers:end:
+3263     # . restore registers
+3264     59/pop-to-ecx
+3265     58/pop-to-eax
+3266     # . epilogue
+3267     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3268     5d/pop-to-ebp
+3269     c3/return
+3270 
+3271 emit-elf-header:  # out: (addr buffered-file), segments: (addr stream {(handle array byte), segment-info}), labels: (addr stream {(handle array byte), label-info})
+3272     # pseudocode
+3273     #   *$Elf_e_entry = get(labels, "Entry")->address
+3274     #   *$Elf_e_phnum = segments->write / 20         # size of a row
+3275     #   emit-hex-array(out, Elf_header)
+3276     #   write-buffered(out, "\n")
+3277     #
+3278     # . prologue
+3279     55/push-ebp
+3280     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3281     # . save registers
+3282     50/push-eax
+3283     51/push-ecx
+3284     52/push-edx  # just because we need to call idiv
+3285     # *$Elf_e_entry = get(labels, "Entry")->address
+3286     # . eax = labels
+3287     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           0/r32/eax   0x10/disp8      .                 # copy *(ebp+16) to eax
+3288     # . label-info/eax = get(labels, "Entry", row-size=24, "label table")
+3289     # . . push args
+3290     68/push  "label table"/imm32
+3291     68/push  0x18/imm32/row-size
+3292     68/push  "Entry"/imm32
+3293     50/push-eax
+3294     # . . call
+3295     e8/call  get/disp32
+3296     # . . discard args
+3297     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x10/imm32        # add to esp
+3298     # . eax = label-info->address
+3299     8b/copy                         1/mod/*+disp8   0/rm32/eax    .           .             .           0/r32/eax   0xc/disp8       .                 # copy *(eax+12) to eax
+3300     # . *$Elf_e_entry = eax
+3301     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_e_entry/disp32               # copy eax to *$Elf_e_entry
+3302     # *$Elf_e_phnum = segments->write / 20
+3303     # . eax = segments
+3304     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           0/r32/eax   0xc/disp8       .                 # copy *(ebp+12) to eax
+3305     # . len/eax = segments->write
+3306     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           0/r32/eax   .               .                 # copy *eax to eax
+3307     # . eax = len / 20  (clobbering ecx and edx)
+3308     b9/copy-to-ecx  0x14/imm32
+3309     31/xor                          3/mod/direct    2/rm32/edx    .           .             .           2/r32/edx   .               .                 # clear edx
+3310     f7          7/subop/idiv        3/mod/direct    1/rm32/ecx    .           .             .           .           .               .                 # divide edx:eax by ecx, storing quotient in eax and remainder in edx
+3311     # . *$Elf_e_phnum = eax
+3312     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_e_phnum/disp32               # copy eax to *$Elf_e_phnum
+3313     # emit-hex-array(out, Elf_header)
+3314     # . . push args
+3315     68/push  Elf_header/imm32
+3316     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3317     # . . call
+3318     e8/call  emit-hex-array/disp32
+3319     # . . discard args
+3320     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3321     # write-buffered(out, "\n")
+3322     # . . push args
+3323     68/push  Newline/imm32
+3324     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3325     # . . call
+3326     e8/call  write-buffered/disp32
+3327     # . . discard args
+3328     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3329 $emit-elf-header:end:
+3330     # . restore registers
+3331     5a/pop-to-edx
+3332     59/pop-to-ecx
+3333     58/pop-to-eax
+3334     # . epilogue
+3335     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3336     5d/pop-to-ebp
+3337     c3/return
+3338 
+3339 # segment-info: {address, file-offset, size}                                  (12 bytes)
+3340 # segments: (addr stream {(handle array byte), segment-info})                 (20 bytes per row)
+3341 emit-elf-program-header-entry:  # out: (addr buffered-file), curr-segment: (addr {(handle array byte), segment-info})
+3342     # pseudocode:
+3343     #   *$Elf_p_offset = curr-segment->file-offset
+3344     #   *$Elf_p_vaddr = curr-segment->address
+3345     #   *$Elf_p_paddr = curr-segment->address
+3346     #   *$Elf_p_filesz = curr-segment->size
+3347     #   *$Elf_p_memsz = curr-segment->size
+3348     #   if curr-segment->name == "code"
+3349     #     *$Elf_p_flags = 5  # r-x
+3350     #   else
+3351     #     *$Elf_p_flags = 6  # rw-
+3352     #   emit-hex-array(out, Elf_program_header_entry)
+3353     #   write-buffered(out, "\n")
+3354     #
+3355     # . prologue
+3356     55/push-ebp
+3357     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3358     # . save registers
+3359     50/push-eax
+3360     56/push-esi
+3361     # esi = curr-segment
+3362     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           6/r32/esi   0xc/disp8       .                 # copy *(ebp+12) to esi
+3363     # *$Elf_p_offset = curr-segment->file-offset
+3364     # . eax = curr-segment->file-offset
+3365     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   0xc/disp8       .                 # copy *(esi+12) to eax
+3366     # . *$Elf_p_offset = eax
+3367     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_p_offset/disp32              # copy eax to *$Elf_p_offset
+3368     # *$Elf_p_vaddr = curr-segment->address
+3369     # . eax = curr-segment->address
+3370     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   8/disp8         .                 # copy *(esi+8) to eax
+3371     # . *$Elf_p_vaddr = eax
+3372     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_p_vaddr/disp32               # copy eax to *$Elf_p_vaddr
+3373     # *$Elf_p_paddr = curr-segment->address
+3374     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_p_paddr/disp32               # copy eax to *$Elf_p_paddr
+3375     # *$Elf_p_filesz = curr-segment->size
+3376     # . eax = curr-segment->size
+3377     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           0/r32/eax   0x10/disp8       .                # copy *(esi+16) to eax
+3378     # . *$Elf_p_filesz = eax
+3379     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_p_filesz/disp32              # copy eax to *$Elf_p_filesz
+3380     # *$Elf_p_memsz = curr-segment->size
+3381     89/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   $Elf_p_memsz/disp32               # copy eax to *$Elf_p_memsz
+3382     # if (!string-equal?(name, "code") goto next check
+3383     # . var name/eax: (addr array byte) = lookup(curr-segment->name)
+3384     # . . push args
+3385     ff          6/subop/push        1/mod/*+disp8   6/rm32/esi    .           .             .           .           4/disp8         .                 # push *(esi+4)
+3386     ff          6/subop/push        0/mod/indirect  6/rm32/esi    .           .             .           .           .               .                 # push *esi
+3387     # . . call
+3388     e8/call  lookup/disp32
+3389     # . . discard args
+3390     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3391     # . eax = string-equal?(name, "code")
+3392     # . . push args
+3393     68/push  "code"/imm32
+3394     50/push-eax
+3395     # . . call
+3396     e8/call  string-equal?/disp32
+3397     # . . discard args
+3398     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3399     # . if (eax == false) goto next check
+3400     3d/compare-eax-and  0/imm32/false
+3401     74/jump-if-=  $emit-elf-program-header-entry:data/disp8
+3402     # *$Elf_p_flags = r-x
+3403     c7          0/subop/copy        0/mod/indirect  5/rm32/.disp32            .             .           .           $Elf_p_flags/disp32  5/imm32      # copy to *$Elf_p_flags
+3404     eb/jump  $emit-elf-program-header-entry:really-emit/disp8
+3405 $emit-elf-program-header-entry:data:
+3406     # otherwise *$Elf_p_flags = rw-
+3407     c7          0/subop/copy        0/mod/indirect  5/rm32/.disp32            .             .           .           $Elf_p_flags/disp32  6/imm32      # copy to *$Elf_p_flags
+3408 $emit-elf-program-header-entry:really-emit:
+3409     # emit-hex-array(out, Elf_program_header_entry)
+3410     # . . push args
+3411     68/push  Elf_program_header_entry/imm32
+3412     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3413     # . . call
+3414     e8/call  emit-hex-array/disp32
+3415     # . . discard args
+3416     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3417     # write-buffered(out, "\n")
+3418     # . . push args
+3419     68/push  Newline/imm32
+3420     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3421     # . . call
+3422     e8/call  write-buffered/disp32
+3423     # . . discard args
+3424     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3425 $emit-elf-program-header-entry:end:
+3426     # . restore registers
+3427     5e/pop-to-esi
+3428     58/pop-to-eax
+3429     # . epilogue
+3430     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3431     5d/pop-to-ebp
+3432     c3/return
+3433 
+3434 # - some helpers for tests
+3435 
+3436 stream-add5:  # in: (addr stream byte), key: handle, val1: addr, val2: addr, val3: addr
+3437     # . prologue
+3438     55/push-ebp
+3439     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3440     # . save registers
+3441     50/push-eax
+3442     51/push-ecx
+3443     52/push-edx
+3444     56/push-esi
+3445     # esi = in
+3446     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           6/r32/esi   8/disp8         .                 # copy *(ebp+8) to esi
+3447     # curr/eax = &in->data[in->write]
+3448     # . eax = in->write
+3449     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           0/r32/eax   .               .                 # copy *esi to eax
+3450     # . eax = esi+eax+12
+3451     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  0/index/eax   .           0/r32/eax   0xc/disp8       .                 # copy esi+eax+12 to eax
+3452     # max/edx = &in->data[in->size]
+3453     # . edx = in->size
+3454     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           2/r32/edx   8/disp8         .                 # copy *(esi+8) to edx
+3455     # . edx = esi+edx+12
+3456     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  2/index/edx   .           2/r32/edx   0xc/disp8       .                 # copy esi+edx+12 to edx
+3457     # if (curr >= max) abort
+3458     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3459     73/jump-if-addr>=  $stream-add5:abort/disp8
+3460     # *curr = key->alloc-id
+3461     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0xc/disp8       .                 # copy *(ebp+12) to ecx
+3462     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3463     # curr += 4
+3464     05/add-to-eax  4/imm32
+3465     # if (curr >= max) abort
+3466     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3467     73/jump-if-addr>=  $stream-add5:abort/disp8
+3468     # *curr = key->payload
+3469     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x10/disp8      .                 # copy *(ebp+16) to ecx
+3470     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3471     # curr += 4
+3472     05/add-to-eax  4/imm32
+3473     # if (curr >= max) abort
+3474     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3475     73/jump-if-addr>=  $stream-add5:abort/disp8
+3476     # *curr = val1
+3477     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x14/disp8      .                 # copy *(ebp+20) to ecx
+3478     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3479     # curr += 4
+3480     05/add-to-eax  4/imm32
+3481     # if (curr >= max) abort
+3482     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3483     73/jump-if-addr>=  $stream-add5:abort/disp8
+3484     # *curr = val2
+3485     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x18/disp8      .                 # copy *(ebp+24) to ecx
+3486     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3487     # curr += 4
+3488     05/add-to-eax  4/imm32
+3489     # if (curr >= max) abort
+3490     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3491     73/jump-if-addr>=  $stream-add5:abort/disp8
+3492     # *curr = val3
+3493     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x1c/disp8      .                 # copy *(ebp+28) to ecx
+3494     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3495     # in->write += 20
+3496     81          0/subop/add         0/mod/indirect  6/rm32/esi    .           .             .           .           .               0x14/imm32        # add to *esi
+3497 $stream-add5:end:
+3498     # . restore registers
+3499     5e/pop-to-esi
+3500     5a/pop-to-edx
+3501     59/pop-to-ecx
+3502     58/pop-to-eax
+3503     # . epilogue
+3504     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3505     5d/pop-to-ebp
+3506     c3/return
+3507 
+3508 $stream-add5:abort:
+3509     # . _write(2/stderr, error)
+3510     # . . push args
+3511     68/push  "overflow in stream-add5\n"/imm32
+3512     68/push  2/imm32/stderr
+3513     # . . call
+3514     e8/call  _write/disp32
+3515     # . . discard args
+3516     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3517     # . syscall(exit, 1)
+3518     bb/copy-to-ebx  1/imm32
+3519     e8/call  syscall_exit/disp32
+3520     # never gets here
+3521 
+3522 stream-add6:  # in: (addr stream byte), key: handle, val1: addr, val2: addr, val3: addr, val4: addr
+3523     # . prologue
+3524     55/push-ebp
+3525     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3526     # . save registers
+3527     50/push-eax
+3528     51/push-ecx
+3529     52/push-edx
+3530     56/push-esi
+3531     # esi = in
+3532     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .             .           6/r32/esi   8/disp8         .                 # copy *(ebp+8) to esi
+3533     # curr/eax = &in->data[in->write]
+3534     # . eax = in->write
+3535     8b/copy                         0/mod/indirect  6/rm32/esi    .           .             .           0/r32/eax   .               .                 # copy *esi to eax
+3536     # . eax = esi+eax+12
+3537     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  0/index/eax   .           0/r32/eax   0xc/disp8       .                 # copy esi+eax+12 to eax
+3538     # max/edx = &in->data[in->size]
+3539     # . edx = in->size
+3540     8b/copy                         1/mod/*+disp8   6/rm32/esi    .           .             .           2/r32/edx   8/disp8         .                 # copy *(esi+8) to edx
+3541     # . edx = esi+edx+12
+3542     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    6/base/esi  2/index/edx   .           2/r32/edx   0xc/disp8       .                 # copy esi+edx+12 to edx
+3543     # if (curr >= max) abort
+3544     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3545     73/jump-if-addr>=  $stream-add6:abort/disp8
+3546     # *curr = key->alloc-id
+3547     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0xc/disp8       .                 # copy *(ebp+12) to ecx
+3548     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3549     # curr += 4
+3550     05/add-to-eax  4/imm32
+3551     # if (curr >= max) abort
+3552     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3553     73/jump-if-addr>=  $stream-add6:abort/disp8
+3554     # *curr = key->payload
+3555     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x10/disp8      .                 # copy *(ebp+16) to ecx
+3556     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3557     # curr += 4
+3558     05/add-to-eax  4/imm32
+3559     # if (curr >= max) abort
+3560     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3561     73/jump-if-addr>=  $stream-add6:abort/disp8
+3562     # *curr = val1
+3563     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x14/disp8      .                 # copy *(ebp+20) to ecx
+3564     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3565     # curr += 4
+3566     05/add-to-eax  4/imm32
+3567     # if (curr >= max) abort
+3568     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3569     73/jump-if-addr>=  $stream-add6:abort/disp8
+3570     # *curr = val2
+3571     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x18/disp8      .                 # copy *(ebp+24) to ecx
+3572     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3573     # curr += 4
+3574     05/add-to-eax  4/imm32
+3575     # if (curr >= max) abort
+3576     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3577     73/jump-if-addr>=  $stream-add6:abort/disp8
+3578 $aa-write-segment-offset:
+3579     # *curr = val3
+3580     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x1c/disp8      .                 # copy *(ebp+28) to ecx
+3581     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3582     # curr += 4
+3583     05/add-to-eax  4/imm32
+3584     # if (curr >= max) abort
+3585     39/compare                      3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # compare eax with edx
+3586     73/jump-if-addr>=  $stream-add6:abort/disp8
+3587     # *curr = val4
+3588     8b/copy                         1/mod/*+disp8   5/rm32/ebp    .           .                         1/r32/ecx   0x20/disp8      .                 # copy *(ebp+32) to ecx
+3589     89/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy ecx to *eax
+3590     # in->write += 24
+3591     81          0/subop/add         0/mod/indirect  6/rm32/esi    .           .             .           .           .               0x18/imm32        # add to *esi
+3592 $stream-add6:end:
+3593     # . restore registers
+3594     5e/pop-to-esi
+3595     5a/pop-to-edx
+3596     59/pop-to-ecx
+3597     58/pop-to-eax
+3598     # . epilogue
+3599     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3600     5d/pop-to-ebp
+3601     c3/return
+3602 
+3603 $stream-add6:abort:
+3604     # . _write(2/stderr, error)
+3605     # . . push args
+3606     68/push  "overflow in stream-add6\n"/imm32
+3607     68/push  2/imm32/stderr
+3608     # . . call
+3609     e8/call  _write/disp32
+3610     # . . discard args
+3611     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3612     # . syscall(exit, 1)
+3613     bb/copy-to-ebx  1/imm32
+3614     e8/call  syscall_exit/disp32
+3615     # never gets here
+3616 
+3617 # some variants of 'trace' that take multiple arguments in different combinations of types:
+3618 #   n: int
+3619 #   c: character [4-bytes, will eventually be UTF-8]
+3620 #   s: (addr array byte)
+3621 #   l: (addr slice)
+3622 # one gotcha: 's5' must not be empty
+3623 
+3624 trace-sssns:  # s1: (addr array byte), s2: (addr array byte), s3: (addr array byte), n4: int, s5: (addr array byte)
+3625     # . prologue
+3626     55/push-ebp
+3627     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3628     # write(*Trace-stream, s1)
+3629     # . . push args
+3630     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3631     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3632     # . . call
+3633     e8/call  write/disp32
+3634     # . . discard args
+3635     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3636     # write(*Trace-stream, s2)
+3637     # . . push args
+3638     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+3639     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3640     # . . call
+3641     e8/call  write/disp32
+3642     # . . discard args
+3643     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3644     # write(*Trace-stream, s3)
+3645     # . . push args
+3646     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+3647     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3648     # . . call
+3649     e8/call  write/disp32
+3650     # . . discard args
+3651     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3652     # write-int32-hex(*Trace-stream, n4)
+3653     # . . push args
+3654     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8      .                 # push *(ebp+20)
+3655     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3656     # . . call
+3657     e8/call  write-int32-hex/disp32
+3658     # . . discard args
+3659     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3660     # trace(s5)  # implicitly adds a newline and finalizes the trace line
+3661     # . . push args
+3662     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x18/disp8      .                 # push *(ebp+24)
+3663     # . . call
+3664     e8/call  trace/disp32
+3665     # . . discard args
+3666     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+3667 $trace-sssns:end:
+3668     # . epilogue
+3669     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3670     5d/pop-to-ebp
+3671     c3/return
+3672 
+3673 test-trace-sssns:
+3674     # . prologue
+3675     55/push-ebp
+3676     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3677     # setup
+3678     # . *Trace-stream->write = 0
+3679     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   Trace-stream/disp32               # copy *Trace-stream to eax
+3680     c7          0/subop/copy        0/mod/direct    0/rm32/eax    .           .             .           .           .               0/imm32           # clear *eax
+3681     # trace-sssns("A" "b" "c " 3 " e")
+3682     # . . push args
+3683     68/push  " e"/imm32
+3684     68/push  3/imm32
+3685     68/push  "c "/imm32
+3686     68/push  "b"/imm32
+3687     68/push  "A"/imm32
+3688     # . . call
+3689     e8/call  trace-sssns/disp32
+3690     # . . discard args
+3691     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+3692 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+3718     # check-trace-contains("Abc 0x00000003 e")
+3719     # . . push args
+3720     68/push  "F - test-trace-sssns"/imm32
+3721     68/push  "Abc 0x00000003 e"/imm32
+3722     # . . call
+3723     e8/call  check-trace-contains/disp32
+3724     # . . discard args
+3725     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3726     # . epilogue
+3727     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3728     5d/pop-to-ebp
+3729     c3/return
+3730 
+3731 trace-slsls:  # s1: (addr array byte), l2: (addr slice), s3: (addr array byte), l4: (addr slice), s5: (addr array byte)
+3732     # . prologue
+3733     55/push-ebp
+3734     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3735     # write(*Trace-stream, s1)
+3736     # . . push args
+3737     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3738     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3739     # . . call
+3740     e8/call  write/disp32
+3741     # . . discard args
+3742     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3743     # write-slice(*Trace-stream, l2)
+3744     # . . push args
+3745     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+3746     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3747     # . . call
+3748     e8/call  write-slice/disp32
+3749     # . . discard args
+3750     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3751     # write(*Trace-stream, s3)
+3752     # . . push args
+3753     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+3754     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3755     # . . call
+3756     e8/call  write/disp32
+3757     # . . discard args
+3758     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3759     # write-slice(*Trace-stream, l4)
+3760     # . . push args
+3761     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8      .                 # push *(ebp+20)
+3762     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3763     # . . call
+3764     e8/call  write-slice/disp32
+3765     # . . discard args
+3766     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3767     # trace(s5)  # implicitly adds a newline and finalizes the trace line
+3768     # . . push args
+3769     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x18/disp8      .                 # push *(ebp+24)
+3770     # . . call
+3771     e8/call  trace/disp32
+3772     # . . discard args
+3773     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+3774 $trace-slsls:end:
+3775     # . epilogue
+3776     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3777     5d/pop-to-ebp
+3778     c3/return
+3779 
+3780 test-trace-slsls:
+3781     # . prologue
+3782     55/push-ebp
+3783     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3784     # setup
+3785     # . *Trace-stream->write = 0
+3786     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   Trace-stream/disp32               # copy *Trace-stream to eax
+3787     c7          0/subop/copy        0/mod/direct    0/rm32/eax    .           .             .           .           .               0/imm32           # clear *eax
+3788     # (eax..ecx) = "b"
+3789     b8/copy-to-eax  "b"/imm32
+3790     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy *eax to ecx
+3791     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx   .           1/r32/ecx   4/disp8         .                 # copy eax+ecx+4 to ecx
+3792     05/add-to-eax  4/imm32
+3793     # var b/ebx: slice = {eax, ecx}
+3794     51/push-ecx
+3795     50/push-eax
+3796     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+3797     # (eax..ecx) = "d"
+3798     b8/copy-to-eax  "d"/imm32
+3799     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy *eax to ecx
+3800     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx   .           1/r32/ecx   4/disp8         .                 # copy eax+ecx+4 to ecx
+3801     05/add-to-eax  4/imm32
+3802     # var d/edx: slice = {eax, ecx}
+3803     51/push-ecx
+3804     50/push-eax
+3805     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           4/r32/esp   .               .                 # copy esp to edx
+3806     # trace-slsls("A" b "c" d "e")
+3807     # . . push args
+3808     68/push  "e"/imm32
+3809     52/push-edx
+3810     68/push  "c"/imm32
+3811     53/push-ebx
+3812     68/push  "A"/imm32
+3813     # . . call
+3814     e8/call  trace-slsls/disp32
+3815     # . . discard args
+3816     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+3817 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+3843     # check-trace-contains("Abcde")
+3844     # . . push args
+3845     68/push  "F - test-trace-slsls"/imm32
+3846     68/push  "Abcde"/imm32
+3847     # . . call
+3848     e8/call  check-trace-contains/disp32
+3849     # . . discard args
+3850     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3851     # . epilogue
+3852     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3853     5d/pop-to-ebp
+3854     c3/return
+3855 
+3856 trace-slsns:  # s1: (addr array byte), l2: (addr slice), s3: (addr array byte), n4: int, s5: (addr array byte)
+3857     # . prologue
+3858     55/push-ebp
+3859     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3860     # write(*Trace-stream, s1)
+3861     # . . push args
+3862     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3863     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3864     # . . call
+3865     e8/call  write/disp32
+3866     # . . discard args
+3867     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3868     # write-slice(*Trace-stream, l2)
+3869     # . . push args
+3870     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+3871     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3872     # . . call
+3873     e8/call  write-slice/disp32
+3874     # . . discard args
+3875     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3876     # write(*Trace-stream, s3)
+3877     # . . push args
+3878     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+3879     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3880     # . . call
+3881     e8/call  write/disp32
+3882     # . . discard args
+3883     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3884     # write-int32-hex(*Trace-stream, n4)
+3885     # . . push args
+3886     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8      .                 # push *(ebp+20)
+3887     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3888     # . . call
+3889     e8/call  write-int32-hex/disp32
+3890     # . . discard args
+3891     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3892     # trace(s5)  # implicitly adds a newline and finalizes the trace line
+3893     # . . push args
+3894     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x18/disp8      .                 # push *(ebp+24)
+3895     # . . call
+3896     e8/call  trace/disp32
+3897     # . . discard args
+3898     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+3899 $trace-slsns:end:
+3900     # . epilogue
+3901     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3902     5d/pop-to-ebp
+3903     c3/return
+3904 
+3905 test-trace-slsns:
+3906     # . prologue
+3907     55/push-ebp
+3908     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3909     # setup
+3910     # . *Trace-stream->write = 0
+3911     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   Trace-stream/disp32               # copy *Trace-stream to eax
+3912     c7          0/subop/copy        0/mod/direct    0/rm32/eax    .           .             .           .           .               0/imm32           # clear *eax
+3913     # (eax..ecx) = "b"
+3914     b8/copy-to-eax  "b"/imm32
+3915     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy *eax to ecx
+3916     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx   .           1/r32/ecx   4/disp8         .                 # copy eax+ecx+4 to ecx
+3917     05/add-to-eax  4/imm32
+3918     # var b/ebx: slice = {eax, ecx}
+3919     51/push-ecx
+3920     50/push-eax
+3921     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+3922     # trace-slsls("A" b "c " 3 " e")
+3923     # . . push args
+3924     68/push  " e"/imm32
+3925     68/push  3/imm32
+3926     68/push  "c "/imm32
+3927     53/push-ebx
+3928     68/push  "A"/imm32
+3929     # . . call
+3930     e8/call  trace-slsns/disp32
+3931     # . . discard args
+3932     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+3933 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+3959     # check-trace-contains("Abc 0x00000003 e")
+3960     # . . push args
+3961     68/push  "F - test-trace-slsls"/imm32
+3962     68/push  "Abc 0x00000003 e"/imm32
+3963     # . . call
+3964     e8/call  check-trace-contains/disp32
+3965     # . . discard args
+3966     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3967     # . epilogue
+3968     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+3969     5d/pop-to-ebp
+3970     c3/return
+3971 
+3972 trace-slsss:  # s1: (addr array byte), l2: (addr slice), s3: (addr array byte), s4: (addr array byte), s5: (addr array byte)
+3973     # . prologue
+3974     55/push-ebp
+3975     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+3976     # write(*Trace-stream, s1)
+3977     # . . push args
+3978     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+3979     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3980     # . . call
+3981     e8/call  write/disp32
+3982     # . . discard args
+3983     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3984     # write-slice(*Trace-stream, l2)
+3985     # . . push args
+3986     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0xc/disp8       .                 # push *(ebp+12)
+3987     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3988     # . . call
+3989     e8/call  write-slice/disp32
+3990     # . . discard args
+3991     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+3992     # write(*Trace-stream, s3)
+3993     # . . push args
+3994     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x10/disp8      .                 # push *(ebp+16)
+3995     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+3996     # . . call
+3997     e8/call  write/disp32
+3998     # . . discard args
+3999     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4000     # write(*Trace-stream, s4)
+4001     # . . push args
+4002     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x14/disp8      .                 # push *(ebp+20)
+4003     ff          6/subop/push        0/mod/indirect  5/rm32/.disp32            .             .           .           Trace-stream/disp32               # push *Trace-stream
+4004     # . . call
+4005     e8/call  write/disp32
+4006     # . . discard args
+4007     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4008     # trace(s5)  # implicitly adds a newline and finalizes the trace line
+4009     # . . push args
+4010     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           0x18/disp8      .                 # push *(ebp+24)
+4011     # . . call
+4012     e8/call  trace/disp32
+4013     # . . discard args
+4014     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4015 $trace-slsss:end:
+4016     # . epilogue
+4017     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4018     5d/pop-to-ebp
+4019     c3/return
+4020 
+4021 test-trace-slsss:
+4022     # . prologue
+4023     55/push-ebp
+4024     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4025     # setup
+4026     # . *Trace-stream->write = 0
+4027     8b/copy                         0/mod/indirect  5/rm32/.disp32            .             .           0/r32/eax   Trace-stream/disp32               # copy *Trace-stream to eax
+4028     c7          0/subop/copy        0/mod/direct    0/rm32/eax    .           .             .           .           .               0/imm32           # clear *eax
+4029     # (eax..ecx) = "b"
+4030     b8/copy-to-eax  "b"/imm32
+4031     8b/copy                         0/mod/indirect  0/rm32/eax    .           .             .           1/r32/ecx   .               .                 # copy *eax to ecx
+4032     8d/copy-address                 1/mod/*+disp8   4/rm32/sib    0/base/eax  1/index/ecx   .           1/r32/ecx   4/disp8         .                 # copy eax+ecx+4 to ecx
+4033     05/add-to-eax  4/imm32
+4034     # var b/ebx: slice = {eax, ecx}
+4035     51/push-ecx
+4036     50/push-eax
+4037     89/copy                         3/mod/direct    3/rm32/ebx    .           .             .           4/r32/esp   .               .                 # copy esp to ebx
+4038     # trace-slsss("A" b "c" "d" "e")
+4039     # . . push args
+4040     68/push  "e"/imm32
+4041     68/push  "d"/imm32
+4042     68/push  "c"/imm32
+4043     53/push-ebx
+4044     68/push  "A"/imm32
+4045     # . . call
+4046     e8/call  trace-slsss/disp32
+4047     # . . discard args
+4048     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x14/imm32        # add to esp
+4049 +-- 26 lines: #?     # dump *Trace-stream -----------------------------------------------------------------------------------------------------------------------------------------------
+4075     # check-trace-contains("Abcde")
+4076     # . . push args
+4077     68/push  "F - test-trace-slsss"/imm32
+4078     68/push  "Abcde"/imm32
+4079     # . . call
+4080     e8/call  check-trace-contains/disp32
+4081     # . . discard args
+4082     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4083     # . epilogue
+4084     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4085     5d/pop-to-ebp
+4086     c3/return
+4087 
+4088 num-bytes:  # line: (addr stream byte) -> eax: int
+4089     # pseudocode:
+4090     #   result = 0
+4091     #   while true
+4092     #     var word-slice = next-word(line)
+4093     #     if slice-empty?(word-slice)             # end of line
+4094     #       break
+4095     #     if slice-starts-with?(word-slice, "#")  # comment
+4096     #       break
+4097     #     if label?(word-slice)                # no need for label declarations anymore
+4098     #       break
+4099     #     if slice-equal?(word-slice, "==")
+4100     #       break                                 # no need for segment header lines
+4101     #     result += compute-width(word-slice)
+4102     #   return result
+4103     #
+4104     # . prologue
+4105     55/push-ebp
+4106     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4107     # . save registers
+4108     51/push-ecx
+4109     52/push-edx
+4110     53/push-ebx
+4111     # var result/eax = 0
+4112     31/xor                          3/mod/direct    0/rm32/eax    .           .             .           0/r32/eax   .               .                 # clear eax
+4113     # var word-slice/ecx: slice
+4114     68/push  0/imm32/end
+4115     68/push  0/imm32/start
+4116     89/copy                         3/mod/direct    1/rm32/ecx    .           .             .           4/r32/esp   .               .                 # copy esp to ecx
+4117 +-- 26 lines: #?     # dump line --------------------------------------------------------------------------------------------------------------------------------------------------------
+4143     # . rewind-stream(line)
+4144     # . . push args
+4145     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+4146     # . . call
+4147     e8/call  rewind-stream/disp32
+4148     # . . discard args
+4149     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4150 $num-bytes:loop:
+4151     # next-word(line, word-slice)
+4152     # . . push args
+4153     51/push-ecx
+4154     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+4155     # . . call
+4156     e8/call  next-word/disp32
+4157     # . . discard args
+4158     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4159 +-- 40 lines: #?     # dump word-slice --------------------------------------------------------------------------------------------------------------------------------------------------
+4199 $num-bytes:check0:
+4200     # if (slice-empty?(word-slice)) break
+4201     # . save result
+4202     50/push-eax
+4203     # . eax = slice-empty?(word-slice)
+4204     # . . push args
+4205     51/push-ecx
+4206     # . . call
+4207     e8/call  slice-empty?/disp32
+4208     # . . discard args
+4209     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4210     # . if (eax != false) break
+4211     3d/compare-eax-and  0/imm32/false
+4212     # . restore result now that ZF is set
+4213     58/pop-to-eax
+4214     75/jump-if-!=  $num-bytes:end/disp8
+4215 $num-bytes:check-for-comment:
+4216     # if (slice-starts-with?(word-slice, "#")) break
+4217     # . start/edx = word-slice->start
+4218     8b/copy                         0/mod/indirect  1/rm32/ecx    .           .             .           2/r32/edx   .               .                 # copy *ecx to edx
+4219     # . c/ebx = *start
+4220     31/xor                          3/mod/direct    3/rm32/ebx    .           .             .           3/r32/ebx   .               .                 # clear ebx
+4221     8a/copy-byte                    0/mod/indirect  2/rm32/edx    .           .             .           3/r32/BL    .               .                 # copy byte at *edx to BL
+4222     # . if (ebx == '#') break
+4223     81          7/subop/compare     3/mod/direct    3/rm32/ebx    .           .             .           .           .               0x23/imm32/hash   # compare ebx
+4224     74/jump-if-=  $num-bytes:end/disp8
+4225 $num-bytes:check-for-label:
+4226     # if (slice-ends-with?(word-slice, ":")) break
+4227     # . end/edx = word-slice->end
+4228     8b/copy                         1/mod/*+disp8   1/rm32/ecx    .           .             .           2/r32/edx   4/disp8         .                 # copy *(ecx+4) to edx
+4229     # . c/ebx = *(end-1)
+4230     31/xor                          3/mod/direct    3/rm32/ebx    .           .             .           3/r32/ebx   .               .                 # clear ebx
+4231     8a/copy-byte                    1/mod/*+disp8   2/rm32/edx    .           .             .           3/r32/BL    -1/disp8        .                 # copy byte at *ecx to BL
+4232     # . if (ebx == ':') break
+4233     81          7/subop/compare     3/mod/direct    3/rm32/ebx    .           .             .           .           .               0x3a/imm32/colon  # compare ebx
+4234     74/jump-if-=  $num-bytes:end/disp8
+4235 $num-bytes:check-for-segment-header:
+4236     # if (slice-equal?(word-slice, "==")) break
+4237     # . push result
+4238     50/push-eax
+4239     # . eax = slice-equal?(word-slice, "==")
+4240     # . . push args
+4241     68/push  "=="/imm32
+4242     51/push-ecx
+4243     # . . call
+4244     e8/call  slice-equal?/disp32
+4245     # . . discard args
+4246     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4247     # . if (eax != false) break
+4248     3d/compare-eax-and  0/imm32/false
+4249     # . restore result now that ZF is set
+4250     58/pop-to-eax
+4251     75/jump-if-!=  $num-bytes:end/disp8
+4252 $num-bytes:loop-body:
+4253     # result += compute-width-of-slice(word-slice)
+4254     # . copy result to edx
+4255     89/copy                         3/mod/direct    2/rm32/edx    .           .             .           0/r32/eax   .               .                 # copy eax to edx
+4256     # . eax = compute-width-of-slice(word-slice)
+4257     # . . push args
+4258     51/push-ecx
+4259     # . . call
+4260     e8/call compute-width-of-slice/disp32
+4261     # . . discard args
+4262     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4263     # . eax += result
+4264     01/add                          3/mod/direct    0/rm32/eax    .           .             .           2/r32/edx   .               .                 # add edx to eax
+4265     e9/jump  $num-bytes:loop/disp32
+4266 $num-bytes:end:
+4267     # . rewind-stream(line)
+4268     # . . push args
+4269     ff          6/subop/push        1/mod/*+disp8   5/rm32/ebp    .           .             .           .           8/disp8         .                 # push *(ebp+8)
+4270     # . . call
+4271     e8/call  rewind-stream/disp32
+4272     # . . discard args
+4273     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4274     # . reclaim locals
+4275     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4276     # . restore registers
+4277     5b/pop-to-ebx
+4278     5a/pop-to-edx
+4279     59/pop-to-ecx
+4280     # . epilogue
+4281     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4282     5d/pop-to-ebp
+4283     c3/return
+4284 
+4285 test-num-bytes-handles-empty-string:
+4286     # if a line starts with '#', return 0
+4287     # . prologue
+4288     55/push-ebp
+4289     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4290     # setup
+4291     # . clear-stream(_test-input-stream)
+4292     # . . push args
+4293     68/push  _test-input-stream/imm32
+4294     # . . call
+4295     e8/call  clear-stream/disp32
+4296     # . . discard args
+4297     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4298     # . clear-stream(_test-output-stream)
+4299     # . . push args
+4300     68/push  _test-output-stream/imm32
+4301     # . . call
+4302     e8/call  clear-stream/disp32
+4303     # . . discard args
+4304     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4305     # no contents in input
+4306     # eax = num-bytes(_test-input-stream)
+4307     # . . push args
+4308     68/push  _test-input-stream/imm32
+4309     # . . call
+4310     e8/call  num-bytes/disp32
+4311     # . . discard args
+4312     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4313     # check-ints-equal(eax, 0, msg)
+4314     # . . push args
+4315     68/push  "F - test-num-bytes-handles-empty-string"/imm32
+4316     68/push  0/imm32/true
+4317     50/push-eax
+4318     # . . call
+4319     e8/call  check-ints-equal/disp32
+4320     # . . discard args
+4321     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4322     # . epilogue
+4323     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4324     5d/pop-to-ebp
+4325     c3/return
+4326 
+4327 test-num-bytes-ignores-comments:
+4328     # if a line starts with '#', return 0
+4329     # . prologue
+4330     55/push-ebp
+4331     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4332     # setup
+4333     # . clear-stream(_test-input-stream)
+4334     # . . push args
+4335     68/push  _test-input-stream/imm32
+4336     # . . call
+4337     e8/call  clear-stream/disp32
+4338     # . . discard args
+4339     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4340     # . clear-stream(_test-output-stream)
+4341     # . . push args
+4342     68/push  _test-output-stream/imm32
+4343     # . . call
+4344     e8/call  clear-stream/disp32
+4345     # . . discard args
+4346     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4347     # initialize input
+4348     # . write(_test-input-stream, "# abcd")
+4349     # . . push args
+4350     68/push  "# abcd"/imm32
+4351     68/push  _test-input-stream/imm32
+4352     # . . call
+4353     e8/call  write/disp32
+4354     # . . discard args
+4355     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4356     # eax = num-bytes(_test-input-stream)
+4357     # . . push args
+4358     68/push  _test-input-stream/imm32
+4359     # . . call
+4360     e8/call  num-bytes/disp32
+4361     # . . discard args
+4362     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4363     # check-ints-equal(eax, 0, msg)
+4364     # . . push args
+4365     68/push  "F - test-num-bytes-ignores-comments"/imm32
+4366     68/push  0/imm32/true
+4367     50/push-eax
+4368     # . . call
+4369     e8/call  check-ints-equal/disp32
+4370     # . . discard args
+4371     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4372     # . epilogue
+4373     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4374     5d/pop-to-ebp
+4375     c3/return
+4376 
+4377 test-num-bytes-ignores-labels:
+4378     # if the first word ends with ':', return 0
+4379     # . prologue
+4380     55/push-ebp
+4381     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4382     # setup
+4383     # . clear-stream(_test-input-stream)
+4384     # . . push args
+4385     68/push  _test-input-stream/imm32
+4386     # . . call
+4387     e8/call  clear-stream/disp32
+4388     # . . discard args
+4389     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4390     # . clear-stream(_test-output-stream)
+4391     # . . push args
+4392     68/push  _test-output-stream/imm32
+4393     # . . call
+4394     e8/call  clear-stream/disp32
+4395     # . . discard args
+4396     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4397     # initialize input
+4398     # . write(_test-input-stream, "ab: # cd")
+4399     # . . push args
+4400     68/push  "ab: # cd"/imm32
+4401     68/push  _test-input-stream/imm32
+4402     # . . call
+4403     e8/call  write/disp32
+4404     # . . discard args
+4405     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4406     # eax = num-bytes(_test-input-stream)
+4407     # . . push args
+4408     68/push  _test-input-stream/imm32
+4409     # . . call
+4410     e8/call  num-bytes/disp32
+4411     # . . discard args
+4412     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4413     # check-ints-equal(eax, 0, msg)
+4414     # . . push args
+4415     68/push  "F - test-num-bytes-ignores-labels"/imm32
+4416     68/push  0/imm32/true
+4417     50/push-eax
+4418     # . . call
+4419     e8/call  check-ints-equal/disp32
+4420     # . . discard args
+4421     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4422     # . epilogue
+4423     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4424     5d/pop-to-ebp
+4425     c3/return
+4426 
+4427 test-num-bytes-ignores-segment-headers:
+4428     # if the first word is '==', return 0
+4429     # . prologue
+4430     55/push-ebp
+4431     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4432     # setup
+4433     # . clear-stream(_test-input-stream)
+4434     # . . push args
+4435     68/push  _test-input-stream/imm32
+4436     # . . call
+4437     e8/call  clear-stream/disp32
+4438     # . . discard args
+4439     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4440     # . clear-stream(_test-output-stream)
+4441     # . . push args
+4442     68/push  _test-output-stream/imm32
+4443     # . . call
+4444     e8/call  clear-stream/disp32
+4445     # . . discard args
+4446     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4447     # initialize input
+4448     # . write(_test-input-stream, "== ab cd")
+4449     # . . push args
+4450     68/push  "== ab cd"/imm32
+4451     68/push  _test-input-stream/imm32
+4452     # . . call
+4453     e8/call  write/disp32
+4454     # . . discard args
+4455     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4456     # eax = num-bytes(_test-input-stream)
+4457     # . . push args
+4458     68/push  _test-input-stream/imm32
+4459     # . . call
+4460     e8/call  num-bytes/disp32
+4461     # . . discard args
+4462     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4463     # check-ints-equal(eax, 0, msg)
+4464     # . . push args
+4465     68/push  "F - test-num-bytes-ignores-segment-headers"/imm32
+4466     68/push  0/imm32/true
+4467     50/push-eax
+4468     # . . call
+4469     e8/call  check-ints-equal/disp32
+4470     # . . discard args
+4471     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4472     # . epilogue
+4473     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4474     5d/pop-to-ebp
+4475     c3/return
+4476 
+4477 test-num-bytes-counts-words-by-default:
+4478     # without metadata, count words
+4479     # . prologue
+4480     55/push-ebp
+4481     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4482     # setup
+4483     # . clear-stream(_test-input-stream)
+4484     # . . push args
+4485     68/push  _test-input-stream/imm32
+4486     # . . call
+4487     e8/call  clear-stream/disp32
+4488     # . . discard args
+4489     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4490     # . clear-stream(_test-output-stream)
+4491     # . . push args
+4492     68/push  _test-output-stream/imm32
+4493     # . . call
+4494     e8/call  clear-stream/disp32
+4495     # . . discard args
+4496     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4497     # initialize input
+4498     # . write(_test-input-stream, "ab cd ef")
+4499     # . . push args
+4500     68/push  "ab cd ef"/imm32
+4501     68/push  _test-input-stream/imm32
+4502     # . . call
+4503     e8/call  write/disp32
+4504     # . . discard args
+4505     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4506     # eax = num-bytes(_test-input-stream)
+4507     # . . push args
+4508     68/push  _test-input-stream/imm32
+4509     # . . call
+4510     e8/call  num-bytes/disp32
+4511     # . . discard args
+4512     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4513     # check-ints-equal(eax, 3, msg)
+4514     # . . push args
+4515     68/push  "F - test-num-bytes-counts-words-by-default"/imm32
+4516     68/push  3/imm32/true
+4517     50/push-eax
+4518     # . . call
+4519     e8/call  check-ints-equal/disp32
+4520     # . . discard args
+4521     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4522     # . epilogue
+4523     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4524     5d/pop-to-ebp
+4525     c3/return
+4526 
+4527 test-num-bytes-ignores-trailing-comment:
+4528     # trailing comments appropriately ignored
+4529     # . prologue
+4530     55/push-ebp
+4531     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4532     # setup
+4533     # . clear-stream(_test-input-stream)
+4534     # . . push args
+4535     68/push  _test-input-stream/imm32
+4536     # . . call
+4537     e8/call  clear-stream/disp32
+4538     # . . discard args
+4539     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4540     # . clear-stream(_test-output-stream)
+4541     # . . push args
+4542     68/push  _test-output-stream/imm32
+4543     # . . call
+4544     e8/call  clear-stream/disp32
+4545     # . . discard args
+4546     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4547     # initialize input
+4548     # . write(_test-input-stream, "ab cd # ef")
+4549     # . . push args
+4550     68/push  "ab cd # ef"/imm32
+4551     68/push  _test-input-stream/imm32
+4552     # . . call
+4553     e8/call  write/disp32
+4554     # . . discard args
+4555     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4556     # eax = num-bytes(_test-input-stream)
+4557     # . . push args
+4558     68/push  _test-input-stream/imm32
+4559     # . . call
+4560     e8/call  num-bytes/disp32
+4561     # . . discard args
+4562     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4563     # check-ints-equal(eax, 2, msg)
+4564     # . . push args
+4565     68/push  "F - test-num-bytes-ignores-trailing-comment"/imm32
+4566     68/push  2/imm32/true
+4567     50/push-eax
+4568     # . . call
+4569     e8/call  check-ints-equal/disp32
+4570     # . . discard args
+4571     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4572     # . epilogue
+4573     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4574     5d/pop-to-ebp
+4575     c3/return
+4576 
+4577 test-num-bytes-handles-imm32:
+4578     # if a word has the /imm32 metadata, count it as 4 bytes
+4579     # . prologue
+4580     55/push-ebp
+4581     89/copy                         3/mod/direct    5/rm32/ebp    .           .             .           4/r32/esp   .               .                 # copy esp to ebp
+4582     # setup
+4583     # . clear-stream(_test-input-stream)
+4584     # . . push args
+4585     68/push  _test-input-stream/imm32
+4586     # . . call
+4587     e8/call  clear-stream/disp32
+4588     # . . discard args
+4589     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4590     # . clear-stream(_test-output-stream)
+4591     # . . push args
+4592     68/push  _test-output-stream/imm32
+4593     # . . call
+4594     e8/call  clear-stream/disp32
+4595     # . . discard args
+4596     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4597     # initialize input
+4598     # . write(_test-input-stream, "ab cd/imm32 ef")
+4599     # . . push args
+4600     68/push  "ab cd/imm32 ef"/imm32
+4601     68/push  _test-input-stream/imm32
+4602     # . . call
+4603     e8/call  write/disp32
+4604     # . . discard args
+4605     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               8/imm32           # add to esp
+4606     # eax = num-bytes(_test-input-stream)
+4607     # . . push args
+4608     68/push  _test-input-stream/imm32
+4609     # . . call
+4610     e8/call  num-bytes/disp32
+4611     # . . discard args
+4612     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
+4613     # check-ints-equal(eax, 6, msg)
+4614     # . . push args
+4615     68/push  "F - test-num-bytes-handles-imm32"/imm32
+4616     68/push  6/imm32/true
+4617     50/push-eax
+4618     # . . call
+4619     e8/call  check-ints-equal/disp32
+4620     # . . discard args
+4621     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0xc/imm32         # add to esp
+4622     # . epilogue
+4623     89/copy                         3/mod/direct    4/rm32/esp    .           .             .           5/r32/ebp   .               .                 # copy ebp to esp
+4624     5d/pop-to-ebp
+4625     c3/return
+4626 
+4627 == data
+4628 
+4629 # This block of bytes gets copied to the start of the output ELF file, with
+4630 # some fields (the ones with labels capitalized) filled in.
+4631 # http://www.sco.com/developers/gabi/latest/ch4.eheader.html
+4632 Elf_header:
+4633   # - size
+4634   0x34/imm32
+4635   # - data
+4636 $e_ident:
+4637   7f 45/E 4c/L 46/F
+4638   01/32-bit  01/little-endian  01/file-version  00/no-os-extensions
+4639   00 00 00 00 00 00 00 00  # 8 bytes of padding
+4640 $e_type:
+4641   02 00
+4642 $e_machine:
+4643   03 00
+4644 $e_version:
+4645   1/imm32
+4646 $Elf_e_entry:
+4647   0x09000000/imm32  # approximate default; must be updated
+4648 $e_phoff:
+4649   0x34/imm32  # offset for the 'program header table' containing segment headers
+4650 $e_shoff:
+4651   0/imm32  # no sections
+4652 $e_flags:
+4653   0/imm32  # unused
+4654 $e_ehsize:
+4655   0x34 00
+4656 $e_phentsize:
+4657   0x20 00
+4658 $Elf_e_phnum:
+4659   00 00  # number of segments; must be updated
+4660 $e_shentsize:
+4661   00 00  # no sections
+4662 $e_shnum:
+4663   00 00
+4664 $e_shstrndx:
+4665   00 00
+4666 
+4667 # This block of bytes gets copied after the Elf_header once for each segment.
+4668 # Some fields need filling in each time.
+4669 # https://docs.oracle.com/cd/E19683-01/816-1386/chapter6-83432/index.html
+4670 Elf_program_header_entry:
+4671   # - size
+4672   0x20/imm32
+4673   # - data
+4674 $p_type:
+4675   1/imm32/PT_LOAD
+4676 $Elf_p_offset:
+4677   0/imm32  # byte offset in the file at which a segment begins; must be updated
+4678 $Elf_p_vaddr:
+4679   0/imm32  # starting address to store the segment at before running the program
+4680 $Elf_p_paddr:
+4681   0/imm32  # should have same value as $Elf_p_vaddr
+4682 $Elf_p_filesz:
+4683   0/imm32
+4684 $Elf_p_memsz:
+4685   0/imm32  # should have same value as $Elf_p_filesz
+4686 $Elf_p_flags:
+4687   6/imm32/rw-  # read/write/execute permissions for the segment; must be updated for the code segment
+4688 $p_align:
+4689   # we hold this constant; changing it will require adjusting the way we
+4690   # compute the starting address for each segment
+4691   0x1000/imm32
+4692 
+4693 # . . vim:nowrap:textwidth=0
+
+ + + -- cgit 1.4.1-2-gfad0