DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦7ca2efc70⟧

    Length: 8192 (0x2000)
    Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR2, seg_005080

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

Dot plot

Dot(1) source file

Segmented Heap

{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x0000f8fd max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x0000ffff
{HeadVar2 0x00080/0x32a}:HeadVar2
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x00005080 [0000000000000000101000010000000]
    0x0000bf [0x02] +0x003f: head_c_03f = 0x00000001 [00000000000000000000000000000001]
    0x0000df [0x03] +0x005f: head_chains_p → {Thing1 0x0231a/0x10c} [00000000000000000010001100011010]
    0x0000ff [0x04] +0x007f:
    0x000100 [0x05] +0x0080:
    0x00011f [0x06] +0x009f: head_stuff1_p → {DianaSkeleton 0x034bc/0x2b} [00000000000000000011010010111100]
    0x00013f [0x07] +0x00bf: head_c_bf = 0x000000012 [000000000000000000000000000010010]
    0x000160 [0x08] +0x00e0: head_object = 0x000032a4 [000000000000000011001010100100]
    0x00017e [0x09] +0x00fe: head_c_fe = 0x00000001 [00000000000000000000000000000001]
    0x00019e [0x0a] +0x011e:
    0x0001be [0x0b] +0x013e:
    0x0001de [0x0c] +0x015e:
    0x0001fe [0x0d] +0x017e:
    0x00021e [0x0e] +0x019e:
    0x00023e [0x0f] +0x01be:
    0x00025e [0x10] +0x01de:
    0x000265 [0x11] +0x01e5: head_variant = 0x2 [10]
    0x000267 [0x12] +0x01e7: hv2_1e7_n = 0x1 [001]
    0x00026a [0x13] +0x01ea:
    0x00028a [0x14] +0x020a: hv2_20a_p → {R1kSegChunk 0x03521/0xc80} [00000000000000000011010100100001]
    0x0002aa [0x15] +0x022a: hv2_22a = 0x00000000 [00000000000000000000000000000000]
    0x0002ca [0x16] +0x024a: hv2_24a_p → {R1kSegChunk 0x041a1/0x5559} [00000000000000000100000110100001]
    0x0002ea [0x17] +0x026a:
    0x00030a [0x18] +0x028a: hv2_28a_n = 0x0010000669542c0676742c0679f42c0108340000 [0000000000010000000000000000011001101001010101000010110000000110011101100111010000101100000001100111100111110100001011000000000100001000001101000000000000000000]

{R1kSegChunk 0x003aa/0x1f70}: ===================
    0x0003aa +0x0000:                                    0x0 [0x1f00] 0…
    0x0022aa +0x1f00:                           0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
{Thing1 0x0231a/0x10c}:Thing1
    0x00231a [0x00] +0x0000: t1_00_n = 0xfffffff1005a005000b19001594 [111111111111111111111111111100010000000001011010000000000101000000000000101100011001000000000001010110010100]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0cc0d/0x9b8} [00000000000000001100110000001101]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0cbcd/0x40} [00000000000000001100101111001101]
    0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]

{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
  [$0x0001]  0x075a8 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN_IN 116668126556323968 67982«
  [$0x0002]  0x07370 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN 116668126556323968 66321«
  [$0x0003]  0x077f8 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN10 116668126556323968 69815«
  [$0x0004]  0x00840 011 »%CONSTRAINED_STRING_TYPE_TEST_PROC_INOUT 116668126556323968 62318«
  [$0x0005]  0x0aad0 000 »CONSTRAINED_STRING_TYPE«
  [$0x0006]  0x0aba0 013 »BOOLEAN«
  [$0x0007]  0x00c68 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN 116668126556323968 64899«
  [$0x0008]  0x0abf0 000 »«
  [$0x000c]  0x007b0 012 »COMP_UNIT_INDEX«
  [$0x000d]  0x00748 010 »Dummy_Skin«
  [$0x000e]  0x00a60 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN 116668126556323968 63716«
  [$0x0010]  0x07a10 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN_OUT_OUT 116668126556323968 72881«
  [$0x0011]  0x0a840 000 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_OUT_OUT 116668126556323968 75383«
  [$0x0012]  0x0aaa0 000 »ARG«
  [$0x0013]  0x0ac08 000 »CODE_SEGMENT_ARRAY«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
    @0x02b56 [0x00] =  $0x000d »Dummy_Skin«
    @0x02bbe [0x01] =  $0x000c »COMP_UNIT_INDEX«
    @0x02c4e [0x02] =  $0x0004 »%CONSTRAINED_STRING_TYPE_TEST_PROC_INOUT 116668126556323968 62318«
    @0x02e6e [0x03] =  $0x000e »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN 116668126556323968 63716«
    @0x03076 [0x04] =  $0x0007 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN 116668126556323968 64899«
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
    0x0034e7 +0x0000:                                    0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
    0x003521 +0x0000:                 0x85b70000783a00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1000010110110111 0000000000000000 0111100000111010 0000000000000000 0000000000000000
    0x0035a1 +0x0080:                                    0x0 [0x80] 0…
    0x003621 +0x0100:                                 0x486c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100100001101100
    0x0036a1 +0x0180:                 0x4aa900000000000065c3 [0x80] 0000000000000000 0000000000000000 0000000000000000 0100101010101001 0000000000000000 0000000000000000 0000000000000000 0110010111000011
    0x003721 +0x0200:         0x58260000680300006a6000000000 [0x80] 0000000000000000 0101100000100110 0000000000000000 0110100000000011 0000000000000000 0110101001100000 0000000000000000 0000000000000000
    0x0037a1 +0x0280:                         0x87f400000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1000011111110100 0000000000000000 0000000000000000
    0x003821 +0x0300:                 0xf89f0000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1111100010011111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0038a1 +0x0380:         0xf57e000000000000000000000000 [0x80] 0000000000000000 1111010101111110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x003921 +0x0400:                                    0x0 [0x280] 0…
    0x003ba1 +0x0680:         0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
    0x003c21 +0x0700:                                    0x0 [0x100] 0…
    0x003d21 +0x0800:                         0x457800000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100010101111000 0000000000000000 0000000000000000
    0x003da1 +0x0880:                                    0x0 [0x400] 0…
{R1kSegChunk 0x041a1/0x5559}: ===================
    0x0041a1 +0x0000:                 0x427b00000000000041c1 [0x80] 0000000000000000 0000000000000000 0000000000000000 0100001001111011 0000000000000000 0000000000000000 0000000000000000 0100000111000001
    0x004221 +0x0080:           0x34001078400000000020056890 [0x80] 0000000000000000 0000000000110100 0000000000010000 0111100001000000 0000000000000000 0000000000000000 0010000000000101 0110100010010000
    0x0042a1 +0x0100:           0x580000000000021cc000000000 [0x80] 0000000000000000 0000000001011000 0000000000000000 0000000000000000 0000000000000010 0001110011000000 0000000000000000 0000000000000000
    0x004321 +0x0180:        0x216f0000001a80085fc0000000001 [0x80] 0000000000000010 0001011011110000 0000000000000000 0000000110101000 0000000010000101 1111110000000000 0000000000000000 0000000000000001
    0x0043a1 +0x0200:       0x2b4480000001000000000000112d40 [0x80] 0000000000101011 0100010010000000 0000000000000000 0000000100000000 0000000000000000 0000000000000000 0000000000010001 0010110101000000
    0x004421 +0x0280:               0x10fec000000d800441b000 [0x80] 0000000000000000 0000000000000000 0000000000010000 1111111011000000 0000000000000000 0000110110000000 0000010001000001 1011000000000000
    0x0044a1 +0x0300:            0x8015a24000000100000000000 [0x80] 0000000000000000 0000000000001000 0000000101011010 0010010000000000 0000000000000000 0001000000000000 0000000000000000 0000000000000000
    0x004521 +0x0380:       0x8ba40000000000008a300000008400 [0x80] 0000000010001011 1010010000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000 0000000000000000 1000010000000000
    0x0045a1 +0x0400:     0x229c0000000000400cf5000001f40000 [0x80] 0010001010011100 0000000000000000 0000000000000000 0000000001000000 0000110011110101 0000000000000000 0000000111110100 0000000000000000
    0x004621 +0x0480:            0x8019d8c00000000400d16f000 [0x80] 0000000000000000 0000000000001000 0000000110011101 1000110000000000 0000000000000000 0000000001000000 0000110100010110 1111000000000000
    0x0046a1 +0x0500:                                    0x0 [0x80] 0…
    0x004721 +0x0580:                                   0x1d [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011101
    0x0047a1 +0x0600:     0xe8a00000000000000000001c1bc00009 [0x80] 1110100010100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011100 0001101111000000 0000000000001001
    0x004821 +0x0680:     0x18c0000000000008dd80000001600241 [0x80] 0001100011000000 0000000000000000 0000000000000000 0000000000001000 1101110110000000 0000000000000000 0000000101100000 0000001001000001
    0x0048a1 +0x0700:     0x60000000000400d21300000000000000 [0x80] 0110000000000000 0000000000000000 0000000000000100 0000000011010010 0001001100000000 0000000000000000 0000000000000000 0000000000000000
    0x004921 +0x0780:                                    0x0 [0x80] 0…
    0x0049a1 +0x0800:                   0xefa800000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000011101111 1010100000000000 0000000000000000 0000000000000000 0000000000000000
    0x004a21 +0x0880:           0xe14100004b0300000000000049 [0x80] 0000000000000000 0000000011100001 0100000100000000 0000000001001011 0000001100000000 0000000000000000 0000000000000000 0000000001001001
    0x004aa1 +0x0900:     0x290000000d00129a4000000000200690 [0x80] 0010100100000000 0000000000000000 0000110100000000 0001001010011010 0100000000000000 0000000000000000 0000000000100000 0000011010010000
    0x004b21 +0x0980:     0x98000000000000000000000000000000 [0x80] 1001100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x004ba1 +0x0a00:                                    0x0 [0x900] 0…
    0x0054a1 +0x1300:                                  0x2c4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001011000100
    0x005521 +0x1380:                                    0x0 [0x280] 0…
    0x0057a1 +0x1600:                                  0x25b [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001001011011
    0x005821 +0x1680:     0x300000008000afcc0000000001003439 [0x80] 0011000000000000 0000000000000000 1000000000000000 1010111111001100 0000000000000000 0000000000000000 0000000100000000 0011010000111001
    0x0058a1 +0x1700:     0x400000000000119c8000000000000000 [0x80] 0100000000000000 0000000000000000 0000000000000000 0001000110011100 1000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005921 +0x1780:                                    0x0 [0x100] 0…
    0x005a21 +0x1880:                         0x2cda8000250a [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010110011011010 1000000000000000 0010010100001010
    0x005aa1 +0x1900:     0xc00000000000000000002957800031d6 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010100101010111 1000000000000000 0011000111010110
    0x005b21 +0x1980:     0xc0000000000000000000000000000000 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x005ba1 +0x1a00:                                    0x0 [0x100] 0…
    0x005ca1 +0x1b00:                 0x2d434000257380000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0010110101000011 0100000000000000 0010010101110011 1000000000000000 0000000000000000
    0x005d21 +0x1b80:         0x23b2000029c04000323f80000000 [0x80] 0000000000000000 0010001110110010 0000000000000000 0010100111000000 0100000000000000 0011001000111111 1000000000000000 0000000000000000
    0x005da1 +0x1c00:                                    0x0 [0x180] 0…
    0x005f21 +0x1d80:         0x2dac00003cc8400000000000241a [0x80] 0000000000000000 0010110110101100 0000000000000000 0011110011001000 0100000000000000 0000000000000000 0000000000000000 0010010000011010
    0x005fa1 +0x1e00:     0xc000233a000032a84000000000000000 [0x80] 1100000000000000 0010001100111010 0000000000000000 0011001010101000 0100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006021 +0x1e80:                                    0x0 [0x80] 0…
    0x0060a1 +0x1f00:                         0x392e80000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011100100101110 1000000000000000 0000000000000000
    0x006121 +0x1f80:                                 0x2e14 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010111000010100
    0x0061a1 +0x2000:     0xc00000000000000000003b5880000000 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011101101011000 1000000000000000 0000000000000000
    0x006221 +0x2080:         0x30b90000000000003b1680000000 [0x80] 0000000000000000 0011000010111001 0000000000000000 0000000000000000 0000000000000000 0011101100010110 1000000000000000 0000000000000000
    0x0062a1 +0x2100:         0x2886000000000000000000000000 [0x80] 0000000000000000 0010100010000110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006321 +0x2180:                                 0x37be [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011011110111110
    0x0063a1 +0x2200:     0xc000000000000000000000000000377c [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011011101111100
    0x006421 +0x2280:     0xc0000000000000000000000000002c71 [0x80] 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010110001110001
    0x0064a1 +0x2300:     0xc00024a20000000000000000000028ee [0x80] 1100000000000000 0010010010100010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010100011101110
    0x006521 +0x2380:     0xc000316e000000000000000000000000 [0x80] 1100000000000000 0011000101101110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0065a1 +0x2400:         0x1640c0000003c006583000000000 [0x80] 0000000000000000 0001011001000000 1100000000000000 0000000000000011 1100000000000110 0101100000110000 0000000000000000 0000000000000000
    0x006621 +0x2480:      0x801a2de010034394000000000000000 [0x80] 0000100000000001 1010001011011110 0000000100000000 0011010000111001 0100000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0066a1 +0x2500:                                    0x0 [0x80] 0…
    0x006721 +0x2580:                         0x1a1740000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001101000010111 0100000000000000 0000000000000000
    0x0067a1 +0x2600:                         0x19a0c0000004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001100110100000 1100000000000000 0000000000000100
    0x006821 +0x2680:     0x40067c30000000000801a1ca00000000 [0x80] 0100000000000110 0111110000110000 0000000000000000 0000000000000000 0000100000000001 1010000111001010 0000000000000000 0000000000000000
    0x0068a1 +0x2700:                                    0x0 [0x80] 0…
    0x006921 +0x2780:         0xd574000000000000000000000000 [0x80] 0000000000000000 1101010101110100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0069a1 +0x2800:                                    0x0 [0x80] 0…
    0x006a21 +0x2880:                 0xd1c00000002400351000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1101000111000000 0000000000000000 0000000000100100 0000000000110101 0001000000000000
    0x006aa1 +0x2900:             0x400cf5000000000000000000 [0x80] 0000000000000000 0000000000000000 0100000000001100 1111010100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006b21 +0x2980:              0x8019ea00000000000000000 [0x80] 0000000000000000 0000000000000000 0000100000000001 1001111010100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x006ba1 +0x2a00:                                    0x0 [0x100] 0…
    0x006ca1 +0x2b00:                       0x5a1980004a7a00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001011010 0001100110000000 0000000001001010 0111101000000000
    0x006d21 +0x2b80:                       0x53138000641200 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001010011 0001001110000000 0000000001100100 0001001000000000
    0x006da1 +0x2c00:                                    0x0 [0x180] 0…
    0x006f21 +0x2d80:               0x5aeb00004b4b8000000000 [0x80] 0000000000000000 0000000000000000 0000000001011010 1110101100000000 0000000001001011 0100101110000000 0000000000000000 0000000000000000
    0x006fa1 +0x2e00:       0x47c8800053e5000064e38000000000 [0x80] 0000000001000111 1100100010000000 0000000001010011 1110010100000000 0000000001100100 1110001110000000 0000000000000000 0000000000000000
    0x007021 +0x2e80:                                    0x0 [0x80] 0…
    0x0070a1 +0x2f00:                       0x7b3f8000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001111011 0011111110000000 0000000000000000 0000000000000000
    0x007121 +0x2f80:                                    0x0 [0x80] 0…
    0x0071a1 +0x3000:       0x5bbc80000000000000000000489a00 [0x80] 0000000001011011 1011110010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001001000 1001101000000000
    0x007221 +0x3080:       0x46d8800065b5000000000000000000 [0x80] 0000000001000110 1101100010000000 0000000001100101 1011010100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0072a1 +0x3100:                                    0x0 [0x100] 0…
    0x0073a1 +0x3200:                               0x5c8e00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001011100 1000111000000000
    0x007421 +0x3280:                       0x77710000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001110111 0111000100000000 0000000000000000 0000000000000000
    0x0074a1 +0x3300:       0x61d680000000000000000000000000 [0x80] 0000000001100001 1101011010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007521 +0x3380:       0x51708000000000003c4a0000000000 [0x80] 0000000001010001 0111000010000000 0000000000000000 0000000000000000 0000000000111100 0100101000000000 0000000000000000 0000000000000000
    0x0075a1 +0x3400:                               0x703d80 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001110000 0011110110000000
    0x007621 +0x3480:                                    0x0 [0x80] 0…
    0x0076a1 +0x3500:                               0x594800 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001011001 0100100000000000
    0x007721 +0x3580:       0x49a880000000000000000000524200 [0x80] 0000000001001001 1010100010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000001010010 0100001000000000
    0x0077a1 +0x3600:       0x634080000000000000000000000000 [0x80] 0000000001100011 0100000010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007821 +0x3680:       0x35bd00000001000eff400000000010 [0x80] 0000000000110101 1011110100000000 0000000000000000 0000000100000000 0000111011111111 0100000000000000 0000000000000000 0000000000010000
    0x0078a1 +0x3700:      0x3484c00000034000000000000000000 [0x80] 0000001101001000 0100110000000000 0000000000000000 0011010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x007921 +0x3780:                                    0x0 [0x100] 0…
    0x007a21 +0x3880:                      0x2cf400002524400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001011001111 0100000000000000 0000001001010010 0100010000000000
    0x007aa1 +0x3900:                      0x2971000031f0400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001010010111 0001000000000000 0000001100011111 0000010000000000
    0x007b21 +0x3980:                                    0x0 [0x180] 0…
    0x007ca1 +0x3b00:              0x2d5cc000258d00000000000 [0x80] 0000000000000000 0000000000000000 0000001011010101 1100110000000000 0000001001011000 1101000000000000 0000000000000000 0000000000000000
    0x007d21 +0x3b80:      0x23cb800029d9c000325900000000000 [0x80] 0000001000111100 1011100000000000 0000001010011101 1001110000000000 0000001100100101 1001000000000000 0000000000000000 0000000000000000
    0x007da1 +0x3c00:                                    0x0 [0x80] 0…
    0x007e21 +0x3c80:                      0x3d8700000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001111011000 0111000000000000 0000000000000000 0000000000000000
    0x007ea1 +0x3d00:                                    0x0 [0x80] 0…
    0x007f21 +0x3d80:      0x2dc5800000000000000000002434400 [0x80] 0000001011011100 0101100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001001000011 0100010000000000
    0x007fa1 +0x3e00:      0x2353800032c1c000000000000000000 [0x80] 0000001000110101 0011100000000000 0000001100101100 0001110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008021 +0x3e80:                                    0x0 [0x100] 0…
    0x008121 +0x3f80:                              0x2e2e400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001011100010 1110010000000000
    0x0081a1 +0x4000:                      0x3b9fc0000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001110111001 1111110000000000 0000000000000000 0000000000000000
    0x008221 +0x4080:      0x30d2800000000000000000000000000 [0x80] 0000001100001101 0010100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0082a1 +0x4100:      0x289f800000000000218440000000000 [0x80] 0000001010001001 1111100000000000 0000000000000000 0000000000000000 0000001000011000 0100010000000000 0000000000000000 0000000000000000
    0x008321 +0x4180:                              0x3806000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001110000000 0110000000000000
    0x0083a1 +0x4200:                                    0x0 [0x80] 0…
    0x008421 +0x4280:                              0x2c8b400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001011001000 1011010000000000
    0x0084a1 +0x4300:      0x24bb800000000000000000002908400 [0x80] 0000001001001011 1011100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000001010010000 1000010000000000
    0x008521 +0x4380:      0x3187800000000000000000000000000 [0x80] 0000001100011000 0111100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0085a1 +0x4400:      0x1e3dc00000004008577000000000080 [0x80] 0000000111100011 1101110000000000 0000000000000000 0000010000000000 1000010101110111 0000000000000000 0000000000000000 0000000010000000
    0x008621 +0x4480:     0x1a426000000020000000000000000000 [0x80] 0001101001000010 0110000000000000 0000000000000000 0010000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x0086a1 +0x4500:                                    0x0 [0x80] 0…
    0x008721 +0x4580:                     0x1109c00000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001000100001001 1100000000000000 0000000000000000 0000000000000000
    0x0087a1 +0x4600:                     0x10ce80000002c004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001000011001110 1000000000000000 0000000000000010 1100000000000100
    0x008821 +0x4680:     0x3da0000000000400d0e50000000e0000 [0x80] 0011110110100000 0000000000000000 0000000000000000 0000010000000000 1101000011100101 0000000000000000 0000000000001110 0000000000000000
    0x0088a1 +0x4700:           0x8019d8c0000004ec5c00000000 [0x80] 0000000000000000 0000000010000000 0001100111011000 1100000000000000 0000000000000100 1110110001011100 0000000000000000 0000000000000000
    0x008921 +0x4780:            0x680801ef3d0000111dc030066 [0x80] 0000000000000000 0000000000000110 1000000010000000 0001111011110011 1101000000000000 0000000100010001 1101110000000011 0000000001100110
    0x0089a1 +0x4800:     0x6b000000000000044770000000080000 [0x80] 0110101100000000 0000000000000000 0000000000000000 0000000000000100 0100011101110000 0000000000000000 0000000000001000 0000000000000000
    0x008a21 +0x4880:             0x88ee00000010000000009d8b [0x80] 0000000000000000 0000000000000000 1000100011101110 0000000000000000 0000000000010000 0000000000000000 0000000000000000 1001110110001011
    0x008aa1 +0x4900:     0x8000000000000000d01003ee96000022 [0x80] 1000000000000000 0000000000000000 0000000000000000 0000000000000000 1101000000010000 0000001111101110 1001011000000000 0000000000100010
    0x008b21 +0x4980:     0xa440600d0d200000000000008a910000 [0x80] 1010010001000000 0110000000001101 0000110100100000 0000000000000000 0000000000000000 0000000000000000 1000101010010001 0000000000000000
    0x008ba1 +0x4a00:        0x10000000000001152200000022000 [0x80] 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0001000101010010 0010000000000000 0000000000000010 0010000000000000
    0x008c21 +0x4a80:                         0x9d8b80000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1001110110001011 1000000000000000 0000000000000000
    0x008ca1 +0x4b00:             0xd01003de7a0000231c40600e [0x80] 0000000000000000 0000000000000000 1101000000010000 0000001111011110 0111101000000000 0000000000100011 0001110001000000 0110000000001110
    0x008d21 +0x4b80:     0x4f080000000000008c71000000010000 [0x80] 0100111100001000 0000000000000000 0000000000000000 0000000000000000 1000110001110001 0000000000000000 0000000000000001 0000000000000000
    0x008da1 +0x4c00:             0x118e20000002600000000000 [0x80] 0000000000000000 0000000000000000 0001000110001110 0010000000000000 0000000000000010 0110000000000000 0000000000000000 0000000000000000
    0x008e21 +0x4c80:                 0x9d8b8000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x008ea1 +0x4d00:     0xd01003de7a0000239440600fce180000 [0x80] 1101000000010000 0000001111011110 0111101000000000 0000000000100011 1001010001000000 0110000000001111 1100111000011000 0000000000000000
    0x008f21 +0x4d80:             0x8e5100000001000000000000 [0x80] 0000000000000000 0000000000000000 1000111001010001 0000000000000000 0000000000000001 0000000000000000 0000000000000000 0000000000000000
    0x008fa1 +0x4e00:     0x11ca20000002a000000013b170000000 [0x80] 0001000111001010 0010000000000000 0000000000000010 1010000000000000 0000000000000000 0001001110110001 0111000000000000 0000000000000000
    0x009021 +0x4e80:             0x1a02007bcf4000047fa00c02 [0x80] 0000000000000000 0000000000000000 0001101000000010 0000000001111011 1100111101000000 0000000000000100 0111111110100000 0000110000000010
    0x0090a1 +0x4f00:      0x1bb00000000000011fe800000002000 [0x80] 0000000110111011 0000000000000000 0000000000000000 0000000000000000 0001000111111110 1000000000000000 0000000000000000 0010000000000000
    0x009121 +0x4f80:              0x23fd0000000580000000000 [0x80] 0000000000000000 0000000000000000 0000001000111111 1101000000000000 0000000000000000 0101100000000000 0000000000000000 0000000000000000
    0x0091a1 +0x5000:                                 0x9d8b [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1001110110001011
    0x009221 +0x5080:     0x8000000000000000d01003de7a000024 [0x80] 1000000000000000 0000000000000000 0000000000000000 0000000000000000 1101000000010000 0000001111011110 0111101000000000 0000000000100100
    0x0092a1 +0x5100:     0x84406011ca1000000000000092110000 [0x80] 1000010001000000 0110000000010001 1100101000010000 0000000000000000 0000000000000000 0000000000000000 1001001000010001 0000000000000000
    0x009321 +0x5180:        0x10000000000001242200000030000 [0x80] 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0001001001000010 0010000000000000 0000000000000011 0000000000000000
    0x0093a1 +0x5200:         0x13b170000000000000001a02007b [0x80] 0000000000000000 0001001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0001101000000010 0000000001111011
    0x009421 +0x5280:     0xcf4000049da00c02413a000000000000 [0x80] 1100111101000000 0000000000000100 1001110110100000 0000110000000010 0100000100111010 0000000000000000 0000000000000000 0000000000000000
    0x0094a1 +0x5300:     0x127680000000200000000000024ed000 [0x80] 0001001001110110 1000000000000000 0000000000000000 0010000000000000 0000000000000000 0000000000000000 0000001001001110 1101000000000000
    0x009521 +0x5380:         0x6400000002762e00000000000000 [0x80] 0000000000000000 0110010000000000 0000000000000000 0000001001110110 0010111000000000 0000000000000000 0000000000000000 0000000000000000
    0x0095a1 +0x5400:      0x340400f79e800009557018049264000 [0x80] 0000001101000000 0100000000001111 0111100111101000 0000000000000000 1001010101010111 0000000110000000 0100100100100110 0100000000000000
    0x009621 +0x5480:              0x2555c000000040000000000 [0x80] 0000000000000000 0000000000000000 0000001001010101 0101110000000000 0000000000000000 0000010000000000 0000000000000000 0000000000000000
    0x0096a1 +0x5500:                 0x95570000001a00000000 [0x59] 0000000001001010 1010101110000000 0000000000000000 0000110100000000 0000000000000000 000000000
{Thing2 0x096fa/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0973a/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
    @0x0977e [0x00] =  $0x0002 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN 116668126556323968 66321«
    @0x099b6 [0x01] =  $0x0001 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN_IN 116668126556323968 67982«
    @0x09c06 [0x02] =  $0x0003 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN10 116668126556323968 69815«
    @0x09e1e [0x03] =  $0x0010 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_IN_OUT_OUT 116668126556323968 72881«
    @0x0a096 [0x04] =  $0xc000 »«
    @0x0a0ae [0x05] =  $0x0ae0 »«
{R1kSegChunk 0x0a0ea/0x2ae3}: ===================
    0x00a0ea +0x0000:                                    0x0 [0x80] 0…
    0x00a16a +0x0080:                  0x13b1700000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000100111011 0001011100000000 0000000000000000 0000000000000000 0000000000000000
    0x00a1ea +0x0100:      0x1a02007bcf4000050d080c0287d8000 [0x80] 0000000110100000 0010000000000111 1011110011110100 0000000000000000 0101000011010000 1000000011000000 0010100001111101 1000000000000000
    0x00a26a +0x0180:              0x14342000000020000000000 [0x80] 0000000000000000 0000000000000000 0000000101000011 0100001000000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
    0x00a2ea +0x0200:       0x286840000007000000002762e00000 [0x80] 0000000000101000 0110100001000000 0000000000000000 0000011100000000 0000000000000000 0000000000100111 0110001011100000 0000000000000000
    0x00a36a +0x0280:               0x340400f79e80000a344018 [0x80] 0000000000000000 0000000000000000 0000000000110100 0000010000000000 1111011110011110 1000000000000000 0000101000110100 0100000000011000
    0x00a3ea +0x0300:      0x51fa000000000000028d10000000040 [0x80] 0000010100011111 1010000000000000 0000000000000000 0000000000000000 0000000000101000 1101000100000000 0000000000000000 0000000001000000
    0x00a46a +0x0380:                0x51a20000000e800000004 [0x80] 0000000000000000 0000000000000000 0000000000000101 0001101000100000 0000000000000000 0000000011101000 0000000000000000 0000000000000100
    0x00a4ea +0x0400:     0xec5c000000000000000680801ef3d000 [0x80] 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1000000010000000 0001111011110011 1101000000000000
    0x00a56a +0x0480:      0x149ce0300a5f2000019874000052738 [0x80] 0000000101001001 1100111000000011 0000000010100101 1111001000000000 0000000000011001 1000011101000000 0000000000000101 0010011100111000
    0x00a5ea +0x0500:            0x8000000000000a4e70000001e [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000000000000000 1010010011100111 0000000000000000 0000000000011110
    0x00a66a +0x0580:             0x9d8b8000000000000000d010 [0x80] 0000000000000000 0000000000000000 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 1101000000010000
    0x00a6ea +0x0600:      0x3de7a000029a2806014fe0000000000 [0x80] 0000001111011110 0111101000000000 0000000000101001 1010001010000000 0110000000010100 1111111000000000 0000000000000000 0000000000000000
    0x00a76a +0x0680:         0xa68a0000000100000000000014d1 [0x80] 0000000000000000 1010011010001010 0000000000000000 0000000000000001 0000000000000000 0000000000000000 0000000000000000 0001010011010001
    0x00a7ea +0x0700:     0x40000003e00000000000000000000000 [0x80] 0100000000000000 0000000000000011 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00a86a +0x0780:                                    0x0 [0x80] 0…
    0x00a8ea +0x0800:                  0x13b1700000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000100111011 0001011100000000 0000000000000000 0000000000000000 0000000000000000
    0x00a96a +0x0880:      0x1a02007bcf40000549080c030bbe000 [0x80] 0000000110100000 0010000000000111 1011110011110100 0000000000000000 0101010010010000 1000000011000000 0011000010111011 1110000000000000
    0x00a9ea +0x0900:              0x15242000000020000000000 [0x80] 0000000000000000 0000000000000000 0000000101010010 0100001000000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
    0x00aa6a +0x0980:       0x2a4840000008400000002762e00000 [0x80] 0000000000101010 0100100001000000 0000000000000000 0000100001000000 0000000000000000 0000000000100111 0110001011100000 0000000000000000
    0x00aaea +0x0a00:               0x340400f79e80000aac4018 [0x80] 0000000000000000 0000000000000000 0000000000110100 0000010000000000 1111011110011110 1000000000000000 0000101010101100 0100000000011000
    0x00ab6a +0x0a80:      0x6276c0000000000002ab10000000040 [0x80] 0000011000100111 0110110000000000 0000000000000000 0000000000000000 0000000000101010 1011000100000000 0000000000000000 0000000001000000
    0x00abea +0x0b00:                0x556200000011000000004 [0x80] 0000000000000000 0000000000000000 0000000000000101 0101011000100000 0000000000000000 0000000100010000 0000000000000000 0000000000000100
    0x00ac6a +0x0b80:     0xec5c000000000000000680801ef3d000 [0x80] 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1000000010000000 0001111011110011 1101000000000000
    0x00acea +0x0c00:      0x158ce0300c6eb800000000000056338 [0x80] 0000000101011000 1100111000000011 0000000011000110 1110101110000000 0000000000000000 0000000000000000 0000000000000101 0110001100111000
    0x00ad6a +0x0c80:            0x8000000000000ac6700000023 [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000000000000000 1010110001100111 0000000000000000 0000000000100011
    0x00adea +0x0d00:             0x9d8b8000000000000000d010 [0x80] 0000000000000000 0000000000000000 1001110110001011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 1101000000010000
    0x00ae6a +0x0d80:      0x3de7a00002b828060191d3000044b28 [0x80] 0000001111011110 0111101000000000 0000000000101011 1000001010000000 0110000000011001 0001110100110000 0000000000000100 0100101100101000
    0x00aeea +0x0e00:         0xae0a00000001000089cb000015c1 [0x80] 0000000000000000 1010111000001010 0000000000000000 0000000000000001 0000000000000000 1000100111001011 0000000000000000 0001010111000001
    0x00af6a +0x0e80:     0x4000000480001145d3b1700000000000 [0x80] 0100000000000000 0000000000000100 1000000000000000 0001000101000101 1101001110110001 0111000000000000 0000000000000000 0000000000000000
    0x00afea +0x0f00:         0x1a02007bcf4000057d680c032b9e [0x80] 0000000000000000 0001101000000010 0000000001111011 1100111101000000 0000000000000101 0111110101101000 0000110000000011 0010101110011110
    0x00b06a +0x0f80:         0x8b08000015f5a00000002000116d [0x80] 0000000000000000 1000101100001000 0000000000000000 0001010111110101 1010000000000000 0000000000000000 0010000000000000 0001000101101101
    0x00b0ea +0x1000:     0xc00002beb40000009400022f46762e00 [0x80] 1100000000000000 0000001010111110 1011010000000000 0000000000000000 1001010000000000 0000001000101111 0100011001110110 0010111000000000
    0x00b16a +0x1080:                  0x340400f79e80000b150 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000001101000000 0100000000001111 0111100111101000 0000000000000000 1011000101010000
    0x00b1ea +0x1100:      0x1806672c0000000000002c540000000 [0x80] 0000000110000000 0110011001110010 1100000000000000 0000000000000000 0000000000000000 0000001011000101 0100000000000000 0000000000000000
    0x00b26a +0x1180:      0x400000000000058a800000013000000 [0x80] 0000010000000000 0000000000000000 0000000000000000 0000000001011000 1010100000000000 0000000000000000 0001001100000000 0000000000000000
    0x00b2ea +0x1200:       0x4ec5c000000000000000680801ef3d [0x80] 0000000001001110 1100010111000000 0000000000000000 0000000000000000 0000000000000000 0000000001101000 0000100000000001 1110111100111101
    0x00b36a +0x1280:         0x165e60300cee3800000000000059 [0x80] 0000000000000000 0001011001011110 0110000000110000 0000110011101110 0011100000000000 0000000000000000 0000000000000000 0000000001011001
    0x00b3ea +0x1300:     0x79800000008000000000000b2f300000 [0x80] 0111100110000000 0000000000000000 0000000010000000 0000000000000000 0000000000000000 0000000000001011 0010111100110000 0000000000000000
    0x00b46a +0x1380:      0x27000000009d8b8000000000000000d [0x80] 0000001001110000 0000000000000000 0000000000001001 1101100010111000 0000000000000000 0000000000000000 0000000000000000 0000000000001101
    0x00b4ea +0x1400:      0x1003de7a00002d2580601a1c3000000 [0x80] 0000000100000000 0011110111100111 1010000000000000 0000001011010010 0101100000000110 0000000110100001 1100001100000000 0000000000000000
    0x00b56a +0x1480:            0xb496000000010000000000001 [0x80] 0000000000000000 0000000000001011 0100100101100000 0000000000000000 0000000000010000 0000000000000000 0000000000000000 0000000000000001
    0x00b5ea +0x1500:     0x692c00000050000000013b1700000000 [0x80] 0110100100101100 0000000000000000 0000000001010000 0000000000000000 0000000000000001 0011101100010111 0000000000000000 0000000000000000
    0x00b66a +0x1580:            0x1a02007bcf400005b1c80c034 [0x80] 0000000000000000 0000000000000001 1010000000100000 0000011110111100 1111010000000000 0000000001011011 0001110010000000 1100000000110100
    0x00b6ea +0x1600:     0xb7e00000000000016c72000000020000 [0x80] 1011011111100000 0000000000000000 0000000000000000 0000000000000001 0110110001110010 0000000000000000 0000000000000010 0000000000000000
    0x00b76a +0x1680:             0x2d8e4000000a400000002762 [0x80] 0000000000000000 0000000000000000 0010110110001110 0100000000000000 0000000000001010 0100000000000000 0000000000000000 0010011101100010
    0x00b7ea +0x1700:     0xe000000000000000340400f79e80000b [0x80] 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0011010000000100 0000000011110111 1001111010000000 0000000000001011
    0x00b86a +0x1780:     0x7dc01806a6ec0000000000002df70000 [0x80] 0111110111000000 0001100000000110 1010011011101100 0000000000000000 0000000000000000 0000000000000000 0010110111110111 0000000000000000
    0x00b8ea +0x1800:         0x40000000000005bee00000015000 [0x80] 0000000000000000 0100000000000000 0000000000000000 0000000000000000 0000010110111110 1110000000000000 0000000000000001 0101000000000000
    0x00b96a +0x1880:                                    0x0 [0x200] 0…
    0x00bb6a +0x1a80:                                  0x13b [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100111011
    0x00bbea +0x1b00:     0x170000000000000001a02007bcf40000 [0x80] 0001011100000000 0000000000000000 0000000000000000 0000000000000000 0000000110100000 0010000000000111 1011110011110100 0000000000000000
    0x00bc6a +0x1b80:     0x5df080c03ac170000a9980000177c200 [0x80] 0101110111110000 1000000011000000 0011101011000001 0111000000000000 0000101010011001 1000000000000000 0000000101110111 1100001000000000
    0x00bcea +0x1c00:          0x2000153fc00002ef84000000b00 [0x80] 0000000000000000 0000001000000000 0000000101010011 1111110000000000 0000000000101110 1111100001000000 0000000000000000 0000101100000000
    0x00bd6a +0x1c80:       0x2a986762e000000000000000340400 [0x80] 0000000000101010 1001100001100111 0110001011100000 0000000000000000 0000000000000000 0000000000000000 0000000000110100 0000010000000000
    0x00bdea +0x1d00:     0xf79e80000bd8401807681e0001567600 [0x80] 1111011110011110 1000000000000000 0000101111011000 0100000000011000 0000011101101000 0001111000000000 0000000101010110 0111011000000000
    0x00be6a +0x1d80:       0x2f610000000040002ae8400005ec20 [0x80] 0000000000101111 0110000100000000 0000000000000000 0000000001000000 0000000000101010 1110100001000000 0000000000000101 1110110000100000
    0x00beea +0x1e00:          0x16800056024ec5c000000000000 [0x80] 0000000000000000 0000000101101000 0000000000000101 0110000000100100 1110110001011100 0000000000000000 0000000000000000 0000000000000000
    0x00bf6a +0x1e80:        0x680801ef3d000017e4e0300ef01c0 [0x80] 0000000000000110 1000000010000000 0001111011110011 1101000000000000 0000000101111110 0100111000000011 0000000011101111 0000000111000000
    0x00bfea +0x1f00:       0x2b37800005f9380000000800056a20 [0x80] 0000000000101011 0011011110000000 0000000000000101 1111100100111000 0000000000000000 0000000000001000 0000000000000101 0110101000100000
    0x00c06a +0x1f80:         0xbf270000002e0000ada79d8b8000 [0x80] 0000000000000000 1011111100100111 0000000000000000 0000000000101110 0000000000000000 1010110110100111 1001110110001011 1000000000000000
    0x00c0ea +0x2000:                 0xd01003ee960000303280 [0x80] 0000000000000000 0000000000000000 0000000000000000 1101000000010000 0000001111101110 1001011000000000 0000000000110000 0011001010000000
    0x00c16a +0x2080:     0x601e1ff8000574080000c0ca00000001 [0x80] 0110000000011110 0001111111111000 0000000000000101 0111010000001000 0000000000000000 1100000011001010 0000000000000000 0000000000000001
    0x00c1ea +0x2100:         0xaee70000181940000005e00015e9 [0x80] 0000000000000000 1010111011100111 0000000000000000 0001100000011001 0100000000000000 0000000000000101 1110000000000000 0001010111101001
    0x00c26a +0x2180:     0x53b170000000000000001a02007dd2c0 [0x80] 0101001110110001 0111000000000000 0000000000000000 0000000000000000 0000000000000000 0001101000000010 0000000001111101 1101001011000000
    0x00c2ea +0x2200:        0x613680c03cbf70000b0240000184d [0x80] 0000000000000110 0001001101101000 0000110000000011 1100101111110111 0000000000000000 1011000000100100 0000000000000000 0001100001001101
    0x00c36a +0x2280:     0xa00000002000161140000309b4000000 [0x80] 1010000000000000 0000000000000000 0010000000000000 0001011000010001 0100000000000000 0000001100001001 1011010000000000 0000000000000000
    0x00c3ea +0x2300:     0xc00002c3b40000000000000000000000 [0x80] 1100000000000000 0000001011000011 1011010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00c46a +0x2380:                                    0x0 [0x80] 0…
    0x00c4ea +0x2400:                          0x13b17000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100111011 0001011100000000 0000000000000000
    0x00c56a +0x2480:              0x1a02007bcf4000062a080c0 [0x80] 0000000000000000 0000000000000000 0000000110100000 0010000000000111 1011110011110100 0000000000000000 0110001010100000 1000000011000000
    0x00c5ea +0x2500:     0x41d360000bc58000018a820000000200 [0x80] 0100000111010011 0110000000000000 0000101111000101 1000000000000000 0000000110001010 1000001000000000 0000000000000000 0000001000000000
    0x00c66a +0x2580:      0x1797c000031504000000c80002f4867 [0x80] 0000000101111001 0111110000000000 0000000000110001 0101000001000000 0000000000000000 0000110010000000 0000000000101111 0100100001100111
    0x00c6ea +0x2600:     0x62e000000000000000340400f79e8000 [0x80] 0110001011100000 0000000000000000 0000000000000000 0000000000000000 0000000000110100 0000010000000000 1111011110011110 1000000000000000
    0x00c76a +0x2680:      0xc6e4018084a5c00017bf6000031b900 [0x80] 0000110001101110 0100000000011000 0000100001001010 0101110000000000 0000000101111011 1111011000000000 0000000000110001 1011100100000000
    0x00c7ea +0x2700:           0x40002f98400006372000000198 [0x80] 0000000000000000 0000000001000000 0000000000101111 1001100001000000 0000000000000110 0011011100100000 0000000000000000 0000000110011000
    0x00c86a +0x2780:        0x5f624ec5c00000000000000068080 [0x80] 0000000000000101 1111011000100100 1110110001011100 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1000000010000000
    0x00c8ea +0x2800:     0x1f74b00001910e03010b4980002fe780 [0x80] 0001111101110100 1011000000000000 0000000110010001 0000111000000011 0000000100001011 0100100110000000 0000000000101111 1110011110000000
    0x00c96a +0x2880:        0x6443800000008000600200000c887 [0x80] 0000000000000110 0100010000111000 0000000000000000 0000000000001000 0000000000000110 0000000000100000 0000000000000000 1100100010000111
    0x00c9ea +0x2900:           0x340000c0679d8b800000000000 [0x80] 0000000000000000 0000000000110100 0000000000000000 1100000001100111 1001110110001011 1000000000000000 0000000000000000 0000000000000000
    0x00ca6a +0x2980:         0xd01003ee960000328a806021a8f0 [0x80] 0000000000000000 1101000000010000 0000001111101110 1001011000000000 0000000000110010 1000101010000000 0110000000100001 1010100011110000
    0x00caea +0x2a00:        0x60a080000ca2a000000010000c1a7 [0x80] 0000000000000110 0000101000001000 0000000000000000 1100101000101010 0000000000000000 0000000000000001 0000000000000000 1100000110100111
    0x00cb6a +0x2a80:                 0xca2a000000350000c20a [0x63] 0000000000000000 0001100101000101 0100000000000000 0000000000000110 1010000000000000 0001100001000001 010
{Thing2 0x0cbcd/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0973a/0x9b0} next_p → {Thing2 0x096fa/0x40}
{StringStore 0x0cc0d/0x9b8}:StringStore x = 0x00000001 y = 0x0000012f
    @0x0cc4e [0x00] =  $0x0011 »%CONSTRAINED_STRING_TYPE_TEST_PROC_IN_IN_OUT_OUT 116668126556323968 75383«
    @0x0ceae [0x01] =  $0x0012 »ARG«
    @0x0cede [0x02] =  $0x0005 »CONSTRAINED_STRING_TYPE«
    @0x0cfae [0x03] =  $0x0006 »BOOLEAN«
    @0x0cffe [0x04] =  $0x0008 »«
    @0x0d016 [0x05] =  $0x0013 »CODE_SEGMENT_ARRAY«
{R1kSegChunk 0x0d5c5/0x23b7}: ===================
    0x00d5c5 +0x0000:                                    0x0 [0x80] 0…
    0x00d645 +0x0080:                                  0x9d8 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000100111011000
    0x00d6c5 +0x0100:     0xb801c7f6000000000001003de7b037a0 [0x80] 1011100000000001 1100011111110110 0000000000000000 0000000000000000 0000000000000001 0000000000111101 1110011110110000 0011011110100000
    0x00d745 +0x0180:                   0x3689800dc130000001 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000110110 1000100110000000 0000110111000001 0011000000000000 0000000000000001
    0x00d7c5 +0x0200:     0x1a7e0036898000000003654000d9af00 [0x80] 0001101001111110 0000000000110110 1000100110000000 0000000000000000 0000000000000011 0110010101000000 0000000011011001 1010111100000000
    0x00d845 +0x0280:         0x1142300365400000000024020077 [0x80] 0000000000000000 0001000101000010 0011000000000011 0110010101000000 0000000000000000 0000000000000000 0010010000000010 0000000001110111
    0x00d8c5 +0x0300:     0xc3000000000001b0b00006000000001b [0x80] 1100001100000000 0000000000000000 0000000000000000 0000000110110000 1011000000000000 0000011000000000 0000000000000000 0000000000011011
    0x00d945 +0x0380:      0xb108900035f10000000003646e762e0 [0x80] 0000101100010000 1000100100000000 0000001101011111 0001000000000000 0000000000000000 0000000000110110 0100011011100111 0110001011100000
    0x00d9c5 +0x0400:      0x6be2000000000140400eeadc325000d [0x80] 0000011010111110 0010000000000000 0000000000000000 0000000000010100 0000010000000000 1110111010101101 1100001100100101 0000000000001101
    0x00da45 +0x0480:     0x730000000000d7a90000dab600000000 [0x80] 0111001100000000 0000000000000000 0000000000000000 1101011110101001 0000000000000000 1101101010110110 0000000000000000 0000000000000000
    0x00dac5 +0x0500:         0x80006d7b00000000000000010000 [0x80] 0000000000000000 1000000000000000 0110110101111011 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0000000000000000
    0x00db45 +0x0580:     0x6dbb0000000000000000000000000000 [0x80] 0110110110111011 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00dbc5 +0x0600:     0x6deb00000d8580000002762e006b9800 [0x80] 0110110111101011 0000000000000000 0000110110000101 1000000000000000 0000000000000010 0111011000101110 0000000001101011 1001100000000000
    0x00dc45 +0x0680:            0x1808005e3d460840000000000 [0x80] 0000000000000000 0000000000000001 1000000010000000 0000010111100011 1101010001100000 1000010000000000 0000000000000000 0000000000000000
    0x00dcc5 +0x0700:          0x400000d73000000000000000000 [0x80] 0000000000000000 0000010000000000 0000000000001101 0111001100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00dd45 +0x0780:                             0x6edb0000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110111011011011 0000000000000000
    0x00ddc5 +0x0800:      0xd858000000000006b9800c00e0a6000 [0x80] 0000110110000101 1000000000000000 0000000000000000 0000000000000000 0110101110011000 0000000011000000 0000111000001010 0110000000000000
    0x00de45 +0x0880:          0x9d0b0000000000000000000001b [0x80] 0000000000000000 0000100111010000 1011000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011011
    0x00dec5 +0x0900:      0xb0020077c300000006c2c00c00e0a60 [0x80] 0000101100000000 0010000000000111 0111110000110000 0000000000000000 0000000001101100 0010110000000000 1100000000001110 0000101001100000
    0x00df45 +0x0980:                0x1bcb20000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 1011110010110010 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00dfc5 +0x0a00:      0x37f6c00006c2c000000000003616000 [0x80] 0000001101111111 0110110000000000 0000000001101100 0010110000000000 0000000000000000 0000000000000000 0000001101100001 0110000000000000
    0x00e045 +0x0a80:          0x80000000000006c2c7fffffff80 [0x80] 0000000000000000 0000100000000000 0000000000000000 0000000000000000 0000000001101100 0010110001111111 1111111111111111 1111111110000000
    0x00e0c5 +0x0b00:                0xdc8a00000001000000000 [0x80] 0000000000000000 0000000000000000 0000000000001101 1100100010100000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
    0x00e145 +0x0b80:        0x1b91400000000000000011d8d0000 [0x80] 0000000000000001 1011100100010100 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0001110110001101 0000000000000000
    0x00e1c5 +0x0c00:                       0xdf618c16000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011011111 0110000110001100 0001011000000000 0000000000000000
    0x00e245 +0x0c80:               0x800001c738000000000000 [0x80] 0000000000000000 0000000000000000 0000000010000000 0000000000000001 1100011100111000 0000000000000000 0000000000000000 0000000000000000
    0x00e2c5 +0x0d00:                      0x10c940038e70000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100001100 1001010000000000 0011100011100111 0000000000000000
    0x00e345 +0x0d80:                          0x1017b000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100000001 0111101100000000 0000000000000000
    0x00e3c5 +0x0e00:              0x38c32402000000000000000 [0x80] 0000000000000000 0000000000000000 0000001110001100 0011001001000000 0010000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00e445 +0x0e80:      0x6b5c80000000000000000000e1a4000 [0x80] 0000011010110101 1100100000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000111000011010 0100000000000000
    0x00e4c5 +0x0f00:       0xe3fb018033358000000013b17003c9 [0x80] 0000000011100011 1111101100000001 1000000000110011 0011010110000000 0000000000000000 0000000000010011 1011000101110000 0000001111001001
    0x00e545 +0x0f80:     0x88000000000002007dd2e06f40000000 [0x80] 1000100000000000 0000000000000000 0000000000000000 0000001000000000 0111110111010010 1110000001101111 0100000000000000 0000000000000000
    0x00e5c5 +0x1000:             0x7446801d4f4000000234fc00 [0x80] 0000000000000000 0000000000000000 0111010001000110 1000000000011101 0100111101000000 0000000000000000 0000001000110100 1111110000000000
    0x00e645 +0x1080:     0x744680000000073db801d02c00000022 [0x80] 0111010001000110 1000000000000000 0000000000000000 0000011100111101 1011100000000001 1101000000101100 0000000000000000 0000000000100010
    0x00e6c5 +0x1100:     0x8460073db800000000480400ef860000 [0x80] 1000010001100000 0000011100111101 1011100000000000 0000000000000000 0000000001001000 0000010000000000 1110111110000110 0000000000000000
    0x00e745 +0x1180:            0x39afc000c0000000039afe112 [0x80] 0000000000000000 0000000000000011 1001101011111100 0000000000001100 0000000000000000 0000000000000000 0011100110101111 1110000100010010
    0x00e7c5 +0x1200:        0x731580000000073c14ec5c00e62b0 [0x80] 0000000000000111 0011000101011000 0000000000000000 0000000000000000 0111001111000001 0100111011000101 1100000000001110 0110001010110000
    0x00e845 +0x1280:             0x280801dd5b864a001cb2e000 [0x80] 0000000000000000 0000000000000000 0010100000001000 0000000111011101 0101101110000110 0100101000000000 0001110010110010 1110000000000000
    0x00e8c5 +0x1300:          0x1cc200001d23a00000000000100 [0x80] 0000000000000000 0000000111001100 0010000000000000 0000000111010010 0011101000000000 0000000000000000 0000000000000000 0000000100000000
    0x00e945 +0x1380:       0xe95d00000000000000020000e9dd00 [0x80] 0000000011101001 0101110100000000 0000000000000000 0000000000000000 0000000000000000 0000001000000000 0000000011101001 1101110100000000
    0x00e9c5 +0x1400:                               0xea3d00 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011101010 0011110100000000
    0x00ea45 +0x1480:       0x1cd7e0000004ec5c00e59700000000 [0x80] 0000000000011100 1101011111100000 0000000000000000 0000010011101100 0101110000000000 1110010110010111 0000000000000000 0000000000000000
    0x00eac5 +0x1500:      0x301000bc7a8c1080000000000000008 [0x80] 0000001100000001 0000000000001011 1100011110101000 1100000100001000 0000000000000000 0000000000000000 0000000000000000 0000000000001000
    0x00eb45 +0x1580:         0x1cb2e00000000000000000000000 [0x80] 0000000000000000 0001110010110010 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00ebc5 +0x1600:                       0xec1d00001cd7e0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011101100 0001110100000000 0000000000011100 1101011111100000
    0x00ec45 +0x1680:               0xe59701801c14c000000013 [0x80] 0000000000000000 0000000000000000 0000000011100101 1001011100000001 1000000000011100 0001010011000000 0000000000000000 0000000000010011
    0x00ecc5 +0x1700:     0xa1600000000000000000000039afc040 [0x80] 1010000101100000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0011100110101111 1100000001000000
    0x00ed45 +0x1780:      0xef860000000e6bf01801c14c0000000 [0x80] 0000111011111000 0110000000000000 0000000000000000 1110011010111111 0000000110000000 0001110000010100 1100000000000000 0000000000000000
    0x00edc5 +0x1800:          0x3b3000000000000000000077210 [0x80] 0000000000000000 0000001110110011 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111 0111001000010000
    0x00ee45 +0x1880:         0xe6bf00000000000735f800000010 [0x80] 0000000000000000 1110011010111111 0000000000000000 0000000000000000 0000000000000111 0011010111111000 0000000000000000 0000000000010000
    0x00eec5 +0x1900:                 0xe6bfffffffff00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1110011010111111 1111111111111111 1111111111111111 0000000000000000 0000000000000000
    0x00ef45 +0x1980:         0x1d5e2000000020000000000003ab [0x80] 0000000000000000 0001110101011110 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0000000000000000 0000001110101011
    0x00efc5 +0x1a00:     0xc400000000000000023b1a0000000000 [0x80] 1100010000000000 0000000000000000 0000000000000000 0000000000000000 0000001000111011 0001101000000000 0000000000000000 0000000000000000
    0x00f045 +0x1a80:                0x1db91182c000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 1101101110010001 0001100000101100 0000000000000000 0000000000000000 0000000000000000
    0x00f0c5 +0x1b00:        0x1000003c80c000000000000000000 [0x80] 0000000000000001 0000000000000000 0000001111001000 0000110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f145 +0x1b80:                0x219280079018000000000 [0x80] 0000000000000000 0000000000000000 0000000000000010 0001100100101000 0000000001111001 0000000110000000 0000000000000000 0000000000000000
    0x00f1c5 +0x1c00:                    0x202f6000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000010 0000001011110110 0000000000000000 0000000000000000 0000000000000000
    0x00f245 +0x1c80:        0x78b9c8040000000000000000e5200 [0x80] 0000000000000111 1000101110011100 1000000001000000 0000000000000000 0000000000000000 0000000000000000 0000000000001110 0101001000000000
    0x00f2c5 +0x1d00:                       0x1e01600001e4c4 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000011110 0000000101100000 0000000000000001 1110010011000100
    0x00f345 +0x1d80:      0x3006869000000002762e00000000000 [0x80] 0000001100000000 0110100001101001 0000000000000000 0000000000000000 0010011101100010 1110000000000000 0000000000000000 0000000000000000
    0x00f3c5 +0x1e00:         0x4c000079c3800000000000000000 [0x80] 0000000000000000 0100110000000000 0000000001111001 1100001110000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f445 +0x1e80:               0x7aec000000000000000000 [0x80] 0000000000000000 0000000000000000 0000000001111010 1110110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f4c5 +0x1f00:                                    0x0 [0x80] 0…
    0x00f545 +0x1f80:               0x79ff0000000e001ea7c000 [0x80] 0000000000000000 0000000000000000 0000000001111001 1111111100000000 0000000000000000 0000111000000000 0001111010100111 1100000000000000
    0x00f5c5 +0x2000:              0x3ce1e0000000000003ce1c0 [0x80] 0000000000000000 0000000000000000 0000001111001110 0001111000000000 0000000000000000 0000000000000000 0000000000111100 1110000111000000
    0x00f645 +0x2080:                        0x79c3800000008 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000111 1001110000111000 0000000000000000 0000000000001000
    0x00f6c5 +0x2100:                 0xf3870000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1111001110000111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f745 +0x2180:               0x3e3e400000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000111110 0011111001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
    0x00f7c5 +0x2200:                                    0x0 [0x80] 0…
    0x00f845 +0x2280:                       0x3dc7c000000640 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000111101 1100011111000000 0000000000000000 0000011001000000
    0x00f8c5 +0x2300:      0xf85f00000000008019ea00000000000 [0x80] 0000111110000101 1111000000000000 0000000000000000 0000000000001000 0000000110011110 1010000000000000 0000000000000000 0000000000000000
    0x00f945 +0x2380:                         0xf6e200000000 [0x37] 0000000111101101 1100010000000000 0000000000000000 0000000