|
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 - metrics - download
Length: 5120 (0x1400)
Notes: 00_class, 5813_R1K_CODE, 75_tag, NULL, R1k_Segment, seg_0500e0
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
0000 000f | | .CONST 0x000f ; Version of machine code 0001 5813 |X | .CONST 0x5813 ; Diana Version, RCG Major Version, RCG minor version 0002 0000 | | .CONST 0x0000 ; Zero 0003 05b8 | | .CONST 0x05b8 ; Offset of debug table 0004 0100 | | .CONST 0x0100 ; Default exception handler - raise instruction 0005 00bb | | .CONST 0x00bb ; Module termination instruction - signal completion 0006 0000 | | .CONST 0x0000 ; Offset to segment table (only in elab segments) 0007 0004 | | .CONST 0x0004 ; 0, wired, #pages in seg - 1) 0008 ; -------------------------------------------------------------------------------------- 0008 ; SUBPROGRAM 0008 ; -------------------------------------------------------------------------------------- 0008 001e | | .CONST 0x001e ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 0013 | | .CONST 0x0013 ; Number of locals 000b INIT_0008: 000b 029a 0023 | #| Declare_Subprogram INIT_0020,For_Outer_Call,Visible,Unelaborated ; Debug Table 0x0 = .DEBUG 0x000b,0x065a,0x0000,0x0000,0x0057,0x2645,0x0000,0x009a ; Debug Table 0x0.0x0 = 0xb,0xffff 000d 029a 0053 | S| Declare_Subprogram INIT_0050,For_Outer_Call,Visible,Unelaborated ; Debug Table 0x0.0x1 = 0xd,0xfffe 000f 00bf | | Action Accept_Activation 0010 029d 0063 | c| Declare_Subprogram INIT_0060,For_Outer_Call ; Debug Table 0x1 = .DEBUG 0x0010,0x0660,0x0000,0x0000,0x0057,0x28a5,0x0000,0x0004 ; Debug Table 0x1.0x0 = 0x10,0xffff 0012 029d 0083 | | Declare_Subprogram INIT_0080,For_Outer_Call ; Debug Table 0x1.0x1 = 0x12,0xfffe 0014 1d0d | | Execute_Immediate Reference_Lex_1,0xd ; Debug Table 0x1.0x2 = 0x14,0xfffd 0015 00c7 | | Action Elaborate_Subprogram 0016 029d 00db | | Declare_Subprogram INIT_00d8,For_Outer_Call ; Debug Table 0x1.0x3 = 0x16,0xfffc 0018 029d 016b | k| Declare_Subprogram INIT_0168,For_Outer_Call ; Debug Table 0x1.0x4 = 0x18,0xfffb 001a 029d 01ab | | Declare_Subprogram INIT_01a8,For_Outer_Call ; Debug Table 0x1.0x5 = 0x1a,0xfffa 001c 1d0e | | Execute_Immediate Reference_Lex_1,0xe ; Debug Table 0x1.0x6 = 0x1c,0xfff9 001d 00c7 | | Action Elaborate_Subprogram 001e BODY_0008: 001e 00bc | | Action Signal_Activated 001f 00bb | | Action Signal_Completion 0020 ; -------------------------------------------------------------------------------------- 0020 ; SUBPROGRAM 0020 ; -------------------------------------------------------------------------------------- 0020 0028 | ( | .CONST 0x0028 ; Address of begin 0021 0004 | | .CONST 0x0004 ; Address of exception handler 0022 0003 | | .CONST 0x0003 ; Number of locals 0023 INIT_0020: 0023 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x2 = .DEBUG 0x0023,0x0670,0x0001,0x0000,0x0057,0x2645,0x0000,0x009b ; Debug Table 0x2.0x0 = 0x23,0xffff 0024 00db | | Load_Top At_Offset_3 0025 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0026 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0x2.0x1 = 0x26,0xfffe 0027 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 0028 BODY_0020: 0028 00cf | | Action Mark_Auxiliary 0029 e5fd | | Load 0x2,-0x3 ; Debug Table 0x2.0x2 = 0x29,0x1 002a 01d9 | | Execute Vector,Reverse_Bounds 002b 0263 | c | Execute Discrete,Above_Bound 002c 701f |p | Jump_Nonzero 0x4c 002d 00d8 | | Load_Top At_Offset_0 ; Debug Table 0x2.0x3 = 0x2d,0x2 002e e5fd | | Load 0x2,-0x3 002f 01d7 | | Execute Vector,Field_Read 0030 e403 | | Load 0x2,0x3 0031 00d9 | | Load_Top At_Offset_1 0032 e5fe | | Load 0x2,-0x2 0033 e001 | | Load 0x0,0x1 0034 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0035 0119 | | Execute Any,Check_In_Formal_Type 0036 e406 | | Load 0x2,0x6 0037 e402 | | Load 0x2,0x2 0038 8210 | | Call 0x1,0x10 0039 00d1 | | Pop_Control Pop_Count_1 003a c403 | | Store 0x2,0x3 003b 00d1 | | Pop_Control Pop_Count_1 003c e402 | | Load 0x2,0x2 ; Debug Table 0x2.0x4 = 0x3c,0x3 003d 00eb | | Load_Encached Diana_Cache 003e 1814 | | Execute Package,Field_Execute,Field_Number 0x14 003f 0f0b | | Execute_Immediate Equal,0xb 0040 6802 |h | Jump_Zero 0x43 0041 00d2 | | Pop_Control Pop_Count_2 0042 7809 |x | Jump 0x4c 0043 e402 | | Load 0x2,0x2 ; Debug Table 0x2.0x5 = 0x43,0x4 0044 00eb | | Load_Encached Diana_Cache 0045 1888 | | Execute Package,Field_Execute,Field_Number 0x88 0046 00eb | | Load_Encached Diana_Cache 0047 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 0048 8002 | | Call 0x0,0x2 0049 a402 | | Store_Unchecked 0x2,0x2 004a 00c8 | | Action Pop_Auxiliary_Range 004b 3fe1 |? | Loop_Increasing 0x2d 004c 00ce | | Action Pop_Auxiliary 004d 00d8 | | Load_Top At_Offset_0 ; Debug Table 0x2.0x6 = 0x4d,0x5 004e a5fc | | Store_Unchecked 0x2,-0x4 004f 4503 |E | Exit_Suprogram New_Top_Offset 0x3 0050 ; -------------------------------------------------------------------------------------- 0050 ; SUBPROGRAM 0050 ; -------------------------------------------------------------------------------------- 0050 0053 | S | .CONST 0x0053 ; Address of begin 0051 0004 | | .CONST 0x0004 ; Address of exception handler 0052 0001 | | .CONST 0x0001 ; Number of locals 0053 BODY_0050: 0053 INIT_0050: 0053 e5fc | | Load 0x2,-0x4 ; Debug Table 0x3 = .DEBUG 0x0053,0x0680,0x0001,0x0000,0x0057,0x2645,0x0000,0x00b1 ; Debug Table 0x3.0x0 = 0x53,0x1 0054 e5fd | | Load 0x2,-0x3 0055 e001 | | Load 0x0,0x1 0056 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0057 0119 | | Execute Any,Check_In_Formal_Type 0058 e5fe | | Load 0x2,-0x2 0059 4801 |H | Short_Literal 0x1 005a e5ff | | Load 0x2,-0x1 005b 8213 | | Call 0x1,0x13 005c c5fc | | Store 0x2,-0x4 005d 4504 |E | Exit_Suprogram New_Top_Offset 0x4 005e 0000 0000 | | .XXX[0x2] 0060 ; -------------------------------------------------------------------------------------- 0060 ; SUBPROGRAM 0060 ; -------------------------------------------------------------------------------------- 0060 0063 | c | .CONST 0x0063 ; Address of begin 0061 0004 | | .CONST 0x0004 ; Address of exception handler 0062 0001 | | .CONST 0x0001 ; Number of locals 0063 BODY_0060: 0063 INIT_0060: 0063 00da | | Load_Top At_Offset_2 ; Debug Table 0x4 = .DEBUG 0x0063,0x0684,0x0002,0x0000,0x0057,0x28a5,0x0000,0x0005 ; Debug Table 0x4.0x0 = 0x63,0x1 0064 00eb | | Load_Encached Diana_Cache 0065 1814 | | Execute Package,Field_Execute,Field_Number 0x14 0066 0f0b | | Execute_Immediate Equal,0xb 0067 6809 |h | Jump_Zero 0x71 0068 00da | | Load_Top At_Offset_2 ; Debug Table 0x4.0x1 = 0x68,0x2 0069 00eb | | Load_Encached Diana_Cache 006a 1829 | ) | Execute Package,Field_Execute,Field_Number 0x29 006b 00eb | | Load_Encached Diana_Cache 006c 182d | - | Execute Package,Field_Execute,Field_Number 0x2d 006d 01db | | Execute Vector,Length 006e 00e3 | | Load_Encached Natural_Cache 006f 025b | [ | Execute Discrete,Check_In_Type 0070 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0071 00da | | Load_Top At_Offset_2 ; Debug Table 0x4.0x2 = 0x71,0x3 0072 00eb | | Load_Encached Diana_Cache 0073 1889 | | Execute Package,Field_Execute,Field_Number 0x89 0074 4975 |Iu | Short_Literal 0x175 0075 00eb | | Load_Encached Diana_Cache 0076 0098 | | Execute Package,Field_Read_Dynamic 0077 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0078 00e3 | | Load_Encached Natural_Cache 0079 025b | [ | Execute Discrete,Check_In_Type 007a 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 007b 0000 0000 | | .BLANK 0000[0x5] 0080 ; -------------------------------------------------------------------------------------- 0080 ; SUBPROGRAM 0080 ; -------------------------------------------------------------------------------------- 0080 0094 | | .CONST 0x0094 ; Address of begin 0081 0004 | | .CONST 0x0004 ; Address of exception handler 0082 0008 | | .CONST 0x0008 ; Number of locals 0083 INIT_0080: 0083 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x5 = .DEBUG 0x0083,0x068c,0x0001,0x0000,0x0057,0x28a5,0x0000,0x003f ; Debug Table 0x5.0x0 = 0x83,0xffff 0084 00db | | Load_Top At_Offset_3 0085 00eb | | Load_Encached Diana_Cache 0086 18f9 | | Execute Package,Field_Execute,Field_Number 0xf9 0087 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0088 029f 01fb | | Declare_Subprogram INIT_01f8,For_Call ; Debug Table 0x5.0x1 = 0x88,0xfffe 008a 029f 0223 | #| Declare_Subprogram INIT_0220,For_Call ; Debug Table 0x5.0x2 = 0x8a,0xfffd 008c 029f 02a3 | | Declare_Subprogram INIT_02a0,For_Call ; Debug Table 0x5.0x3 = 0x8c,0xfffc 008e 029f 030b | | Declare_Subprogram INIT_0308,For_Call ; Debug Table 0x5.0x4 = 0x8e,0xfffb 0090 029f 0383 | | Declare_Subprogram INIT_0380,For_Call ; Debug Table 0x5.0x5 = 0x90,0xfffa 0092 029f 03fb | | Declare_Subprogram INIT_03f8,For_Call ; Debug Table 0x5.0x6 = 0x92,0xfff9 0094 BODY_0080: 0094 e003 | | Load 0x0,0x3 ; Debug Table 0x5.0x7 = 0x94,0x1 0095 6804 |h | Jump_Zero 0x9a 0096 0092 0558 | X| Action Push_String_Extended,0x558 ; "Analyze index bounds" ; Debug Table 0x5.0x8 = 0x96,0x2 0098 e001 | | Load 0x0,0x1 0099 1816 | | Execute Package,Field_Execute,Field_Number 0x16 009a e402 | | Load 0x2,0x2 ; Debug Table 0x5.0x9 = 0x9a,0x3 009b 00eb | | Load_Encached Diana_Cache 009c 1813 | | Execute Package,Field_Execute,Field_Number 0x13 009d 7013 |p | Jump_Nonzero 0xb1 009e e5ff | | Load 0x2,-0x1 009f e004 | | Load 0x0,0x4 00a0 1873 | s | Execute Package,Field_Execute,Field_Number 0x73 00a1 700f |p | Jump_Nonzero 0xb1 00a2 e5ff | | Load 0x2,-0x1 00a3 00eb | | Load_Encached Diana_Cache 00a4 1814 | | Execute Package,Field_Execute,Field_Number 0x14 00a5 0f0b | | Execute_Immediate Equal,0xb 00a6 6808 |h | Jump_Zero 0xaf 00a7 e5ff | | Load 0x2,-0x1 00a8 00eb | | Load_Encached Diana_Cache 00a9 1829 | ) | Execute Package,Field_Execute,Field_Number 0x29 00aa 00eb | | Load_Encached Diana_Cache 00ab 182d | - | Execute Package,Field_Execute,Field_Number 0x2d 00ac 01db | | Execute Vector,Length 00ad 0f00 | | Execute_Immediate Equal,0x0 00ae 7801 |x | Jump 0xb0 00af 4800 |H | Short_Literal 0x0 00b0 6802 |h | Jump_Zero 0xb3 00b1 8403 | | Call 0x2,0x3 ; Debug Table 0x5.0xa = 0xb1,0x4 00b2 4504 |E | Exit_Suprogram New_Top_Offset 0x4 00b3 e402 | | Load 0x2,0x2 ; Debug Table 0x5.0xb = 0xb3,0x5 00b4 00eb | | Load_Encached Diana_Cache 00b5 1814 | | Execute Package,Field_Execute,Field_Number 0x14 00b6 0b61 | a | Execute_Immediate Case_Compare,0x61 00b7 700e |p | Jump_Nonzero 0xc6 00b8 0b6e | n | Execute_Immediate Case_Compare,0x6e 00b9 7011 |p | Jump_Nonzero 0xcb 00ba 0b66 | f | Execute_Immediate Case_Compare,0x66 00bb 7014 |p | Jump_Nonzero 0xd0 00bc e402 | | Load 0x2,0x2 ; Debug Table 0x5.0xc = 0xbc,0x9 00bd e001 | | Load 0x0,0x1 00be 1818 | | Execute Package,Field_Execute,Field_Number 0x18 00bf 6803 |h | Jump_Zero 0xc3 00c0 e402 | | Load 0x2,0x2 ; Debug Table 0x5.0xd = 0xc0,0xa 00c1 8407 | | Call 0x2,0x7 00c2 780f |x | Jump 0xd2 00c3 e402 | | Load 0x2,0x2 ; Debug Table 0x5.0xe = 0xc3,0xb 00c4 8408 | | Call 0x2,0x8 00c5 780c |x | Jump 0xd2 00c6 e5fb | | Load 0x2,-0x5 ; Debug Table 0x5.0xf = 0xc6,0x6 00c7 e402 | | Load 0x2,0x2 00c8 8404 | | Call 0x2,0x4 00c9 c5fb | | Store 0x2,-0x5 00ca 7807 |x | Jump 0xd2 00cb e5fb | | Load 0x2,-0x5 ; Debug Table 0x5.0x10 = 0xcb,0x7 00cc e402 | | Load 0x2,0x2 00cd 8405 | | Call 0x2,0x5 00ce c5fb | | Store 0x2,-0x5 00cf 7802 |x | Jump 0xd2 00d0 e402 | | Load 0x2,0x2 ; Debug Table 0x5.0x11 = 0xd0,0x8 00d1 8406 | | Call 0x2,0x6 00d2 00d1 | | Pop_Control Pop_Count_1 00d3 4504 |E | Exit_Suprogram New_Top_Offset 0x4 00d4 0000 0000 | | .BLANK 0000[0x4] 00d8 ; -------------------------------------------------------------------------------------- 00d8 ; SUBPROGRAM 00d8 ; -------------------------------------------------------------------------------------- 00d8 00ee | | .CONST 0x00ee ; Address of begin 00d9 0004 | | .CONST 0x0004 ; Address of exception handler 00da 0006 | | .CONST 0x0006 ; Number of locals 00db INIT_00d8: 00db e001 | | Load 0x0,0x1 ; Debug Table 0x6 = .DEBUG 0x00db,0x06b2,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0515 ; Debug Table 0x6.0x0 = 0xdb,0xffff 00dc 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 00dd 02ff | | Declare_Variable Variant_Record 00de 00d8 | | Load_Top At_Offset_0 00df 1c00 | | Execute_Immediate Run_Utility,0x0 00e0 e001 | | Load 0x0,0x1 ; Debug Table 0x6.0x1 = 0xe0,0xfffe 00e1 1b0f | | Execute Package,Field_Read,Field_Number 0xf 00e2 02c7 | | Declare_Variable Any 00e3 00d8 | | Load_Top At_Offset_0 00e4 1c00 | | Execute_Immediate Run_Utility,0x0 00e5 e001 | | Load 0x0,0x1 00e6 1b0f | | Execute Package,Field_Read,Field_Number 0xf 00e7 02c7 | | Declare_Variable Any 00e8 00d8 | | Load_Top At_Offset_0 00e9 1c00 | | Execute_Immediate Run_Utility,0x0 00ea 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0x6.0x2 = 0xea,0xfffd 00eb 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 00ec 029f 0453 | S| Declare_Subprogram INIT_0450,For_Call ; Debug Table 0x6.0x3 = 0xec,0xfffc 00ee BODY_00d8: 00ee 00d9 | | Load_Top At_Offset_1 ; Debug Table 0x6.0x4 = 0xee,0x1 00ef e402 | | Load 0x2,0x2 00f0 e5fc | | Load 0x2,-0x4 00f1 e001 | | Load 0x0,0x1 00f2 1b12 | | Execute Package,Field_Read,Field_Number 0x12 00f3 0119 | | Execute Any,Check_In_Formal_Type 00f4 e5fe | | Load 0x2,-0x2 00f5 e5ff | | Load 0x2,-0x1 00f6 8210 | | Call 0x1,0x10 00f7 00d1 | | Pop_Control Pop_Count_1 00f8 005a | Z | Store_Top Discrete,At_Offset_2 00f9 00d9 | | Load_Top At_Offset_1 ; Debug Table 0x6.0x5 = 0xf9,0x2 00fa 6805 |h | Jump_Zero 0x100 00fb e5fb | | Load 0x2,-0x5 ; Debug Table 0x6.0x6 = 0xfb,0x3 00fc e001 | | Load 0x0,0x1 00fd 1827 | ' | Execute Package,Field_Execute,Field_Number 0x27 00fe c5fb | | Store 0x2,-0x5 00ff 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; Debug Table 0x6.0x7 = 0xff,0x4 0100 e402 | | Load 0x2,0x2 ; Debug Table 0x6.0x8 = 0x100,0x5 0101 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 0102 0f00 | | Execute_Immediate Equal,0x0 0103 e5fe | | Load 0x2,-0x2 0104 e5fd | | Load 0x2,-0x3 0105 01d5 | | Execute Vector,Field_Reference 0106 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 0107 0f00 | | Execute_Immediate Equal,0x0 0108 0279 | y | Execute Discrete,And 0109 6801 |h | Jump_Zero 0x10b 010a 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; Debug Table 0x6.0x9 = 0x10a,0x6 010b e402 | | Load 0x2,0x2 ; Debug Table 0x6.0xa = 0x10b,0x7 010c 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 010d e5fe | | Load 0x2,-0x2 010e e5fd | | Load 0x2,-0x3 010f 01d5 | | Execute Vector,Field_Reference 0110 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 0111 027f | | Execute Discrete,Equal 0112 682b |h+ | Jump_Zero 0x13e 0113 e402 | | Load 0x2,0x2 ; Debug Table 0x6.0xb = 0x113,0x8 0114 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 0115 4605 |F | Jump_Case 0x6 0116 7805 |x | Jump 0x11c ; case 0x0 0117 7826 |x& | Jump 0x13e ; case 0x1 0118 780a |x | Jump 0x123 ; case 0x2 0119 7824 |x$ | Jump 0x13e ; case 0x3 011a 7815 |x | Jump 0x130 ; case 0x4 011b 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; case 0x5 011c e402 | | Load 0x2,0x2 ; Debug Table 0x6.0xc = 0x11c,0x9 011d e5fe | | Load 0x2,-0x2 011e e5fd | | Load 0x2,-0x3 011f 01d5 | | Execute Vector,Field_Reference 0120 8406 | | Call 0x2,0x6 0121 681c |h | Jump_Zero 0x13e 0122 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; Debug Table 0x6.0xd = 0x122,0xa 0123 e5fe | | Load 0x2,-0x2 ; Debug Table 0x6.0xe = 0x123,0xc 0124 e5fd | | Load 0x2,-0x3 0125 01d5 | | Execute Vector,Field_Reference 0126 2e06 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x6 0127 e004 | | Load 0x0,0x4 0128 1869 | i | Execute Package,Field_Execute,Field_Number 0x69 0129 e402 | | Load 0x2,0x2 012a 2e06 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x6 012b e004 | | Load 0x0,0x4 012c 1869 | i | Execute Package,Field_Execute,Field_Number 0x69 012d 021f | | Execute Heap_Access,Equal 012e 680f |h | Jump_Zero 0x13e 012f 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; Debug Table 0x6.0xf = 0x12f,0xd 0130 e5fe | | Load 0x2,-0x2 ; Debug Table 0x6.0x10 = 0x130,0xf 0131 e5fd | | Load 0x2,-0x3 0132 01d5 | | Execute Vector,Field_Reference 0133 2e07 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x7 0134 e402 | | Load 0x2,0x2 0135 2e07 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x7 0136 027f | | Execute Discrete,Equal 0137 6801 |h | Jump_Zero 0x139 0138 4505 |E | Exit_Suprogram New_Top_Offset 0x5 ; Debug Table 0x6.0x11 = 0x138,0x10 0139 e5fb | | Load 0x2,-0x5 ; Debug Table 0x6.0x12 = 0x139,0x11 013a e001 | | Load 0x0,0x1 013b 1827 | ' | Execute Package,Field_Execute,Field_Number 0x27 013c c5fb | | Store 0x2,-0x5 013d 7800 |x | Jump 0x13e 013e e5fb | | Load 0x2,-0x5 ; Debug Table 0x6.0x13 = 0x13e,0x13 013f e001 | | Load 0x0,0x1 0140 1828 | ( | Execute Package,Field_Execute,Field_Number 0x28 0141 c5fb | | Store 0x2,-0x5 0142 e5fb | | Load 0x2,-0x5 ; Debug Table 0x6.0x14 = 0x142,0x14 0143 00db | | Load_Top At_Offset_3 0144 e403 | | Load 0x2,0x3 0145 e5fc | | Load 0x2,-0x4 0146 e001 | | Load 0x0,0x1 0147 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0148 0119 | | Execute Any,Check_In_Formal_Type 0149 e5fe | | Load 0x2,-0x2 014a e402 | | Load 0x2,0x2 014b e5ff | | Load 0x2,-0x1 014c 8005 | | Call 0x0,0x5 014d c403 | | Store 0x2,0x3 014e c404 | | Store 0x2,0x4 014f c5fb | | Store 0x2,-0x5 0150 e5fb | | Load 0x2,-0x5 ; Debug Table 0x6.0x15 = 0x150,0x15 0151 e5fc | | Load 0x2,-0x4 0152 e001 | | Load 0x0,0x1 0153 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0154 0119 | | Execute Any,Check_In_Formal_Type 0155 e5fe | | Load 0x2,-0x2 0156 e404 | | Load 0x2,0x4 0157 e001 | | Load 0x0,0x1 0158 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0159 0119 | | Execute Any,Check_In_Formal_Type 015a e403 | | Load 0x2,0x3 015b e001 | | Load 0x0,0x1 015c 1b0f | | Execute Package,Field_Read,Field_Number 0xf 015d 0119 | | Execute Any,Check_In_Formal_Type 015e e001 | | Load 0x0,0x1 015f 1829 | ) | Execute Package,Field_Execute,Field_Number 0x29 0160 c5fb | | Store 0x2,-0x5 0161 4505 |E | Exit_Suprogram New_Top_Offset 0x5 0162 0000 0000 | | .BLANK 0000[0x6] 0168 ; -------------------------------------------------------------------------------------- 0168 ; SUBPROGRAM 0168 ; -------------------------------------------------------------------------------------- 0168 016d | m | .CONST 0x016d ; Address of begin 0169 0004 | | .CONST 0x0004 ; Address of exception handler 016a 0003 | | .CONST 0x0003 ; Number of locals 016b INIT_0168: 016b 00ee | | Load_Encached Diana_Seq_Type_Cache ; Debug Table 0x7 = .DEBUG 0x016b,0x06e0,0x0001,0x0000,0x0057,0x28a5,0x0000,0x068b ; Debug Table 0x7.0x0 = 0x16b,0xffff 016c 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x7.0x1 = 0x16c,0xfffe 016d BODY_0168: 016d e003 | | Load 0x0,0x3 ; Debug Table 0x7.0x2 = 0x16d,0x1 016e 6804 |h | Jump_Zero 0x173 016f 0092 0559 | Y| Action Push_String_Extended,0x559 ; "Check bounds" ; Debug Table 0x7.0x3 = 0x16f,0x2 0171 e001 | | Load 0x0,0x1 0172 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0173 e5fb | | Load 0x2,-0x5 ; Debug Table 0x7.0x4 = 0x173,0x3 0174 e5fc | | Load 0x2,-0x4 0175 e001 | | Load 0x0,0x1 0176 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0177 0119 | | Execute Any,Check_In_Formal_Type 0178 e5fd | | Load 0x2,-0x3 0179 e5fe | | Load 0x2,-0x2 017a 00e4 | | Load_Encached Positive_Cache 017b 025b | [ | Execute Discrete,Check_In_Type 017c e5ff | | Load 0x2,-0x1 017d 8211 | | Call 0x1,0x11 017e c5fb | | Store 0x2,-0x5 017f e5fd | | Load 0x2,-0x3 ; Debug Table 0x7.0x5 = 0x17f,0x4 0180 01dc | | Execute Vector,Last 0181 e5fe | | Load 0x2,-0x2 0182 027e | ~ | Execute Discrete,Not_Equal 0183 6822 |h" | Jump_Zero 0x1a6 0184 e5ff | | Load 0x2,-0x1 ; Debug Table 0x7.0x6 = 0x184,0x5 0185 00eb | | Load_Encached Diana_Cache 0186 1888 | | Execute Package,Field_Execute,Field_Number 0x88 0187 0032 | 2 | Store_Top Heap_Access,At_Offset_2 0188 00cf | | Action Mark_Auxiliary 0189 0007 | | Action Break_Optional ; Debug Table 0x7.0x7 = 0x189,0x6 018a 00da | | Load_Top At_Offset_2 ; Debug Table 0x7.0x8 = 0x18a,0x7 018b 00eb | | Load_Encached Diana_Cache 018c 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 018d 0032 | 2 | Store_Top Heap_Access,At_Offset_2 018e e5fb | | Load 0x2,-0x5 ; Debug Table 0x7.0x9 = 0x18e,0x8 018f e5fc | | Load 0x2,-0x4 0190 e001 | | Load 0x0,0x1 0191 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0192 0119 | | Execute Any,Check_In_Formal_Type 0193 e5fd | | Load 0x2,-0x3 0194 e5fe | | Load 0x2,-0x2 0195 0a01 | | Execute_Immediate Plus,0x1 0196 0248 | H | Execute Discrete,Check_In_Integer 0197 e403 | | Load 0x2,0x3 0198 8002 | | Call 0x0,0x2 0199 8212 | | Call 0x1,0x12 019a c5fb | | Store 0x2,-0x5 019b 00da | | Load_Top At_Offset_2 ; Debug Table 0x7.0xa = 0x19b,0x9 019c 00eb | | Load_Encached Diana_Cache 019d 185a | Z | Execute Package,Field_Execute,Field_Number 0x5a 019e 0033 | 3 | Store_Top Heap_Access,At_Offset_3 019f 00da | | Load_Top At_Offset_2 ; Debug Table 0x7.0xb = 0x19f,0xa 01a0 00eb | | Load_Encached Diana_Cache 01a1 1858 | X | Execute Package,Field_Execute,Field_Number 0x58 01a2 7002 |p | Jump_Nonzero 0x1a5 01a3 00c9 | | Action Pop_Auxiliary_Loop 01a4 7fe5 | | Jump 0x18a 01a5 00ce | | Action Pop_Auxiliary 01a6 4505 |E | Exit_Suprogram New_Top_Offset 0x5 01a7 0000 | | .XXX[0x1] 01a8 ; -------------------------------------------------------------------------------------- 01a8 ; SUBPROGRAM 01a8 ; -------------------------------------------------------------------------------------- 01a8 01af | | .CONST 0x01af ; Address of begin 01a9 0004 | | .CONST 0x0004 ; Address of exception handler 01aa 0005 | | .CONST 0x0005 ; Number of locals 01ab INIT_01a8: 01ab 00ee | | Load_Encached Diana_Seq_Type_Cache ; Debug Table 0x8 = .DEBUG 0x01ab,0x06fa,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0701 ; Debug Table 0x8.0x0 = 0x1ab,0xffff 01ac 00ee | | Load_Encached Diana_Seq_Type_Cache ; Debug Table 0x8.0x1 = 0x1ac,0xfffe 01ad 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x8.0x2 = 0x1ad,0xfffd 01ae 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x8.0x3 = 0x1ae,0xfffc 01af BODY_01a8: 01af e003 | | Load 0x0,0x3 ; Debug Table 0x8.0x4 = 0x1af,0x1 01b0 6804 |h | Jump_Zero 0x1b5 01b1 0092 055a | Z| Action Push_String_Extended,0x55a ; "Check tail bounds" ; Debug Table 0x8.0x5 = 0x1b1,0x2 01b3 e001 | | Load 0x0,0x1 01b4 1816 | | Execute Package,Field_Execute,Field_Number 0x16 01b5 e5fd | | Load 0x2,-0x3 ; Debug Table 0x8.0x6 = 0x1b5,0x3 01b6 01dc | | Execute Vector,Last 01b7 e5fe | | Load 0x2,-0x2 01b8 027e | ~ | Execute Discrete,Not_Equal 01b9 6836 |h6 | Jump_Zero 0x1f0 01ba e5ff | | Load 0x2,-0x1 ; Debug Table 0x8.0x7 = 0x1ba,0x4 01bb 00eb | | Load_Encached Diana_Cache 01bc 1888 | | Execute Package,Field_Execute,Field_Number 0x88 01bd a402 | | Store_Unchecked 0x2,0x2 01be 00db | | Load_Top At_Offset_3 ; Debug Table 0x8.0x8 = 0x1be,0x5 01bf 00eb | | Load_Encached Diana_Cache 01c0 185a | Z | Execute Package,Field_Execute,Field_Number 0x5a 01c1 0033 | 3 | Store_Top Heap_Access,At_Offset_3 01c2 00db | | Load_Top At_Offset_3 ; Debug Table 0x8.0x9 = 0x1c2,0x6 01c3 00eb | | Load_Encached Diana_Cache 01c4 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 01c5 0032 | 2 | Store_Top Heap_Access,At_Offset_2 01c6 e5fb | | Load 0x2,-0x5 ; Debug Table 0x8.0xa = 0x1c6,0x7 01c7 e5fc | | Load 0x2,-0x4 01c8 e001 | | Load 0x0,0x1 01c9 1b12 | | Execute Package,Field_Read,Field_Number 0x12 01ca 0119 | | Execute Any,Check_In_Formal_Type 01cb e5fd | | Load 0x2,-0x3 01cc e5fe | | Load 0x2,-0x2 01cd 0a01 | | Execute_Immediate Plus,0x1 01ce 0248 | H | Execute Discrete,Check_In_Integer 01cf e404 | | Load 0x2,0x4 01d0 8002 | | Call 0x0,0x2 01d1 8213 | | Call 0x1,0x13 01d2 c5fb | | Store 0x2,-0x5 01d3 00cf | | Action Mark_Auxiliary 01d4 7816 |x | Jump 0x1eb 01d5 00db | | Load_Top At_Offset_3 ; Debug Table 0x8.0xb = 0x1d5,0x9 01d6 00eb | | Load_Encached Diana_Cache 01d7 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 01d8 0032 | 2 | Store_Top Heap_Access,At_Offset_2 01d9 00db | | Load_Top At_Offset_3 ; Debug Table 0x8.0xc = 0x1d9,0xa 01da 00eb | | Load_Encached Diana_Cache 01db 185a | Z | Execute Package,Field_Execute,Field_Number 0x5a 01dc a403 | | Store_Unchecked 0x2,0x3 01dd e5fb | | Load 0x2,-0x5 ; Debug Table 0x8.0xd = 0x1dd,0xb 01de e5fc | | Load 0x2,-0x4 01df e001 | | Load 0x0,0x1 01e0 1b12 | | Execute Package,Field_Read,Field_Number 0x12 01e1 0119 | | Execute Any,Check_In_Formal_Type 01e2 e5fd | | Load 0x2,-0x3 01e3 e5fe | | Load 0x2,-0x2 01e4 0a01 | | Execute_Immediate Plus,0x1 01e5 0248 | H | Execute Discrete,Check_In_Integer 01e6 e405 | | Load 0x2,0x5 01e7 8002 | | Call 0x0,0x2 01e8 8212 | | Call 0x1,0x12 01e9 c5fb | | Store 0x2,-0x5 01ea 00c9 | | Action Pop_Auxiliary_Loop 01eb 00db | | Load_Top At_Offset_3 ; Debug Table 0x8.0xe = 0x1eb,0x8 01ec 00eb | | Load_Encached Diana_Cache 01ed 1858 | X | Execute Package,Field_Execute,Field_Number 0x58 01ee 6fe6 |o | Jump_Zero 0x1d5 01ef 00ce | | Action Pop_Auxiliary 01f0 4505 |E | Exit_Suprogram New_Top_Offset 0x5 01f1 0000 0000 | | .BLANK 0000[0x7] 01f8 ; -------------------------------------------------------------------------------------- 01f8 ; SUBPROGRAM 01f8 ; -------------------------------------------------------------------------------------- 01f8 01fb | | .CONST 0x01fb ; Address of begin 01f9 0004 | | .CONST 0x0004 ; Address of exception handler 01fa 0001 | | .CONST 0x0001 ; Number of locals 01fb BODY_01f8: 01fb INIT_01f8: 01fb e003 | | Load 0x0,0x3 ; Debug Table 0x9 = .DEBUG 0x01fb,0x071a,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0065 ; Debug Table 0x9.0x0 = 0x1fb,0x1 01fc 6804 |h | Jump_Zero 0x201 01fd 0092 055b | [| Action Push_String_Extended,0x55b ; "Do bounds from type" ; Debug Table 0x9.0x1 = 0x1fd,0x2 01ff e001 | | Load 0x0,0x1 0200 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0201 e5ff | | Load 0x2,-0x1 ; Debug Table 0x9.0x2 = 0x201,0x3 0202 8006 | | Call 0x0,0x6 0203 680e |h | Jump_Zero 0x212 0204 4804 |H | Short_Literal 0x4 ; Debug Table 0x9.0x3 = 0x204,0x4 0205 e001 | | Load 0x0,0x1 0206 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 0207 1c08 | | Execute_Immediate Run_Utility,0x8 0208 4801 |H | Short_Literal 0x1 0209 00d9 | | Load_Top At_Offset_1 020a 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 020b e5ff | | Load 0x2,-0x1 020c 820f | | Call 0x1,0xf 020d 00d9 | | Load_Top At_Offset_1 020e 2a07 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x7 020f e5fc | | Load 0x2,-0x4 0210 016d | m | Execute Variant_Record,Structure_Write 0211 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0212 4805 |H | Short_Literal 0x5 ; Debug Table 0x9.0x4 = 0x212,0x5 0213 e001 | | Load 0x0,0x1 0214 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 0215 1c08 | | Execute_Immediate Run_Utility,0x8 0216 4800 |H | Short_Literal 0x0 0217 00d9 | | Load_Top At_Offset_1 0218 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 0219 e5fc | | Load 0x2,-0x4 021a 016d | m | Execute Variant_Record,Structure_Write 021b 4501 |E | Exit_Suprogram New_Top_Offset 0x1 021c 0000 0000 | | .BLANK 0000[0x4] 0220 ; -------------------------------------------------------------------------------------- 0220 ; SUBPROGRAM 0220 ; -------------------------------------------------------------------------------------- 0220 0233 | 3 | .CONST 0x0233 ; Address of begin 0221 0004 | | .CONST 0x0004 ; Address of exception handler 0222 0007 | | .CONST 0x0007 ; Number of locals 0223 INIT_0220: 0223 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0xa = .DEBUG 0x0223,0x0726,0x0001,0x0000,0x0057,0x28a5,0x0000,0x009b ; Debug Table 0xa.0x0 = 0x223,0xffff 0224 03e9 | | Declare_Variable Discrete,Duplicate 0225 e007 | | Load 0x0,0x7 ; Debug Table 0xa.0x1 = 0x225,0xfffe 0226 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0227 02c7 | | Declare_Variable Any 0228 00d8 | | Load_Top At_Offset_0 0229 1c00 | | Execute_Immediate Run_Utility,0x0 022a e007 | | Load 0x0,0x7 022b 1b0d | | Execute Package,Field_Read,Field_Number 0xd 022c 02c7 | | Declare_Variable Any 022d 00d8 | | Load_Top At_Offset_0 022e 1c00 | | Execute_Immediate Run_Utility,0x0 022f 029f 046b | k| Declare_Subprogram INIT_0468,For_Call ; Debug Table 0xa.0x2 = 0x22f,0xfffd 0231 029f 048b | | Declare_Subprogram INIT_0488,For_Call ; Debug Table 0xa.0x3 = 0x231,0xfffc 0233 BODY_0220: 0233 e003 | | Load 0x0,0x3 ; Debug Table 0xa.0x4 = 0x233,0x1 0234 6804 |h | Jump_Zero 0x239 0235 0092 055c | \| Action Push_String_Extended,0x55c ; "Do range bounds" ; Debug Table 0xa.0x5 = 0x235,0x2 0237 e001 | | Load 0x0,0x1 0238 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0239 00da | | Load_Top At_Offset_2 ; Debug Table 0xa.0x6 = 0x239,0x3 023a 0120 | | Execute Any,Is_Value 023b 6803 |h | Jump_Zero 0x23f 023c e007 | | Load 0x0,0x7 023d 1b0d | | Execute Package,Field_Read,Field_Number 0xd 023e 7801 |x | Jump 0x240 023f 00da | | Load_Top At_Offset_2 0240 e604 | | Load 0x3,0x4 0241 0120 | | Execute Any,Is_Value 0242 6803 |h | Jump_Zero 0x246 0243 e007 | | Load 0x0,0x7 0244 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0245 7801 |x | Jump 0x247 0246 e604 | | Load 0x3,0x4 0247 00e1 | | Load_Encached Boolean_Cache 0248 00e1 | | Load_Encached Boolean_Cache 0249 e7ff | | Load 0x3,-0x1 024a e001 | | Load 0x0,0x1 024b 1819 | | Execute Package,Field_Execute,Field_Number 0x19 024c c602 | | Store 0x3,0x2 024d c603 | | Store 0x3,0x3 024e c604 | | Store 0x3,0x4 024f c605 | | Store 0x3,0x5 0250 e602 | | Load 0x3,0x2 ; Debug Table 0xa.0x7 = 0x250,0x4 0251 680b |h | Jump_Zero 0x25d 0252 e5fc | | Load 0x2,-0x4 ; Debug Table 0xa.0x8 = 0x252,0x5 0253 00d8 | | Load_Top At_Offset_0 0254 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0255 00d8 | | Load_Top At_Offset_0 0256 e604 | | Load 0x3,0x4 0257 00d9 | | Load_Top At_Offset_1 0258 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 0259 00d1 | | Pop_Control Pop_Count_1 025a 00d0 | | Action Swap_Control 025b 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 025c 780b |x | Jump 0x268 025d 4800 |H | Short_Literal 0x0 ; Debug Table 0xa.0x9 = 0x25d,0x6 025e e001 | | Load 0x0,0x1 025f 1b34 | 4 | Execute Package,Field_Read,Field_Number 0x34 0260 1c08 | | Execute_Immediate Run_Utility,0x8 0261 e7ff | | Load 0x3,-0x1 0262 00eb | | Load_Encached Diana_Cache 0263 18c6 | | Execute Package,Field_Execute,Field_Number 0xc6 0264 00d9 | | Load_Top At_Offset_1 0265 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0266 e5fc | | Load 0x2,-0x4 0267 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0268 e603 | | Load 0x3,0x3 ; Debug Table 0xa.0xa = 0x268,0x7 0269 680b |h | Jump_Zero 0x275 026a e5fc | | Load 0x2,-0x4 ; Debug Table 0xa.0xb = 0x26a,0x8 026b 00d8 | | Load_Top At_Offset_0 026c 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 026d 00d8 | | Load_Top At_Offset_0 026e e605 | | Load 0x3,0x5 026f 00d9 | | Load_Top At_Offset_1 0270 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 0271 00d1 | | Pop_Control Pop_Count_1 0272 00d0 | | Action Swap_Control 0273 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 0274 780b |x | Jump 0x280 0275 4800 |H | Short_Literal 0x0 ; Debug Table 0xa.0xc = 0x275,0x9 0276 e001 | | Load 0x0,0x1 0277 1b34 | 4 | Execute Package,Field_Read,Field_Number 0x34 0278 1c08 | | Execute_Immediate Run_Utility,0x8 0279 e7ff | | Load 0x3,-0x1 027a 00eb | | Load_Encached Diana_Cache 027b 18c7 | | Execute Package,Field_Execute,Field_Number 0xc7 027c 00d9 | | Load_Top At_Offset_1 027d 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 027e e5fc | | Load 0x2,-0x4 027f 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 0280 e602 | | Load 0x3,0x2 ; Debug Table 0xa.0xd = 0x280,0xa 0281 e603 | | Load 0x3,0x3 0282 0279 | y | Execute Discrete,And 0283 6816 |h | Jump_Zero 0x29a 0284 e5ff | | Load 0x2,-0x1 ; Debug Table 0xa.0xe = 0x284,0xb 0285 8008 | | Call 0x0,0x8 0286 6806 |h | Jump_Zero 0x28d 0287 e5ff | | Load 0x2,-0x1 ; Debug Table 0xa.0xf = 0x287,0xc 0288 8006 | | Call 0x0,0x6 0289 6802 |h | Jump_Zero 0x28c 028a 8606 | | Call 0x3,0x6 ; Debug Table 0xa.0x10 = 0x28a,0xd 028b 7801 |x | Jump 0x28d 028c 8607 | | Call 0x3,0x7 ; Debug Table 0xa.0x11 = 0x28c,0xe 028d 00da | | Load_Top At_Offset_2 ; Debug Table 0xa.0x12 = 0x28d,0xf 028e e604 | | Load 0x3,0x4 028f e5fe | | Load 0x2,-0x2 0290 00e4 | | Load_Encached Positive_Cache 0291 025b | [ | Execute Discrete,Check_In_Type 0292 e5fd | | Load 0x2,-0x3 0293 e001 | | Load 0x0,0x1 0294 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0295 0119 | | Execute Any,Check_In_Formal_Type 0296 e001 | | Load 0x0,0x1 0297 1820 | | Execute Package,Field_Execute,Field_Number 0x20 0298 6801 |h | Jump_Zero 0x29a 0299 4502 |E | Exit_Suprogram New_Top_Offset 0x2 ; Debug Table 0xa.0x13 = 0x299,0x10 029a 4801 |H | Short_Literal 0x1 ; Debug Table 0xa.0x14 = 0x29a,0x11 029b e5fc | | Load 0x2,-0x4 029c 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 029d 4502 |E | Exit_Suprogram New_Top_Offset 0x2 029e 0000 0000 | | .XXX[0x2] 02a0 ; -------------------------------------------------------------------------------------- 02a0 ; SUBPROGRAM 02a0 ; -------------------------------------------------------------------------------------- 02a0 02af | | .CONST 0x02af ; Address of begin 02a1 0004 | | .CONST 0x0004 ; Address of exception handler 02a2 0003 | | .CONST 0x0003 ; Number of locals 02a3 INIT_02a0: 02a3 00e2 | | Load_Encached Integer_Cache ; Debug Table 0xb = .DEBUG 0x02a3,0x0752,0x0001,0x0000,0x0057,0x28a5,0x0000,0x023d ; Debug Table 0xb.0x0 = 0x2a3,0xffff 02a4 00db | | Load_Top At_Offset_3 ; Debug Table 0xb.0x1 = 0x2a4,0xfffe 02a5 00eb | | Load_Encached Diana_Cache 02a6 1888 | | Execute Package,Field_Execute,Field_Number 0x88 02a7 4975 |Iu | Short_Literal 0x175 02a8 00eb | | Load_Encached Diana_Cache 02a9 0098 | | Execute Package,Field_Read_Dynamic 02aa 1813 | | Execute Package,Field_Execute,Field_Number 0x13 02ab 0aff | | Execute_Immediate Plus,-0x1 02ac 0248 | H | Execute Discrete,Check_In_Integer 02ad 00e2 | | Load_Encached Integer_Cache 02ae 03f1 | | Declare_Variable Discrete,With_Value 02af BODY_02a0: 02af e003 | | Load 0x0,0x3 ; Debug Table 0xb.0x2 = 0x2af,0x1 02b0 6804 |h | Jump_Zero 0x2b5 02b1 0092 055d | ]| Action Push_String_Extended,0x55d ; "Do enum bounds" ; Debug Table 0xb.0x3 = 0x2b1,0x2 02b3 e001 | | Load 0x0,0x1 02b4 1816 | | Execute Package,Field_Execute,Field_Number 0x16 02b5 e5fc | | Load 0x2,-0x4 ; Debug Table 0xb.0x4 = 0x2b5,0x3 02b6 00d8 | | Load_Top At_Offset_0 02b7 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 02b8 00d8 | | Load_Top At_Offset_0 02b9 e009 | | Load 0x0,0x9 02ba 00d9 | | Load_Top At_Offset_1 02bb 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 02bc 00d1 | | Pop_Control Pop_Count_1 02bd 00d0 | | Action Swap_Control 02be 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 02bf e5ff | | Load 0x2,-0x1 ; Debug Table 0xb.0x5 = 0x2bf,0x4 02c0 8006 | | Call 0x0,0x6 02c1 6837 |h7 | Jump_Zero 0x2f9 02c2 e5ff | | Load 0x2,-0x1 ; Debug Table 0xb.0x6 = 0x2c2,0x5 02c3 820f | | Call 0x1,0xf 02c4 0aff | | Execute_Immediate Plus,-0x1 02c5 0248 | H | Execute Discrete,Check_In_Integer 02c6 0052 | R | Store_Top_Unchecked Discrete,At_Offset_2 02c7 e5ff | | Load 0x2,-0x1 ; Debug Table 0xb.0x7 = 0x2c7,0x6 02c8 8008 | | Call 0x0,0x8 02c9 6819 |h | Jump_Zero 0x2e3 02ca 00d9 | | Load_Top At_Offset_1 ; Debug Table 0xb.0x8 = 0x2ca,0x7 02cb 0aff | | Execute_Immediate Plus,-0x1 02cc 00d9 | | Load_Top At_Offset_1 02cd 027d | } | Execute Discrete,Greater 02ce 682a |h* | Jump_Zero 0x2f9 02cf 4801 |H | Short_Literal 0x1 ; Debug Table 0xb.0x9 = 0x2cf,0x8 02d0 a7fe | | Store_Unchecked 0x3,-0x2 02d1 4801 |H | Short_Literal 0x1 ; Debug Table 0xb.0xa = 0x2d1,0x9 02d2 e5fc | | Load 0x2,-0x4 02d3 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 02d4 e5fc | | Load 0x2,-0x4 ; Debug Table 0xb.0xb = 0x2d4,0xa 02d5 00d8 | | Load_Top At_Offset_0 02d6 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 02d7 00d8 | | Load_Top At_Offset_0 02d8 e602 | | Load 0x3,0x2 02d9 0aff | | Execute_Immediate Plus,-0x1 02da 0248 | H | Execute Discrete,Check_In_Integer 02db e007 | | Load 0x0,0x7 02dc 1833 | 3 | Execute Package,Field_Execute,Field_Number 0x33 02dd 00d9 | | Load_Top At_Offset_1 02de 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 02df 00d1 | | Pop_Control Pop_Count_1 02e0 00d0 | | Action Swap_Control 02e1 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 02e2 7816 |x | Jump 0x2f9 02e3 00d9 | | Load_Top At_Offset_1 ; Debug Table 0xb.0xc = 0x2e3,0xb 02e4 00d9 | | Load_Top At_Offset_1 02e5 027e | ~ | Execute Discrete,Not_Equal 02e6 6812 |h | Jump_Zero 0x2f9 02e7 4801 |H | Short_Literal 0x1 ; Debug Table 0xb.0xd = 0x2e7,0xc 02e8 a7fe | | Store_Unchecked 0x3,-0x2 02e9 4801 |H | Short_Literal 0x1 ; Debug Table 0xb.0xe = 0x2e9,0xd 02ea e5fc | | Load 0x2,-0x4 02eb 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 02ec e5fc | | Load 0x2,-0x4 ; Debug Table 0xb.0xf = 0x2ec,0xe 02ed 00d8 | | Load_Top At_Offset_0 02ee 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 02ef 00d8 | | Load_Top At_Offset_0 02f0 e602 | | Load 0x3,0x2 02f1 e007 | | Load 0x0,0x7 02f2 1833 | 3 | Execute Package,Field_Execute,Field_Number 0x33 02f3 00d9 | | Load_Top At_Offset_1 02f4 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 02f5 00d1 | | Pop_Control Pop_Count_1 02f6 00d0 | | Action Swap_Control 02f7 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 02f8 4502 |E | Exit_Suprogram New_Top_Offset 0x2 ; Debug Table 0xb.0x10 = 0x2f8,0xf 02f9 e5fc | | Load 0x2,-0x4 ; Debug Table 0xb.0x11 = 0x2f9,0x10 02fa 00d8 | | Load_Top At_Offset_0 02fb 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 02fc 00d8 | | Load_Top At_Offset_0 02fd 00db | | Load_Top At_Offset_3 02fe e007 | | Load 0x0,0x7 02ff 1833 | 3 | Execute Package,Field_Execute,Field_Number 0x33 0300 00d9 | | Load_Top At_Offset_1 0301 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 0302 00d1 | | Pop_Control Pop_Count_1 0303 00d0 | | Action Swap_Control 0304 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 0305 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0306 0000 0000 | | .XXX[0x2] 0308 ; -------------------------------------------------------------------------------------- 0308 ; SUBPROGRAM 0308 ; -------------------------------------------------------------------------------------- 0308 031c | | .CONST 0x031c ; Address of begin 0309 0004 | | .CONST 0x0004 ; Address of exception handler 030a 0006 | | .CONST 0x0006 ; Number of locals 030b INIT_0308: 030b 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0xc = .DEBUG 0x030b,0x0778,0x0001,0x0000,0x0057,0x28a5,0x0000,0x02de ; Debug Table 0xc.0x0 = 0x30b,0xffff 030c 00db | | Load_Top At_Offset_3 030d 00eb | | Load_Encached Diana_Cache 030e 18ba | | Execute Package,Field_Execute,Field_Number 0xba 030f 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0310 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0xc.0x1 = 0x310,0xfffe 0311 03e9 | | Declare_Variable Discrete,Duplicate 0312 e007 | | Load 0x0,0x7 ; Debug Table 0xc.0x2 = 0x312,0xfffd 0313 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0314 02c7 | | Declare_Variable Any 0315 00d8 | | Load_Top At_Offset_0 0316 1c00 | | Execute_Immediate Run_Utility,0x0 0317 e007 | | Load 0x0,0x7 0318 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0319 02c7 | | Declare_Variable Any 031a 00d8 | | Load_Top At_Offset_0 031b 1c00 | | Execute_Immediate Run_Utility,0x0 031c BODY_0308: 031c e003 | | Load 0x0,0x3 ; Debug Table 0xc.0x3 = 0x31c,0x1 031d 6804 |h | Jump_Zero 0x322 031e 0092 055e | ^| Action Push_String_Extended,0x55e ; "Do constrained bounds" ; Debug Table 0xc.0x4 = 0x31e,0x2 0320 e001 | | Load 0x0,0x1 0321 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0322 e602 | | Load 0x3,0x2 ; Debug Table 0xc.0x5 = 0x322,0x3 0323 00eb | | Load_Encached Diana_Cache 0324 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0325 700d |p | Jump_Nonzero 0x333 0326 4803 |H | Short_Literal 0x3 ; Debug Table 0xc.0x6 = 0x326,0x4 0327 e001 | | Load 0x0,0x1 0328 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 0329 1c08 | | Execute_Immediate Run_Utility,0x8 032a 4801 |H | Short_Literal 0x1 032b 00d9 | | Load_Top At_Offset_1 032c 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 032d e7ff | | Load 0x3,-0x1 032e 00d9 | | Load_Top At_Offset_1 032f 2a06 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x6 0330 e5fc | | Load 0x2,-0x4 0331 016d | m | Execute Variant_Record,Structure_Write 0332 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0333 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xc.0x7 = 0x333,0x5 0334 0120 | | Execute Any,Is_Value 0335 6803 |h | Jump_Zero 0x339 0336 e007 | | Load 0x0,0x7 0337 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0338 7801 |x | Jump 0x33a 0339 00d8 | | Load_Top At_Offset_0 033a 00da | | Load_Top At_Offset_2 033b 0120 | | Execute Any,Is_Value 033c 6803 |h | Jump_Zero 0x340 033d e007 | | Load 0x0,0x7 033e 1b0d | | Execute Package,Field_Read,Field_Number 0xd 033f 7801 |x | Jump 0x341 0340 00da | | Load_Top At_Offset_2 0341 00e1 | | Load_Encached Boolean_Cache 0342 00e1 | | Load_Encached Boolean_Cache 0343 e7ff | | Load 0x3,-0x1 0344 e001 | | Load 0x0,0x1 0345 1819 | | Execute Package,Field_Execute,Field_Number 0x19 0346 c603 | | Store 0x3,0x3 0347 c604 | | Store 0x3,0x4 0348 c605 | | Store 0x3,0x5 0349 c606 | | Store 0x3,0x6 034a 00db | | Load_Top At_Offset_3 ; Debug Table 0xc.0x8 = 0x34a,0x6 034b 00db | | Load_Top At_Offset_3 034c 0279 | y | Execute Discrete,And 034d 6823 |h# | Jump_Zero 0x371 034e e5fc | | Load 0x2,-0x4 ; Debug Table 0xc.0x9 = 0x34e,0x7 034f 00d8 | | Load_Top At_Offset_0 0350 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0351 00d8 | | Load_Top At_Offset_0 0352 e605 | | Load 0x3,0x5 0353 00d9 | | Load_Top At_Offset_1 0354 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 0355 00d1 | | Pop_Control Pop_Count_1 0356 00d0 | | Action Swap_Control 0357 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0358 e5fc | | Load 0x2,-0x4 ; Debug Table 0xc.0xa = 0x358,0x8 0359 00d8 | | Load_Top At_Offset_0 035a 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 035b 00d8 | | Load_Top At_Offset_0 035c 00db | | Load_Top At_Offset_3 035d 00d9 | | Load_Top At_Offset_1 035e 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 035f 00d1 | | Pop_Control Pop_Count_1 0360 00d0 | | Action Swap_Control 0361 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 0362 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xc.0xb = 0x362,0x9 0363 00da | | Load_Top At_Offset_2 0364 e5fe | | Load 0x2,-0x2 0365 00e4 | | Load_Encached Positive_Cache 0366 025b | [ | Execute Discrete,Check_In_Type 0367 e5fd | | Load 0x2,-0x3 0368 e001 | | Load 0x0,0x1 0369 1b12 | | Execute Package,Field_Read,Field_Number 0x12 036a 0119 | | Execute Any,Check_In_Formal_Type 036b e001 | | Load 0x0,0x1 036c 1820 | | Execute Package,Field_Execute,Field_Number 0x20 036d 0f00 | | Execute_Immediate Equal,0x0 036e e5fc | | Load 0x2,-0x4 036f 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 0370 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0371 4803 |H | Short_Literal 0x3 ; Debug Table 0xc.0xc = 0x371,0xa 0372 e001 | | Load 0x0,0x1 0373 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 0374 1c08 | | Execute_Immediate Run_Utility,0x8 0375 4801 |H | Short_Literal 0x1 0376 00d9 | | Load_Top At_Offset_1 0377 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 0378 e7ff | | Load 0x3,-0x1 0379 00d9 | | Load_Top At_Offset_1 037a 2a06 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x6 037b e5fc | | Load 0x2,-0x4 037c 016d | m | Execute Variant_Record,Structure_Write 037d 4502 |E | Exit_Suprogram New_Top_Offset 0x2 037e 0000 0000 | | .XXX[0x2] 0380 ; -------------------------------------------------------------------------------------- 0380 ; SUBPROGRAM 0380 ; -------------------------------------------------------------------------------------- 0380 038f | | .CONST 0x038f ; Address of begin 0381 0004 | | .CONST 0x0004 ; Address of exception handler 0382 0005 | | .CONST 0x0005 ; Number of locals 0383 INIT_0380: 0383 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0xd = .DEBUG 0x0383,0x0794,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0369 ; Debug Table 0xd.0x0 = 0x383,0xffff 0384 03e9 | | Declare_Variable Discrete,Duplicate 0385 e007 | | Load 0x0,0x7 ; Debug Table 0xd.0x1 = 0x385,0xfffe 0386 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0387 02c7 | | Declare_Variable Any 0388 00d8 | | Load_Top At_Offset_0 0389 1c00 | | Execute_Immediate Run_Utility,0x0 038a e007 | | Load 0x0,0x7 038b 1b0d | | Execute Package,Field_Read,Field_Number 0xd 038c 02c7 | | Declare_Variable Any 038d 00d8 | | Load_Top At_Offset_0 038e 1c00 | | Execute_Immediate Run_Utility,0x0 038f BODY_0380: 038f e003 | | Load 0x0,0x3 ; Debug Table 0xd.0x2 = 0x38f,0x1 0390 6804 |h | Jump_Zero 0x395 0391 0092 055f | _| Action Push_String_Extended,0x55f ; "Do range attr bounds" ; Debug Table 0xd.0x3 = 0x391,0x2 0393 e001 | | Load 0x0,0x1 0394 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0395 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xd.0x4 = 0x395,0x3 0396 0120 | | Execute Any,Is_Value 0397 6803 |h | Jump_Zero 0x39b 0398 e007 | | Load 0x0,0x7 0399 1b0d | | Execute Package,Field_Read,Field_Number 0xd 039a 7801 |x | Jump 0x39c 039b 00d8 | | Load_Top At_Offset_0 039c 00da | | Load_Top At_Offset_2 039d 0120 | | Execute Any,Is_Value 039e 6803 |h | Jump_Zero 0x3a2 039f e007 | | Load 0x0,0x7 03a0 1b0d | | Execute Package,Field_Read,Field_Number 0xd 03a1 7801 |x | Jump 0x3a3 03a2 00da | | Load_Top At_Offset_2 03a3 00e1 | | Load_Encached Boolean_Cache 03a4 00e1 | | Load_Encached Boolean_Cache 03a5 e7ff | | Load 0x3,-0x1 03a6 e001 | | Load 0x0,0x1 03a7 1819 | | Execute Package,Field_Execute,Field_Number 0x19 03a8 c602 | | Store 0x3,0x2 03a9 c603 | | Store 0x3,0x3 03aa c604 | | Store 0x3,0x4 03ab c605 | | Store 0x3,0x5 03ac 00db | | Load_Top At_Offset_3 ; Debug Table 0xd.0x5 = 0x3ac,0x4 03ad 00db | | Load_Top At_Offset_3 03ae 0279 | y | Execute Discrete,And 03af 6823 |h# | Jump_Zero 0x3d3 03b0 e5fc | | Load 0x2,-0x4 ; Debug Table 0xd.0x6 = 0x3b0,0x5 03b1 00d8 | | Load_Top At_Offset_0 03b2 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 03b3 00d8 | | Load_Top At_Offset_0 03b4 e604 | | Load 0x3,0x4 03b5 00d9 | | Load_Top At_Offset_1 03b6 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 03b7 00d1 | | Pop_Control Pop_Count_1 03b8 00d0 | | Action Swap_Control 03b9 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 03ba e5fc | | Load 0x2,-0x4 ; Debug Table 0xd.0x7 = 0x3ba,0x6 03bb 00d8 | | Load_Top At_Offset_0 03bc 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 03bd 00d8 | | Load_Top At_Offset_0 03be 00db | | Load_Top At_Offset_3 03bf 00d9 | | Load_Top At_Offset_1 03c0 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 03c1 00d1 | | Pop_Control Pop_Count_1 03c2 00d0 | | Action Swap_Control 03c3 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 03c4 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xd.0x8 = 0x3c4,0x7 03c5 00da | | Load_Top At_Offset_2 03c6 e5fe | | Load 0x2,-0x2 03c7 00e4 | | Load_Encached Positive_Cache 03c8 025b | [ | Execute Discrete,Check_In_Type 03c9 e5fd | | Load 0x2,-0x3 03ca e001 | | Load 0x0,0x1 03cb 1b12 | | Execute Package,Field_Read,Field_Number 0x12 03cc 0119 | | Execute Any,Check_In_Formal_Type 03cd e001 | | Load 0x0,0x1 03ce 1820 | | Execute Package,Field_Execute,Field_Number 0x20 03cf 0f00 | | Execute_Immediate Equal,0x0 03d0 e5fc | | Load 0x2,-0x4 03d1 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 03d2 4502 |E | Exit_Suprogram New_Top_Offset 0x2 03d3 e7ff | | Load 0x3,-0x1 ; Debug Table 0xd.0x9 = 0x3d3,0x8 03d4 e5fe | | Load 0x2,-0x2 03d5 00e4 | | Load_Encached Positive_Cache 03d6 025b | [ | Execute Discrete,Check_In_Type 03d7 e5fd | | Load 0x2,-0x3 03d8 e001 | | Load 0x0,0x1 03d9 1b12 | | Execute Package,Field_Read,Field_Number 0x12 03da 0119 | | Execute Any,Check_In_Formal_Type 03db e001 | | Load 0x0,0x1 03dc 1821 | ! | Execute Package,Field_Execute,Field_Number 0x21 03dd 680a |h | Jump_Zero 0x3e8 03de 4805 |H | Short_Literal 0x5 ; Debug Table 0xd.0xa = 0x3de,0x9 03df e001 | | Load 0x0,0x1 03e0 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 03e1 1c08 | | Execute_Immediate Run_Utility,0x8 03e2 4800 |H | Short_Literal 0x0 03e3 00d9 | | Load_Top At_Offset_1 03e4 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 03e5 e5fc | | Load 0x2,-0x4 03e6 016d | m | Execute Variant_Record,Structure_Write 03e7 4502 |E | Exit_Suprogram New_Top_Offset 0x2 03e8 4802 |H | Short_Literal 0x2 ; Debug Table 0xd.0xb = 0x3e8,0xa 03e9 e001 | | Load 0x0,0x1 03ea 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 03eb 1c08 | | Execute_Immediate Run_Utility,0x8 03ec 4801 |H | Short_Literal 0x1 03ed 00d9 | | Load_Top At_Offset_1 03ee 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 03ef e7ff | | Load 0x3,-0x1 03f0 00d9 | | Load_Top At_Offset_1 03f1 2a06 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x6 03f2 e5fc | | Load 0x2,-0x4 03f3 016d | m | Execute Variant_Record,Structure_Write 03f4 4502 |E | Exit_Suprogram New_Top_Offset 0x2 03f5 0000 0000 | | .XXX[0x3] 03f7 0000 | | 03f8 ; -------------------------------------------------------------------------------------- 03f8 ; SUBPROGRAM 03f8 ; -------------------------------------------------------------------------------------- 03f8 0401 | | .CONST 0x0401 ; Address of begin 03f9 0004 | | .CONST 0x0004 ; Address of exception handler 03fa 0003 | | .CONST 0x0003 ; Number of locals 03fb INIT_03f8: 03fb 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0xe = .DEBUG 0x03fb,0x07ae,0x0001,0x0000,0x0057,0x28a5,0x0000,0x03e0 ; Debug Table 0xe.0x0 = 0x3fb,0xffff 03fc e007 | | Load 0x0,0x7 ; Debug Table 0xe.0x1 = 0x3fc,0xfffe 03fd 1b0d | | Execute Package,Field_Read,Field_Number 0xd 03fe 02c7 | | Declare_Variable Any 03ff 00d8 | | Load_Top At_Offset_0 0400 1c00 | | Execute_Immediate Run_Utility,0x0 0401 BODY_03f8: 0401 e003 | | Load 0x0,0x3 ; Debug Table 0xe.0x2 = 0x401,0x1 0402 6804 |h | Jump_Zero 0x407 0403 0092 0560 | `| Action Push_String_Extended,0x560 ; "Do single choice bounds" ; Debug Table 0xe.0x3 = 0x403,0x2 0405 e001 | | Load 0x0,0x1 0406 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0407 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xe.0x4 = 0x407,0x3 0408 0120 | | Execute Any,Is_Value 0409 6803 |h | Jump_Zero 0x40d 040a e007 | | Load 0x0,0x7 040b 1b0d | | Execute Package,Field_Read,Field_Number 0xd 040c 7801 |x | Jump 0x40e 040d 00d8 | | Load_Top At_Offset_0 040e 00e1 | | Load_Encached Boolean_Cache 040f e7ff | | Load 0x3,-0x1 0410 e001 | | Load 0x0,0x1 0411 181a | | Execute Package,Field_Execute,Field_Number 0x1a 0412 005b | [ | Store_Top Discrete,At_Offset_3 0413 c603 | | Store 0x3,0x3 0414 00d9 | | Load_Top At_Offset_1 ; Debug Table 0xe.0x5 = 0x414,0x4 0415 6823 |h# | Jump_Zero 0x439 0416 e5fc | | Load 0x2,-0x4 ; Debug Table 0xe.0x6 = 0x416,0x5 0417 00d8 | | Load_Top At_Offset_0 0418 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0419 00d8 | | Load_Top At_Offset_0 041a 00db | | Load_Top At_Offset_3 041b 00d9 | | Load_Top At_Offset_1 041c 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 041d 00d1 | | Pop_Control Pop_Count_1 041e 00d0 | | Action Swap_Control 041f 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0420 e5fc | | Load 0x2,-0x4 ; Debug Table 0xe.0x7 = 0x420,0x6 0421 00d8 | | Load_Top At_Offset_0 0422 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 0423 00d8 | | Load_Top At_Offset_0 0424 00db | | Load_Top At_Offset_3 0425 00d9 | | Load_Top At_Offset_1 0426 2a02 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x2 0427 00d1 | | Pop_Control Pop_Count_1 0428 00d0 | | Action Swap_Control 0429 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 042a 00d8 | | Load_Top At_Offset_0 ; Debug Table 0xe.0x8 = 0x42a,0x7 042b 00d9 | | Load_Top At_Offset_1 042c e5fe | | Load 0x2,-0x2 042d 00e4 | | Load_Encached Positive_Cache 042e 025b | [ | Execute Discrete,Check_In_Type 042f e5fd | | Load 0x2,-0x3 0430 e001 | | Load 0x0,0x1 0431 1b12 | | Execute Package,Field_Read,Field_Number 0x12 0432 0119 | | Execute Any,Check_In_Formal_Type 0433 e001 | | Load 0x0,0x1 0434 1820 | | Execute Package,Field_Execute,Field_Number 0x20 0435 0f00 | | Execute_Immediate Equal,0x0 0436 e5fc | | Load 0x2,-0x4 0437 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 0438 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0439 4801 |H | Short_Literal 0x1 ; Debug Table 0xe.0x9 = 0x439,0x8 043a e001 | | Load 0x0,0x1 043b 1b36 | 6 | Execute Package,Field_Read,Field_Number 0x36 043c 1c08 | | Execute_Immediate Run_Utility,0x8 043d 4801 |H | Short_Literal 0x1 043e 00d9 | | Load_Top At_Offset_1 043f 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 0440 4800 |H | Short_Literal 0x0 0441 e001 | | Load 0x0,0x1 0442 1b34 | 4 | Execute Package,Field_Read,Field_Number 0x34 0443 1c08 | | Execute_Immediate Run_Utility,0x8 0444 e7ff | | Load 0x3,-0x1 0445 00d9 | | Load_Top At_Offset_1 0446 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0447 00d9 | | Load_Top At_Offset_1 0448 2a05 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x5 0449 e5fc | | Load 0x2,-0x4 044a 016d | m | Execute Variant_Record,Structure_Write 044b 4502 |E | Exit_Suprogram New_Top_Offset 0x2 044c 0000 0000 | | .BLANK 0000[0x4] 0450 ; -------------------------------------------------------------------------------------- 0450 ; SUBPROGRAM 0450 ; -------------------------------------------------------------------------------------- 0450 0455 | U | .CONST 0x0455 ; Address of begin 0451 0004 | | .CONST 0x0004 ; Address of exception handler 0452 0002 | | .CONST 0x0002 ; Number of locals 0453 INIT_0450: 0453 029f 050b | | Declare_Subprogram INIT_0508,For_Call ; Debug Table 0xf = .DEBUG 0x0453,0x07c4,0x0002,0x0000,0x0057,0x28a5,0x0000,0x053f ; Debug Table 0xf.0x0 = 0x453,0xffff 0455 BODY_0450: 0455 e7fe | | Load 0x3,-0x2 ; Debug Table 0xf.0x1 = 0x455,0x1 0456 2603 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x3 0457 e7ff | | Load 0x3,-0x1 0458 2603 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x3 0459 8602 | | Call 0x3,0x2 045a 6806 |h | Jump_Zero 0x461 045b e7fe | | Load 0x3,-0x2 045c 2604 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x4 045d e7ff | | Load 0x3,-0x1 045e 2604 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x4 045f 8602 | | Call 0x3,0x2 0460 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0461 4800 |H | Short_Literal 0x0 0462 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0463 0000 0000 | | .BLANK 0000[0x5] 0468 ; -------------------------------------------------------------------------------------- 0468 ; SUBPROGRAM 0468 ; -------------------------------------------------------------------------------------- 0468 047e | ~ | .CONST 0x047e ; Address of begin 0469 0004 | | .CONST 0x0004 ; Address of exception handler 046a 0003 | | .CONST 0x0003 ; Number of locals 046b INIT_0468: 046b e604 | | Load 0x3,0x4 ; Debug Table 0x10 = .DEBUG 0x046b,0x07ca,0x0001,0x0000,0x0057,0x28a5,0x0000,0x00b6 ; Debug Table 0x10.0x0 = 0x46b,0xffff 046c e00a | | Load 0x0,0xa 046d e605 | | Load 0x3,0x5 046e e007 | | Load 0x0,0x7 046f 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0470 e007 | | Load 0x0,0x7 0471 1817 | | Execute Package,Field_Execute,Field_Number 0x17 0472 e007 | | Load 0x0,0x7 0473 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0474 011e | | Execute Any,Convert 0475 e5ff | | Load 0x2,-0x1 ; Debug Table 0x10.0x1 = 0x475,0xfffe 0476 820f | | Call 0x1,0xf 0477 0aff | | Execute_Immediate Plus,-0x1 0478 0248 | H | Execute Discrete,Check_In_Integer 0479 e007 | | Load 0x0,0x7 047a 1833 | 3 | Execute Package,Field_Execute,Field_Number 0x33 047b e007 | | Load 0x0,0x7 047c 1b0d | | Execute Package,Field_Read,Field_Number 0xd 047d 011e | | Execute Any,Convert 047e BODY_0468: 047e 00d9 | | Load_Top At_Offset_1 ; Debug Table 0x10.0x2 = 0x47e,0x1 047f 00d9 | | Load_Top At_Offset_1 0480 e007 | | Load 0x0,0x7 0481 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0482 6802 |h | Jump_Zero 0x485 0483 4801 |H | Short_Literal 0x1 ; Debug Table 0x10.0x3 = 0x483,0x2 0484 a7fe | | Store_Unchecked 0x3,-0x2 0485 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0486 0000 0000 | | .XXX[0x2] 0488 ; -------------------------------------------------------------------------------------- 0488 ; SUBPROGRAM 0488 ; -------------------------------------------------------------------------------------- 0488 04a0 | | .CONST 0x04a0 ; Address of begin 0489 0004 | | .CONST 0x0004 ; Address of exception handler 048a 0009 | | .CONST 0x0009 ; Number of locals 048b INIT_0488: 048b 00ee | | Load_Encached Diana_Seq_Type_Cache ; Debug Table 0x11 = .DEBUG 0x048b,0x07d4,0x0001,0x0000,0x0057,0x28a5,0x0000,0x00ed ; Debug Table 0x11.0x0 = 0x48b,0xffff 048c e5ff | | Load 0x2,-0x1 048d 00eb | | Load_Encached Diana_Cache 048e 1888 | | Execute Package,Field_Execute,Field_Number 0x88 048f 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0490 00ee | | Load_Encached Diana_Seq_Type_Cache ; Debug Table 0x11.0x1 = 0x490,0xfffe 0491 00ec | | Load_Encached Diana_Tree_Cache ; Debug Table 0x11.0x2 = 0x491,0xfffd 0492 00e1 | | Load_Encached Boolean_Cache ; Debug Table 0x11.0x3 = 0x492,0xfffc 0493 03e9 | | Declare_Variable Discrete,Duplicate 0494 e007 | | Load 0x0,0x7 ; Debug Table 0x11.0x4 = 0x494,0xfffb 0495 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0496 02c7 | | Declare_Variable Any 0497 00d8 | | Load_Top At_Offset_0 0498 1c00 | | Execute_Immediate Run_Utility,0x0 0499 e007 | | Load 0x0,0x7 049a 1b0d | | Execute Package,Field_Read,Field_Number 0xd 049b 02c7 | | Declare_Variable Any 049c 00d8 | | Load_Top At_Offset_0 049d 1c00 | | Execute_Immediate Run_Utility,0x0 049e 029f 054b | K| Declare_Subprogram INIT_0548,For_Call ; Debug Table 0x11.0x5 = 0x49e,0xfffa 04a0 BODY_0488: 04a0 00cf | | Action Mark_Auxiliary 04a1 785d |x] | Jump 0x4ff 04a2 e802 | | Load 0x4,0x2 ; Debug Table 0x11.0x6 = 0x4a2,0x2 04a3 00eb | | Load_Encached Diana_Cache 04a4 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 04a5 00eb | | Load_Encached Diana_Cache 04a6 18b7 | | Execute Package,Field_Execute,Field_Number 0xb7 04a7 00eb | | Load_Encached Diana_Cache 04a8 1888 | | Execute Package,Field_Execute,Field_Number 0x88 04a9 a803 | | Store_Unchecked 0x4,0x3 04aa 00cf | | Action Mark_Auxiliary 04ab 7849 |xI | Jump 0x4f5 04ac e803 | | Load 0x4,0x3 ; Debug Table 0x11.0x7 = 0x4ac,0x4 04ad 00eb | | Load_Encached Diana_Cache 04ae 1859 | Y | Execute Package,Field_Execute,Field_Number 0x59 04af a804 | | Store_Unchecked 0x4,0x4 04b0 e804 | | Load 0x4,0x4 ; Debug Table 0x11.0x8 = 0x4b0,0x5 04b1 00eb | | Load_Encached Diana_Cache 04b2 1814 | | Execute Package,Field_Execute,Field_Number 0x14 04b3 0b61 | a | Execute_Immediate Case_Compare,0x61 04b4 7018 |p | Jump_Nonzero 0x4cd 04b5 0b66 | f | Execute_Immediate Case_Compare,0x66 04b6 7016 |p | Jump_Nonzero 0x4cd 04b7 0ba4 | | Execute_Immediate Case_Compare,0xa4 04b8 7034 |p4 | Jump_Nonzero 0x4ed 04b9 e804 | | Load 0x4,0x4 ; Debug Table 0x11.0x9 = 0x4b9,0xb 04ba e001 | | Load 0x0,0x1 04bb 1818 | | Execute Package,Field_Execute,Field_Number 0x18 04bc 7032 |p2 | Jump_Nonzero 0x4ef 04bd e807 | | Load 0x4,0x7 ; Debug Table 0x11.0xa = 0x4bd,0xc 04be 0120 | | Execute Any,Is_Value 04bf 6803 |h | Jump_Zero 0x4c3 04c0 e007 | | Load 0x0,0x7 04c1 1b0d | | Execute Package,Field_Read,Field_Number 0xd 04c2 7801 |x | Jump 0x4c4 04c3 e807 | | Load 0x4,0x7 04c4 00e1 | | Load_Encached Boolean_Cache 04c5 e804 | | Load 0x4,0x4 04c6 e001 | | Load 0x0,0x1 04c7 181a | | Execute Package,Field_Execute,Field_Number 0x1a 04c8 c805 | | Store 0x4,0x5 04c9 c807 | | Store 0x4,0x7 04ca e807 | | Load 0x4,0x7 ; Debug Table 0x11.0xb = 0x4ca,0xd 04cb 8809 | | Call 0x4,0x9 04cc 7822 |x" | Jump 0x4ef 04cd e808 | | Load 0x4,0x8 ; Debug Table 0x11.0xc = 0x4cd,0x6 04ce 0120 | | Execute Any,Is_Value 04cf 6803 |h | Jump_Zero 0x4d3 04d0 e007 | | Load 0x0,0x7 04d1 1b0d | | Execute Package,Field_Read,Field_Number 0xd 04d2 7801 |x | Jump 0x4d4 04d3 e808 | | Load 0x4,0x8 04d4 e807 | | Load 0x4,0x7 04d5 0120 | | Execute Any,Is_Value 04d6 6803 |h | Jump_Zero 0x4da 04d7 e007 | | Load 0x0,0x7 04d8 1b0d | | Execute Package,Field_Read,Field_Number 0xd 04d9 7801 |x | Jump 0x4db 04da e807 | | Load 0x4,0x7 04db 00e1 | | Load_Encached Boolean_Cache 04dc 00e1 | | Load_Encached Boolean_Cache 04dd e804 | | Load 0x4,0x4 04de e001 | | Load 0x0,0x1 04df 1819 | | Execute Package,Field_Execute,Field_Number 0x19 04e0 c805 | | Store 0x4,0x5 04e1 c806 | | Store 0x4,0x6 04e2 c807 | | Store 0x4,0x7 04e3 c808 | | Store 0x4,0x8 04e4 e805 | | Load 0x4,0x5 ; Debug Table 0x11.0xd = 0x4e4,0x7 04e5 e806 | | Load 0x4,0x6 04e6 0279 | y | Execute Discrete,And 04e7 6807 |h | Jump_Zero 0x4ef 04e8 e807 | | Load 0x4,0x7 ; Debug Table 0x11.0xe = 0x4e8,0x8 04e9 8809 | | Call 0x4,0x9 04ea e808 | | Load 0x4,0x8 ; Debug Table 0x11.0xf = 0x4ea,0x9 04eb 8809 | | Call 0x4,0x9 04ec 7802 |x | Jump 0x4ef 04ed 00d1 | | Pop_Control Pop_Count_1 ; Debug Table 0x11.0x10 = 0x4ed,0xa 04ee 780a |x | Jump 0x4f9 04ef 00d1 | | Pop_Control Pop_Count_1 04f0 e803 | | Load 0x4,0x3 ; Debug Table 0x11.0x11 = 0x4f0,0xe 04f1 00eb | | Load_Encached Diana_Cache 04f2 185a | Z | Execute Package,Field_Execute,Field_Number 0x5a 04f3 a803 | | Store_Unchecked 0x4,0x3 04f4 00c9 | | Action Pop_Auxiliary_Loop 04f5 e803 | | Load 0x4,0x3 ; Debug Table 0x11.0x12 = 0x4f5,0x3 04f6 00eb | | Load_Encached Diana_Cache 04f7 1858 | X | Execute Package,Field_Execute,Field_Number 0x58 04f8 6fb3 |o | Jump_Zero 0x4ac 04f9 00ce | | Action Pop_Auxiliary 04fa e802 | | Load 0x4,0x2 ; Debug Table 0x11.0x13 = 0x4fa,0xf 04fb 00eb | | Load_Encached Diana_Cache 04fc 185a | Z | Execute Package,Field_Execute,Field_Number 0x5a 04fd a802 | | Store_Unchecked 0x4,0x2 04fe 00c9 | | Action Pop_Auxiliary_Loop 04ff e802 | | Load 0x4,0x2 ; Debug Table 0x11.0x14 = 0x4ff,0x1 0500 00eb | | Load_Encached Diana_Cache 0501 1858 | X | Execute Package,Field_Execute,Field_Number 0x58 0502 6f9f |o | Jump_Zero 0x4a2 0503 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0504 0000 0000 | | .BLANK 0000[0x4] 0508 ; -------------------------------------------------------------------------------------- 0508 ; SUBPROGRAM 0508 ; -------------------------------------------------------------------------------------- 0508 050b | | .CONST 0x050b ; Address of begin 0509 0004 | | .CONST 0x0004 ; Address of exception handler 050a 0001 | | .CONST 0x0001 ; Number of locals 050b BODY_0508: 050b INIT_0508: 050b 00da | | Load_Top At_Offset_2 ; Debug Table 0x12 = .DEBUG 0x050b,0x0800,0x0002,0x0000,0x0057,0x28a5,0x0000,0x054b ; Debug Table 0x12.0x0 = 0x50b,0x1 050c 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 050d e9fe | | Load 0x4,-0x2 050e 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 050f 0279 | y | Execute Discrete,And 0510 680e |h | Jump_Zero 0x51f 0511 00da | | Load_Top At_Offset_2 ; Debug Table 0x12.0x1 = 0x511,0x2 0512 2e02 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x2 0513 e9fe | | Load 0x4,-0x2 0514 2e02 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x2 0515 012f | / | Execute Any,Equal 0516 7006 |p | Jump_Nonzero 0x51d 0517 e5fb | | Load 0x2,-0x5 ; Debug Table 0x12.0x2 = 0x517,0x3 0518 e001 | | Load 0x0,0x1 0519 1827 | ' | Execute Package,Field_Execute,Field_Number 0x27 051a c5fb | | Store 0x2,-0x5 051b 4800 |H | Short_Literal 0x0 ; Debug Table 0x12.0x3 = 0x51b,0x4 051c 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 051d 4801 |H | Short_Literal 0x1 ; Debug Table 0x12.0x4 = 0x51d,0x5 051e 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 051f 00da | | Load_Top At_Offset_2 ; Debug Table 0x12.0x5 = 0x51f,0x6 0520 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 0521 e9fe | | Load 0x4,-0x2 0522 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1 0523 0278 | x | Execute Discrete,Or 0524 701c |p | Jump_Nonzero 0x541 0525 00da | | Load_Top At_Offset_2 ; Debug Table 0x12.0x6 = 0x525,0x7 0526 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0527 00eb | | Load_Encached Diana_Cache 0528 1814 | | Execute Package,Field_Execute,Field_Number 0x14 0529 0f16 | | Execute_Immediate Equal,0x16 052a 6814 |h | Jump_Zero 0x53f 052b 00db | | Load_Top At_Offset_3 052c 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 052d 00eb | | Load_Encached Diana_Cache 052e 1814 | | Execute Package,Field_Execute,Field_Number 0x14 052f 0f16 | | Execute_Immediate Equal,0x16 0530 680e |h | Jump_Zero 0x53f 0531 00da | | Load_Top At_Offset_2 0532 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0533 4976 |Iv | Short_Literal 0x176 0534 00eb | | Load_Encached Diana_Cache 0535 0098 | | Execute Package,Field_Read_Dynamic 0536 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0537 e9fe | | Load 0x4,-0x2 0538 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0539 4976 |Iv | Short_Literal 0x176 053a 00eb | | Load_Encached Diana_Cache 053b 0098 | | Execute Package,Field_Read_Dynamic 053c 1813 | | Execute Package,Field_Execute,Field_Number 0x13 053d 021f | | Execute Heap_Access,Equal 053e 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 053f 4800 |H | Short_Literal 0x0 0540 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0541 4800 |H | Short_Literal 0x0 ; Debug Table 0x12.0x7 = 0x541,0x8 0542 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0543 0000 0000 | | .BLANK 0000[0x5] 0548 ; -------------------------------------------------------------------------------------- 0548 ; SUBPROGRAM 0548 ; -------------------------------------------------------------------------------------- 0548 054b | K | .CONST 0x054b ; Address of begin 0549 0004 | | .CONST 0x0004 ; Address of exception handler 054a 0001 | | .CONST 0x0001 ; Number of locals 054b BODY_0548: 054b INIT_0548: 054b 00da | | Load_Top At_Offset_2 ; Debug Table 0x13 = .DEBUG 0x054b,0x0812,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0119 ; Debug Table 0x13.0x0 = 0x54b,0x1 054c e604 | | Load 0x3,0x4 054d e007 | | Load 0x0,0x7 054e 1811 | | Execute Package,Field_Execute,Field_Number 0x11 054f 7005 |p | Jump_Nonzero 0x555 0550 e605 | | Load 0x3,0x5 0551 00db | | Load_Top At_Offset_3 0552 e007 | | Load 0x0,0x7 0553 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0554 6802 |h | Jump_Zero 0x557 0555 4801 |H | Short_Literal 0x1 ; Debug Table 0x13.0x1 = 0x555,0x2 0556 a7fe | | Store_Unchecked 0x3,-0x2 0557 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0558 ; -------------------------------------------------------------------------------------- 0558 ; STRING TABLE 0558 ; -------------------------------------------------------------------------------------- 0558 0014 | | .STRTAB 0x0014->0x0562 ; "Analyze index bounds" 0559 0026 | & | .STRTAB 0x0026->0x056c ; "Check bounds" 055a 0030 | 0 | .STRTAB 0x0030->0x0572 ; "Check tail bounds" 055b 003f | ? | .STRTAB 0x003f->0x057a ; "Do bounds from type" 055c 0050 | P | .STRTAB 0x0050->0x0584 ; "Do range bounds" 055d 005d | ] | .STRTAB 0x005d->0x058b ; "Do enum bounds" 055e 0069 | i | .STRTAB 0x0069->0x0592 ; "Do constrained bounds" 055f 007c | | | .STRTAB 0x007c->0x059d ; "Do range attr bounds" 0560 008e | | .STRTAB 0x008e->0x05a7 ; "Do single choice bounds" 0561 00a3 | | .STREND 0x00a3->0x05b2 0562 416e 616c |Anal| .STRTAB_STRINGS 05b3 0000 0000 | | .BLANK 0000[0x5] 05b8 ; -------------------------------------------------------------------------------------- 05b8 ; Debug Table 05b8 ; -------------------------------------------------------------------------------------- 05b8 0003 0014 | | .CONST 0x0003,0x0014 05ba 000b 065a | Z| .DEBUG 0x000b,0x065a,0x0000,0x0000,0x0057,0x2645,0x0000,0x009a 05c2 0010 0660 | `| .DEBUG 0x0010,0x0660,0x0000,0x0000,0x0057,0x28a5,0x0000,0x0004 05ca 0023 0670 | # p| .DEBUG 0x0023,0x0670,0x0001,0x0000,0x0057,0x2645,0x0000,0x009b 05d2 0053 0680 | S | .DEBUG 0x0053,0x0680,0x0001,0x0000,0x0057,0x2645,0x0000,0x00b1 05da 0063 0684 | c | .DEBUG 0x0063,0x0684,0x0002,0x0000,0x0057,0x28a5,0x0000,0x0005 05e2 0083 068c | | .DEBUG 0x0083,0x068c,0x0001,0x0000,0x0057,0x28a5,0x0000,0x003f 05ea 00db 06b2 | | .DEBUG 0x00db,0x06b2,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0515 05f2 016b 06e0 | k | .DEBUG 0x016b,0x06e0,0x0001,0x0000,0x0057,0x28a5,0x0000,0x068b 05fa 01ab 06fa | | .DEBUG 0x01ab,0x06fa,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0701 0602 01fb 071a | | .DEBUG 0x01fb,0x071a,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0065 060a 0223 0726 | # &| .DEBUG 0x0223,0x0726,0x0001,0x0000,0x0057,0x28a5,0x0000,0x009b 0612 02a3 0752 | R| .DEBUG 0x02a3,0x0752,0x0001,0x0000,0x0057,0x28a5,0x0000,0x023d 061a 030b 0778 | x| .DEBUG 0x030b,0x0778,0x0001,0x0000,0x0057,0x28a5,0x0000,0x02de 0622 0383 0794 | | .DEBUG 0x0383,0x0794,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0369 062a 03fb 07ae | | .DEBUG 0x03fb,0x07ae,0x0001,0x0000,0x0057,0x28a5,0x0000,0x03e0 0632 0453 07c4 | S | .DEBUG 0x0453,0x07c4,0x0002,0x0000,0x0057,0x28a5,0x0000,0x053f 063a 046b 07ca | k | .DEBUG 0x046b,0x07ca,0x0001,0x0000,0x0057,0x28a5,0x0000,0x00b6 0642 048b 07d4 | | .DEBUG 0x048b,0x07d4,0x0001,0x0000,0x0057,0x28a5,0x0000,0x00ed 064a 050b 0800 | | .DEBUG 0x050b,0x0800,0x0002,0x0000,0x0057,0x28a5,0x0000,0x054b 0652 054b 0812 | K | .DEBUG 0x054b,0x0812,0x0001,0x0000,0x0057,0x28a5,0x0000,0x0119 065a ; -------------------------------------------------------------------------------------- 065a ; Debug3 Subtable 0x0 065a ; -------------------------------------------------------------------------------------- 065a 0002 0000 | | .DBG3TAB 0x0002,0x0000 065c 000b ffff | | .CONST 0x000b,0xffff 065e 000d fffe | | .CONST 0x000d,0xfffe 0660 ; -------------------------------------------------------------------------------------- 0660 ; Debug3 Subtable 0x1 0660 ; -------------------------------------------------------------------------------------- 0660 0007 0000 | | .DBG3TAB 0x0007,0x0000 0662 0010 ffff | | .CONST 0x0010,0xffff 0664 0012 fffe | | .CONST 0x0012,0xfffe 0666 0014 fffd | | .CONST 0x0014,0xfffd 0668 0016 fffc | | .CONST 0x0016,0xfffc 066a 0018 fffb | | .CONST 0x0018,0xfffb 066c 001a fffa | | .CONST 0x001a,0xfffa 066e 001c fff9 | | .CONST 0x001c,0xfff9 0670 ; -------------------------------------------------------------------------------------- 0670 ; Debug3 Subtable 0x2 0670 ; -------------------------------------------------------------------------------------- 0670 0002 0005 | | .DBG3TAB 0x0002,0x0005 0672 0023 ffff | # | .CONST 0x0023,0xffff 0674 0026 fffe | & | .CONST 0x0026,0xfffe 0676 0029 0001 | ) | .CONST 0x0029,0x0001 0678 002d 0002 | - | .CONST 0x002d,0x0002 067a 003c 0003 | < | .CONST 0x003c,0x0003 067c 0043 0004 | C | .CONST 0x0043,0x0004 067e 004d 0005 | M | .CONST 0x004d,0x0005 0680 ; -------------------------------------------------------------------------------------- 0680 ; Debug3 Subtable 0x3 0680 ; -------------------------------------------------------------------------------------- 0680 0000 0001 | | .DBG3TAB 0x0000,0x0001 0682 0053 0001 | S | .CONST 0x0053,0x0001 0684 ; -------------------------------------------------------------------------------------- 0684 ; Debug3 Subtable 0x4 0684 ; -------------------------------------------------------------------------------------- 0684 0000 0003 | | .DBG3TAB 0x0000,0x0003 0686 0063 0001 | c | .CONST 0x0063,0x0001 0688 0068 0002 | h | .CONST 0x0068,0x0002 068a 0071 0003 | q | .CONST 0x0071,0x0003 068c ; -------------------------------------------------------------------------------------- 068c ; Debug3 Subtable 0x5 068c ; -------------------------------------------------------------------------------------- 068c 0007 000b | | .DBG3TAB 0x0007,0x000b 068e 0083 ffff | | .CONST 0x0083,0xffff 0690 0088 fffe | | .CONST 0x0088,0xfffe 0692 008a fffd | | .CONST 0x008a,0xfffd 0694 008c fffc | | .CONST 0x008c,0xfffc 0696 008e fffb | | .CONST 0x008e,0xfffb 0698 0090 fffa | | .CONST 0x0090,0xfffa 069a 0092 fff9 | | .CONST 0x0092,0xfff9 069c 0094 0001 | | .CONST 0x0094,0x0001 069e 0096 0002 | | .CONST 0x0096,0x0002 06a0 009a 0003 | | .CONST 0x009a,0x0003 06a2 00b1 0004 | | .CONST 0x00b1,0x0004 06a4 00b3 0005 | | .CONST 0x00b3,0x0005 06a6 00bc 0009 | | .CONST 0x00bc,0x0009 06a8 00c0 000a | | .CONST 0x00c0,0x000a 06aa 00c3 000b | | .CONST 0x00c3,0x000b 06ac 00c6 0006 | | .CONST 0x00c6,0x0006 06ae 00cb 0007 | | .CONST 0x00cb,0x0007 06b0 00d0 0008 | | .CONST 0x00d0,0x0008 06b2 ; -------------------------------------------------------------------------------------- 06b2 ; Debug3 Subtable 0x6 06b2 ; -------------------------------------------------------------------------------------- 06b2 0004 0012 | | .DBG3TAB 0x0004,0x0012 06b4 00db ffff | | .CONST 0x00db,0xffff 06b6 00e0 fffe | | .CONST 0x00e0,0xfffe 06b8 00ea fffd | | .CONST 0x00ea,0xfffd 06ba 00ec fffc | | .CONST 0x00ec,0xfffc 06bc 00ee 0001 | | .CONST 0x00ee,0x0001 06be 00f9 0002 | | .CONST 0x00f9,0x0002 06c0 00fb 0003 | | .CONST 0x00fb,0x0003 06c2 00ff 0004 | | .CONST 0x00ff,0x0004 06c4 0100 0005 | | .CONST 0x0100,0x0005 06c6 010a 0006 | | .CONST 0x010a,0x0006 06c8 010b 0007 | | .CONST 0x010b,0x0007 06ca 0113 0008 | | .CONST 0x0113,0x0008 06cc 011c 0009 | | .CONST 0x011c,0x0009 06ce 0122 000a | " | .CONST 0x0122,0x000a 06d0 0123 000c | # | .CONST 0x0123,0x000c 06d2 012f 000d | / | .CONST 0x012f,0x000d 06d4 0130 000f | 0 | .CONST 0x0130,0x000f 06d6 0138 0010 | 8 | .CONST 0x0138,0x0010 06d8 0139 0011 | 9 | .CONST 0x0139,0x0011 06da 013e 0013 | > | .CONST 0x013e,0x0013 06dc 0142 0014 | B | .CONST 0x0142,0x0014 06de 0150 0015 | P | .CONST 0x0150,0x0015 06e0 ; -------------------------------------------------------------------------------------- 06e0 ; Debug3 Subtable 0x7 06e0 ; -------------------------------------------------------------------------------------- 06e0 0002 000a | | .DBG3TAB 0x0002,0x000a 06e2 016b ffff | k | .CONST 0x016b,0xffff 06e4 016c fffe | l | .CONST 0x016c,0xfffe 06e6 016d 0001 | m | .CONST 0x016d,0x0001 06e8 016f 0002 | o | .CONST 0x016f,0x0002 06ea 0173 0003 | s | .CONST 0x0173,0x0003 06ec 017f 0004 | | .CONST 0x017f,0x0004 06ee 0184 0005 | | .CONST 0x0184,0x0005 06f0 0189 0006 | | .CONST 0x0189,0x0006 06f2 018a 0007 | | .CONST 0x018a,0x0007 06f4 018e 0008 | | .CONST 0x018e,0x0008 06f6 019b 0009 | | .CONST 0x019b,0x0009 06f8 019f 000a | | .CONST 0x019f,0x000a 06fa ; -------------------------------------------------------------------------------------- 06fa ; Debug3 Subtable 0x8 06fa ; -------------------------------------------------------------------------------------- 06fa 0004 000b | | .DBG3TAB 0x0004,0x000b 06fc 01ab ffff | | .CONST 0x01ab,0xffff 06fe 01ac fffe | | .CONST 0x01ac,0xfffe 0700 01ad fffd | | .CONST 0x01ad,0xfffd 0702 01ae fffc | | .CONST 0x01ae,0xfffc 0704 01af 0001 | | .CONST 0x01af,0x0001 0706 01b1 0002 | | .CONST 0x01b1,0x0002 0708 01b5 0003 | | .CONST 0x01b5,0x0003 070a 01ba 0004 | | .CONST 0x01ba,0x0004 070c 01be 0005 | | .CONST 0x01be,0x0005 070e 01c2 0006 | | .CONST 0x01c2,0x0006 0710 01c6 0007 | | .CONST 0x01c6,0x0007 0712 01d5 0009 | | .CONST 0x01d5,0x0009 0714 01d9 000a | | .CONST 0x01d9,0x000a 0716 01dd 000b | | .CONST 0x01dd,0x000b 0718 01eb 0008 | | .CONST 0x01eb,0x0008 071a ; -------------------------------------------------------------------------------------- 071a ; Debug3 Subtable 0x9 071a ; -------------------------------------------------------------------------------------- 071a 0000 0005 | | .DBG3TAB 0x0000,0x0005 071c 01fb 0001 | | .CONST 0x01fb,0x0001 071e 01fd 0002 | | .CONST 0x01fd,0x0002 0720 0201 0003 | | .CONST 0x0201,0x0003 0722 0204 0004 | | .CONST 0x0204,0x0004 0724 0212 0005 | | .CONST 0x0212,0x0005 0726 ; -------------------------------------------------------------------------------------- 0726 ; Debug3 Subtable 0xa 0726 ; -------------------------------------------------------------------------------------- 0726 0004 0011 | | .DBG3TAB 0x0004,0x0011 0728 0223 ffff | # | .CONST 0x0223,0xffff 072a 0225 fffe | % | .CONST 0x0225,0xfffe 072c 022f fffd | / | .CONST 0x022f,0xfffd 072e 0231 fffc | 1 | .CONST 0x0231,0xfffc 0730 0233 0001 | 3 | .CONST 0x0233,0x0001 0732 0235 0002 | 5 | .CONST 0x0235,0x0002 0734 0239 0003 | 9 | .CONST 0x0239,0x0003 0736 0250 0004 | P | .CONST 0x0250,0x0004 0738 0252 0005 | R | .CONST 0x0252,0x0005 073a 025d 0006 | ] | .CONST 0x025d,0x0006 073c 0268 0007 | h | .CONST 0x0268,0x0007 073e 026a 0008 | j | .CONST 0x026a,0x0008 0740 0275 0009 | u | .CONST 0x0275,0x0009 0742 0280 000a | | .CONST 0x0280,0x000a 0744 0284 000b | | .CONST 0x0284,0x000b 0746 0287 000c | | .CONST 0x0287,0x000c 0748 028a 000d | | .CONST 0x028a,0x000d 074a 028c 000e | | .CONST 0x028c,0x000e 074c 028d 000f | | .CONST 0x028d,0x000f 074e 0299 0010 | | .CONST 0x0299,0x0010 0750 029a 0011 | | .CONST 0x029a,0x0011 0752 ; -------------------------------------------------------------------------------------- 0752 ; Debug3 Subtable 0xb 0752 ; -------------------------------------------------------------------------------------- 0752 0002 0010 | | .DBG3TAB 0x0002,0x0010 0754 02a3 ffff | | .CONST 0x02a3,0xffff 0756 02a4 fffe | | .CONST 0x02a4,0xfffe 0758 02af 0001 | | .CONST 0x02af,0x0001 075a 02b1 0002 | | .CONST 0x02b1,0x0002 075c 02b5 0003 | | .CONST 0x02b5,0x0003 075e 02bf 0004 | | .CONST 0x02bf,0x0004 0760 02c2 0005 | | .CONST 0x02c2,0x0005 0762 02c7 0006 | | .CONST 0x02c7,0x0006 0764 02ca 0007 | | .CONST 0x02ca,0x0007 0766 02cf 0008 | | .CONST 0x02cf,0x0008 0768 02d1 0009 | | .CONST 0x02d1,0x0009 076a 02d4 000a | | .CONST 0x02d4,0x000a 076c 02e3 000b | | .CONST 0x02e3,0x000b 076e 02e7 000c | | .CONST 0x02e7,0x000c 0770 02e9 000d | | .CONST 0x02e9,0x000d 0772 02ec 000e | | .CONST 0x02ec,0x000e 0774 02f8 000f | | .CONST 0x02f8,0x000f 0776 02f9 0010 | | .CONST 0x02f9,0x0010 0778 ; -------------------------------------------------------------------------------------- 0778 ; Debug3 Subtable 0xc 0778 ; -------------------------------------------------------------------------------------- 0778 0003 000a | | .DBG3TAB 0x0003,0x000a 077a 030b ffff | | .CONST 0x030b,0xffff 077c 0310 fffe | | .CONST 0x0310,0xfffe 077e 0312 fffd | | .CONST 0x0312,0xfffd 0780 031c 0001 | | .CONST 0x031c,0x0001 0782 031e 0002 | | .CONST 0x031e,0x0002 0784 0322 0003 | " | .CONST 0x0322,0x0003 0786 0326 0004 | & | .CONST 0x0326,0x0004 0788 0333 0005 | 3 | .CONST 0x0333,0x0005 078a 034a 0006 | J | .CONST 0x034a,0x0006 078c 034e 0007 | N | .CONST 0x034e,0x0007 078e 0358 0008 | X | .CONST 0x0358,0x0008 0790 0362 0009 | b | .CONST 0x0362,0x0009 0792 0371 000a | q | .CONST 0x0371,0x000a 0794 ; -------------------------------------------------------------------------------------- 0794 ; Debug3 Subtable 0xd 0794 ; -------------------------------------------------------------------------------------- 0794 0002 000a | | .DBG3TAB 0x0002,0x000a 0796 0383 ffff | | .CONST 0x0383,0xffff 0798 0385 fffe | | .CONST 0x0385,0xfffe 079a 038f 0001 | | .CONST 0x038f,0x0001 079c 0391 0002 | | .CONST 0x0391,0x0002 079e 0395 0003 | | .CONST 0x0395,0x0003 07a0 03ac 0004 | | .CONST 0x03ac,0x0004 07a2 03b0 0005 | | .CONST 0x03b0,0x0005 07a4 03ba 0006 | | .CONST 0x03ba,0x0006 07a6 03c4 0007 | | .CONST 0x03c4,0x0007 07a8 03d3 0008 | | .CONST 0x03d3,0x0008 07aa 03de 0009 | | .CONST 0x03de,0x0009 07ac 03e8 000a | | .CONST 0x03e8,0x000a 07ae ; -------------------------------------------------------------------------------------- 07ae ; Debug3 Subtable 0xe 07ae ; -------------------------------------------------------------------------------------- 07ae 0002 0008 | | .DBG3TAB 0x0002,0x0008 07b0 03fb ffff | | .CONST 0x03fb,0xffff 07b2 03fc fffe | | .CONST 0x03fc,0xfffe 07b4 0401 0001 | | .CONST 0x0401,0x0001 07b6 0403 0002 | | .CONST 0x0403,0x0002 07b8 0407 0003 | | .CONST 0x0407,0x0003 07ba 0414 0004 | | .CONST 0x0414,0x0004 07bc 0416 0005 | | .CONST 0x0416,0x0005 07be 0420 0006 | | .CONST 0x0420,0x0006 07c0 042a 0007 | * | .CONST 0x042a,0x0007 07c2 0439 0008 | 9 | .CONST 0x0439,0x0008 07c4 ; -------------------------------------------------------------------------------------- 07c4 ; Debug3 Subtable 0xf 07c4 ; -------------------------------------------------------------------------------------- 07c4 0001 0001 | | .DBG3TAB 0x0001,0x0001 07c6 0453 ffff | S | .CONST 0x0453,0xffff 07c8 0455 0001 | U | .CONST 0x0455,0x0001 07ca ; -------------------------------------------------------------------------------------- 07ca ; Debug3 Subtable 0x10 07ca ; -------------------------------------------------------------------------------------- 07ca 0002 0002 | | .DBG3TAB 0x0002,0x0002 07cc 046b ffff | k | .CONST 0x046b,0xffff 07ce 0475 fffe | u | .CONST 0x0475,0xfffe 07d0 047e 0001 | ~ | .CONST 0x047e,0x0001 07d2 0483 0002 | | .CONST 0x0483,0x0002 07d4 ; -------------------------------------------------------------------------------------- 07d4 ; Debug3 Subtable 0x11 07d4 ; -------------------------------------------------------------------------------------- 07d4 0006 000f | | .DBG3TAB 0x0006,0x000f 07d6 048b ffff | | .CONST 0x048b,0xffff 07d8 0490 fffe | | .CONST 0x0490,0xfffe 07da 0491 fffd | | .CONST 0x0491,0xfffd 07dc 0492 fffc | | .CONST 0x0492,0xfffc 07de 0494 fffb | | .CONST 0x0494,0xfffb 07e0 049e fffa | | .CONST 0x049e,0xfffa 07e2 04a2 0002 | | .CONST 0x04a2,0x0002 07e4 04ac 0004 | | .CONST 0x04ac,0x0004 07e6 04b0 0005 | | .CONST 0x04b0,0x0005 07e8 04b9 000b | | .CONST 0x04b9,0x000b 07ea 04bd 000c | | .CONST 0x04bd,0x000c 07ec 04ca 000d | | .CONST 0x04ca,0x000d 07ee 04cd 0006 | | .CONST 0x04cd,0x0006 07f0 04e4 0007 | | .CONST 0x04e4,0x0007 07f2 04e8 0008 | | .CONST 0x04e8,0x0008 07f4 04ea 0009 | | .CONST 0x04ea,0x0009 07f6 04ed 000a | | .CONST 0x04ed,0x000a 07f8 04f0 000e | | .CONST 0x04f0,0x000e 07fa 04f5 0003 | | .CONST 0x04f5,0x0003 07fc 04fa 000f | | .CONST 0x04fa,0x000f 07fe 04ff 0001 | | .CONST 0x04ff,0x0001 0800 ; -------------------------------------------------------------------------------------- 0800 ; Debug3 Subtable 0x12 0800 ; -------------------------------------------------------------------------------------- 0800 0000 0008 | | .DBG3TAB 0x0000,0x0008 0802 050b 0001 | | .CONST 0x050b,0x0001 0804 0511 0002 | | .CONST 0x0511,0x0002 0806 0517 0003 | | .CONST 0x0517,0x0003 0808 051b 0004 | | .CONST 0x051b,0x0004 080a 051d 0005 | | .CONST 0x051d,0x0005 080c 051f 0006 | | .CONST 0x051f,0x0006 080e 0525 0007 | % | .CONST 0x0525,0x0007 0810 0541 0008 | A | .CONST 0x0541,0x0008 0812 ; -------------------------------------------------------------------------------------- 0812 ; Debug3 Subtable 0x13 0812 ; -------------------------------------------------------------------------------------- 0812 0000 0002 | | .DBG3TAB 0x0000,0x0002 0814 054b 0001 | K | .CONST 0x054b,0x0001 0816 0555 0002 | U | .CONST 0x0555,0x0002 0818 0000 0000 | | .BLANK 0000[0x1e8]