|
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: 11264 (0x2c00)
Notes: 01_class, 97_tag, ADA, R1k_Segment, VAR3, seg_042e79
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
{HeapHead 0x00000/0x80}:SegHeapHead first_free_bit = 0x00015091 max_bits = 0x03ffffff zero = 0x00000000 alloced_bits = 0x00015fff
{HeadVar3 0x00080/0x2aa}:HeadVar3
0x000080 [0x00] +0x0000: head_z_000 = 0x80000001 [10000000000000000000000000000001]
0x0000a0 [0x01] +0x0020: head_segment = 0x00042e79 [0000000000001000010111001111001]
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 = 0x00002965 [000000000000000010100101100101]
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 = 0xffffffff0090010c012b5002510 [111111111111111111111111111111110000000010010000000000010000110000000001001010110101000000000010010100010000]
0x002386 [0x01] +0x006c: t1_c1_head_p → {StringIndex 0x02426/0x1e2} [00000000000000000010010000100110]
0x0023a6 [0x02] +0x008c: t1_c2_last_p → {StringStore 0x14bcc/0x3b8} [00000000000000010100101111001100]
0x0023c6 [0x03] +0x00ac: t1_array1_p → {StringIndex 0x13e50/0xaf0} [00000000000000010011111001010000]
0x0023e6 [0x04] +0x00cc: t1_c2_tail_p → {Thing2 0x14b8c/0x40} [00000000000000010100101110001100]
0x002406 [0x05] +0x00ec: t1_c1_tail_p → {Thing2 0x13e10/0x40} [00000000000000010011111000010000]
{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
0x003190 [0x06] +0x00c0: ptr_0x6_p → {D306 0x113ff/0x83} [00000000000000010001001111111111]
0x0032b0 [0x0f] +0x01e0: ptr_0xf_p → {D306 0x112fd/0x83} [00000000000000010001001011111101]
0x003430 [0x1b] +0x0360: ptr_0x1b_p → {D306 0x12b23/0x83} [00000000000000010010101100100011]
0x0035d0 [0x28] +0x0500: ptr_0x28_p → {D306 0x111fb/0x83} [00000000000000010001000111111011]
0x0036d0 [0x30] +0x0600: ptr_0x30_p → {D306 0x12669/0x83} [00000000000000010010011001101001]
0x0037d0 [0x38] +0x0700: ptr_0x38_p → {D306 0x13ced/0x83} [00000000000000010011110011101101]
0x003810 [0x3a] +0x0740: ptr_0x3a_p → {D306 0x13beb/0x83} [00000000000000010011101111101011]
0x003850 [0x3c] +0x0780: ptr_0x3c_p → {D306 0x13ae9/0x83} [00000000000000010011101011101001]
0x0038d0 [0x40] +0x0800: ptr_0x40_p → {D306 0x138e5/0x83} [00000000000000010011100011100101]
0x003930 [0x43] +0x0860: ptr_0x43_p → {D306 0x0f4cd/0x83} [00000000000000001111010011001101]
0x0039f0 [0x49] +0x0920: ptr_0x49_p → {D306 0x0bb23/0x83} [00000000000000001011101100100011]
0x003a70 [0x4d] +0x09a0: ptr_0x4d_p → {D306 0x0f793/0x83} [00000000000000001111011110010011]
0x003a90 [0x4e] +0x09c0: ptr_0x4e_p → {D306 0x139e7/0x83} [00000000000000010011100111100111]
0x003ab0 +0x09e0: 0x0 [0x300] 0…
{D301 0x03db0/0xce0}:D301
0x003db0 [0x00] +0x0000: ptr_0x0_p → {D302 0x0764e/0xa0} [00000000000000000111011001001110]
0x003e10 [0x03] +0x0060: ptr_0x3_p → {D302 0x0ef6e/0xa0} [00000000000000001110111101101110]
0x003e50 [0x05] +0x00a0: ptr_0x5_p → {D302 0x0d742/0xa0} [00000000000000001101011101000010]
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]
0x003f90 [0x0f] +0x01e0: ptr_0xf_p → {D302 0x1171a/0xa0} [00000000000000010001011100011010]
0x003fb0 [0x10] +0x0200: ptr_0x10_p → {D302 0x095ea/0xa0} [00000000000000001001010111101010]
0x003ff0 [0x12] +0x0240: ptr_0x12_p → {D302 0x0f2e6/0xa0} [00000000000000001111001011100110]
0x004050 [0x15] +0x02a0: ptr_0x15_p → {D302 0x0e5c6/0xa0} [00000000000000001110010111000110]
0x004090 [0x17] +0x02e0: ptr_0x17_p → {D302 0x063d4/0xa0} [00000000000000000110001111010100]
0x0040b0 [0x18] +0x0300: ptr_0x18_p → {D302 0x10c54/0xa0} [00000000000000010000110001010100]
0x0040d0 [0x19] +0x0320: ptr_0x19_p → {D302 0x0de06/0xa0} [00000000000000001101111000000110]
0x0040f0 [0x1a] +0x0340: ptr_0x1a_p → {D302 0x0f12a/0xa0} [00000000000000001111000100101010]
0x004130 [0x1c] +0x0380: ptr_0x1c_p → {D302 0x0a2f2/0xa0} [00000000000000001010001011110010]
0x0041b0 [0x20] +0x0400: ptr_0x20_p → {D302 0x14974/0xa0} [00000000000000010100100101110100]
0x004290 [0x27] +0x04e0: ptr_0x27_p → {D302 0x14fb8/0xa0} [00000000000000010100111110111000]
0x0042b0 [0x28] +0x0500: ptr_0x28_p → {D302 0x0b3b8/0xa0} [00000000000000001011001110111000]
0x0042d0 [0x29] +0x0520: ptr_0x29_p → {D302 0x13716/0xa0} [00000000000000010011011100010110]
0x004330 [0x2c] +0x0580: ptr_0x2c_p → {D302 0x10ea0/0xa0} [00000000000000010000111010100000]
0x004350 [0x2d] +0x05a0: ptr_0x2d_p → {D302 0x0b584/0xa0} [00000000000000001011010110000100]
0x004370 [0x2e] +0x05c0: ptr_0x2e_p → {D302 0x132fe/0xa0} [00000000000000010011001011111110]
0x0043b0 [0x30] +0x0600: ptr_0x30_p → {D302 0x1350a/0xa0} [00000000000000010011010100001010]
0x0043d0 [0x31] +0x0620: ptr_0x31_p → {D302 0x11936/0xa0} [00000000000000010001100100110110]
0x0043f0 [0x32] +0x0640: ptr_0x32_p → {D302 0x0dbea/0xa0} [00000000000000001101101111101010]
0x004410 [0x33] +0x0660: ptr_0x33_p → {D302 0x11556/0xa0} [00000000000000010001010101010110]
0x004450 [0x35] +0x06a0: ptr_0x35_p → {D302 0x09816/0xa0} [00000000000000001001100000010110]
0x004490 [0x37] +0x06e0: ptr_0x37_p → {D302 0x0d9be/0xa0} [00000000000000001101100110111110]
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]
0x004590 [0x3f] +0x07e0: ptr_0x3f_p → {D302 0x1107c/0xa0} [00000000000000010001000001111100]
0x0045b0 [0x40] +0x0800: ptr_0x40_p → {D302 0x10638/0xa0} [00000000000000010000011000111000]
0x0045d0 [0x41] +0x0820: ptr_0x41_p → {D302 0x09a52/0xa0} [00000000000000001001101001010010]
0x0045f0 [0x42] +0x0840: ptr_0x42_p → {D302 0x0b760/0xa0} [00000000000000001011011101100000]
0x004610 [0x43] +0x0860: ptr_0x43_p → {D302 0x0fb0e/0xa0} [00000000000000001111101100001110]
0x004650 [0x45] +0x08a0: ptr_0x45_p → {D302 0x05b94/0xa0} [00000000000000000101101110010100]
0x004670 [0x46] +0x08c0: ptr_0x46_p → {D302 0x04b64/0xa0} [00000000000000000100101101100100]
0x0046b0 [0x48] +0x0900: ptr_0x48_p → {D302 0x1299c/0xa0} [00000000000000010010100110011100]
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 0x0b1dc/0xa0} [00000000000000001011000111011100]
0x0047d0 [0x51] +0x0a20: ptr_0x51_p → {D302 0x0aa9a/0xa0} [00000000000000001010101010011010]
0x004810 [0x53] +0x0a60: ptr_0x53_p → {D302 0x127c0/0xa0} [00000000000000010010011111000000]
0x004830 [0x54] +0x0a80: ptr_0x54_p → {D302 0x0c29e/0xa0} [00000000000000001100001010011110]
0x004870 [0x56] +0x0ac0: ptr_0x56_p → {D302 0x0e3b2/0xa0} [00000000000000001110001110110010]
0x004890 [0x57] +0x0ae0: ptr_0x57_p → {D302 0x05d78/0xa0} [00000000000000000101110101111000]
0x0048f0 [0x5a] +0x0b40: ptr_0x5a_p → {D302 0x0b974/0xa0} [00000000000000001011100101110100]
0x004930 [0x5c] +0x0b80: ptr_0x5c_p → {D302 0x0f8ea/0xa0} [00000000000000001111100011101010]
0x0049d0 [0x61] +0x0c20: ptr_0x61_p → {D302 0x0852a/0xa0} [00000000000000001000010100101010]
0x004a10 [0x63] +0x0c60: ptr_0x63_p → {D302 0x05600/0xa0} [00000000000000000101011000000000]
0x004a70 [0x66] +0x0cc0: ptr_0x66_p → {D302 0x1306a/0xa0} [00000000000000010011000001101010]
{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«
@0x08eb6 [0x05] = $0x001a »IO«
{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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 000 »DECLS«
{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"
{D303 0x0a21e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a2be/0x34} d303_2 = 0x001a d303_3 = 0x0000000000000000000
{D304 0x0a2be/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a2f2/0xa0}:D302 d302_0 = 0x80000002 d302_d303_p → {D303 0x0a21e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000050
{ArrayString 0x0a392/0x50}:ARRAY_STRING[0x1,0x2] = "IO"
{D303 0x0a3e2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0a852/0x34} d303_2 = 0x001b d303_3 = 0x0000000000000000000
{Thing2 0x0a482/0x40}:Thing2 Chain2 payload_p → {StringStore 0x08b82/0x388} next_p → {Thing2 0x08b42/0x40}
{StringStore 0x0a4c2/0x390}:StringStore x = 0x00000001 y = 0x0000006a
@0x0a506 [0x00] = $0x001b »DECLARATIONS«
@0x0a57e [0x01] = $0x001c »DECLS«
@0x0a5be [0x02] = $0x001d »EXPRS«
@0x0a5fe [0x03] = $0x001e »ADA«
@0x0a62e [0x04] = $0x001f »TYPES«
@0x0a66e [0x05] = $0x0020 »STATIC_VALUE«
@0x0a6e6 [0x06] = $0x0021 »EXPRESSION«
@0x0a74e [0x07] = $0x0022 »=«
@0x0a76e [0x08] = $0x0023 »A«
@0x0a78e [0x09] = $0x0024 »B«
@0x0a7ae [0x0a] = $0x0025 »ACTUAL_DELTA«
{D304 0x0a852/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0a886/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x0a3e2/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x0a926/0xa0}:ARRAY_STRING[0x1,0xc] = "DECLARATIONS"
{D303 0x0a9c6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0aa66/0x34} d303_2 = 0x001c d303_3 = 0x0000000000000000000
{D304 0x0aa66/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0aa9a/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x0a9c6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x0ab3a/0x68}:ARRAY_STRING[0x1,0x5] = "DECLS"
{D303 0x0aba2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b1a8/0x34} d303_2 = 0x001d d303_3 = 0x0000000000000000000
{Thing2 0x0ac42/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x09c5a/0x468} next_p → {Thing2 0x09c1a/0x40}
{StringIndex 0x0ac82/0x526}:StringIndex x = 0x00000001 y = 0x00000021
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 000 »EXPRESSION«
{D304 0x0b1a8/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b1dc/0xa0}:D302 d302_0 = 0x80000005 d302_d302_p → {D302 0x05f5c/0xa0} d302_d303_p → {D303 0x0aba2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x0b27c/0x68}:ARRAY_STRING[0x1,0x5] = "EXPRS"
{D303 0x0b2e4/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b384/0x34} d303_2 = 0x001e d303_3 = 0x0000000000000000000
{D304 0x0b384/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b3b8/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0b2e4/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0b458/0x58}:ARRAY_STRING[0x1,0x3] = "ADA"
{D303 0x0b4b0/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b550/0x34} d303_2 = 0x001f d303_3 = 0x0000000000000000000
{D304 0x0b550/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b584/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x0b4b0/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x0b624/0x68}:ARRAY_STRING[0x1,0x5] = "TYPES"
{D303 0x0b68c/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b72c/0x34} d303_2 = 0x0020 d303_3 = 0x0000000000000000000
{D304 0x0b72c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b760/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x0b68c/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x0b800/0xa0}:ARRAY_STRING[0x1,0xc] = "STATIC_VALUE"
{D303 0x0b8a0/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0b940/0x34} d303_2 = 0x0021 d303_3 = 0x0000000000000000000
{D304 0x0b940/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0b974/0xa0}:D302 d302_0 = 0x8000000a d302_d303_p → {D303 0x0b8a0/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000090
{ArrayString 0x0ba14/0x90}:ARRAY_STRING[0x1,0xa] = "EXPRESSION"
{D307 0x0baa4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x0bb23/0x83}:D306 d306_d303_p → {D303 0x0b68c/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0baa4/0x7f}
{D303 0x0bba6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c26a/0x34} d303_2 = 0x0022 d303_3 = 0x0000000000000000000
{Thing2 0x0bc46/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0ac82/0x526} next_p → {Thing2 0x0ac42/0x40}
{StringIndex 0x0bc86/0x5e4}:StringIndex x = 0x00000001 y = 0x00000026
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 000 »OF_FIXED_POINT_CONSTRAINT«
{D304 0x0c26a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c29e/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0bba6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0c33e/0x48}:ARRAY_STRING[0x1,0x1] = "="
{D303 0x0c386/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c426/0x34} d303_2 = 0x0023 d303_3 = 0x0000000000000000000
{D304 0x0c426/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c45a/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0c386/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0c4fa/0x48}:ARRAY_STRING[0x1,0x1] = "A"
{D303 0x0c542/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c5e2/0x34} d303_2 = 0x0024 d303_3 = 0x0000000000000000000
{D304 0x0c5e2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c616/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0c542/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0c6b6/0x48}:ARRAY_STRING[0x1,0x1] = "B"
{D303 0x0c6fe/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0c79e/0x34} d303_2 = 0x0025 d303_3 = 0x0000000000000000000
{D304 0x0c79e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0c7d2/0xa0}:D302 d302_0 = 0x8000000c d302_d303_p → {D303 0x0c6fe/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x0c872/0xa0}:ARRAY_STRING[0x1,0xc] = "ACTUAL_DELTA"
{D303 0x0c912/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0cd8a/0x34} d303_2 = 0x0026 d303_3 = 0x0000000000000000000
{Thing2 0x0c9b2/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0a4c2/0x390} next_p → {Thing2 0x0a482/0x40}
{StringStore 0x0c9f2/0x398}:StringStore x = 0x00000001 y = 0x0000006b
@0x0ca36 [0x00] = $0x0026 »OF_FIXED_POINT_CONSTRAINT«
@0x0cb16 [0x01] = $0x0027 »FIXED_ACCURACY_DEFINITION«
@0x0cbf6 [0x02] = $0x0028 »SPECIFIED_DELTA«
@0x0cc86 [0x03] = $0x0029 »INTEGER_FLOOR«
@0x0cd06 [0x04] = $0x002a »ONE«
{D304 0x0cd8a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0cdbe/0xa0}:D302 d302_0 = 0x80000019 d302_d303_p → {D303 0x0c912/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x0ce5e/0x108}:ARRAY_STRING[0x1,0x19] = "OF_FIXED_POINT_CONSTRAINT"
{D303 0x0cf66/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d70e/0x34} d303_2 = 0x0027 d303_3 = 0x0000000000000000000
{Thing2 0x0d006/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0bc86/0x5e4} next_p → {Thing2 0x0bc46/0x40}
{StringIndex 0x0d046/0x6c8}:StringIndex x = 0x00000001 y = 0x0000002c
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 027 »OF_FIXED_POINT_CONSTRAINT«
[$0x0027] 0x0a708 028 »FIXED_ACCURACY_DEFINITION«
[$0x0028] 0x0a7e8 029 »SPECIFIED_DELTA«
[$0x0029] 0x0a878 02a »INTEGER_FLOOR«
[$0x002a] 0x0a8f8 02b »ONE«
[$0x002b] 0x0bc10 02c »INTEGER_SIZE«
[$0x002c] 0x0bc88 000 »<«
{D304 0x0d70e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0d742/0xa0}:D302 d302_0 = 0x80000019 d302_d302_p → {D302 0x06198/0xa0} d302_d303_p → {D303 0x0cf66/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000108
{ArrayString 0x0d7e2/0x108}:ARRAY_STRING[0x1,0x19] = "FIXED_ACCURACY_DEFINITION"
{D303 0x0d8ea/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0d98a/0x34} d303_2 = 0x0028 d303_3 = 0x0000000000000000000
{D304 0x0d98a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0d9be/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x0d8ea/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x0da5e/0xb8}:ARRAY_STRING[0x1,0xf] = "SPECIFIED_DELTA"
{D303 0x0db16/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0dbb6/0x34} d303_2 = 0x0029 d303_3 = 0x0000000000000000000
{D304 0x0dbb6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0dbea/0xa0}:D302 d302_0 = 0x8000000d d302_d302_p → {D302 0x0a886/0xa0} d302_d303_p → {D303 0x0db16/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a8
{ArrayString 0x0dc8a/0xa8}:ARRAY_STRING[0x1,0xd] = "INTEGER_FLOOR"
{D303 0x0dd32/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ddd2/0x34} d303_2 = 0x002a d303_3 = 0x0000000000000000000
{D304 0x0ddd2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0de06/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x0dd32/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x0dea6/0x58}:ARRAY_STRING[0x1,0x3] = "ONE"
{D303 0x0defe/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0e37e/0x34} d303_2 = 0x002b d303_3 = 0x0000000000000000000
{Thing2 0x0df9e/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0c9f2/0x398} next_p → {Thing2 0x0c9b2/0x40}
{StringStore 0x0dfde/0x3a0}:StringStore x = 0x00000001 y = 0x0000006c
@0x0e01e [0x00] = $0x002b »INTEGER_SIZE«
@0x0e096 [0x01] = $0x002c »<«
@0x0e0b6 [0x02] = $0x002d »-«
@0x0e0d6 [0x03] = $0x002e »/«
@0x0e0f6 [0x04] = $0x002f »INTEGER_TYPE_SIZE«
@0x0e196 [0x05] = $0x0030 »**«
@0x0e1be [0x06] = $0x0031 »TYPE_MARK_SPEC«
@0x0e246 [0x07] = $0x0032 »LOWER_EXPRESSION«
@0x0e2de [0x08] = $0x0033 »UPPER_EXPRESSION«
{D304 0x0e37e/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0e3b2/0xa0}:D302 d302_0 = 0x8000000c d302_d302_p → {D302 0x0c45a/0xa0} d302_d303_p → {D303 0x0defe/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a0
{ArrayString 0x0e452/0xa0}:ARRAY_STRING[0x1,0xc] = "INTEGER_SIZE"
{D303 0x0e4f2/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0e592/0x34} d303_2 = 0x002c d303_3 = 0x0000000000000000000
{D304 0x0e592/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0e5c6/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0e4f2/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0e666/0x48}:ARRAY_STRING[0x1,0x1] = "<"
{D303 0x0e6ae/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0ef3a/0x34} d303_2 = 0x002d d303_3 = 0x0000000000000000000
{Thing2 0x0e74e/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0d046/0x6c8} next_p → {Thing2 0x0d006/0x40}
{StringIndex 0x0e78e/0x7ac}:StringIndex x = 0x00000001 y = 0x00000032
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 027 »OF_FIXED_POINT_CONSTRAINT«
[$0x0027] 0x0a708 028 »FIXED_ACCURACY_DEFINITION«
[$0x0028] 0x0a7e8 029 »SPECIFIED_DELTA«
[$0x0029] 0x0a878 02a »INTEGER_FLOOR«
[$0x002a] 0x0a8f8 02b »ONE«
[$0x002b] 0x0bc10 02c »INTEGER_SIZE«
[$0x002c] 0x0bc88 02d »<«
[$0x002d] 0x0bca8 02e »-«
[$0x002e] 0x0bcc8 02f »/«
[$0x002f] 0x0bce8 030 »INTEGER_TYPE_SIZE«
[$0x0030] 0x0bd88 031 »**«
[$0x0031] 0x0bdb0 032 »TYPE_MARK_SPEC«
[$0x0032] 0x0be38 000 »LOWER_EXPRESSION«
{D304 0x0ef3a/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0ef6e/0xa0}:D302 d302_0 = 0x80000001 d302_d302_p → {D302 0x04fa4/0xa0} d302_d303_p → {D303 0x0e6ae/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0f00e/0x48}:ARRAY_STRING[0x1,0x1] = "-"
{D303 0x0f056/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f0f6/0x34} d303_2 = 0x002e d303_3 = 0x0000000000000000000
{D304 0x0f0f6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f12a/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x0f056/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x0f1ca/0x48}:ARRAY_STRING[0x1,0x1] = "/"
{D303 0x0f212/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f2b2/0x34} d303_2 = 0x002f d303_3 = 0x0000000000000000000
{D304 0x0f2b2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f2e6/0xa0}:D302 d302_0 = 0x80000011 d302_d303_p → {D303 0x0f212/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c8
{ArrayString 0x0f386/0xc8}:ARRAY_STRING[0x1,0x11] = "INTEGER_TYPE_SIZE"
{D307 0x0f44e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x0f4cd/0x83}:D306 d306_d303_p → {D303 0x0f212/0xa0} d306_1 = 0x80000000 d306_2 = 0x0 d306_d307_p → {D307 0x0f44e/0x7f}
{D303 0x0f550/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f5f0/0x34} d303_2 = 0x0030 d303_3 = 0x0000000000000000000
{D304 0x0f5f0/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f624/0xa0}:D302 d302_0 = 0x80000002 d302_d303_p → {D303 0x0f550/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000050
{ArrayString 0x0f6c4/0x50}:ARRAY_STRING[0x1,0x2] = "**"
{D307 0x0f714/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x0f793/0x83}:D306 d306_d303_p → {D303 0x0512c/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x0f714/0x7f}
{D303 0x0f816/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0f8b6/0x34} d303_2 = 0x0031 d303_3 = 0x0000000000000000000
{D304 0x0f8b6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0f8ea/0xa0}:D302 d302_0 = 0x8000000e d302_d303_p → {D303 0x0f816/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b0
{ArrayString 0x0f98a/0xb0}:ARRAY_STRING[0x1,0xe] = "TYPE_MARK_SPEC"
{D303 0x0fa3a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x0fada/0x34} d303_2 = 0x0032 d303_3 = 0x0000000000000000000
{D304 0x0fada/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x0fb0e/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0fa3a/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x0fbae/0xc0}:ARRAY_STRING[0x1,0x10] = "LOWER_EXPRESSION"
{D303 0x0fc6e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x10604/0x34} d303_2 = 0x0033 d303_3 = 0x0000000000000000000
{Thing2 0x0fd0e/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0e78e/0x7ac} next_p → {Thing2 0x0e74e/0x40}
{StringIndex 0x0fd4e/0x8b6}:StringIndex x = 0x00000001 y = 0x00000039
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 027 »OF_FIXED_POINT_CONSTRAINT«
[$0x0027] 0x0a708 028 »FIXED_ACCURACY_DEFINITION«
[$0x0028] 0x0a7e8 029 »SPECIFIED_DELTA«
[$0x0029] 0x0a878 02a »INTEGER_FLOOR«
[$0x002a] 0x0a8f8 02b »ONE«
[$0x002b] 0x0bc10 02c »INTEGER_SIZE«
[$0x002c] 0x0bc88 02d »<«
[$0x002d] 0x0bca8 02e »-«
[$0x002e] 0x0bcc8 02f »/«
[$0x002f] 0x0bce8 030 »INTEGER_TYPE_SIZE«
[$0x0030] 0x0bd88 031 »**«
[$0x0031] 0x0bdb0 032 »TYPE_MARK_SPEC«
[$0x0032] 0x0be38 033 »LOWER_EXPRESSION«
[$0x0033] 0x0bed0 034 »UPPER_EXPRESSION«
[$0x0034] 0x0e4b0 035 »PROCESS_EXPRESSIONS«
[$0x0035] 0x0e560 036 »FALSE«
[$0x0036] 0x0e5a0 037 »TRUE«
[$0x0037] 0x0e5d8 038 »>=«
[$0x0038] 0x0e600 039 »ENUM_ELEMENTS«
[$0x0039] 0x0e680 000 »not«
{D304 0x10604/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x10638/0xa0}:D302 d302_0 = 0x80000010 d302_d303_p → {D303 0x0fc6e/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000c0
{ArrayString 0x106d8/0xc0}:ARRAY_STRING[0x1,0x10] = "UPPER_EXPRESSION"
{D303 0x10798/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x10c20/0x34} d303_2 = 0x0034 d303_3 = 0x0000000000000000000
{Thing2 0x10838/0x40}:Thing2 Chain2 payload_p → {StringStore 0x0dfde/0x3a0} next_p → {Thing2 0x0df9e/0x40}
{StringStore 0x10878/0x3a8}:StringStore x = 0x00000001 y = 0x0000006d
@0x108be [0x00] = $0x0034 »PROCESS_EXPRESSIONS«
@0x1096e [0x01] = $0x0035 »FALSE«
@0x109ae [0x02] = $0x0036 »TRUE«
@0x109e6 [0x03] = $0x0037 »>=«
@0x10a0e [0x04] = $0x0038 »ENUM_ELEMENTS«
@0x10a8e [0x05] = $0x0039 »not«
@0x10abe [0x06] = $0x003a »+«
@0x10ade [0x07] = $0x003b »LOWER«
@0x10b1e [0x08] = $0x003c »UPPER«
{D304 0x10c20/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x10c54/0xa0}:D302 d302_0 = 0x80000013 d302_d303_p → {D303 0x10798/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000d8
{ArrayString 0x10cf4/0xd8}:ARRAY_STRING[0x1,0x13] = "PROCESS_EXPRESSIONS"
{D303 0x10dcc/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x10e6c/0x34} d303_2 = 0x0035 d303_3 = 0x0000000000000000000
{D304 0x10e6c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x10ea0/0xa0}:D302 d302_0 = 0x80000005 d302_d303_p → {D303 0x10dcc/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x10f40/0x68}:ARRAY_STRING[0x1,0x5] = "FALSE"
{D303 0x10fa8/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x11048/0x34} d303_2 = 0x0036 d303_3 = 0x0000000000000000000
{D304 0x11048/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x1107c/0xa0}:D302 d302_0 = 0x80000004 d302_d303_p → {D303 0x10fa8/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000060
{ArrayString 0x1111c/0x60}:ARRAY_STRING[0x1,0x4] = "TRUE"
{D307 0x1117c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x111fb/0x83}:D306 d306_d303_p → {D303 0x0bba6/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x1117c/0x7f}
{D307 0x1127e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x112fd/0x83}:D306 d306_d303_p → {D303 0x10798/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x1127e/0x7f}
{D307 0x11380/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x113ff/0x83}:D306 d306_d303_p → {D303 0x06300/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x11380/0x7f}
{D303 0x11482/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x11522/0x34} d303_2 = 0x0037 d303_3 = 0x0000000000000000000
{D304 0x11522/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x11556/0xa0}:D302 d302_0 = 0x80000002 d302_d303_p → {D303 0x11482/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000050
{ArrayString 0x115f6/0x50}:ARRAY_STRING[0x1,0x2] = ">="
{D303 0x11646/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x116e6/0x34} d303_2 = 0x0038 d303_3 = 0x0000000000000000000
{D304 0x116e6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x1171a/0xa0}:D302 d302_0 = 0x8000000d d302_d303_p → {D303 0x11646/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000a8
{ArrayString 0x117ba/0xa8}:ARRAY_STRING[0x1,0xd] = "ENUM_ELEMENTS"
{D303 0x11862/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x11902/0x34} d303_2 = 0x0039 d303_3 = 0x0000000000000000000
{D304 0x11902/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x11936/0xa0}:D302 d302_0 = 0x80000003 d302_d303_p → {D303 0x11862/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000058
{ArrayString 0x119d6/0x58}:ARRAY_STRING[0x1,0x3] = "not"
{D303 0x11a2e/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x124ce/0x34} d303_2 = 0x003a d303_3 = 0x0000000000000000000
{Thing2 0x11ace/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x0fd4e/0x8b6} next_p → {Thing2 0x0fd0e/0x40}
{StringIndex 0x11b0e/0x9c0}:StringIndex x = 0x00000001 y = 0x00000040
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 027 »OF_FIXED_POINT_CONSTRAINT«
[$0x0027] 0x0a708 028 »FIXED_ACCURACY_DEFINITION«
[$0x0028] 0x0a7e8 029 »SPECIFIED_DELTA«
[$0x0029] 0x0a878 02a »INTEGER_FLOOR«
[$0x002a] 0x0a8f8 02b »ONE«
[$0x002b] 0x0bc10 02c »INTEGER_SIZE«
[$0x002c] 0x0bc88 02d »<«
[$0x002d] 0x0bca8 02e »-«
[$0x002e] 0x0bcc8 02f »/«
[$0x002f] 0x0bce8 030 »INTEGER_TYPE_SIZE«
[$0x0030] 0x0bd88 031 »**«
[$0x0031] 0x0bdb0 032 »TYPE_MARK_SPEC«
[$0x0032] 0x0be38 033 »LOWER_EXPRESSION«
[$0x0033] 0x0bed0 034 »UPPER_EXPRESSION«
[$0x0034] 0x0e4b0 035 »PROCESS_EXPRESSIONS«
[$0x0035] 0x0e560 036 »FALSE«
[$0x0036] 0x0e5a0 037 »TRUE«
[$0x0037] 0x0e5d8 038 »>=«
[$0x0038] 0x0e600 039 »ENUM_ELEMENTS«
[$0x0039] 0x0e680 03a »not«
[$0x003a] 0x0e6b0 03b »+«
[$0x003b] 0x0e6d0 03c »LOWER«
[$0x003c] 0x0e710 03d »UPPER«
[$0x003d] 0x108b8 03e »DETERMINE_MODEL_NUMBER_RANGE«
[$0x003e] 0x109b0 03f »LOWER_BOUND«
[$0x003f] 0x10a20 040 »UPPER_BOUND«
[$0x0040] 0x10a90 000 »DELTA_ACCURACY«
{D304 0x124ce/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x12502/0xa0}:D302 d302_0 = 0x80000001 d302_d303_p → {D303 0x11a2e/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000048
{ArrayString 0x125a2/0x48}:ARRAY_STRING[0x1,0x1] = "+"
{D307 0x125ea/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x12669/0x83}:D306 d306_d303_p → {D303 0x07274/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x125ea/0x7f}
{D303 0x126ec/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x1278c/0x34} d303_2 = 0x003b d303_3 = 0x0000000000000000000
{D304 0x1278c/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x127c0/0xa0}:D302 d302_0 = 0x80000005 d302_d302_p → {D302 0x12502/0xa0} d302_d303_p → {D303 0x126ec/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x12860/0x68}:ARRAY_STRING[0x1,0x5] = "LOWER"
{D303 0x128c8/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x12968/0x34} d303_2 = 0x003c d303_3 = 0x0000000000000000000
{D304 0x12968/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x1299c/0xa0}:D302 d302_0 = 0x80000005 d302_d302_p → {D302 0x0f624/0xa0} d302_d303_p → {D303 0x128c8/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000068
{ArrayString 0x12a3c/0x68}:ARRAY_STRING[0x1,0x5] = "UPPER"
{D307 0x12aa4/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x12b23/0x83}:D306 d306_d303_p → {D303 0x069ec/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x12aa4/0x7f}
{D303 0x12ba6/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x13036/0x34} d303_2 = 0x003d d303_3 = 0x0000000000000000000
{Thing2 0x12c46/0x40}:Thing2 Chain2 payload_p → {StringStore 0x10878/0x3a8} next_p → {Thing2 0x10838/0x40}
{StringStore 0x12c86/0x3b0}:StringStore x = 0x00000001 y = 0x0000006e
@0x12cc6 [0x00] = $0x003d »DETERMINE_MODEL_NUMBER_RANGE«
@0x12dbe [0x01] = $0x003e »LOWER_BOUND«
@0x12e2e [0x02] = $0x003f »UPPER_BOUND«
@0x12e9e [0x03] = $0x0040 »DELTA_ACCURACY«
@0x12f26 [0x04] = $0x0041 »CONSTRAINED_SUBTYPE«
{D304 0x13036/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x1306a/0xa0}:D302 d302_0 = 0x8000001c d302_d302_p → {D302 0x0c7d2/0xa0} d302_d303_p → {D303 0x12ba6/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000120
{ArrayString 0x1310a/0x120}:ARRAY_STRING[0x1,0x1c] = "DETERMINE_MODEL_NUMBER_RANGE"
{D303 0x1322a/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x132ca/0x34} d303_2 = 0x003e d303_3 = 0x0000000000000000000
{D304 0x132ca/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x132fe/0xa0}:D302 d302_0 = 0x8000000b d302_d302_p → {D302 0x0c616/0xa0} d302_d303_p → {D303 0x1322a/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x1339e/0x98}:ARRAY_STRING[0x1,0xb] = "LOWER_BOUND"
{D303 0x13436/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x134d6/0x34} d303_2 = 0x003f d303_3 = 0x0000000000000000000
{D304 0x134d6/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x1350a/0xa0}:D302 d302_0 = 0x8000000b d302_d303_p → {D303 0x13436/0xa0} d302_3 = 0x00000040 d302_4 = 0x00000098
{ArrayString 0x135aa/0x98}:ARRAY_STRING[0x1,0xb] = "UPPER_BOUND"
{D303 0x13642/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x136e2/0x34} d303_2 = 0x0040 d303_3 = 0x0000000000000000000
{D304 0x136e2/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x13716/0xa0}:D302 d302_0 = 0x8000000e d302_d303_p → {D303 0x13642/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b0
{ArrayString 0x137b6/0xb0}:ARRAY_STRING[0x1,0xe] = "DELTA_ACCURACY"
{D307 0x13866/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x138e5/0x83}:D306 d306_d303_p → {D303 0x07826/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x13866/0x7f}
{D307 0x13968/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x139e7/0x83}:D306 d306_d303_p → {D303 0x12ba6/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x13968/0x7f}
{D307 0x13a6a/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085f5a d307_3 = 0x00000002
{D306 0x13ae9/0x83}:D306 d306_d303_p → {D303 0x0c6fe/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x13a6a/0x7f}
{D307 0x13b6c/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x13beb/0x83}:D306 d306_d303_p → {D303 0x08aa2/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x13b6c/0x7f}
{D307 0x13c6e/0x7f}:D307 d307_0 = 0x00 d307_1 = 0x0000001 d307_2 = 0x00085cf0 d307_3 = 0x00000002
{D306 0x13ced/0x83}:D306 d306_d303_p → {D303 0x09516/0xa0} d306_1 = 0xa0000000 d306_2 = 0x0 d306_d307_p → {D307 0x13c6e/0x7f}
{D303 0x13d70/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x14940/0x34} d303_2 = 0x0041 d303_3 = 0x0000000000000000000
{Thing2 0x13e10/0x40}:Thing2 Chain1 payload_p → {StringIndex 0x11b0e/0x9c0} next_p → {Thing2 0x11ace/0x40}
{StringIndex 0x13e50/0xaf0}:StringIndex x = 0x00000001 y = 0x00000048
[$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 01a »UPPER_POS«
[$0x001a] 0x06aa8 01b »IO«
[$0x001b] 0x080f8 01c »DECLARATIONS«
[$0x001c] 0x08170 01d »DECLS«
[$0x001d] 0x081b0 01e »EXPRS«
[$0x001e] 0x081f0 01f »ADA«
[$0x001f] 0x08220 020 »TYPES«
[$0x0020] 0x08260 021 »STATIC_VALUE«
[$0x0021] 0x082d8 022 »EXPRESSION«
[$0x0022] 0x08340 023 »=«
[$0x0023] 0x08360 024 »A«
[$0x0024] 0x08380 025 »B«
[$0x0025] 0x083a0 026 »ACTUAL_DELTA«
[$0x0026] 0x0a628 027 »OF_FIXED_POINT_CONSTRAINT«
[$0x0027] 0x0a708 028 »FIXED_ACCURACY_DEFINITION«
[$0x0028] 0x0a7e8 029 »SPECIFIED_DELTA«
[$0x0029] 0x0a878 02a »INTEGER_FLOOR«
[$0x002a] 0x0a8f8 02b »ONE«
[$0x002b] 0x0bc10 02c »INTEGER_SIZE«
[$0x002c] 0x0bc88 02d »<«
[$0x002d] 0x0bca8 02e »-«
[$0x002e] 0x0bcc8 02f »/«
[$0x002f] 0x0bce8 030 »INTEGER_TYPE_SIZE«
[$0x0030] 0x0bd88 031 »**«
[$0x0031] 0x0bdb0 032 »TYPE_MARK_SPEC«
[$0x0032] 0x0be38 033 »LOWER_EXPRESSION«
[$0x0033] 0x0bed0 034 »UPPER_EXPRESSION«
[$0x0034] 0x0e4b0 035 »PROCESS_EXPRESSIONS«
[$0x0035] 0x0e560 036 »FALSE«
[$0x0036] 0x0e5a0 037 »TRUE«
[$0x0037] 0x0e5d8 038 »>=«
[$0x0038] 0x0e600 039 »ENUM_ELEMENTS«
[$0x0039] 0x0e680 03a »not«
[$0x003a] 0x0e6b0 03b »+«
[$0x003b] 0x0e6d0 03c »LOWER«
[$0x003c] 0x0e710 03d »UPPER«
[$0x003d] 0x108b8 03e »DETERMINE_MODEL_NUMBER_RANGE«
[$0x003e] 0x109b0 03f »LOWER_BOUND«
[$0x003f] 0x10a20 040 »UPPER_BOUND«
[$0x0040] 0x10a90 041 »DELTA_ACCURACY«
[$0x0041] 0x10b18 042 »CONSTRAINED_SUBTYPE«
[$0x0042] 0x12800 000 »GROUND_TYPE_DEF«
{D304 0x14940/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x14974/0xa0}:D302 d302_0 = 0x80000013 d302_d302_p → {D302 0x0cdbe/0xa0} d302_d303_p → {D303 0x13d70/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000d8
{ArrayString 0x14a14/0xd8}:ARRAY_STRING[0x1,0x13] = "CONSTRAINED_SUBTYPE"
{D303 0x14aec/0xa0}:D303 d303_0 = 0x12d3000000 d303_1_p → {D304 0x14f84/0x34} d303_2 = 0x0042 d303_3 = 0x0000000000000000000
{Thing2 0x14b8c/0x40}:Thing2 Chain2 payload_p → {StringStore 0x12c86/0x3b0} next_p → {Thing2 0x12c46/0x40}
{StringStore 0x14bcc/0x3b8}:StringStore x = 0x00000001 y = 0x0000006f
@0x14c0e [0x00] = $0x0042 »GROUND_TYPE_DEF«
{D304 0x14f84/0x34}:D304 d304_0 = 0x8228338000001
{D302 0x14fb8/0xa0}:D302 d302_0 = 0x8000000f d302_d303_p → {D303 0x14aec/0xa0} d302_3 = 0x00000040 d302_4 = 0x000000b8
{ArrayString 0x15058/0xb8}:ARRAY_STRING[0x1,0xf] = "GROUND_TYPE_DEF"