|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 7168 (0x1c00)
Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR2, seg_043033
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x0000c10e max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x0000dfff
{HeadVar2 0x00080/0x32a}:HeadVar2
0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
0x0000a0 [0x01] +0x0020: head_segment = 0x00043033 [0000000000001000011000000110011]
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 = 0x0001212f [000000000000010010000100101111]
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/0x6495} [00000000000000000100000110100001]
0x0002ea [0x17] +0x026a:
0x00030a [0x18] +0x028a: hv2_28a_n = 0x00100112e8842c1b7764000108340112de442c00 [0000000000010000000000010001001011101000100001000010110000011011011101110110010000000000000000010000100000110100000000010001001011011110010001000010110000000000]
{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 = 0xfffffff1005a0044008bf801173 [111111111111111111111111111100010000000001011010000000000100010000000000100010111111100000000001000101110011]
0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0a676/0x9b0} [00000000000000001010011001110110]
0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x02426/0x6ee} [00000000000000000010010000100110]
0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0a636/0x40} [00000000000000001010011000110110]
0x002406 [0x05] +0x00ec: [00000000000000000000000000000000]
{StringIndex 0x02426/0x6ee}:StringIndex x = 0x00000001 y = 0x0000002d
[$0x0004] 0x00768 000 »Stream : Transport_Stream.Stream_Id;
«
[$0x0007] 0x085d0 000 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number;
Proc : Rpc.Procedure_Number«
[$0x0009] 0x00ad8 000 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
«
[$0x000b] 0x008b8 010 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id; «
[$0x000c] 0x00748 000 »
«
[$0x000d] 0x00d00 000 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number; «
[$0x000f] 0x089d0 000 »procedure Serve_Guts is new Rpc_Server.Serve(Program => «
[$0x0010] 0x082a8 000 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number;
«
{StringStore 0x02b14/0x9a8}:StringStore x = 0x00000001 y = 0x0000012d
@0x02b56 [0x00] = $0x000c »
«
@0x02b76 [0x01] = $0x0004 »Stream : Transport_Stream.Stream_Id;
«
@0x02cc6 [0x02] = $0x000b »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id; «
@0x02ee6 [0x03] = $0x0009 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
«
@0x0310e [0x04] = $0x000d »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number; «
{DianaSkeleton 0x034bc/0x2b}:diana_13eab d_13eab_type = 0x13eab
{R1kSegChunk 0x034e7/0x3a}: ===================
0x0034e7 +0x0000: 0x0 [0x3a] 0…
{R1kSegChunk 0x03521/0xc80}: ===================
0x003521 +0x0000: 0x56830000640000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0101011010000011 0000000000000000 0110010000000000 0000000000000000 0000000000000000
0x0035a1 +0x0080: 0x0 [0x80] 0…
0x003621 +0x0100: 0x6703 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110011100000011
0x0036a1 +0x0180: 0x69400000000000008c88 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110100101000000 0000000000000000 0000000000000000 0000000000000000 1000110010001000
0x003721 +0x0200: 0x7dee000000000000929b00000000 [0x80] 0000000000000000 0111110111101110 0000000000000000 0000000000000000 0000000000000000 1001001010011011 0000000000000000 0000000000000000
0x0037a1 +0x0280: 0x95b3 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1001010110110011
0x003821 +0x0300: 0x0 [0x80] 0…
0x0038a1 +0x0380: 0x46980000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0100011010011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x003921 +0x0400: 0x0 [0x180] 0…
0x003aa1 +0x0580: 0x6b7d00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0110101101111101 0000000000000000 0000000000000000
0x003b21 +0x0600: 0xc0d0000000000000bf2d [0x80] 0000000000000000 0000000000000000 0000000000000000 1100000011010000 0000000000000000 0000000000000000 0000000000000000 1011111100101101
0x003ba1 +0x0680: 0x42210000433e0000445b00000000 [0x80] 0000000000000000 0100001000100001 0000000000000000 0100001100111110 0000000000000000 0100010001011011 0000000000000000 0000000000000000
0x003c21 +0x0700: 0x93d8000000000000000000000000 [0x80] 0000000000000000 1001001111011000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x003ca1 +0x0780: 0x0 [0x80] 0…
0x003d21 +0x0800: 0x47d500000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0100011111010101 0000000000000000 0000000000000000
0x003da1 +0x0880: 0x0 [0x400] 0…
{R1kSegChunk 0x041a1/0x6495}: ===================
0x0041a1 +0x0000: 0x94d40000427b00000000000041c1 [0x80] 0000000000000000 1001010011010100 0000000000000000 0100001001111011 0000000000000000 0000000000000000 0000000000000000 0100000111000001
0x004221 +0x0080: 0x34001078400000000020056890 [0x80] 0000000000000000 0000000000110100 0000000000010000 0111100001000000 0000000000000000 0000000000000000 0010000000000101 0110100010010000
0x0042a1 +0x0100: 0x480000000000021cc000000000 [0x80] 0000000000000000 0000000001001000 0000000000000000 0000000000000000 0000000000000010 0001110011000000 0000000000000000 0000000000000000
0x004321 +0x0180: 0x216f0000001a80085fc0000000001 [0x80] 0000000000000010 0001011011110000 0000000000000000 0000000110101000 0000000010000101 1111110000000000 0000000000000000 0000000000000001
0x0043a1 +0x0200: 0x2b4480000000000000000000112d40 [0x80] 0000000000101011 0100010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010001 0010110101000000
0x004421 +0x0280: 0x10fec000000d800441b000 [0x80] 0000000000000000 0000000000000000 0000000000010000 1111111011000000 0000000000000000 0000110110000000 0000010001000001 1011000000000000
0x0044a1 +0x0300: 0x8015a24000000000000000000 [0x80] 0000000000000000 0000000000001000 0000000101011010 0010010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004521 +0x0380: 0x0 [0x80] 0…
0x0045a1 +0x0400: 0x8de4000000000000000000 [0x80] 0000000000000000 0000000000000000 0000000010001101 1110010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004621 +0x0480: 0x8a3000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000010001010 0011000000000000
0x0046a1 +0x0500: 0x3a00232c0000000000400d06b000 [0x80] 0000000000000000 0011101000000000 0010001100101100 0000000000000000 0000000000000000 0000000001000000 0000110100000110 1011000000000000
0x004721 +0x0580: 0x482f000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000010010000010 1111000000000000
0x0047a1 +0x0600: 0x4775000000420011e540000 [0x80] 0000000000000000 0000000000000000 0000010001110111 0101000000000000 0000000000000100 0010000000000001 0001111001010100 0000000000000000
0x004821 +0x0680: 0x200683580000fa0000000000040 [0x80] 0000000000000000 0000001000000000 0110100000110101 1000000000000000 0000111110100000 0000000000000000 0000000000000000 0000000001000000
0x0048a1 +0x0700: 0xcfc7000000002006fd2000d87a00000 [0x80] 0000110011111100 0111000000000000 0000000000000000 0000001000000000 0110111111010010 0000000000001101 1000011110100000 0000000000000000
0x004921 +0x0780: 0x494900801c56a0024c300400e3 [0x80] 0000000000000000 0000000001001001 0100100100000000 1000000000011100 0101011010100000 0000001001001100 0011000000000100 0000000011100011
0x0049a1 +0x0800: 0xad000000000000000000000000000000 [0x80] 1010110100000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004a21 +0x0880: 0x0 [0x80] 0…
0x004aa1 +0x0900: 0x259c000000000000000000000000 [0x80] 0000000000000000 0010010110011100 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004b21 +0x0980: 0x1bb70000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001101110110111 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004ba1 +0x0a00: 0x2728000026f6 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010011100101000 0000000000000000 0010011011110110
0x004c21 +0x0a80: 0x80000000000025cd8000000000000000 [0x80] 1000000000000000 0000000000000000 0000000000000000 0010010111001101 1000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004ca1 +0x0b00: 0x0 [0x100] 0…
0x004da1 +0x0c00: 0x25ff00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010010111111111 0000000000000000 0000000000000000
0x004e21 +0x0c80: 0x15b7400026c5 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001010110110111 0100000000000000 0010011011000101
0x004ea1 +0x0d00: 0x2693800000000000000000000000 [0x80] 0000000000000000 0010011010010011 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x004f21 +0x0d80: 0x2630 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0010011000110000
0x004fa1 +0x0e00: 0x800000000000000000001be880000000 [0x80] 1000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001101111101000 1000000000000000 0000000000000000
0x005021 +0x0e80: 0x0 [0x100] 0…
0x005121 +0x0f80: 0x2662000000000000000000000000 [0x80] 0000000000000000 0010011001100010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x0051a1 +0x1000: 0x0 [0x280] 0…
0x005421 +0x1280: 0x192f40000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001100100101111 0100000000000000 0000000000000000
0x0054a1 +0x1300: 0x0 [0x180] 0…
0x005621 +0x1480: 0x1270c0000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001001001110000 1100000000000000 0000000000000000
0x0056a1 +0x1500: 0x40056430000000000801c56a00000006 [0x80] 0100000000000101 0110010000110000 0000000000000000 0000000000000000 0000100000000001 1100010101101010 0000000000000000 0000000000000110
0x005721 +0x1580: 0x0 [0x100] 0…
0x005821 +0x1680: 0x12da6000000000000000000000000 [0x80] 0000000000000001 0010110110100110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x0058a1 +0x1700: 0xde7e0000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 1101111001111110 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x005921 +0x1780: 0x13a060001387a [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0011101000000110 0000000000000001 0011100001111010
0x0059a1 +0x1800: 0x12f320000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 0010111100110010 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x005a21 +0x1880: 0x0 [0x100] 0…
0x005b21 +0x1980: 0x130be00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0011000010111110 0000000000000000 0000000000000000
0x005ba1 +0x1a00: 0xc8b4000136ee [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1100100010110100 0000000000000001 0011011011101110
0x005c21 +0x1a80: 0x13562000000000000000000000000 [0x80] 0000000000000001 0011010101100010 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x005ca1 +0x1b00: 0x1324a [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000001 0011001001001010
0x005d21 +0x1b80: 0xe00a00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1110000000001010 0000000000000000 0000000000000000
0x005da1 +0x1c00: 0x0 [0x100] 0…
0x005ea1 +0x1d00: 0x133d6000000000000000000000000 [0x80] 0000000000000001 0011001111010110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x005f21 +0x1d80: 0x0 [0x280] 0…
0x0061a1 +0x2000: 0xca4000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1100101001000000 0000000000000000 0000000000000000
0x006221 +0x2080: 0x0 [0x180] 0…
0x0063a1 +0x2200: 0xae8000000004 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1010111010000000 0000000000000000 0000000000000100
0x006421 +0x2280: 0x31e00000000000400e2b5ffffffff0 [0x80] 0000000000110001 1110000000000000 0000000000000000 0000000000000000 0100000000001110 0010101101011111 1111111111111111 1111111111110000
0x0064a1 +0x2300: 0x801c75a0000000600000000 [0x80] 0000000000000000 0000000000000000 0000100000000001 1100011101011010 0000000000000000 0000000000000110 0000000000000000 0000000000000000
0x006521 +0x2380: 0x10038eb7fffffff8000000000000000 [0x80] 0000000100000000 0011100011101011 0111111111111111 1111111111111111 1000000000000000 0000000000000000 0000000000000000 0000000000000000
0x0065a1 +0x2400: 0x0 [0x80] 0…
0x006621 +0x2480: 0x19d740001c1a00000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0001100111010111 0100000000000000 0001110000011010 0000000000000000 0000000000000000
0x0066a1 +0x2500: 0x1960c0000002 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0001100101100000 1100000000000000 0000000000000010
0x006721 +0x2580: 0xc0066c30000000000801c09000000004 [0x80] 1100000000000110 0110110000110000 0000000000000000 0000000000000000 0000100000000001 1100000010010000 0000000000000000 0000000000000100
0x0067a1 +0x2600: 0x0 [0x80] 0…
0x006821 +0x2680: 0xd334 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1101001100110100
0x0068a1 +0x2700: 0xe196000000000000000000000000 [0x80] 0000000000000000 1110000110010110 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x006921 +0x2780: 0xcf800000001a0034800000000000 [0x80] 0000000000000000 1100111110000000 0000000000000000 0000000000011010 0000000000110100 1000000000000000 0000000000000000 0000000000000000
0x0069a1 +0x2800: 0x400e0480000000000000000000000000 [0x80] 0100000000001110 0000010010000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x006a21 +0x2880: 0x0 [0x80] 0…
0x006aa1 +0x2900: 0x6bd700000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000110 1011110101110000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x006b21 +0x2980: 0x69fd0000002e0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000110 1001111111010000 0000000000000000 0000001011100000
0x006ba1 +0x2a00: 0x1acf400000000020070240080434410 [0x80] 0000000110101100 1111010000000000 0000000000000000 0000000000000010 0000000001110000 0010010000000000 1000000001000011 0100010000010000
0x006c21 +0x2a80: 0x801d83600363d00400f0d80 [0x80] 0000000000000000 0000000000000000 0000100000000001 1101100000110110 0000000000110110 0011110100000000 0100000000001111 0000110110000000
0x006ca1 +0x2b00: 0x1b2dc02007aca800d9e801003e94800 [0x80] 0000000110110010 1101110000000010 0000000001111010 1100101010000000 0000110110011110 1000000000010000 0000001111101001 0100100000000000
0x006d21 +0x2b80: 0x6d3100801fe1e0036b700401040f001b [0x80] 0110110100110001 0000000010000000 0001111111100001 1110000000000011 0110101101110000 0000010000000001 0000010000001111 0000000000011011
0x006da1 +0x2c00: 0x6ac0200851d000dbd0010044694007f0 [0x80] 0110101011000000 0010000000001000 0101000111010000 0000000011011011 1101000000000001 0000000001000100 0110100101000000 0000011111110000
0x006e21 +0x2c80: 0x800000000000373100401149c001ba7c [0x80] 1000000000000000 0000000000000000 0000000000000000 0011011100110001 0000000001000000 0001000101001001 1100000000000001 1011101001111100
0x006ea1 +0x2d00: 0x2008b8c80000000100452700000000c [0x80] 0000001000000000 1000101110001100 1000000000000000 0000000000000000 0001000000000100 0101001001110000 0000000000000000 0000000000001100
0x006f21 +0x2d80: 0x2008a4e7fffffff80000000 [0x80] 0000000000000000 0000000000000000 0000001000000000 1000101001001110 0111111111111111 1111111111111111 1000000000000000 0000000000000000
0x006fa1 +0x2e00: 0x40117190000000300000000008022e [0x80] 0000000001000000 0001000101110001 1001000000000000 0000000000000000 0011000000000000 0000000000000000 0000000000001000 0000001000101110
0x007021 +0x2e80: 0x33fffffffc0000000001004492400000 [0x80] 0011001111111111 1111111111111111 1111110000000000 0000000000000000 0000000000000001 0000000001000100 1001001001000000 0000000000000000
0x0070a1 +0x2f00: 0x800000000020089248000000000000 [0x80] 0000000010000000 0000000000000000 0000000000000000 0010000000001000 1001001001001000 0000000000000000 0000000000000000 0000000000000000
0x007121 +0x2f80: 0x0 [0x280] 0…
0x0073a1 +0x3200: 0x3f24000000000000000000000 [0x80] 0000000000000000 0000000000000011 1111001001000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x007421 +0x3280: 0x0 [0x800] 0…
0x007c21 +0x3a80: 0x3fa2800000000000000000000 [0x80] 0000000000000000 0000000000000011 1111101000101000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x007ca1 +0x3b00: 0x0 [0x100] 0…
0x007da1 +0x3c00: 0x389700000008000fb [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000011 1000100101110000 0000000000000000 0000000010000000 0000000011111011
0x007e21 +0x3c80: 0x5c000000000100470400000000000000 [0x80] 0101110000000000 0000000000000000 0000000000000001 0000000001000111 0000010000000000 0000000000000000 0000000000000000 0000000000000000
0x007ea1 +0x3d00: 0x2008e08000000001004c [0x80] 0000000000000000 0000000000000000 0000000000000000 0010000000001000 1110000010000000 0000000000000000 0000000000000001 0000000001001100
0x007f21 +0x3d80: 0x77400000000801be0000000000000091 [0x80] 0111011101000000 0000000000000000 0000000000001000 0000000110111110 0000000000000000 0000000000000000 0000000000000000 0000000010010001
0x007fa1 +0x3e00: 0x9e0000000000000000000120f0000000 [0x80] 1001111000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100100000 1111000000000000 0000000000000000
0x008021 +0x3e80: 0x0 [0x500] 0…
0x008521 +0x4380: 0x11a900000000000000000000000 [0x80] 0000000000000000 0000000100011010 1001000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x0085a1 +0x4400: 0x0 [0x80] 0…
0x008621 +0x4480: 0x119c40001202400011f [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000100011001 1100010000000000 0000000100100000 0010010000000000 0000000100011111
0x0086a1 +0x4500: 0x580000000000011b5c00000000000000 [0x80] 0101100000000000 0000000000000000 0000000000000000 0000000100011011 0101110000000000 0000000000000000 0000000000000000 0000000000000000
0x008721 +0x4580: 0x0 [0x100] 0…
0x008821 +0x4680: 0x11c28000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100011100 0010100000000000 0000000000000000
0x0088a1 +0x4700: 0x0 [0x80] 0…
0x008921 +0x4780: 0x11e8c0000000000000000000000 [0x80] 0000000000000000 0000000100011110 1000110000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x0089a1 +0x4800: 0x11c [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100011100
0x008a21 +0x4880: 0xf4000000000000000000000000000000 [0x80] 1111010000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x008aa1 +0x4900: 0x0 [0x100] 0…
0x008ba1 +0x4a00: 0x11dc00000000000000000000000 [0x80] 0000000000000000 0000000100011101 1100000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x008c21 +0x4a80: 0xff90000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000011111111 1001000000000000 0000000000000000
0x008ca1 +0x4b00: 0x1e0046240000000000400dfa400801be [0x80] 0001111000000000 0100011000100100 0000000000000000 0000000000000000 0000000001000000 0000110111111010 0100000000001000 0000000110111110
0x008d21 +0x4b80: 0x1003b06c02006f8000000 [0x80] 0000000000000000 0000000000000000 0000000000000001 0000000000111011 0000011011000000 0010000000000110 1111100000000000 0000000000000000
0x008da1 +0x4c00: 0x400f0d800801be0000000000010 [0x80] 0000000000000000 0000010000000000 1111000011011000 0000000010000000 0001101111100000 0000000000000000 0000000000000000 0000000000010000
0x008e21 +0x4c80: 0x3d65402006f800000000000400fa520 [0x80] 0000001111010110 0101010000000010 0000000001101111 1000000000000000 0000000000000000 0000000000000000 0100000000001111 1010010100100000
0x008ea1 +0x4d00: 0x801be000000000001003fc3c02006f8 [0x80] 0000100000000001 1011111000000000 0000000000000000 0000000000000000 0000000100000000 0011111111000011 1100000000100000 0000011011111000
0x008f21 +0x4d80: 0x401040f00801be0000000 [0x80] 0000000000000000 0000000000000000 0000000000000100 0000000100000100 0000111100000000 1000000000011011 1110000000000000 0000000000000000
0x008fa1 +0x4e00: 0x100428e802006f80000000000040 [0x80] 0000000000000000 0001000000000100 0010100011101000 0000001000000000 0110111110000000 0000000000000000 0000000000000000 0000000001000000
0x009021 +0x4e80: 0x111a500801be000000000001004c7740 [0x80] 0001000100011010 0101000000001000 0000000110111110 0000000000000000 0000000000000000 0000000000000001 0000000001001100 0111011101000000
0x0090a1 +0x4f00: 0x2006f800000000000400df0000000000 [0x80] 0010000000000110 1111100000000000 0000000000000000 0000000000000000 0000010000000000 1101111100000000 0000000000000000 0000000000000000
0x009121 +0x4f80: 0x0 [0x80] 0…
0x0091a1 +0x5000: 0x24bd400000000000000000 [0x80] 0000000000000000 0000000000000000 0000000000100100 1011110101000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x009221 +0x5080: 0x2446c0 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000100100 0100011011000000
0x0092a1 +0x5100: 0x4800925b0000000000801a0d600 [0x80] 0000000000000000 0000010010000000 0000100100100101 1011000000000000 0000000000000000 0000000000001000 0000000110100000 1101011000000000
0x009321 +0x5180: 0x1286400 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000100101000 0110010000000000
0x0093a1 +0x5200: 0x126f0000000700049cc0000 [0x80] 0000000000000000 0000000000000000 0000000100100110 1111000000000000 0000000000000000 0111000000000000 0100100111001100 0000000000000000
0x009421 +0x5280: 0x400d06b8000000900028be4000 [0x80] 0000000000000000 0000000001000000 0000110100000110 1011100000000000 0000000000000000 1001000000000000 0010100010111110 0100000000000000
0x0094a1 +0x5300: 0x20000000100000012000517c8000 [0x80] 0000000000000000 0010000000000000 0000000000000000 0001000000000000 0000000000000001 0010000000000000 0101000101111100 1000000000000000
0x009521 +0x5380: 0x4000000000002583400000000000 [0x80] 0000000000000000 0100000000000000 0000000000000000 0000000000000000 0010010110000011 0100000000000000 0000000000000000 0000000000000000
0x0095a1 +0x5400: 0x2554c0000005c0095730000000000801 [0x80] 0010010101010100 1100000000000000 0000000000000101 1100000000001001 0101011100110000 0000000000000000 0000000000000000 0000100000000001
0x009621 +0x5480: 0xa0d60098ba160000000001003b2fc000 [0x80] 1010000011010110 0000000010011000 1011101000010110 0000000000000000 0000000000000000 0000000100000000 0011101100101111 1100000000000000
0x0096a1 +0x5500: 0x8000000000200765f80000001000 [0x80] 0000000000000000 1000000000000000 0000000000000000 0000000000100000 0000011101100101 1111100000000000 0000000000000000 0001000000000000
0x009721 +0x5580: 0x400f17c000000020000000000 [0x80] 0000000000000000 0000000000000100 0000000011110001 0111110000000000 0000000000000000 0000001000000000 0000000000000000 0000000000000000
0x0097a1 +0x5600: 0x801e2f8000000060000000001003d8e4 [0x80] 1000000000011110 0010111110000000 0000000000000000 0000000001100000 0000000000000000 0000000000000000 0001000000000011 1101100011100100
0x009821 +0x5680: 0x80000000002007b1c80000002 [0x80] 0000000000000000 0000000000001000 0000000000000000 0000000000000000 0000001000000000 0111101100011100 1000000000000000 0000000000000010
0x0098a1 +0x5700: 0x400faf6000000020000000 [0x80] 0000000000000000 0000000000000000 0000000001000000 0000111110101111 0110000000000000 0000000000000000 0010000000000000 0000000000000000
0x009921 +0x5780: 0x801f5ec0000000a0000000001003f [0x80] 0000000000001000 0000000111110101 1110110000000000 0000000000000000 0000101000000000 0000000000000000 0000000000000001 0000000000111111
0x0099a1 +0x5800: 0xecc000000080000000002007fd980000 [0x80] 1110110011000000 0000000000000000 0000000010000000 0000000000000000 0000000000000000 0010000000000111 1111110110011000 0000000000000000
0x009a21 +0x5880: 0x3000000000040104b3000000020000 [0x80] 0000000000110000 0000000000000000 0000000000000000 0000010000000001 0000010010110011 0000000000000000 0000000000000010 0000000000000000
0x009aa1 +0x5900: 0x80209660000000e00000000010 [0x80] 0000000000000000 0000000010000000 0010000010010110 0110000000000000 0000000000000000 1110000000000000 0000000000000000 0000000000010000
0x009b21 +0x5980: 0x417780000000800000000020082ef00 [0x80] 0000010000010111 0111100000000000 0000000000000000 0000100000000000 0000000000000000 0000000000000010 0000000010000010 1110111100000000
0x009ba1 +0x5a00: 0x400000000004010ade000000020 [0x80] 0000000000000000 0000010000000000 0000000000000000 0000000000000000 0100000000010000 1010110111100000 0000000000000000 0000000000100000
0x009c21 +0x5a80: 0x80215bc0000001200000000 [0x80] 0000000000000000 0000000000000000 0000100000000010 0001010110111100 0000000000000000 0000000000010010 0000000000000000 0000000000000000
0x009ca1 +0x5b00: 0x1004492400000008000000000200892 [0x80] 0000000100000000 0100010010010010 0100000000000000 0000000000000000 1000000000000000 0000000000000000 0000000000100000 0000100010010010
0x009d21 +0x5b80: 0x480000005000000004d42c0000000000 [0x80] 0100100000000000 0000000000000000 0101000000000000 0000000000000000 0000010011010100 0010110000000000 0000000000000000 0000000000000000
0x009da1 +0x5c00: 0x200c02f931000013dfd2e080027 [0x80] 0000000000000000 0000001000000000 1100000000101111 1001001100010000 0000000000000001 0011110111111101 0010111000001000 0000000000100111
0x009e21 +0x5c80: 0xbf8000000000003003087fee5c10004f [0x80] 1011111110000000 0000000000000000 0000000000000000 0000000000110000 0000001100001000 0111111111101110 0101110000010000 0000000001001111
0x009ea1 +0x5d00: 0x7f000000000000600610f93cc5840000 [0x80] 0111111100000000 0000000000000000 0000000000000000 0000000001100000 0000011000010000 1111100100111100 1100010110000100 0000000000000000
0x009f21 +0x5d80: 0x9e0000279fc0600610fcd [0x80] 0000000000000000 0000000000000000 0000000000001001 1110000000000000 0000001001111001 1111110000000110 0000000001100001 0000111111001101
0x009fa1 +0x5e00: 0x42c000000000000000580c02f9310000 [0x80] 0100001011000000 0000000000000000 0000000000000000 0000000000000000 0000000001011000 0000110000000010 1111100100110001 0000000000000000
0x00a021 +0x5e80: 0x142652e0800284c80000000000030030 [0x80] 0001010000100110 0101001011100000 1000000000000010 1000010011001000 0000000000000000 0000000000000000 0000000000000011 0000000000110000
0x00a0a1 +0x5f00: 0x87fee5c1000509900000000000060061 [0x80] 1000011111111110 1110010111000001 0000000000000101 0000100110010000 0000000000000000 0000000000000000 0000000000000110 0000000001100001
0x00a121 +0x5f80: 0xfa0cc584000000000000000a0340028 [0x80] 0000111110100000 1100110001011000 0100000000000000 0000000000000000 0000000000000000 0000000000000000 1010000000110100 0000000000101000
0x00a1a1 +0x6000: 0x2cc0600610fcd42c0000000000000004 [0x80] 0010110011000000 0110000000000110 0001000011111100 1101010000101100 0000000000000000 0000000000000000 0000000000000000 0000000000000100
0x00a221 +0x6080: 0x80c02f9310000146cd2e080028d98000 [0x80] 1000000011000000 0010111110010011 0001000000000000 0000000101000110 1100110100101110 0000100000000000 0010100011011001 1000000000000000
0x00a2a1 +0x6100: 0x3003087fee5c100051b30000 [0x80] 0000000000000000 0000000000000000 0011000000000011 0000100001111111 1110111001011100 0001000000000000 0101000110110011 0000000000000000
0x00a321 +0x6180: 0x600610fa14c5840000000000 [0x80] 0000000000000000 0000000000000000 0110000000000110 0001000011111010 0001010011000101 1000010000000000 0000000000000000 0000000000000000
0x00a3a1 +0x6200: 0xa2680028b9c0600610fcd42c000 [0x80] 0000000000000000 0000101000100110 1000000000000010 1000101110011100 0000011000000000 0110000100001111 1100110101000010 1100000000000000
0x00a421 +0x6280: 0x680c02f931000014b352 [0x80] 0000000000000000 0000000000000000 0000000000000000 0110100000001100 0000001011111001 0011000100000000 0000000000010100 1011001101010010
0x00a4a1 +0x6300: 0xe080029668000000000003003087fee5 [0x80] 1110000010000000 0000001010010110 0110100000000000 0000000000000000 0000000000000000 0000001100000000 0011000010000111 1111111011100101
0x00a521 +0x6380: 0xc100052cd000000000000600610fb0cc [0x80] 1100000100000000 0000010100101100 1101000000000000 0000000000000000 0000000000000000 0000011000000000 0110000100001111 1011000011001100
0x00a5a1 +0x6400: 0x584000000000000000a49c002946c060 [0x80] 0101100001000000 0000000000000000 0000000000000000 0000000000000000 0000000010100100 1001110000000000 0010100101000110 1100000001100000
0x00a621 +0x6480: 0xc21f [0x15] 0000011000010000 11111
{Thing2 0x0a636/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02b14/0x9a8}
{StringStore 0x0a676/0x9b0}:StringStore x = 0x00000001 y = 0x0000012e
@0x0a6b6 [0x00] = $0x0010 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number;
«
@0x0a9de [0x01] = $0x0007 »Stream : Transport_Stream.Stream_Id;
Id : Rpc.Transaction_Id;
Version : Rpc.Version_Number;
Proc : Rpc.Procedure_Number«
@0x0adde [0x02] = $0x000f »procedure Serve_Guts is new Rpc_Server.Serve(Program => «
{R1kSegChunk 0x0b026/0x1167}: ===================
0x00b026 +0x0000: 0x9a858000000000000001001805f26200 [0x80] 1001101010000101 1000000000000000 0000000000000000 0000000000000000 0000000000000001 0000000000011000 0000010111110010 0110001000000000
0x00b0a6 +0x0080: 0x2c6fa5c100058df000000000000600 [0x80] 0000000000101100 0110111110100101 1100000100000000 0000010110001101 1111000000000000 0000000000000000 0000000000000000 0000011000000000
0x00b126 +0x0100: 0x610ffdcb82000b1be000000000000c00 [0x80] 0110000100001111 1111110111001011 1000001000000000 0000101100011011 1110000000000000 0000000000000000 0000000000000000 0000110000000000
0x00b1a6 +0x0180: 0xc21f6298b08000000000000001618000 [0x80] 1100001000011111 0110001010011000 1011000010000000 0000000000000000 0000000000000000 0000000000000000 0000000101100001 1000000000000000
0x00b226 +0x0200: 0x589f80c00c21f9a85800000000000000 [0x80] 0101100010011111 1000000011000000 0000110000100001 1111100110101000 0101100000000000 0000000000000000 0000000000000000 0000000000000000
0x00b2a6 +0x0280: 0x701805f26200002cfca5c100059f900 [0x80] 0000011100000001 1000000001011111 0010011000100000 0000000000000010 1100111111001010 0101110000010000 0000000001011001 1111100100000000
0x00b326 +0x0300: 0x600610ffdcb82000b3f200 [0x80] 0000000000000000 0000000000000000 0000000001100000 0000011000010000 1111111111011100 1011100000100000 0000000010110011 1111001000000000
0x00b3a6 +0x0380: 0xc00c21f7d98b0800000000 [0x80] 0000000000000000 0000000000000000 0000000011000000 0000110000100001 1111011111011001 1000101100001000 0000000000000000 0000000000000000
0x00b426 +0x0400: 0x165e80059b980c00c21f9a8580 [0x80] 0000000000000000 0000000000010110 0101111010000000 0000010110011011 1001100000001100 0000000011000010 0001111110011010 1000010110000000
0x00b4a6 +0x0480: 0xf01805f26200002d89 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000011110000 0001100000000101 1111001001100010 0000000000000000 0010110110001001
0x00b526 +0x0500: 0xa5c10005b13000000000000600610ffd [0x80] 1010010111000001 0000000000000101 1011000100110000 0000000000000000 0000000000000000 0000000000000110 0000000001100001 0000111111111101
0x00b5a6 +0x0580: 0xcb82000b626000000000000c00c21f38 [0x80] 1100101110000010 0000000000001011 0110001001100000 0000000000000000 0000000000000000 0000000000001100 0000000011000010 0001111100111000
0x00b626 +0x0600: 0x98b080000000000000016a50005ad380 [0x80] 1001100010110000 1000000000000000 0000000000000000 0000000000000000 0000000000000001 0110101001010000 0000000001011010 1101001110000000
0x00b6a6 +0x0680: 0xc00c21f9a858000000000000000f0180 [0x80] 1100000000001100 0010000111111001 1010100001011000 0000000000000000 0000000000000000 0000000000000000 0000000000001111 0000000110000000
0x00b726 +0x0700: 0x5f26200002e16a5c10005c2d00000000 [0x80] 0101111100100110 0010000000000000 0000001011100001 0110101001011100 0001000000000000 0101110000101101 0000000000000000 0000000000000000
0x00b7a6 +0x0780: 0x600610ffdcb82000b85a00000000 [0x80] 0000000000000000 0110000000000110 0001000011111111 1101110010111000 0010000000000000 1011100001011010 0000000000000000 0000000000000000
0x00b826 +0x0800: 0xc00c21f3898b0800000000000000 [0x80] 0000000000000000 1100000000001100 0010000111110011 1000100110001011 0000100000000000 0000000000000000 0000000000000000 0000000000000000
0x00b8a6 +0x0880: 0x16eb8005bed80c00c21f9a8580000000 [0x80] 0001011011101011 1000000000000101 1011111011011000 0000110000000000 1100001000011111 1001101010000101 1000000000000000 0000000000000000
0x00b926 +0x0900: 0xf01805f26200002ea3a5c100 [0x80] 0000000000000000 0000000000000000 1111000000011000 0000010111110010 0110001000000000 0000000000101110 1010001110100101 1100000100000000
0x00b9a6 +0x0980: 0x5d47000000000000600610ffdcb8200 [0x80] 0000010111010100 0111000000000000 0000000000000000 0000000000000000 0000011000000000 0110000100001111 1111110111001011 1000001000000000
0x00ba26 +0x0a00: 0xba8e000000000000c00c21f3898b080 [0x80] 0000101110101000 1110000000000000 0000000000000000 0000000000000000 0000110000000000 1100001000011111 0011100010011000 1011000010000000
0x00baa6 +0x0a80: 0x17320005d0780c00c21 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000101110011 0010000000000000 0101110100000111 1000000011000000 0000110000100001
0x00bb26 +0x0b00: 0xf9a858000000000000000f01805f2620 [0x80] 1111100110101000 0101100000000000 0000000000000000 0000000000000000 0000000000000000 0000111100000001 1000000001011111 0010011000100000
0x00bba6 +0x0b80: 0x2f30a5c10005e6100000000000060 [0x80] 0000000000000010 1111001100001010 0101110000010000 0000000001011110 0110000100000000 0000000000000000 0000000000000000 0000000001100000
0x00bc26 +0x0c00: 0x610ffdcb82000bcc2000000000000c0 [0x80] 0000011000010000 1111111111011100 1011100000100000 0000000010111100 1100001000000000 0000000000000000 0000000000000000 0000000011000000
0x00bca6 +0x0c80: 0xc21f3898b0800000000000000177880 [0x80] 0000110000100001 1111001110001001 1000101100001000 0000000000000000 0000000000000000 0000000000000000 0000000000010111 0111100010000000
0x00bd26 +0x0d00: 0x5e2180c00c21f000000070000000f03 [0x80] 0000010111100010 0001100000001100 0000000011000010 0001111100000000 0000000000000000 0000011100000000 0000000000000000 0000111100000011
0x00bda6 +0x0d80: 0x8a000000000000000000000000000000 [0x80] 1000101000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000
0x00be26 +0x0e00: 0x17f0e00000000000000 [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000101111111 0000111000000000 0000000000000000 0000000000000000 0000000000000000
0x00bea6 +0x0e80: 0x17b [0x80] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000101111011
0x00bf26 +0x0f00: 0x5a00000066005f768000000000400d06 [0x80] 0101101000000000 0000000000000000 0110011000000000 0101111101110110 1000000000000000 0000000000000000 0000000001000000 0000110100000110
0x00bfa6 +0x0f80: 0xb0000bd5e00000000000000010000000 [0x80] 1011000000000000 0000101111010101 1110000000000000 0000000000000000 0000000000000000 0000000000000000 0001000000000000 0000000000000000
0x00c026 +0x1000: 0x202001f400010044924000304a800000 [0x80] 0010000000100000 0000000111110100 0000000000000001 0000000001000100 1001001001000000 0000000000110000 0100101010000000 0000000000000000
0x00c0a6 +0x1080: 0x301c0000000c400c0900000000 [0x80] 0000000000000000 0000000000110000 0001110000000000 0000000000000000 0000110001000000 0000110000001001 0000000000000000 0000000000000000
0x00c126 +0x1100: 0x400d06b0000bfea00000000 [0x67] 0000000000001000 0000000110100000 1101011000000000 0000000101111111 1101010000000000 0000000000000000 0000000