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

⟦9ff9d95e2⟧

    Length: 6144 (0x1800)
    Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR3, seg_042f0a

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 = 0x0000a19f max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x0000bfff
{HeadVar3 0x00080/0x2aa}:HeadVar3
    0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
    0x0000a0 [0x01] +0x0020: head_segment = 0x00042f0a [0000000000001000010111100001010]
    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 = 0x00002923 [000000000000000010100100100011]
    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 = 0xffffffff00380068006ad800d53 [111111111111111111111111111111110000000000111000000000000110100000000000011010101101100000000000110101010011]
    0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110]
    0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x08b82/0x388} [00000000000000001000101110000010]
    0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x09c5a/0x468} [00000000000000001001110001011010]
    0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x08b42/0x40} [00000000000000001000101101000010]
    0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x09c1a/0x40} [00000000000000001001110000011010]

{StringIndex 0x02426/0x1e2}:StringIndex x = 0x00000001 y = 0x0000000b
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 000 »ENUMERATION_RANGE«
{StringStore 0x02608/0x368}:StringStore x = 0x00000001 y = 0x00000065
    @0x0264e [0x00] =  $0x0001 »ADA_PROGRAM«
    @0x026be [0x01] =  $0x0002 »TYPE_INFORMATION«
    @0x02756 [0x02] =  $0x0003 »NAMES_AND_EXPRESSIONS«
    @0x02816 [0x03] =  $0x0004 »FIND_RANGE«
    @0x0287e [0x04] =  $0x0005 »THE_RANGE«
    @0x028de [0x05] =  $0x0006 »LBOUND«
{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

    0x0030d0 +0x0000:                                    0x0 [0xce0] 0…
{D301 0x03db0/0xce0}:D301
    0x003db0 [0x00] +0x0000: ptr_0x0_p → {D302 0x0764e/0xa0} [00000000000000000111011001001110]
    0x003e10 [0x03] +0x0060: ptr_0x3_p → {D302 0x04fa4/0xa0} [00000000000000000100111110100100]
    0x003e50 [0x05] +0x00a0: ptr_0x5_p → {D302 0x06198/0xa0} [00000000000000000110000110011000]
    0x003ed0 [0x09] +0x0120: ptr_0x9_p → {D302 0x04d70/0xa0} [00000000000000000100110101110000]
    0x003ef0 [0x0a] +0x0140: ptr_0xa_p → {D302 0x0a0f6/0xa0} [00000000000000001010000011110110]
    0x003f50 [0x0d] +0x01a0: ptr_0xd_p → {D302 0x05200/0xa0} [00000000000000000101001000000000]
    0x003fb0 [0x10] +0x0200: ptr_0x10_p → {D302 0x095ea/0xa0} [00000000000000001001010111101010]
    0x004090 [0x17] +0x02e0: ptr_0x17_p → {D302 0x063d4/0xa0} [00000000000000000110001111010100]
    0x004450 [0x35] +0x06a0: ptr_0x35_p → {D302 0x09816/0xa0} [00000000000000001001100000010110]
    0x0044b0 [0x38] +0x0700: ptr_0x38_p → {D302 0x0896a/0xa0} [00000000000000001000100101101010]
    0x004510 [0x3b] +0x0760: ptr_0x3b_p → {D302 0x07f56/0xa0} [00000000000000000111111101010110]
    0x004530 [0x3c] +0x0780: ptr_0x3c_p → {D302 0x0875e/0xa0} [00000000000000001000011101011110]
    0x0045d0 [0x41] +0x0820: ptr_0x41_p → {D302 0x09a52/0xa0} [00000000000000001001101001010010]
    0x004650 [0x45] +0x08a0: ptr_0x45_p → {D302 0x05b94/0xa0} [00000000000000000101101110010100]
    0x004670 [0x46] +0x08c0: ptr_0x46_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100]
    0x0046f0 [0x4a] +0x0940: ptr_0x4a_p → {D302 0x0934e/0xa0} [00000000000000001001001101001110]
    0x004710 [0x4b] +0x0960: ptr_0x4b_p → {D302 0x07cba/0xa0} [00000000000000000111110010111010]
    0x004730 [0x4c] +0x0980: ptr_0x4c_p → {D302 0x05404/0xa0} [00000000000000000101010000000100]
    0x004790 [0x4f] +0x09e0: ptr_0x4f_p → {D302 0x06e78/0xa0} [00000000000000000110111001111000]
    0x0047b0 [0x50] +0x0a00: ptr_0x50_p → {D302 0x05f5c/0xa0} [00000000000000000101111101011100]
    0x004890 [0x57] +0x0ae0: ptr_0x57_p → {D302 0x05d78/0xa0} [00000000000000000101110101111000]
    0x0049d0 [0x61] +0x0c20: ptr_0x61_p → {D302 0x0852a/0xa0} [00000000000000001000010100101010]
    0x004a10 [0x63] +0x0c60: ptr_0x63_p → {D302 0x05600/0xa0} [00000000000000000101011000000000]

    0x004a30 +0x0c80:                                    0x0 [0x60] 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 = 0x8000000b d302_d303_p → {D303 0x04a90/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x04c04/0x98}:ARRAY_STRING[0x1,0xb] = "ADA_PROGRAM"
{D303 0x04c9c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04d3c/0x34} d303_2 = 0x0002 d303_3 = 0x0000000000000000000
{D304 0x04d3c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04d70/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x04c9c/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x04e10/0xc0}:ARRAY_STRING[0x1,0x10] = "TYPE_INFORMATION"
{D303 0x04ed0/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x04f70/0x34} d303_2 = 0x0003 d303_3 = 0x0000000000000000000
{D304 0x04f70/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x04fa4/0xa0}:D302 d302_0 = 0x80000015 d302_d303_p → {D303 0x04ed0/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000e8
{ArrayString 0x05044/0xe8}:ARRAY_STRING[0x1,0x15] = "NAMES_AND_EXPRESSIONS"
{D303 0x0512c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x051cc/0x34} d303_2 = 0x0004 d303_3 = 0x0000000000000000000
{D304 0x051cc/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05200/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0512c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x052a0/0x90}:ARRAY_STRING[0x1,0xa] = "FIND_RANGE"
{D303 0x05330/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x053d0/0x34} d303_2 = 0x0005 d303_3 = 0x0000000000000000000
{D304 0x053d0/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05404/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x05330/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x054a4/0x88}:ARRAY_STRING[0x1,0x9] = "THE_RANGE"
{D303 0x0552c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x055cc/0x34} d303_2 = 0x0006 d303_3 = 0x0000000000000000000
{D304 0x055cc/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05600/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x0552c/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x056a0/0x70}:ARRAY_STRING[0x1,0x6] = "LBOUND"
{D303 0x05710/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05b60/0x34} d303_2 = 0x0007 d303_3 = 0x0000000000000000000
{Thing2 0x057b0/0x40}:Thing2 Chain2 payload_p → {StringStore 0x02608/0x368}
{StringStore 0x057f0/0x370}:StringStore x = 0x00000001 y = 0x00000066
    @0x05836 [0x00] =  $0x0007 »UBOUND«
    @0x0587e [0x01] =  $0x0008 »STATIC«
    @0x058c6 [0x02] =  $0x0009 »NON_STATIC_LBOUND«
    @0x05966 [0x03] =  $0x000a »NON_STATIC_UBOUND«
    @0x05a06 [0x04] =  $0x000b »ENUMERATION_RANGE«
    @0x05aa6 [0x05] =  $0x000c »ENUM_TYPE_DEF«
{D304 0x05b60/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05b94/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x05710/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x05c34/0x70}:ARRAY_STRING[0x1,0x6] = "UBOUND"
{D303 0x05ca4/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05d44/0x34} d303_2 = 0x0008 d303_3 = 0x0000000000000000000
{D304 0x05d44/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05d78/0xa0}:D302 d302_0 = 0x80000006 d302_d303_p → {D303 0x05ca4/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000070
{ArrayString 0x05e18/0x70}:ARRAY_STRING[0x1,0x6] = "STATIC"
{D303 0x05e88/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x05f28/0x34} d303_2 = 0x0009 d303_3 = 0x0000000000000000000
{D304 0x05f28/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x05f5c/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x05e88/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8
{ArrayString 0x05ffc/0xc8}:ARRAY_STRING[0x1,0x11] = "NON_STATIC_LBOUND"
{D303 0x060c4/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06164/0x34} d303_2 = 0x000a d303_3 = 0x0000000000000000000
{D304 0x06164/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06198/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x060c4/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8
{ArrayString 0x06238/0xc8}:ARRAY_STRING[0x1,0x11] = "NON_STATIC_UBOUND"
{D303 0x06300/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x063a0/0x34} d303_2 = 0x000b d303_3 = 0x0000000000000000000
{D304 0x063a0/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x063d4/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x06300/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8
{ArrayString 0x06474/0xc8}:ARRAY_STRING[0x1,0x11] = "ENUMERATION_RANGE"
{D303 0x0653c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06870/0x34} d303_2 = 0x000c d303_3 = 0x0000000000000000000
{Thing2 0x065dc/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x02426/0x1e2}
{StringIndex 0x0661c/0x254}:StringIndex x = 0x00000001 y = 0x0000000e
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 00c »ENUMERATION_RANGE«
  [$0x000c]  0x03698 00d »ENUM_TYPE_DEF«
  [$0x000d]  0x04700 00e »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
  [$0x000e]  0x04830 000 »CONSTRAINT«
{D304 0x06870/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x068a4/0xa0}:D302 d302_0 = 0x8000000d d302_d303_p → {D303 0x0653c/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a8
{ArrayString 0x06944/0xa8}:ARRAY_STRING[0x1,0xd] = "ENUM_TYPE_DEF"
{D303 0x069ec/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x06e44/0x34} d303_2 = 0x000d d303_3 = 0x0000000000000000000
{Thing2 0x06a8c/0x40}:Thing2 Chain2 payload_p → {StringStore 0x057f0/0x370} next_p → {Thing2 0x057b0/0x40}
{StringStore 0x06acc/0x378}:StringStore x = 0x00000001 y = 0x00000067
    @0x06b0e [0x00] =  $0x000d »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
    @0x06c3e [0x01] =  $0x000e »CONSTRAINT«
    @0x06ca6 [0x02] =  $0x000f »INTEGER_RANGE_CONSTRAINT_BOUNDS«
{D304 0x06e44/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x06e78/0xa0}:D302 d302_0 = 0x80000023 d302_d303_p → {D303 0x069ec/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000158
{ArrayString 0x06f18/0x158}:ARRAY_STRING[0x1,0x23] = "ENUMERATION_RANGE_CONSTRAINT_BOUNDS"
{D303 0x07070/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07110/0x34} d303_2 = 0x000e d303_3 = 0x0000000000000000000
{D304 0x07110/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07144/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x07070/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x071e4/0x90}:ARRAY_STRING[0x1,0xa] = "CONSTRAINT"
{D303 0x07274/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0761a/0x34} d303_2 = 0x000f d303_3 = 0x0000000000000000000
{Thing2 0x07314/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0661c/0x254} next_p → {Thing2 0x065dc/0x40}
{StringIndex 0x07354/0x2c6}:StringIndex x = 0x00000001 y = 0x00000011
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 00c »ENUMERATION_RANGE«
  [$0x000c]  0x03698 00d »ENUM_TYPE_DEF«
  [$0x000d]  0x04700 00e »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
  [$0x000e]  0x04830 00f »CONSTRAINT«
  [$0x000f]  0x04898 010 »INTEGER_RANGE_CONSTRAINT_BOUNDS«
  [$0x0010]  0x05538 011 »FIXED_RANGE_CONSTRAINT_BOUNDS«
  [$0x0011]  0x05638 000 »FIXED_TYPE_DEFINITION«
{D304 0x0761a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0764e/0xa0}:D302 d302_0 = 0x8000001f d302_d303_p → {D303 0x07274/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000138
{ArrayString 0x076ee/0x138}:ARRAY_STRING[0x1,0x1f] = "INTEGER_RANGE_CONSTRAINT_BOUNDS"
{D303 0x07826/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07c86/0x34} d303_2 = 0x0010 d303_3 = 0x0000000000000000000
{Thing2 0x078c6/0x40}:Thing2 Chain2 payload_p → {StringStore 0x06acc/0x378} next_p → {Thing2 0x06a8c/0x40}
{StringStore 0x07906/0x380}:StringStore x = 0x00000001 y = 0x00000068
    @0x07946 [0x00] =  $0x0010 »FIXED_RANGE_CONSTRAINT_BOUNDS«
    @0x07a46 [0x01] =  $0x0011 »FIXED_TYPE_DEFINITION«
    @0x07b06 [0x02] =  $0x0012 »RANGE_CONSTRAINT«
    @0x07b9e [0x03] =  $0x0013 »LOWER_MODEL«
    @0x07c0e [0x04] =  $0x0014 »UPPER_MODEL«
{D304 0x07c86/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07cba/0xa0}:D302 d302_0 = 0x8000001d d302_d303_p → {D303 0x07826/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000128
{ArrayString 0x07d5a/0x128}:ARRAY_STRING[0x1,0x1d] = "FIXED_RANGE_CONSTRAINT_BOUNDS"
{D303 0x07e82/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x07f22/0x34} d303_2 = 0x0011 d303_3 = 0x0000000000000000000
{D304 0x07f22/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x07f56/0xa0}:D302 d302_0 = 0x80000015 d302_d303_p → {D303 0x07e82/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000e8
{ArrayString 0x07ff6/0xe8}:ARRAY_STRING[0x1,0x15] = "FIXED_TYPE_DEFINITION"
{D303 0x080de/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x084f6/0x34} d303_2 = 0x0012 d303_3 = 0x0000000000000000000
{Thing2 0x0817e/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x07354/0x2c6} next_p → {Thing2 0x07314/0x40}
{StringIndex 0x081be/0x338}:StringIndex x = 0x00000001 y = 0x00000014
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 00c »ENUMERATION_RANGE«
  [$0x000c]  0x03698 00d »ENUM_TYPE_DEF«
  [$0x000d]  0x04700 00e »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
  [$0x000e]  0x04830 00f »CONSTRAINT«
  [$0x000f]  0x04898 010 »INTEGER_RANGE_CONSTRAINT_BOUNDS«
  [$0x0010]  0x05538 011 »FIXED_RANGE_CONSTRAINT_BOUNDS«
  [$0x0011]  0x05638 012 »FIXED_TYPE_DEFINITION«
  [$0x0012]  0x056f8 013 »RANGE_CONSTRAINT«
  [$0x0013]  0x05790 014 »LOWER_MODEL«
  [$0x0014]  0x05800 000 »UPPER_MODEL«
{D304 0x084f6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0852a/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x080de/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x085ca/0xc0}:ARRAY_STRING[0x1,0x10] = "RANGE_CONSTRAINT"
{D303 0x0868a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0872a/0x34} d303_2 = 0x0013 d303_3 = 0x0000000000000000000
{D304 0x0872a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0875e/0xa0}:D302 d302_0 = 0x8000000b d302_d302_p → {D302 0x07144/0xa0} d302_d303_p → {D303 0x0868a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x087fe/0x98}:ARRAY_STRING[0x1,0xb] = "LOWER_MODEL"
{D303 0x08896/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x08936/0x34} d303_2 = 0x0014 d303_3 = 0x0000000000000000000
{D304 0x08936/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0896a/0xa0}:D302 d302_0 = 0x8000000b d302_d303_p → {D303 0x08896/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x08a0a/0x98}:ARRAY_STRING[0x1,0xb] = "UPPER_MODEL"
{D303 0x08aa2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0931a/0x34} d303_2 = 0x0015 d303_3 = 0x0000000000000000000
{Thing2 0x08b42/0x40}:Thing2 Chain2 payload_p → {StringStore 0x07906/0x380} next_p → {Thing2 0x078c6/0x40}
{StringStore 0x08b82/0x388}:StringStore x = 0x00000001 y = 0x00000069
    @0x08bc6 [0x00] =  $0x0015 »FLOAT_RANGE_CONSTRAINT_BOUNDS«
    @0x08cc6 [0x01] =  $0x0016 »GET_CONSTRAINTS«
    @0x08d56 [0x02] =  $0x0017 »DISCRETE_TYPE_DEF«
    @0x08df6 [0x03] =  $0x0018 »LOWER_POS«
    @0x08e56 [0x04] =  $0x0019 »UPPER_POS«
{Thing2 0x08f0a/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x081be/0x338} next_p → {Thing2 0x0817e/0x40}
{StringIndex 0x08f4a/0x3d0}:StringIndex x = 0x00000001 y = 0x00000018
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 00c »ENUMERATION_RANGE«
  [$0x000c]  0x03698 00d »ENUM_TYPE_DEF«
  [$0x000d]  0x04700 00e »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
  [$0x000e]  0x04830 00f »CONSTRAINT«
  [$0x000f]  0x04898 010 »INTEGER_RANGE_CONSTRAINT_BOUNDS«
  [$0x0010]  0x05538 011 »FIXED_RANGE_CONSTRAINT_BOUNDS«
  [$0x0011]  0x05638 012 »FIXED_TYPE_DEFINITION«
  [$0x0012]  0x056f8 013 »RANGE_CONSTRAINT«
  [$0x0013]  0x05790 014 »LOWER_MODEL«
  [$0x0014]  0x05800 015 »UPPER_MODEL«
  [$0x0015]  0x067b8 016 »FLOAT_RANGE_CONSTRAINT_BOUNDS«
  [$0x0016]  0x068b8 017 »GET_CONSTRAINTS«
  [$0x0017]  0x06948 018 »DISCRETE_TYPE_DEF«
  [$0x0018]  0x069e8 000 »LOWER_POS«
{D304 0x0931a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0934e/0xa0}:D302 d302_0 = 0x8000001d d302_d303_p → {D303 0x08aa2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000128
{ArrayString 0x093ee/0x128}:ARRAY_STRING[0x1,0x1d] = "FLOAT_RANGE_CONSTRAINT_BOUNDS"
{D303 0x09516/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x095b6/0x34} d303_2 = 0x0016 d303_3 = 0x0000000000000000000
{D304 0x095b6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x095ea/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x09516/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x0968a/0xb8}:ARRAY_STRING[0x1,0xf] = "GET_CONSTRAINTS"
{D303 0x09742/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x097e2/0x34} d303_2 = 0x0017 d303_3 = 0x0000000000000000000
{D304 0x097e2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x09816/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x09742/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8
{ArrayString 0x098b6/0xc8}:ARRAY_STRING[0x1,0x11] = "DISCRETE_TYPE_DEF"
{D303 0x0997e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x09a1e/0x34} d303_2 = 0x0018 d303_3 = 0x0000000000000000000
{D304 0x09a1e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x09a52/0xa0}:D302 d302_0 = 0x80000009 d302_d303_p → {D303 0x0997e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x09af2/0x88}:ARRAY_STRING[0x1,0x9] = "LOWER_POS"
{D303 0x09b7a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a0c2/0x34} d303_2 = 0x0019 d303_3 = 0x0000000000000000000
{Thing2 0x09c1a/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x08f4a/0x3d0} next_p → {Thing2 0x08f0a/0x40}
{StringIndex 0x09c5a/0x468}:StringIndex x = 0x00000001 y = 0x0000001c
  [$0x0001]  0x00240 002 »ADA_PROGRAM«
  [$0x0002]  0x002b0 003 »TYPE_INFORMATION«
  [$0x0003]  0x00348 004 »NAMES_AND_EXPRESSIONS«
  [$0x0004]  0x00408 005 »FIND_RANGE«
  [$0x0005]  0x00470 006 »THE_RANGE«
  [$0x0006]  0x004d0 007 »LBOUND«
  [$0x0007]  0x03428 008 »UBOUND«
  [$0x0008]  0x03470 009 »STATIC«
  [$0x0009]  0x034b8 00a »NON_STATIC_LBOUND«
  [$0x000a]  0x03558 00b »NON_STATIC_UBOUND«
  [$0x000b]  0x035f8 00c »ENUMERATION_RANGE«
  [$0x000c]  0x03698 00d »ENUM_TYPE_DEF«
  [$0x000d]  0x04700 00e »ENUMERATION_RANGE_CONSTRAINT_BOUNDS«
  [$0x000e]  0x04830 00f »CONSTRAINT«
  [$0x000f]  0x04898 010 »INTEGER_RANGE_CONSTRAINT_BOUNDS«
  [$0x0010]  0x05538 011 »FIXED_RANGE_CONSTRAINT_BOUNDS«
  [$0x0011]  0x05638 012 »FIXED_TYPE_DEFINITION«
  [$0x0012]  0x056f8 013 »RANGE_CONSTRAINT«
  [$0x0013]  0x05790 014 »LOWER_MODEL«
  [$0x0014]  0x05800 015 »UPPER_MODEL«
  [$0x0015]  0x067b8 016 »FLOAT_RANGE_CONSTRAINT_BOUNDS«
  [$0x0016]  0x068b8 017 »GET_CONSTRAINTS«
  [$0x0017]  0x06948 018 »DISCRETE_TYPE_DEF«
  [$0x0018]  0x069e8 019 »LOWER_POS«
  [$0x0019]  0x06a48 000 »UPPER_POS«
{D304 0x0a0c2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a0f6/0xa0}:D302 d302_0 = 0x80000009 d302_d302_p → {D302 0x068a4/0xa0} d302_d303_p → {D303 0x09b7a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000088
{ArrayString 0x0a196/0x88}:ARRAY_STRING[0x1,0x9] = "UPPER_POS"