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

⟦47e156d4c⟧

    Length: 5120 (0x1400)
    Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR3, seg_04ef94

Derivation

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

Dot plot

Dot(1) source file

Segmented Heap

{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x0000885e max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x00009fff
{HeadVar3 0x00080/0x2aa}:HeadVar3
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x0004ef94 [0000000000001001110111110010100]
    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: [00000000000000000000000000000000]
    0x00013f [0x07] +0x00bf: head_c_bf = 0x000000012 [000000000000000000000000000010010]
    0x000160 [0x08] +0x00e0: head_object = 0x00017b07 [000000000000010111101100000111]
    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 = 0x3 [11]
    0x000267 [0x12] +0x01e7: hv3_1e7_n = 0x2 [010]
    0x00026a [0x13] +0x01ea:
    0x00028a [0x14] +0x020a: hv3_20a_p → {D300 0x02970/0xc0} [00000000000000000010100101110000]
    0x0002aa [0x15] +0x022a:
    0x0002ea [0x16] +0x026a: hv3_26a_n = 0x0000000000100000 [0000000000000000000000000000000000000000000100000000000000000000]

{R1kSegChunk 0x0032a/0x1ff0}: ===================
    0x00032a +0x0000:                                    0x0 [0x1f80] 0…
    0x0022aa +0x1f80:                           0x1000000000 [0x70] 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000010000 0000000000000000 0000000000000000
{Thing1 0x0231a/0x10c}:Thing1
    0x00231a [0x00] +0x0000: t1_00_n = 0xffffffff001c003c0046a800899 [111111111111111111111111111111110000000000011100000000000011110000000000010001101010100000000000100010011001]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x0676a/0x370} [00000000000000000110011101101010]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x06e20/0x254} [00000000000000000110111000100000]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x0672a/0x40} [00000000000000000110011100101010]
    0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x06de0/0x40} [00000000000000000110110111100000]

{StringIndex 0x02426/0x1e2}:StringIndex x = 0x00000001 y = 0x0000000b
  [$0x0001]  0x00240 002 »MAGIC_SQUARE«
  [$0x0002]  0x002b8 003 »INIT«
  [$0x0003]  0x002f0 004 »GO_TO_CENTER«
  [$0x0004]  0x00368 005 »MOVE«
  [$0x0005]  0x003a0 006 »NORTH«
  [$0x0006]  0x003e0 007 »DEPOSIT«
  [$0x0007]  0x00430 008 »TOKEN«
  [$0x0008]  0x00470 009 »not«
  [$0x0009]  0x004a0 00a »FULL«
  [$0x000a]  0x004d8 00b »EAST«
  [$0x000b]  0x043a0 000 »OCCUP_CELL«
{StringStore 0x02608/0x368}:StringStore x = 0x00000001 y = 0x00000065
    @0x0264e [0x00] =  $0x0001 »MAGIC_SQUARE«
    @0x026c6 [0x01] =  $0x0002 »INIT«
    @0x026fe [0x02] =  $0x0003 »GO_TO_CENTER«
    @0x02776 [0x03] =  $0x0004 »MOVE«
    @0x027ae [0x04] =  $0x0005 »NORTH«
    @0x027ee [0x05] =  $0x0006 »DEPOSIT«
    @0x0283e [0x06] =  $0x0007 »TOKEN«
    @0x0287e [0x07] =  $0x0008 »not«
    @0x028ae [0x08] =  $0x0009 »FULL«
    @0x028e6 [0x09] =  $0x000a »EAST«
{D300 0x02970/0xc0}:D300
    0x002970 [0x00] +0x0000: d300_0 = 0x00000000 [00000000000000000000000000000000]
    0x002990 [0x01] +0x0020: d300_1 = 0x00002a30 [00000000000000000010101000110000]
    0x0029b0 [0x02] +0x0040: d300_2 = 0x00000000 [00000000000000000000000000000000]
    0x0029d0 [0x03] +0x0060: d300_d305 = 0x000030d0 [00000000000000000011000011010000]
    0x0029f0 [0x04] +0x0080: d300_4 = 0x00000000 [00000000000000000000000000000000]
    0x002a10 [0x05] +0x00a0: d300_d301 = 0x00003db0 [00000000000000000011110110110000]

{BitPointerArray 0x02a30/0x6a0}:BitPointerArray

    0x002a30 +0x0000:                                    0x0 [0x6a0] 0…
{D305 0x030d0/0xce0}:D305
    0x003150 [0x04] +0x0080: ptr_0x4_p → {D306 0x0530f/0x83} [00000000000000000101001100001111]
    0x0032f0 [0x11] +0x0220: ptr_0x11_p → {D306 0x05e8f/0x83} [00000000000000000101111010001111]
    0x003450 [0x1c] +0x0380: ptr_0x1c_p → {D306 0x077fb/0x83} [00000000000000000111011111111011]
    0x0034f0 [0x21] +0x0420: ptr_0x21_p → {D306 0x04d23/0x83} [00000000000000000100110100100011]
    0x0037b0 [0x37] +0x06e0: ptr_0x37_p → {D306 0x07227/0x83} [00000000000000000111001000100111]
    0x0039f0 [0x49] +0x0920: ptr_0x49_p → {D306 0x055e5/0x83} [00000000000000000101010111100101]
    0x003a90 [0x4e] +0x09c0: ptr_0x4e_p → {D306 0x06331/0x83} [00000000000000000110001100110001]
    0x003b30 [0x53] +0x0a60: ptr_0x53_p → {D306 0x06607/0x83} [00000000000000000110011000000111]
    0x003bd0 [0x58] +0x0b00: ptr_0x58_p → {D306 0x06cbd/0x83} [00000000000000000110110010111101]
    0x003c30 [0x5b] +0x0b60: ptr_0x5b_p → {D306 0x05bb1/0x83} [00000000000000000101101110110001]
    0x003d90 [0x66] +0x0cc0: ptr_0x66_p → {D306 0x07515/0x83} [00000000000000000111010100010101]

{D301 0x03db0/0xce0}:D301
    0x003db0 [0x00] +0x0000: ptr_0x0_p → {D302 0x04e7a/0xa0} [00000000000000000100111001111010]
    0x003ff0 [0x12] +0x0240: ptr_0x12_p → {D302 0x06b0e/0xa0} [00000000000000000110101100001110]
    0x004070 [0x16] +0x02c0: ptr_0x16_p → {D302 0x05466/0xa0} [00000000000000000101010001100110]
    0x0040f0 [0x1a] +0x0340: ptr_0x1a_p → {D302 0x0766c/0xa0} [00000000000000000111011001101100]
    0x004190 [0x1f] +0x03e0: ptr_0x1f_p → {D302 0x0737e/0xa0} [00000000000000000111001101111110]
    0x0041d0 [0x21] +0x0420: ptr_0x21_p → {D302 0x05150/0xa0} [00000000000000000101000101010000]
    0x004350 [0x2d] +0x05a0: ptr_0x2d_p → {D302 0x06488/0xa0} [00000000000000000110010010001000]
    0x0043d0 [0x31] +0x0620: ptr_0x31_p → {D302 0x05fe6/0xa0} [00000000000000000101111111100110]
    0x004430 [0x34] +0x0680: ptr_0x34_p → {D302 0x05a1a/0xa0} [00000000000000000101101000011010]
    0x004490 [0x37] +0x06e0: ptr_0x37_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100]
    0x004510 [0x3b] +0x0760: ptr_0x3b_p → {D302 0x070a8/0xa0} [00000000000000000111000010101000]
    0x0045b0 [0x40] +0x0800: ptr_0x40_p → {D302 0x061b2/0xa0} [00000000000000000110000110110010]
    0x0045f0 [0x42] +0x0840: ptr_0x42_p → {D302 0x05d08/0xa0} [00000000000000000101110100001000]
    0x004730 [0x4c] +0x0980: ptr_0x4c_p → {D302 0x0573c/0xa0} [00000000000000000101011100111100]

    0x004750 +0x09a0:                                    0x0 [0x340] 0…
{D303 0x04a90/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04b30/0x34} d303_2 = 0x0001 d303_3 = 0x0000000000000000000
{D304 0x04b30/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04b64/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x04a90/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x04c04/0xa0}:ARRAY_STRING[0x1,0xc] = "MAGIC_SQUARE"
{D307 0x04ca4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df26 d307_3 = 0x00000002
{D306 0x04d23/0x83}:D306 d306_d303_p → {D303 0x04a90/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x04ca4/0x7f}
{D303 0x04da6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04e46/0x34} d303_2 = 0x0002 d303_3 = 0x0000000000000000000
{D304 0x04e46/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04e7a/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x04da6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x04f1a/0x60}:ARRAY_STRING[0x1,0x4] = "INIT"
{D307 0x04f7a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002
{D308 0x04ff9/0x83}:D308 d308_d303_p → {D303 0x04da6/0xa0} d308_1 = 0x4 d308_2 = 0x00000000 d308_d307_p → {D307 0x04f7a/0x7f}
{D303 0x0507c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0511c/0x34} d303_2 = 0x0003 d303_3 = 0x0000000000000000000
{D304 0x0511c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05150/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x0507c/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x051f0/0xa0}:ARRAY_STRING[0x1,0xc] = "GO_TO_CENTER"
{D307 0x05290/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x0787e/0x7f}
{D306 0x0530f/0x83}:D306 d306_d303_p → {D303 0x0507c/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x05290/0x7f}
{D303 0x05392/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05432/0x34} d303_2 = 0x0004 d303_3 = 0x0000000000000000000
{D304 0x05432/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05466/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x05392/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x05506/0x60}:ARRAY_STRING[0x1,0x4] = "MOVE"
{D307 0x05566/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x078fd/0x7f}
{D306 0x055e5/0x83}:D306 d306_d303_p → {D303 0x05392/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x05566/0x7f}
{D303 0x05668/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05708/0x34} d303_2 = 0x0005 d303_3 = 0x0000000000000000000
{D304 0x05708/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0573c/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x05668/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x057dc/0x68}:ARRAY_STRING[0x1,0x5] = "NORTH"
{D307 0x05844/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x0797c/0x7f}
{D308 0x058c3/0x83}:D308 d308_d303_p → {D303 0x05668/0xa0} d308_1 = 0x4 d308_2 = 0x00000000 d308_d307_p → {D307 0x05844/0x7f}
{D303 0x05946/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x059e6/0x34} d303_2 = 0x0006 d303_3 = 0x0000000000000000000
{D304 0x059e6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05a1a/0xa0}:D302 d302_0 = 0x80000007 d302_d303_p → {D303 0x05946/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078
{ArrayString 0x05aba/0x78}:ARRAY_STRING[0x1,0x7] = "DEPOSIT"
{D307 0x05b32/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x079fb/0x7f}
{D306 0x05bb1/0x83}:D306 d306_d303_p → {D303 0x05946/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x05b32/0x7f}
{D303 0x05c34/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05cd4/0x34} d303_2 = 0x0007 d303_3 = 0x0000000000000000000
{D304 0x05cd4/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05d08/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x05c34/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x05da8/0x68}:ARRAY_STRING[0x1,0x5] = "TOKEN"
{D307 0x05e10/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07a7a/0x7f}
{D306 0x05e8f/0x83}:D306 d306_d303_p → {D303 0x05c34/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x05e10/0x7f}
{D303 0x05f12/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05fb2/0x34} d303_2 = 0x0008 d303_3 = 0x0000000000000000000
{D304 0x05fb2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05fe6/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x05f12/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x06086/0x58}:ARRAY_STRING[0x1,0x3] = "not"
{D303 0x060de/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0617e/0x34} d303_2 = 0x0009 d303_3 = 0x0000000000000000000
{D304 0x0617e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x061b2/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x060de/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x06252/0x60}:ARRAY_STRING[0x1,0x4] = "FULL"
{D307 0x062b2/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07af9/0x7f}
{D306 0x06331/0x83}:D306 d306_d303_p → {D303 0x060de/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x062b2/0x7f} d306_d308_p → {D308 0x058c3/0x83}
{D303 0x063b4/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06454/0x34} d303_2 = 0x000a d303_3 = 0x0000000000000000000
{D304 0x06454/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06488/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x063b4/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x06528/0x60}:ARRAY_STRING[0x1,0x4] = "EAST"
{D307 0x06588/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07b78/0x7f}
{D306 0x06607/0x83}:D306 d306_d303_p → {D303 0x063b4/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x06588/0x7f}
{D303 0x0668a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06ada/0x34} d303_2 = 0x000b d303_3 = 0x0000000000000000000
{Thing2 0x0672a/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02608/0x368}
{StringStore 0x0676a/0x370}:StringStore x = 0x00000001 y = 0x00000066
    @0x067ae [0x00] =  $0x000b »OCCUP_CELL«
    @0x06816 [0x01] =  $0x000c »WEST«
    @0x0684e [0x02] =  $0x000d »DISPLAY«
    @0x0689e [0x03] =  $0x000e »VERIFY«
{D304 0x06ada/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06b0e/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0668a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x06bae/0x90}:ARRAY_STRING[0x1,0xa] = "OCCUP_CELL"
{D307 0x06c3e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07bf7/0x7f}
{D306 0x06cbd/0x83}:D306 d306_d303_p → {D303 0x0668a/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x06c3e/0x7f}
{D303 0x06d40/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07074/0x34} d303_2 = 0x000c d303_3 = 0x0000000000000000000
{Thing2 0x06de0/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x02426/0x1e2}
{StringIndex 0x06e20/0x254}:StringIndex x = 0x00000001 y = 0x0000000e
  [$0x0001]  0x00240 002 »MAGIC_SQUARE«
  [$0x0002]  0x002b8 003 »INIT«
  [$0x0003]  0x002f0 004 »GO_TO_CENTER«
  [$0x0004]  0x00368 005 »MOVE«
  [$0x0005]  0x003a0 006 »NORTH«
  [$0x0006]  0x003e0 007 »DEPOSIT«
  [$0x0007]  0x00430 008 »TOKEN«
  [$0x0008]  0x00470 009 »not«
  [$0x0009]  0x004a0 00a »FULL«
  [$0x000a]  0x004d8 00b »EAST«
  [$0x000b]  0x043a0 00c »OCCUP_CELL«
  [$0x000c]  0x04408 00d »WEST«
  [$0x000d]  0x04440 00e »DISPLAY«
  [$0x000e]  0x04490 000 »VERIFY«
{D304 0x07074/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x070a8/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x06d40/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x07148/0x60}:ARRAY_STRING[0x1,0x4] = "WEST"
{D307 0x071a8/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07c76/0x7f}
{D306 0x07227/0x83}:D306 d306_d303_p → {D303 0x06d40/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x071a8/0x7f}
{D303 0x072aa/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0734a/0x34} d303_2 = 0x000d d303_3 = 0x0000000000000000000
{D304 0x0734a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0737e/0xa0}:D302 d302_0 = 0x80000007 d302_d303_p → {D303 0x072aa/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000078
{ArrayString 0x0741e/0x78}:ARRAY_STRING[0x1,0x7] = "DISPLAY"
{D307 0x07496/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07cf5/0x7f}
{D306 0x07515/0x83}:D306 d306_d303_p → {D303 0x072aa/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x07496/0x7f} d306_d308_p → {D308 0x04ff9/0x83}
{D303 0x07598/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07638/0x34} d303_2 = 0x000e d303_3 = 0x0000000000000000000
{D304 0x07638/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0766c/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x07598/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x0770c/0x70}:ARRAY_STRING[0x1,0x6] = "VERIFY"
{D307 0x0777c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009df2a d307_3 = 0x00000002 d307_d307_p → {D307 0x07d74/0x7f}
{D306 0x077fb/0x83}:D306 d306_d303_p → {D303 0x07598/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0777c/0x7f}
{D307 0x0787e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x07df3/0x7f}
{D307 0x078fd/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x07e72/0x7f}
{D307 0x0797c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x07ef1/0x7f}
{D307 0x079fb/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x07f70/0x7f}
{D307 0x07a7a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x07fef/0x7f}
{D307 0x07af9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0806e/0x7f}
{D307 0x07b78/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x080ed/0x7f}
{D307 0x07bf7/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0816c/0x7f}
{D307 0x07c76/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x081eb/0x7f}
{D307 0x07cf5/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x0826a/0x7f}
{D307 0x07d74/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfb6 d307_3 = 0x00000002 d307_d307_p → {D307 0x082e9/0x7f}
{D307 0x07df3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x08368/0x7f}
{D307 0x07e72/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x083e7/0x7f}
{D307 0x07ef1/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x08466/0x7f}
{D307 0x07f70/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x084e5/0x7f}
{D307 0x07fef/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x08564/0x7f}
{D307 0x0806e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x085e3/0x7f}
{D307 0x080ed/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x08662/0x7f}
{D307 0x0816c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x086e1/0x7f}
{D307 0x081eb/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x08760/0x7f}
{D307 0x0826a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x087df/0x7f}
{D307 0x082e9/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfba d307_3 = 0x00000002 d307_d307_p → {D307 0x0885e/0x7f}
{D307 0x08368/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x083e7/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x08466/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x084e5/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x08564/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x085e3/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x08662/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x086e1/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x08760/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x087df/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002
{D307 0x0885e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x0009dfc0 d307_3 = 0x00000002