|
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: 4096 (0x1000)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_4ee0c1
└─⟦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 5900 |Y | .CONST 0x5900 ; Diana Version, RCG Major Version, RCG minor version
0002 0000 | | .CONST 0x0000 ; Zero
0003 04b8 | | .CONST 0x04b8 ; 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 0003 | | .CONST 0x0003 ; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0104 | | .CONST 0x0104 ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 002f | / | .CONST 0x002f ; Number of locals
000b INIT_0008:
000b 00e3 | | Load_Encached Natural_Cache
000c 0129 | ) | Execute Any,Make_Visible
000d 00c4 | | Action Make_Default
000e 00e4 | | Load_Encached Positive_Cache
000f 0266 | f | Execute Discrete,Bounds
0010 00db | | Load_Top At_Offset_3
0011 02a0 | | Declare_Subprogram Null_Subprogram
0012 4801 |H | Short_Literal 0x1
0013 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
0014 4800 |H | Short_Literal 0x0
0015 4814 |H | Short_Literal 0x14
0016 00e3 | | Load_Encached Natural_Cache
0017 03f9 | | Declare_Type Discrete,Constrained,Visible
0018 4801 |H | Short_Literal 0x1
0019 4814 |H | Short_Literal 0x14
001a 00da | | Load_Top At_Offset_2
001b 03f9 | | Declare_Type Discrete,Constrained,Visible
001c 00d8 | | Load_Top At_Offset_0
001d 0266 | f | Execute Discrete,Bounds
001e 00e2 | | Load_Encached Integer_Cache
001f 02a0 | | Declare_Subprogram Null_Subprogram
0020 4801 |H | Short_Literal 0x1
0021 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
0022 00da | | Load_Top At_Offset_2
0023 00e3 | | Load_Encached Natural_Cache
0024 00da | | Load_Top At_Offset_2
0025 029f 03f3 | | Declare_Subprogram For_Call,INIT_03f0
0027 4800 |H | Short_Literal 0x0
0028 4801 |H | Short_Literal 0x1
0029 4801 |H | Short_Literal 0x1
002a 4800 |H | Short_Literal 0x0
002b 4801 |H | Short_Literal 0x1
002c 4801 |H | Short_Literal 0x1
002d 031e | | Declare_Type Variant_Record,Defined,Visible
002e 4800 |H | Short_Literal 0x0
002f 00d9 | | Load_Top At_Offset_1
0030 1c08 | | Execute_Immediate Run_Utility,0x8
0031 4800 |H | Short_Literal 0x0
0032 00d9 | | Load_Top At_Offset_1
0033 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0034 00d8 | | Load_Top At_Offset_0
0035 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
0036 0335 | 5 | Declare_Variable Array,Duplicate
0037 00cd | | Action Spare6_Action
0038 00d9 | | Load_Top At_Offset_1
0039 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
003a 01d9 | | Execute Vector,Reverse_Bounds
003b 0263 | c | Execute Discrete,Above_Bound
003c 7005 |p | Jump_Nonzero 0x42
003d 4800 |H | Short_Literal 0x0
003e 00d9 | | Load_Top At_Offset_1
003f e215 | | Load 0x1,0x15
0040 01d6 | | Execute Vector,Field_Write
0041 3ffb |? | Loop_Increasing 0x3d
0042 00d9 | | Load_Top At_Offset_1
0043 00d8 | | Load_Top At_Offset_0
0044 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
0045 00da | | Load_Top At_Offset_2
0046 01da | | Execute Vector,Bounds
0047 00da | | Load_Top At_Offset_2
0048 01da | | Execute Vector,Bounds
0049 00da | | Load_Top At_Offset_2
004a 027f | | Execute Discrete,Equal
004b 7001 |p | Jump_Nonzero 0x4d
004c 08e0 | | Execute_Immediate Raise,0xe0
004d 00cd | | Action Spare6_Action
004e 027f | | Execute Discrete,Equal
004f 7001 |p | Jump_Nonzero 0x51
0050 08e0 | | Execute_Immediate Raise,0xe0
0051 00d2 | | Pop_Control Pop_Count_2
0052 00d9 | | Load_Top At_Offset_1
0053 2903 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
0054 0129 | ) | Execute Any,Make_Visible
0055 4800 |H | Short_Literal 0x0
0056 4801 |H | Short_Literal 0x1
0057 029f 010b | | Declare_Subprogram For_Call,INIT_0108
0059 03fe | | Declare_Type Discrete,Defined,Visible
005a e211 | | Load 0x1,0x11
005b 0266 | f | Execute Discrete,Bounds
005c e002 | | Load 0x0,0x2
005d 029f 013b | ;| Declare_Subprogram For_Call,INIT_0138
005f 4801 |H | Short_Literal 0x1
0060 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
0061 e210 | | Load 0x1,0x10
0062 00da | | Load_Top At_Offset_2
0063 00e3 | | Load_Encached Natural_Cache
0064 00db | | Load_Top At_Offset_3
0065 029f 0433 | 3| Declare_Subprogram For_Call,INIT_0430
0067 4800 |H | Short_Literal 0x0
0068 4801 |H | Short_Literal 0x1
0069 4802 |H | Short_Literal 0x2
006a 4800 |H | Short_Literal 0x0
006b 4801 |H | Short_Literal 0x1
006c 4801 |H | Short_Literal 0x1
006d 031e | | Declare_Type Variant_Record,Defined,Visible
006e 4800 |H | Short_Literal 0x0
006f 00d9 | | Load_Top At_Offset_1
0070 1c08 | | Execute_Immediate Run_Utility,0x8
0071 4800 |H | Short_Literal 0x0
0072 00d9 | | Load_Top At_Offset_1
0073 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0074 4800 |H | Short_Literal 0x0
0075 00d9 | | Load_Top At_Offset_1
0076 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0077 00d8 | | Load_Top At_Offset_0
0078 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
0079 0335 | 5 | Declare_Variable Array,Duplicate
007a 00cd | | Action Spare6_Action
007b 00d9 | | Load_Top At_Offset_1
007c 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
007d 01d9 | | Execute Vector,Reverse_Bounds
007e 0263 | c | Execute Discrete,Above_Bound
007f 7005 |p | Jump_Nonzero 0x85
0080 8003 | | Call 0x0,0x3
0081 00d9 | | Load_Top At_Offset_1
0082 e219 | | Load 0x1,0x19
0083 01d6 | | Execute Vector,Field_Write
0084 3ffb |? | Loop_Increasing 0x80
0085 00d9 | | Load_Top At_Offset_1
0086 00d8 | | Load_Top At_Offset_0
0087 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
0088 00da | | Load_Top At_Offset_2
0089 01da | | Execute Vector,Bounds
008a 00da | | Load_Top At_Offset_2
008b 01da | | Execute Vector,Bounds
008c 00da | | Load_Top At_Offset_2
008d 027f | | Execute Discrete,Equal
008e 7001 |p | Jump_Nonzero 0x90
008f 08e0 | | Execute_Immediate Raise,0xe0
0090 00cd | | Action Spare6_Action
0091 027f | | Execute Discrete,Equal
0092 7001 |p | Jump_Nonzero 0x94
0093 08e0 | | Execute_Immediate Raise,0xe0
0094 00d2 | | Pop_Control Pop_Count_2
0095 00d9 | | Load_Top At_Offset_1
0096 2904 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x4
0097 0129 | ) | Execute Any,Make_Visible
0098 00e4 | | Load_Encached Positive_Cache
0099 0266 | f | Execute Discrete,Bounds
009a 00db | | Load_Top At_Offset_3
009b 029f 0153 | S| Declare_Subprogram For_Call,INIT_0150
009d 4801 |H | Short_Literal 0x1
009e 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
009f 4801 |H | Short_Literal 0x1
00a0 4800 |H | Short_Literal 0x0
00a1 00da | | Load_Top At_Offset_2
00a2 035b | [ | Declare_Type Array,Constrained
00a3 0337 | 7 | Declare_Variable Array
00a4 0129 | ) | Execute Any,Make_Visible
00a5 0093 0000 | | PushFullAddress InMicrocode
00a7 6088 |` | Indirect_Literal Discrete,0x130,{0x80000000, 0x00010000}
00a8 0273 | s | Execute Discrete,Plus
00a9 0129 | ) | Execute Any,Make_Visible
00aa 029a 016b | k| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0168
00ac 029a 017b | {| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0178
00ae 029a 018b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0188
00b0 029a 019b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0198
00b2 029a 01bb | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01b8
00b4 029a 01db | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01d8
00b6 029a 0203 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0200
00b8 029a 020b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0208
00ba 029a 021b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0218
00bc 029a 024b | K| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0248
00be 029a 026b | k| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0268
00c0 029a 029b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0298
00c2 029a 02c3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_02c0
00c4 4800 |H | Short_Literal 0x0
00c5 0129 | ) | Execute Any,Make_Visible
00c6 c20e | | Store 0x1,0xe
00c7 00bf | | Action Accept_Activation
00c8 e20d | | Load 0x1,0xd
00c9 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00ca e20d | | Load 0x1,0xd
00cb 0266 | f | Execute Discrete,Bounds
00cc e213 | | Load 0x1,0x13
00cd 029f 02eb | | Declare_Subprogram For_Call,INIT_02e8
00cf 4801 |H | Short_Literal 0x1
00d0 0350 | P | Declare_Type Array,Defined,Bounds_With_Object
00d1 4801 |H | Short_Literal 0x1
00d2 48c8 |H | Short_Literal 0xc8
00d3 00da | | Load_Top At_Offset_2
00d4 035b | [ | Declare_Type Array,Constrained
00d5 0337 | 7 | Declare_Variable Array
00d6 00d8 | | Load_Top At_Offset_0
00d7 0335 | 5 | Declare_Variable Array,Duplicate
00d8 00cd | | Action Spare6_Action
00d9 48c8 |H | Short_Literal 0xc8
00da 4801 |H | Short_Literal 0x1
00db e214 | | Load 0x1,0x14
00dc 00d9 | | Load_Top At_Offset_1
00dd e22c | , | Load 0x1,0x2c
00de 01d6 | | Execute Vector,Field_Write
00df 3ffb |? | Loop_Increasing 0xdb
00e0 00d9 | | Load_Top At_Offset_1
00e1 01d4 | | Execute Vector,Structure_Write
00e2 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
00e3 00c7 | | Action Elaborate_Subprogram
00e4 029d 0303 | | Declare_Subprogram For_Outer_Call,INIT_0300
00e6 029d 0313 | | Declare_Subprogram For_Outer_Call,INIT_0310
00e8 1d1f | | Execute_Immediate Reference_Lex_1,0x1f
00e9 00c7 | | Action Elaborate_Subprogram
00ea 1d20 | | Execute_Immediate Reference_Lex_1,0x20
00eb 00c7 | | Action Elaborate_Subprogram
00ec 1d21 | ! | Execute_Immediate Reference_Lex_1,0x21
00ed 00c7 | | Action Elaborate_Subprogram
00ee 1d22 | " | Execute_Immediate Reference_Lex_1,0x22
00ef 00c7 | | Action Elaborate_Subprogram
00f0 1d23 | # | Execute_Immediate Reference_Lex_1,0x23
00f1 00c7 | | Action Elaborate_Subprogram
00f2 1d1c | | Execute_Immediate Reference_Lex_1,0x1c
00f3 00c7 | | Action Elaborate_Subprogram
00f4 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
00f5 00c7 | | Action Elaborate_Subprogram
00f6 029d 032b | +| Declare_Subprogram For_Outer_Call,INIT_0328
00f8 1d24 | $ | Execute_Immediate Reference_Lex_1,0x24
00f9 00c7 | | Action Elaborate_Subprogram
00fa 1d25 | % | Execute_Immediate Reference_Lex_1,0x25
00fb 00c7 | | Action Elaborate_Subprogram
00fc 029d 0353 | S| Declare_Subprogram For_Outer_Call,INIT_0350
00fe 1d26 | & | Execute_Immediate Reference_Lex_1,0x26
00ff 00c7 | | Action Elaborate_Subprogram
0100 1d27 | ' | Execute_Immediate Reference_Lex_1,0x27
0101 00c7 | | Action Elaborate_Subprogram
0102 1d28 | ( | Execute_Immediate Reference_Lex_1,0x28
0103 00c7 | | Action Elaborate_Subprogram
0104 BODY_0008:
0104 00bc | | Action Signal_Activated
0105 00bb | | Action Signal_Completion
0106 0000 0000 | | .XXX[0x2]
0108 ; --------------------------------------------------------------------------------------
0108 ; SUBPROGRAM
0108 ; --------------------------------------------------------------------------------------
0108 010b | | .CONST 0x010b ; Address of begin
0109 0004 | | .CONST 0x0004 ; Address of exception handler
010a 0001 | | .CONST 0x0001 ; Number of locals
010b BODY_0108:
010b INIT_0108:
010b 4607 |F | Jump_Case 0x7
010c 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x0
010d 7807 |x | Jump 0x115 ; case 0x1
010e 780a |x | Jump 0x119 ; case 0x2
010f 780e |x | Jump 0x11e ; case 0x3
0110 7811 |x | Jump 0x122 ; case 0x4
0111 7812 |x | Jump 0x124 ; case 0x5
0112 7813 |x | Jump 0x126 ; case 0x6
0113 7816 |x | Jump 0x12a ; case 0x7
0114 4302 |C | .XXX[0x1]
0115 00da | | Load_Top At_Offset_2
0116 0091 0470 | p| Action Push_String_Extended_Indexed,0x470 ; "FIND"
0118 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0119 00db | | Load_Top At_Offset_3
011a 00db | | Load_Top At_Offset_3
011b 00e0 | | Load_Encached Standard_Cache
011c 181b | | Execute Package,Field_Execute,Field_Number 0x1b
011d 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
011e 00da | | Load_Top At_Offset_2
011f 00e0 | | Load_Encached Standard_Cache
0120 181c | | Execute Package,Field_Execute,Field_Number 0x1c
0121 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0122 00db | | Load_Top At_Offset_3
0123 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0124 00db | | Load_Top At_Offset_3
0125 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0126 e215 | | Load 0x1,0x15
0127 00dc | | Load_Top At_Offset_4
0128 0267 | g | Execute Discrete,Predecessor
0129 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
012a e215 | | Load 0x1,0x15
012b 00dc | | Load_Top At_Offset_4
012c 0268 | h | Execute Discrete,Successor
012d 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
012e 0000 0000 | | .XXX[0x2]
0130 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
0134 0000 0000 | | .BLANK 0000[0x4]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 013b | ; | .CONST 0x013b ; Address of begin
0139 0004 | | .CONST 0x0004 ; Address of exception handler
013a 0001 | | .CONST 0x0001 ; Number of locals
013b BODY_0138:
013b INIT_0138:
013b 00d1 | | Pop_Control Pop_Count_1
013c 00da | | Load_Top At_Offset_2
013d 01d8 | | Execute Vector,Element_Type
013e 02ff | | Declare_Variable Variant_Record
013f 00d8 | | Load_Top At_Offset_0
0140 1c00 | | Execute_Immediate Run_Utility,0x0
0141 00db | | Load_Top At_Offset_3
0142 01dc | | Execute Vector,Last
0143 e5ff | | Load 0x2,-0x1
0144 01dd | | Execute Vector,First
0145 0263 | c | Execute Discrete,Above_Bound
0146 7006 |p | Jump_Nonzero 0x14d
0147 00da | | Load_Top At_Offset_2
0148 00d9 | | Load_Top At_Offset_1
0149 e5ff | | Load 0x2,-0x1
014a 01d6 | | Execute Vector,Field_Write
014b 0a01 | | Execute_Immediate Plus,0x1
014c 7ff8 | | Jump 0x145
014d 4302 |C | Exit_Subprogram From_Utility,0x2
014e 0000 0000 | | .XXX[0x2]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0153 | S | .CONST 0x0153 ; Address of begin
0151 0004 | | .CONST 0x0004 ; Address of exception handler
0152 0001 | | .CONST 0x0001 ; Number of locals
0153 BODY_0150:
0153 INIT_0150:
0153 00d1 | | Pop_Control Pop_Count_1
0154 00da | | Load_Top At_Offset_2
0155 01d8 | | Execute Vector,Element_Type
0156 02ff | | Declare_Variable Variant_Record
0157 00d8 | | Load_Top At_Offset_0
0158 1c00 | | Execute_Immediate Run_Utility,0x0
0159 00db | | Load_Top At_Offset_3
015a 01dc | | Execute Vector,Last
015b e5ff | | Load 0x2,-0x1
015c 01dd | | Execute Vector,First
015d 0263 | c | Execute Discrete,Above_Bound
015e 7006 |p | Jump_Nonzero 0x165
015f 00da | | Load_Top At_Offset_2
0160 00d9 | | Load_Top At_Offset_1
0161 e5ff | | Load 0x2,-0x1
0162 01d6 | | Execute Vector,Field_Write
0163 0a01 | | Execute_Immediate Plus,0x1
0164 7ff8 | | Jump 0x15d
0165 4302 |C | Exit_Subprogram From_Utility,0x2
0166 0000 0000 | | .XXX[0x2]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b | k | .CONST 0x016b ; Address of begin
0169 0004 | | .CONST 0x0004 ; Address of exception handler
016a 0001 | | .CONST 0x0001 ; Number of locals
016b BODY_0168:
016b INIT_0168:
016b 00da | | Load_Top At_Offset_2
016c e22b | + | Load 0x1,0x2b
016d 01d5 | | Execute Vector,Field_Reference
016e 02fd | | Declare_Variable Variant_Record,Duplicate
016f 00cd | | Action Spare6_Action
0170 4401 |D | Exit_Subprogram With_Result,0x1
0171 0000 0000 | | .BLANK 0000[0x7]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 017b | { | .CONST 0x017b ; Address of begin
0179 0004 | | .CONST 0x0004 ; Address of exception handler
017a 0001 | | .CONST 0x0001 ; Number of locals
017b BODY_0178:
017b INIT_0178:
017b 00db | | Load_Top At_Offset_3
017c 00db | | Load_Top At_Offset_3
017d e22b | + | Load 0x1,0x2b
017e 01d5 | | Execute Vector,Field_Reference
017f 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
0180 01d7 | | Execute Vector,Field_Read
0181 4402 |D | Exit_Subprogram With_Result,0x2
0182 0000 0000 | | .BLANK 0000[0x6]
0188 ; --------------------------------------------------------------------------------------
0188 ; SUBPROGRAM
0188 ; --------------------------------------------------------------------------------------
0188 018b | | .CONST 0x018b ; Address of begin
0189 0004 | | .CONST 0x0004 ; Address of exception handler
018a 0001 | | .CONST 0x0001 ; Number of locals
018b BODY_0188:
018b INIT_0188:
018b 4801 |H | Short_Literal 0x1
018c 4800 |H | Short_Literal 0x0
018d e20f | | Load 0x1,0xf
018e 035b | [ | Declare_Type Array,Constrained
018f 0337 | 7 | Declare_Variable Array
0190 e20f | | Load 0x1,0xf
0191 01c6 | | Execute Vector,Convert_To_Formal
0192 00ca | | Action Exit_Nullary_Function
0193 0000 0000 | | .BLANK 0000[0x5]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 01a2 | | .CONST 0x01a2 ; Address of begin
0199 0004 | | .CONST 0x0004 ; Address of exception handler
019a 0003 | | .CONST 0x0003 ; Number of locals
019b INIT_0198:
019b 00da | | Load_Top At_Offset_2
019c 01da | | Execute Vector,Bounds
019d e20f | | Load 0x1,0xf
019e 035b | [ | Declare_Type Array,Constrained
019f 0337 | 7 | Declare_Variable Array
01a0 029f 0383 | | Declare_Subprogram For_Call,INIT_0380
01a2 BODY_0198:
01a2 e5ff | | Load 0x2,-0x1
01a3 01db | | Execute Vector,Length
01a4 680d |h | Jump_Zero 0x1b2
01a5 e5ff | | Load 0x2,-0x1
01a6 01dd | | Execute Vector,First
01a7 00d8 | | Load_Top At_Offset_0
01a8 00e4 | | Load_Encached Positive_Cache
01a9 0260 | ` | Execute Discrete,In_Type
01aa 7001 |p | Jump_Nonzero 0x1ac
01ab 0801 | | Execute_Immediate Raise,0x1
01ac 8403 | | Call 0x2,0x3
01ad 6804 |h | Jump_Zero 0x1b2
01ae 00d9 | | Load_Top At_Offset_1
01af e20f | | Load 0x1,0xf
01b0 01c6 | | Execute Vector,Convert_To_Formal
01b1 4401 |D | Exit_Subprogram With_Result,0x1
01b2 821e | | Call 0x1,0x1e
01b3 4401 |D | Exit_Subprogram With_Result,0x1
01b4 0000 0000 | | .BLANK 0000[0x4]
01b8 ; --------------------------------------------------------------------------------------
01b8 ; SUBPROGRAM
01b8 ; --------------------------------------------------------------------------------------
01b8 01bb | | .CONST 0x01bb ; Address of begin
01b9 0004 | | .CONST 0x0004 ; Address of exception handler
01ba 0001 | | .CONST 0x0001 ; Number of locals
01bb BODY_01b8:
01bb INIT_01b8:
01bb 00cf | | Action Mark_Auxiliary
01bc e22b | + | Load 0x1,0x2b
01bd 01d9 | | Execute Vector,Reverse_Bounds
01be 0007 | | Action Break_Optional
01bf 00d8 | | Load_Top At_Offset_0
01c0 e22b | + | Load 0x1,0x2b
01c1 01d5 | | Execute Vector,Field_Reference
01c2 e214 | | Load 0x1,0x14
01c3 016f | o | Execute Variant_Record,Equal
01c4 680b |h | Jump_Zero 0x1d0
01c5 e5ff | | Load 0x2,-0x1
01c6 00d9 | | Load_Top At_Offset_1
01c7 e22b | + | Load 0x1,0x2b
01c8 01d6 | | Execute Vector,Field_Write
01c9 00d8 | | Load_Top At_Offset_0
01ca e229 | ) | Load 0x1,0x29
01cb 027d | } | Execute Discrete,Greater
01cc 6802 |h | Jump_Zero 0x1cf
01cd 00d8 | | Load_Top At_Offset_0
01ce a229 | ) | Store_Unchecked 0x1,0x29
01cf 4502 |E | Exit_Subprogram 0x2
01d0 00c8 | | Action Pop_Auxiliary_Range
01d1 3fed |? | Loop_Increasing 0x1bf
01d2 00ce | | Action Pop_Auxiliary
01d3 e21b | | Load 0x1,0x1b
01d4 0257 | W | Execute Discrete,Raise
01d5 0000 0000 | | .XXX[0x3]
01d7 0000 | |
01d8 ; --------------------------------------------------------------------------------------
01d8 ; SUBPROGRAM
01d8 ; --------------------------------------------------------------------------------------
01d8 01db | | .CONST 0x01db ; Address of begin
01d9 0004 | | .CONST 0x0004 ; Address of exception handler
01da 0001 | | .CONST 0x0001 ; Number of locals
01db BODY_01d8:
01db INIT_01d8:
01db e214 | | Load 0x1,0x14
01dc 00db | | Load_Top At_Offset_3
01dd e22b | + | Load 0x1,0x2b
01de 01d6 | | Execute Vector,Field_Write
01df e229 | ) | Load 0x1,0x29
01e0 00db | | Load_Top At_Offset_3
01e1 027f | | Execute Discrete,Equal
01e2 6815 |h | Jump_Zero 0x1f8
01e3 e229 | ) | Load 0x1,0x29
01e4 0aff | | Execute_Immediate Plus,-0x1
01e5 c229 | ) | Store 0x1,0x29
01e6 00cf | | Action Mark_Auxiliary
01e7 4801 |H | Short_Literal 0x1
01e8 e229 | ) | Load 0x1,0x29
01e9 0264 | d | Execute Discrete,Below_Bound
01ea 700c |p | Jump_Nonzero 0x1f7
01eb 00d8 | | Load_Top At_Offset_0
01ec e22b | + | Load 0x1,0x2b
01ed 01d5 | | Execute Vector,Field_Reference
01ee e214 | | Load 0x1,0x14
01ef 016e | n | Execute Variant_Record,Not_Equal
01f0 6802 |h | Jump_Zero 0x1f3
01f1 00d2 | | Pop_Control Pop_Count_2
01f2 7804 |x | Jump 0x1f7
01f3 00d8 | | Load_Top At_Offset_0
01f4 a229 | ) | Store_Unchecked 0x1,0x29
01f5 00c8 | | Action Pop_Auxiliary_Range
01f6 37f4 |7 | Loop_Decreasing 0x1eb
01f7 00ce | | Action Pop_Auxiliary
01f8 4502 |E | Exit_Subprogram 0x2
01f9 0000 0000 | | .BLANK 0000[0x7]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 0203 | | .CONST 0x0203 ; Address of begin
0201 0004 | | .CONST 0x0004 ; Address of exception handler
0202 0001 | | .CONST 0x0001 ; Number of locals
0203 BODY_0200:
0203 INIT_0200:
0203 00db | | Load_Top At_Offset_3
0204 00db | | Load_Top At_Offset_3
0205 e22b | + | Load 0x1,0x2b
0206 01d6 | | Execute Vector,Field_Write
0207 4503 |E | Exit_Subprogram 0x3
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 020b | | .CONST 0x020b ; Address of begin
0209 0004 | | .CONST 0x0004 ; Address of exception handler
020a 0001 | | .CONST 0x0001 ; Number of locals
020b BODY_0208:
020b INIT_0208:
020b e5fd | | Load 0x2,-0x3
020c e5fe | | Load 0x2,-0x2
020d e5ff | | Load 0x2,-0x1
020e e22b | + | Load 0x1,0x2b
020f 01d5 | | Execute Vector,Field_Reference
0210 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
0211 01d6 | | Execute Vector,Field_Write
0212 4504 |E | Exit_Subprogram 0x4
0213 0000 0000 | | .BLANK 0000[0x5]
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 021b | | .CONST 0x021b ; Address of begin
0219 0004 | | .CONST 0x0004 ; Address of exception handler
021a 0001 | | .CONST 0x0001 ; Number of locals
021b BODY_0218:
021b INIT_0218:
021b 00da | | Load_Top At_Offset_2
021c 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
021d 680c |h | Jump_Zero 0x22a
021e 00db | | Load_Top At_Offset_3
021f 0092 0472 | r| Action Push_String_Extended,0x472 ; "Check_No_"
0221 e5ff | | Load 0x2,-0x1
0222 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0223 8004 | | Call 0x0,0x4
0224 01cc | | Execute Vector,Catenate
0225 0092 0473 | s| Action Push_String_Extended,0x473 ; "_Has'("
0227 01cc | | Execute Vector,Catenate
0228 8005 | | Call 0x0,0x5
0229 780b |x | Jump 0x235
022a 00db | | Load_Top At_Offset_3
022b 0092 0474 | t| Action Push_String_Extended,0x474 ; "Find_"
022d e5ff | | Load 0x2,-0x1
022e 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
022f 8004 | | Call 0x0,0x4
0230 01cc | | Execute Vector,Catenate
0231 0092 0475 | u| Action Push_String_Extended,0x475 ; "_Such_As'("
0233 01cc | | Execute Vector,Catenate
0234 8005 | | Call 0x0,0x5
0235 00db | | Load_Top At_Offset_3
0236 8006 | | Call 0x0,0x6
0237 00db | | Load_Top At_Offset_3
0238 00db | | Load_Top At_Offset_3
0239 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
023a 822e | . | Call 0x1,0x2e
023b 00db | | Load_Top At_Offset_3
023c 8007 | | Call 0x0,0x7
023d 00db | | Load_Top At_Offset_3
023e 0092 0476 | v| Action Push_String_Extended,0x476 ; ")"
0240 8005 | | Call 0x0,0x5
0241 4503 |E | Exit_Subprogram 0x3
0242 0000 0000 | | .BLANK 0000[0x6]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 024b | K | .CONST 0x024b ; Address of begin
0249 0004 | | .CONST 0x0004 ; Address of exception handler
024a 0001 | | .CONST 0x0001 ; Number of locals
024b BODY_0248:
024b INIT_0248:
024b 00db | | Load_Top At_Offset_3
024c 0092 0477 | w| Action Push_String_Extended,0x477 ; "Premiss'("
024e 8008 | | Call 0x0,0x8
024f 00db | | Load_Top At_Offset_3
0250 8006 | | Call 0x0,0x6
0251 00cf | | Action Mark_Auxiliary
0252 00db | | Load_Top At_Offset_3
0253 01d9 | | Execute Vector,Reverse_Bounds
0254 0263 | c | Execute Discrete,Above_Bound
0255 700a |p | Jump_Nonzero 0x260
0256 e5fe | | Load 0x2,-0x2
0257 00d9 | | Load_Top At_Offset_1
0258 e5ff | | Load 0x2,-0x1
0259 01d5 | | Execute Vector,Field_Reference
025a 8224 | $ | Call 0x1,0x24
025b 4801 |H | Short_Literal 0x1
025c e5fe | | Load 0x2,-0x2
025d 8009 | | Call 0x0,0x9
025e 00c8 | | Action Pop_Auxiliary_Range
025f 3ff6 |? | Loop_Increasing 0x256
0260 00ce | | Action Pop_Auxiliary
0261 00db | | Load_Top At_Offset_3
0262 8007 | | Call 0x0,0x7
0263 00db | | Load_Top At_Offset_3
0264 0092 0476 | v| Action Push_String_Extended,0x476 ; ")"
0266 8005 | | Call 0x0,0x5
0267 4503 |E | Exit_Subprogram 0x3
0268 ; --------------------------------------------------------------------------------------
0268 ; SUBPROGRAM
0268 ; --------------------------------------------------------------------------------------
0268 026f | o | .CONST 0x026f ; Address of begin
0269 0004 | | .CONST 0x0004 ; Address of exception handler
026a 0002 | | .CONST 0x0002 ; Number of locals
026b INIT_0268:
026b e213 | | Load 0x1,0x13
026c 02ff | | Declare_Variable Variant_Record
026d 00d8 | | Load_Top At_Offset_0
026e 1c00 | | Execute_Immediate Run_Utility,0x0
026f BODY_0268:
026f 00db | | Load_Top At_Offset_3
0270 681e |h | Jump_Zero 0x28f
0271 00db | | Load_Top At_Offset_3
0272 e22b | + | Load 0x1,0x2b
0273 01d5 | | Execute Vector,Field_Reference
0274 00d9 | | Load_Top At_Offset_1
0275 016d | m | Execute Variant_Record,Structure_Write
0276 00d8 | | Load_Top At_Offset_0
0277 e214 | | Load 0x1,0x14
0278 016e | n | Execute Variant_Record,Not_Equal
0279 6814 |h | Jump_Zero 0x28e
027a e5fe | | Load 0x2,-0x2
027b 00d9 | | Load_Top At_Offset_1
027c 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
027d 8004 | | Call 0x0,0x4
027e 0092 0478 | x| Action Push_String_Extended,0x478 ; "'("
0280 01cc | | Execute Vector,Catenate
0281 8005 | | Call 0x0,0x5
0282 e5fe | | Load 0x2,-0x2
0283 8006 | | Call 0x0,0x6
0284 e5fe | | Load 0x2,-0x2
0285 00d9 | | Load_Top At_Offset_1
0286 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
0287 822f | / | Call 0x1,0x2f
0288 e5fe | | Load 0x2,-0x2
0289 8007 | | Call 0x0,0x7
028a e5fe | | Load 0x2,-0x2
028b 0092 0476 | v| Action Push_String_Extended,0x476 ; ")"
028d 8005 | | Call 0x0,0x5
028e 4503 |E | Exit_Subprogram 0x3
028f e5fe | | Load 0x2,-0x2
0290 0092 0479 | y| Action Push_String_Extended,0x479 ; "No name"
0292 8008 | | Call 0x0,0x8
0293 4503 |E | Exit_Subprogram 0x3
0294 0000 0000 | | .BLANK 0000[0x4]
0298 ; --------------------------------------------------------------------------------------
0298 ; SUBPROGRAM
0298 ; --------------------------------------------------------------------------------------
0298 029b | | .CONST 0x029b ; Address of begin
0299 0004 | | .CONST 0x0004 ; Address of exception handler
029a 0001 | | .CONST 0x0001 ; Number of locals
029b BODY_0298:
029b INIT_0298:
029b 00db | | Load_Top At_Offset_3
029c 0092 047a | z| Action Push_String_Extended,0x47a ; "Fact_collection'("
029e 8005 | | Call 0x0,0x5
029f 00db | | Load_Top At_Offset_3
02a0 8006 | | Call 0x0,0x6
02a1 00da | | Load_Top At_Offset_2
02a2 01db | | Execute Vector,Length
02a3 680d |h | Jump_Zero 0x2b1
02a4 00cf | | Action Mark_Auxiliary
02a5 00db | | Load_Top At_Offset_3
02a6 01d9 | | Execute Vector,Reverse_Bounds
02a7 0263 | c | Execute Discrete,Above_Bound
02a8 7007 |p | Jump_Nonzero 0x2b0
02a9 e5fe | | Load 0x2,-0x2
02aa 00d9 | | Load_Top At_Offset_1
02ab e5ff | | Load 0x2,-0x1
02ac 01d7 | | Execute Vector,Field_Read
02ad 8226 | & | Call 0x1,0x26
02ae 00c8 | | Action Pop_Auxiliary_Range
02af 3ff9 |? | Loop_Increasing 0x2a9
02b0 00ce | | Action Pop_Auxiliary
02b1 00db | | Load_Top At_Offset_3
02b2 8007 | | Call 0x0,0x7
02b3 4801 |H | Short_Literal 0x1
02b4 e5fe | | Load 0x2,-0x2
02b5 8009 | | Call 0x0,0x9
02b6 00db | | Load_Top At_Offset_3
02b7 0092 0476 | v| Action Push_String_Extended,0x476 ; ")"
02b9 8005 | | Call 0x0,0x5
02ba 4503 |E | Exit_Subprogram 0x3
02bb 0000 0000 | | .BLANK 0000[0x5]
02c0 ; --------------------------------------------------------------------------------------
02c0 ; SUBPROGRAM
02c0 ; --------------------------------------------------------------------------------------
02c0 02c7 | | .CONST 0x02c7 ; Address of begin
02c1 0004 | | .CONST 0x0004 ; Address of exception handler
02c2 0002 | | .CONST 0x0002 ; Number of locals
02c3 INIT_02c0:
02c3 e213 | | Load 0x1,0x13
02c4 02ff | | Declare_Variable Variant_Record
02c5 00d8 | | Load_Top At_Offset_0
02c6 1c00 | | Execute_Immediate Run_Utility,0x0
02c7 BODY_02c0:
02c7 00db | | Load_Top At_Offset_3
02c8 0092 047b | {| Action Push_String_Extended,0x47b ; "Working_Memory'("
02ca 8005 | | Call 0x0,0x5
02cb 00db | | Load_Top At_Offset_3
02cc 8006 | | Call 0x0,0x6
02cd 00cf | | Action Mark_Auxiliary
02ce e22b | + | Load 0x1,0x2b
02cf 01d9 | | Execute Vector,Reverse_Bounds
02d0 0007 | | Action Break_Optional
02d1 00d8 | | Load_Top At_Offset_0
02d2 e22b | + | Load 0x1,0x2b
02d3 01d5 | | Execute Vector,Field_Reference
02d4 e402 | | Load 0x2,0x2
02d5 016d | m | Execute Variant_Record,Structure_Write
02d6 00db | | Load_Top At_Offset_3
02d7 e214 | | Load 0x1,0x14
02d8 016e | n | Execute Variant_Record,Not_Equal
02d9 6803 |h | Jump_Zero 0x2dd
02da e5ff | | Load 0x2,-0x1
02db 00d9 | | Load_Top At_Offset_1
02dc 8226 | & | Call 0x1,0x26
02dd 00c8 | | Action Pop_Auxiliary_Range
02de 3ff2 |? | Loop_Increasing 0x2d1
02df 00ce | | Action Pop_Auxiliary
02e0 00db | | Load_Top At_Offset_3
02e1 8007 | | Call 0x0,0x7
02e2 00db | | Load_Top At_Offset_3
02e3 0092 0476 | v| Action Push_String_Extended,0x476 ; ")"
02e5 8005 | | Call 0x0,0x5
02e6 4502 |E | Exit_Subprogram 0x2
02e7 0000 | | .XXX[0x1]
02e8 ; --------------------------------------------------------------------------------------
02e8 ; SUBPROGRAM
02e8 ; --------------------------------------------------------------------------------------
02e8 02eb | | .CONST 0x02eb ; Address of begin
02e9 0004 | | .CONST 0x0004 ; Address of exception handler
02ea 0001 | | .CONST 0x0001 ; Number of locals
02eb BODY_02e8:
02eb INIT_02e8:
02eb 00d1 | | Pop_Control Pop_Count_1
02ec 00da | | Load_Top At_Offset_2
02ed 01d8 | | Execute Vector,Element_Type
02ee 02ff | | Declare_Variable Variant_Record
02ef 00d8 | | Load_Top At_Offset_0
02f0 1c00 | | Execute_Immediate Run_Utility,0x0
02f1 00db | | Load_Top At_Offset_3
02f2 01dc | | Execute Vector,Last
02f3 e5ff | | Load 0x2,-0x1
02f4 01dd | | Execute Vector,First
02f5 0263 | c | Execute Discrete,Above_Bound
02f6 7006 |p | Jump_Nonzero 0x2fd
02f7 00da | | Load_Top At_Offset_2
02f8 00d9 | | Load_Top At_Offset_1
02f9 e5ff | | Load 0x2,-0x1
02fa 01d6 | | Execute Vector,Field_Write
02fb 0a01 | | Execute_Immediate Plus,0x1
02fc 7ff8 | | Jump 0x2f5
02fd 4302 |C | Exit_Subprogram From_Utility,0x2
02fe 0000 0000 | | .XXX[0x2]
0300 ; --------------------------------------------------------------------------------------
0300 ; SUBPROGRAM
0300 ; --------------------------------------------------------------------------------------
0300 0304 | | .CONST 0x0304 ; Address of begin
0301 0004 | | .CONST 0x0004 ; Address of exception handler
0302 0002 | | .CONST 0x0002 ; Number of locals
0303 INIT_0300:
0303 00e1 | | Load_Encached Boolean_Cache
0304 BODY_0300:
0304 00db | | Load_Top At_Offset_3
0305 6804 |h | Jump_Zero 0x30a
0306 00db | | Load_Top At_Offset_3
0307 e5fe | | Load 0x2,-0x2
0308 027f | | Execute Discrete,Equal
0309 7801 |x | Jump 0x30b
030a 4800 |H | Short_Literal 0x0
030b 0051 | Q | Store_Top_Unchecked Discrete,At_Offset_1
030c 00d8 | | Load_Top At_Offset_0
030d 4402 |D | Exit_Subprogram With_Result,0x2
030e 0000 0000 | | .XXX[0x2]
0310 ; --------------------------------------------------------------------------------------
0310 ; SUBPROGRAM
0310 ; --------------------------------------------------------------------------------------
0310 0313 | | .CONST 0x0313 ; Address of begin
0311 0004 | | .CONST 0x0004 ; Address of exception handler
0312 0001 | | .CONST 0x0001 ; Number of locals
0313 BODY_0310:
0313 INIT_0310:
0313 00cf | | Action Mark_Auxiliary
0314 00db | | Load_Top At_Offset_3
0315 01d9 | | Execute Vector,Reverse_Bounds
0316 0263 | c | Execute Discrete,Above_Bound
0317 700c |p | Jump_Nonzero 0x324
0318 00d8 | | Load_Top At_Offset_0
0319 e5fe | | Load 0x2,-0x2
031a 01d5 | | Execute Vector,Field_Reference
031b 00d9 | | Load_Top At_Offset_1
031c e5ff | | Load 0x2,-0x1
031d 01d7 | | Execute Vector,Field_Read
031e 800a | | Call 0x0,0xa
031f 7002 |p | Jump_Nonzero 0x322
0320 4800 |H | Short_Literal 0x0
0321 4402 |D | Exit_Subprogram With_Result,0x2
0322 00c8 | | Action Pop_Auxiliary_Range
0323 3ff4 |? | Loop_Increasing 0x318
0324 00ce | | Action Pop_Auxiliary
0325 4801 |H | Short_Literal 0x1
0326 4402 |D | Exit_Subprogram With_Result,0x2
0327 0000 | | .XXX[0x1]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 032d | - | .CONST 0x032d ; Address of begin
0329 0004 | | .CONST 0x0004 ; Address of exception handler
032a 0002 | | .CONST 0x0002 ; Number of locals
032b INIT_0328:
032b 00e1 | | Load_Encached Boolean_Cache
032c 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
032d BODY_0328:
032d 00cf | | Action Mark_Auxiliary
032e e5ff | | Load 0x2,-0x1
032f 01d9 | | Execute Vector,Reverse_Bounds
0330 0263 | c | Execute Discrete,Above_Bound
0331 701b |p | Jump_Nonzero 0x34d
0332 00db | | Load_Top At_Offset_3
0333 7005 |p | Jump_Nonzero 0x339
0334 e5fe | | Load 0x2,-0x2
0335 0092 047c | || Action Push_String_Extended,0x47c ; ", "
0337 8005 | | Call 0x0,0x5
0338 7802 |x | Jump 0x33b
0339 4800 |H | Short_Literal 0x0
033a a402 | | Store_Unchecked 0x2,0x2
033b e5fe | | Load 0x2,-0x2
033c 0092 047d | }| Action Push_String_Extended,0x47d ; "Slot"
033e 00da | | Load_Top At_Offset_2
033f 00e0 | | Load_Encached Standard_Cache
0340 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0341 01cc | | Execute Vector,Catenate
0342 0092 047e | ~| Action Push_String_Extended,0x47e ; " => "
0344 01cc | | Execute Vector,Catenate
0345 8008 | | Call 0x0,0x8
0346 e5fe | | Load 0x2,-0x2
0347 00d9 | | Load_Top At_Offset_1
0348 e5ff | | Load 0x2,-0x1
0349 01d5 | | Execute Vector,Field_Reference
034a 800b | | Call 0x0,0xb
034b 00c8 | | Action Pop_Auxiliary_Range
034c 3fe5 |? | Loop_Increasing 0x332
034d 4503 |E | Exit_Subprogram 0x3
034e 0000 0000 | | .XXX[0x2]
0350 ; --------------------------------------------------------------------------------------
0350 ; SUBPROGRAM
0350 ; --------------------------------------------------------------------------------------
0350 0355 | U | .CONST 0x0355 ; Address of begin
0351 0004 | | .CONST 0x0004 ; Address of exception handler
0352 0002 | | .CONST 0x0002 ; Number of locals
0353 INIT_0350:
0353 00e1 | | Load_Encached Boolean_Cache
0354 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
0355 BODY_0350:
0355 00cf | | Action Mark_Auxiliary
0356 e5ff | | Load 0x2,-0x1
0357 01d9 | | Execute Vector,Reverse_Bounds
0358 0263 | c | Execute Discrete,Above_Bound
0359 7024 |p$ | Jump_Nonzero 0x37e
035a 00db | | Load_Top At_Offset_3
035b 700c |p | Jump_Nonzero 0x368
035c e5fe | | Load 0x2,-0x2
035d 0092 047c | || Action Push_String_Extended,0x47c ; ", "
035f 8008 | | Call 0x0,0x8
0360 00d8 | | Load_Top At_Offset_0
0361 4801 |H | Short_Literal 0x1
0362 0279 | y | Execute Discrete,And
0363 6806 |h | Jump_Zero 0x36a
0364 4801 |H | Short_Literal 0x1
0365 e5fe | | Load 0x2,-0x2
0366 8009 | | Call 0x0,0x9
0367 7802 |x | Jump 0x36a
0368 4800 |H | Short_Literal 0x0
0369 a402 | | Store_Unchecked 0x2,0x2
036a e5fe | | Load 0x2,-0x2
036b 0092 047d | }| Action Push_String_Extended,0x47d ; "Slot"
036d 00da | | Load_Top At_Offset_2
036e 00e0 | | Load_Encached Standard_Cache
036f 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0370 01cc | | Execute Vector,Catenate
0371 0092 047f | | Action Push_String_Extended,0x47f ; " =>"
0373 01cc | | Execute Vector,Catenate
0374 8008 | | Call 0x0,0x8
0375 e5fe | | Load 0x2,-0x2
0376 00d9 | | Load_Top At_Offset_1
0377 e5ff | | Load 0x2,-0x1
0378 01d7 | | Execute Vector,Field_Read
0379 00e0 | | Load_Encached Standard_Cache
037a 1818 | | Execute Package,Field_Execute,Field_Number 0x18
037b 8008 | | Call 0x0,0x8
037c 00c8 | | Action Pop_Auxiliary_Range
037d 3fdc |? | Loop_Increasing 0x35a
037e 4503 |E | Exit_Subprogram 0x3
037f 0000 | | .XXX[0x1]
0380 ; --------------------------------------------------------------------------------------
0380 ; SUBPROGRAM
0380 ; --------------------------------------------------------------------------------------
0380 0384 | | .CONST 0x0384 ; Address of begin
0381 0004 | | .CONST 0x0004 ; Address of exception handler
0382 0002 | | .CONST 0x0002 ; Number of locals
0383 INIT_0380:
0383 00e3 | | Load_Encached Natural_Cache
0384 BODY_0380:
0384 00db | | Load_Top At_Offset_3
0385 e5ff | | Load 0x2,-0x1
0386 01dc | | Execute Vector,Last
0387 027d | } | Execute Discrete,Greater
0388 6802 |h | Jump_Zero 0x38b
0389 4801 |H | Short_Literal 0x1
038a 4401 |D | Exit_Subprogram With_Result,0x1
038b 00db | | Load_Top At_Offset_3
038c e5ff | | Load 0x2,-0x1
038d 01d5 | | Execute Vector,Field_Reference
038e 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
038f 0051 | Q | Store_Top_Unchecked Discrete,At_Offset_1
0390 00db | | Load_Top At_Offset_3
0391 e5ff | | Load 0x2,-0x1
0392 01d5 | | Execute Vector,Field_Reference
0393 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0394 682a |h* | Jump_Zero 0x3bf
0395 00cf | | Action Mark_Auxiliary
0396 e229 | ) | Load 0x1,0x29
0397 4801 |H | Short_Literal 0x1
0398 0263 | c | Execute Discrete,Above_Bound
0399 7015 |p | Jump_Nonzero 0x3af
039a 00db | | Load_Top At_Offset_3
039b 00d9 | | Load_Top At_Offset_1
039c e22b | + | Load 0x1,0x2b
039d 01d5 | | Execute Vector,Field_Reference
039e 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
039f 822c | , | Call 0x1,0x2c
03a0 680c |h | Jump_Zero 0x3ad
03a1 e7ff | | Load 0x3,-0x1
03a2 e5ff | | Load 0x2,-0x1
03a3 01d5 | | Execute Vector,Field_Reference
03a4 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
03a5 00d9 | | Load_Top At_Offset_1
03a6 e22b | + | Load 0x1,0x2b
03a7 01d5 | | Execute Vector,Field_Reference
03a8 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
03a9 822d | - | Call 0x1,0x2d
03aa 6802 |h | Jump_Zero 0x3ad
03ab 4800 |H | Short_Literal 0x0
03ac 4401 |D | Exit_Subprogram With_Result,0x1
03ad 00c8 | | Action Pop_Auxiliary_Range
03ae 3feb |? | Loop_Increasing 0x39a
03af 00ce | | Action Pop_Auxiliary
03b0 00db | | Load_Top At_Offset_3
03b1 0a01 | | Execute_Immediate Plus,0x1
03b2 00d8 | | Load_Top At_Offset_0
03b3 00e4 | | Load_Encached Positive_Cache
03b4 0260 | ` | Execute Discrete,In_Type
03b5 7001 |p | Jump_Nonzero 0x3b7
03b6 0801 | | Execute_Immediate Raise,0x1
03b7 8403 | | Call 0x2,0x3
03b8 682e |h. | Jump_Zero 0x3e7
03b9 4800 |H | Short_Literal 0x0
03ba e7ff | | Load 0x3,-0x1
03bb e402 | | Load 0x2,0x2
03bc 01d6 | | Execute Vector,Field_Write
03bd 4801 |H | Short_Literal 0x1
03be 4401 |D | Exit_Subprogram With_Result,0x1
03bf 00cf | | Action Mark_Auxiliary
03c0 e229 | ) | Load 0x1,0x29
03c1 4801 |H | Short_Literal 0x1
03c2 0263 | c | Execute Discrete,Above_Bound
03c3 7022 |p" | Jump_Nonzero 0x3e6
03c4 00db | | Load_Top At_Offset_3
03c5 00d9 | | Load_Top At_Offset_1
03c6 e22b | + | Load 0x1,0x2b
03c7 01d5 | | Execute Vector,Field_Reference
03c8 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
03c9 822c | , | Call 0x1,0x2c
03ca 6819 |h | Jump_Zero 0x3e4
03cb e7ff | | Load 0x3,-0x1
03cc e5ff | | Load 0x2,-0x1
03cd 01d5 | | Execute Vector,Field_Reference
03ce 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
03cf 00d9 | | Load_Top At_Offset_1
03d0 e22b | + | Load 0x1,0x2b
03d1 01d5 | | Execute Vector,Field_Reference
03d2 2503 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x3
03d3 822d | - | Call 0x1,0x2d
03d4 680f |h | Jump_Zero 0x3e4
03d5 e7ff | | Load 0x3,-0x1
03d6 0a01 | | Execute_Immediate Plus,0x1
03d7 00d8 | | Load_Top At_Offset_0
03d8 00e4 | | Load_Encached Positive_Cache
03d9 0260 | ` | Execute Discrete,In_Type
03da 7001 |p | Jump_Nonzero 0x3dc
03db 0801 | | Execute_Immediate Raise,0x1
03dc 8403 | | Call 0x2,0x3
03dd 6806 |h | Jump_Zero 0x3e4
03de 00d8 | | Load_Top At_Offset_0
03df e7ff | | Load 0x3,-0x1
03e0 e402 | | Load 0x2,0x2
03e1 01d6 | | Execute Vector,Field_Write
03e2 4801 |H | Short_Literal 0x1
03e3 4401 |D | Exit_Subprogram With_Result,0x1
03e4 00c8 | | Action Pop_Auxiliary_Range
03e5 3fde |? | Loop_Increasing 0x3c4
03e6 00ce | | Action Pop_Auxiliary
03e7 4800 |H | Short_Literal 0x0
03e8 4401 |D | Exit_Subprogram With_Result,0x1
03e9 0000 0000 | | .BLANK 0000[0x7]
03f0 ; --------------------------------------------------------------------------------------
03f0 ; SUBPROGRAM
03f0 ; --------------------------------------------------------------------------------------
03f0 03f3 | | .CONST 0x03f3 ; Address of begin
03f1 0004 | | .CONST 0x0004 ; Address of exception handler
03f2 0001 | | .CONST 0x0001 ; Number of locals
03f3 BODY_03f0:
03f3 INIT_03f0:
03f3 4609 |F | Jump_Case 0x9
03f4 7809 |x | Jump 0x3fe ; case 0x0
03f5 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x1
03f6 7813 |x | Jump 0x40a ; case 0x2
03f7 7816 |x | Jump 0x40e ; case 0x3
03f8 7832 |x2 | Jump 0x42b ; case 0x4
03f9 7831 |x1 | Jump 0x42b ; case 0x5
03fa 7830 |x0 | Jump 0x42b ; case 0x6
03fb 7818 |x | Jump 0x414 ; case 0x7
03fc 7820 |x | Jump 0x41d ; case 0x8
03fd 7829 |x) | Jump 0x427 ; case 0x9
03fe 00da | | Load_Top At_Offset_2
03ff 016c | l | Execute Variant_Record,Is_Constrained
0400 7008 |p | Jump_Nonzero 0x409
0401 00cf | | Action Mark_Auxiliary
0402 4800 |H | Short_Literal 0x0
0403 e5ff | | Load 0x2,-0x1
0404 1c08 | | Execute_Immediate Run_Utility,0x8
0405 00d8 | | Load_Top At_Offset_0
0406 1c00 | | Execute_Immediate Run_Utility,0x0
0407 c5ff | | Store 0x2,-0x1
0408 00ce | | Action Pop_Auxiliary
0409 4302 |C | Exit_Subprogram From_Utility,0x2
040a 4801 |H | Short_Literal 0x1
040b 4803 |H | Short_Literal 0x3
040c 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
040d 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
040e e5fd | | Load 0x2,-0x3
040f 00db | | Load_Top At_Offset_3
0410 1c07 | | Execute_Immediate Run_Utility,0x7
0411 e5fe | | Load 0x2,-0x2
0412 0306 | | Complete_Type Variant_Record,By_Renaming
0413 4304 |C | Exit_Subprogram From_Utility,0x4
0414 00db | | Load_Top At_Offset_3
0415 4801 |H | Short_Literal 0x1
0416 e5fe | | Load 0x2,-0x2
0417 e212 | | Load 0x1,0x12
0418 035b | [ | Declare_Type Array,Constrained
0419 4801 |H | Short_Literal 0x1
041a e5ff | | Load 0x2,-0x1
041b 031b | | Declare_Type Variant_Record,Constrained
041c 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
041d 00db | | Load_Top At_Offset_3
041e 00db | | Load_Top At_Offset_3
041f 02fc | | Declare_Variable Variant_Record,With_Constraint
0420 4801 |H | Short_Literal 0x1
0421 e5fe | | Load 0x2,-0x2
0422 e212 | | Load 0x1,0x12
0423 0334 | 4 | Declare_Variable Array,With_Constraint
0424 2d03 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x3
0425 016a | j | Execute Variant_Record,Indirects_Appended
0426 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0427 4800 |H | Short_Literal 0x0
0428 00db | | Load_Top At_Offset_3
0429 1c07 | | Execute_Immediate Run_Utility,0x7
042a 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
042b 0869 | i | Execute_Immediate Raise,0x69
042c 0000 0000 | | .BLANK 0000[0x4]
0430 ; --------------------------------------------------------------------------------------
0430 ; SUBPROGRAM
0430 ; --------------------------------------------------------------------------------------
0430 0433 | 3 | .CONST 0x0433 ; Address of begin
0431 0004 | | .CONST 0x0004 ; Address of exception handler
0432 0001 | | .CONST 0x0001 ; Number of locals
0433 BODY_0430:
0433 INIT_0430:
0433 4609 |F | Jump_Case 0x9
0434 7809 |x | Jump 0x43e ; case 0x0
0435 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x1
0436 7817 |x | Jump 0x44e ; case 0x2
0437 781a |x | Jump 0x452 ; case 0x3
0438 7836 |x6 | Jump 0x46f ; case 0x4
0439 7835 |x5 | Jump 0x46f ; case 0x5
043a 7834 |x4 | Jump 0x46f ; case 0x6
043b 781c |x | Jump 0x458 ; case 0x7
043c 7824 |x$ | Jump 0x461 ; case 0x8
043d 782d |x- | Jump 0x46b ; case 0x9
043e 00da | | Load_Top At_Offset_2
043f 016c | l | Execute Variant_Record,Is_Constrained
0440 7009 |p | Jump_Nonzero 0x44a
0441 00cf | | Action Mark_Auxiliary
0442 4800 |H | Short_Literal 0x0
0443 e5ff | | Load 0x2,-0x1
0444 1c08 | | Execute_Immediate Run_Utility,0x8
0445 00d8 | | Load_Top At_Offset_0
0446 1c00 | | Execute_Immediate Run_Utility,0x0
0447 c5ff | | Store 0x2,-0x1
0448 00ce | | Action Pop_Auxiliary
0449 4302 |C | Exit_Subprogram From_Utility,0x2
044a 00da | | Load_Top At_Offset_2
044b 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
044c 1c00 | | Execute_Immediate Run_Utility,0x0
044d 4302 |C | Exit_Subprogram From_Utility,0x2
044e 4801 |H | Short_Literal 0x1
044f 4804 |H | Short_Literal 0x4
0450 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
0451 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0452 e5fd | | Load 0x2,-0x3
0453 00db | | Load_Top At_Offset_3
0454 1c07 | | Execute_Immediate Run_Utility,0x7
0455 e5fe | | Load 0x2,-0x2
0456 0306 | | Complete_Type Variant_Record,By_Renaming
0457 4304 |C | Exit_Subprogram From_Utility,0x4
0458 00db | | Load_Top At_Offset_3
0459 4801 |H | Short_Literal 0x1
045a e5fe | | Load 0x2,-0x2
045b e216 | | Load 0x1,0x16
045c 035b | [ | Declare_Type Array,Constrained
045d 4801 |H | Short_Literal 0x1
045e e5ff | | Load 0x2,-0x1
045f 031b | | Declare_Type Variant_Record,Constrained
0460 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0461 00db | | Load_Top At_Offset_3
0462 00db | | Load_Top At_Offset_3
0463 02fc | | Declare_Variable Variant_Record,With_Constraint
0464 4801 |H | Short_Literal 0x1
0465 e5fe | | Load 0x2,-0x2
0466 e216 | | Load 0x1,0x16
0467 0334 | 4 | Declare_Variable Array,With_Constraint
0468 2d04 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x4
0469 016a | j | Execute Variant_Record,Indirects_Appended
046a 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
046b 4800 |H | Short_Literal 0x0
046c 00db | | Load_Top At_Offset_3
046d 1c07 | | Execute_Immediate Run_Utility,0x7
046e 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
046f 0869 | i | Execute_Immediate Raise,0x69
0470 ; --------------------------------------------------------------------------------------
0470 ; STRING TABLE
0470 ; --------------------------------------------------------------------------------------
0470 0022 | " | .STRTAB 0x0022->0x0481 ; "FIND"
0471 0024 | $ | .STRTAB 0x0024->0x0483 ; "CHECK_NO"
0472 002a | * | .STRTAB 0x002a->0x0487 ; "Check_No_"
0473 0031 | 1 | .STRTAB 0x0031->0x048b ; "_Has'("
0474 0035 | 5 | .STRTAB 0x0035->0x048e ; "Find_"
0475 0038 | 8 | .STRTAB 0x0038->0x0491 ; "_Such_As'("
0476 0040 | @ | .STRTAB 0x0040->0x0496 ; ")"
; ")"
; ")"
; ")"
; ")"
0477 003f | ? | .STRTAB 0x003f->0x0496 ; "Premiss'("
0478 0046 | F | .STRTAB 0x0046->0x049b ; "'("
0479 0046 | F | .STRTAB 0x0046->0x049c ; "No name"
047a 004b | K | .STRTAB 0x004b->0x049f ; "Fact_collection'("
047b 005a | Z | .STRTAB 0x005a->0x04a8 ; "Working_Memory'("
047c 0068 | h | .STRTAB 0x0068->0x04b0 ; ", "
; ", "
047d 0068 | h | .STRTAB 0x0068->0x04b1 ; "Slot"
; "Slot"
047e 006a | j | .STRTAB 0x006a->0x04b3 ; " => "
047f 006c | l | .STRTAB 0x006c->0x04b5 ; " =>"
0480 006d | m | .STREND 0x006d->0x04b6
0481 4649 4e44 |FIND| .STRTAB_STRINGS
04b7 0000 | | .XXX[0x1]
04b8 ; --------------------------------------------------------------------------------------
04b8 ; Debug Table
04b8 ; --------------------------------------------------------------------------------------
04b8 0004 0004 | | .DEBUG4 0x0004,0x0004,0x622d,0x0000,0x0001,0x001a
04be 000b 0526 | &| .DBG4T 0x000b,0x0526,0x8000,0x8000
04c2 00c8 0562 | b| .DBG4T 0x00c8,0x0562,0x8000,0x8000
04c6 010b 0000 | | .DBG4T 0x010b,0x0000,0x0005,0x0000
04ca 013b 0000 | ; | .DBG4T 0x013b,0x0000,0x0005,0x0000
04ce 0153 0000 | S | .DBG4T 0x0153,0x0000,0x0005,0x0000
04d2 016b 058c | k | .DBG4T 0x016b,0x058c,0x0002,0x0000
04d6 017b 058f | { | .DBG4T 0x017b,0x058f,0x0002,0x0000
04da 018b 0592 | | .DBG4T 0x018b,0x0592,0x0002,0x0000
04de 019b 0595 | | .DBG4T 0x019b,0x0595,0x0002,0x8000
04e2 01bb 059e | | .DBG4T 0x01bb,0x059e,0x0001,0x0000
04e6 01db 05a7 | | .DBG4T 0x01db,0x05a7,0x0001,0x0000
04ea 0203 05af | | .DBG4T 0x0203,0x05af,0x0001,0x0000
04ee 020b 05b2 | | .DBG4T 0x020b,0x05b2,0x0001,0x0000
04f2 021b 05b5 | | .DBG4T 0x021b,0x05b5,0x0001,0x4000
04f6 024b 05c5 | K | .DBG4T 0x024b,0x05c5,0x0001,0x0000
04fa 026b 05ce | k | .DBG4T 0x026b,0x05ce,0x0001,0x0000
04fe 029b 05da | | .DBG4T 0x029b,0x05da,0x0001,0x0000
0502 02c3 05e4 | | .DBG4T 0x02c3,0x05e4,0x0001,0x0000
0506 02eb 0000 | | .DBG4T 0x02eb,0x0000,0x0005,0x0000
050a 0303 05ef | | .DBG4T 0x0303,0x05ef,0x0002,0x0000
050e 0313 05f4 | | .DBG4T 0x0313,0x05f4,0x0002,0x0000
0512 032b 05fa | + | .DBG4T 0x032b,0x05fa,0x0001,0x0000
0516 0353 0603 | S | .DBG4T 0x0353,0x0603,0x0001,0x0000
051a 0383 060e | | .DBG4T 0x0383,0x060e,0x0002,0x4000
051e 03f3 0000 | | .DBG4T 0x03f3,0x0000,0x0005,0x0000
0522 0433 0000 | 3 | .DBG4T 0x0433,0x0000,0x0005,0x0000
0526 ; --------------------------------------------------------------------------------------
0526 ; Debug chain
0526 ; --------------------------------------------------------------------------------------
0526 001d 0000 | | .DBGLEN 0x001d,0x0000
0528 000b 000d | | .DBGLNO 0x000b,0x000d,0x000e,0x0014,0x0018,0x001c,0x0022,0x002e,0x0055,0x005a,0x0061,0x006e,0x0098,0x009f,0x00a5,0x00aa,0x00ac,0x00ae,0x00b0,0x00b2,0x00b4,0x00b6,0x00b8,0x00ba,0x00bc,0x00be,0x00c0,0x00c2,0x00c4
0545 0001 0002 | | .XXX[0x1d]
0547 0003 0007 | |
0549 0008 0009 | |
054b 000a 000b | |
054d 000c 000d | |
054f 000e 000f | |
0551 0010 0011 | |
0553 0012 0013 | |
0555 0014 0015 | |
0557 0016 0017 | |
0559 0018 0019 | |
055b 001a 001b | |
055d 001c 001d | |
055f 001e 001f | |
0561 0021 | ! |
0562 ; --------------------------------------------------------------------------------------
0562 ; Debug chain
0562 ; --------------------------------------------------------------------------------------
0562 0014 0000 | | .DBGLEN 0x0014,0x0000
0564 00c8 00ca | | .DBGLNO 0x00c8,0x00ca,0x00d1,0x00e2,0x00e4,0x00e6,0x00e8,0x00ea,0x00ec,0x00ee,0x00f0,0x00f2,0x00f4,0x00f6,0x00f8,0x00fa,0x00fc,0x00fe,0x0100,0x0102
0578 0002 0003 | | .XXX[0x14]
057a 0004 0007 | |
057c 0008 0009 | |
057e 000a 000b | |
0580 000c 000d | |
0582 000e 000f | |
0584 0010 0011 | |
0586 0012 0013 | |
0588 0014 0015 | |
058a 0016 0017 | |
058c ; --------------------------------------------------------------------------------------
058c ; Debug chain
058c ; --------------------------------------------------------------------------------------
058c 0000 0001 | | .DBGLEN 0x0000,0x0001
058e 016b | k | .DBGLNO 0x016b
058f ; --------------------------------------------------------------------------------------
058f ; Debug chain
058f ; --------------------------------------------------------------------------------------
058f 0000 0001 | | .DBGLEN 0x0000,0x0001
0591 017b | { | .DBGLNO 0x017b
0592 ; --------------------------------------------------------------------------------------
0592 ; Debug chain
0592 ; --------------------------------------------------------------------------------------
0592 0000 0001 | | .DBGLEN 0x0000,0x0001
0594 018b | | .DBGLNO 0x018b
0595 ; --------------------------------------------------------------------------------------
0595 ; Debug chain
0595 ; --------------------------------------------------------------------------------------
0595 0002 0003 | | .DBGLEN 0x0002,0x0003
0597 019b 01a0 | | .DBGLNO 0x019b,0x01a0,0x01a2,0x01ae,0x01b2
059c 0001 0003 | | .XXX[0x2]
059e ; --------------------------------------------------------------------------------------
059e ; Debug chain
059e ; --------------------------------------------------------------------------------------
059e 0000 0007 | | .DBGLEN 0x0000,0x0007
05a0 01bc 01bf | | .DBGLNO 0x01bc,0x01bf,0x01c5,0x01c9,0x01cd,0x01cf,0x01d3
05a7 ; --------------------------------------------------------------------------------------
05a7 ; Debug chain
05a7 ; --------------------------------------------------------------------------------------
05a7 0000 0006 | | .DBGLEN 0x0000,0x0006
05a9 01db 01df | | .DBGLNO 0x01db,0x01df,0x01e3,0x01e7,0x01eb,0x01f3
05af ; --------------------------------------------------------------------------------------
05af ; Debug chain
05af ; --------------------------------------------------------------------------------------
05af 0000 0001 | | .DBGLEN 0x0000,0x0001
05b1 0203 | | .DBGLNO 0x0203
05b2 ; --------------------------------------------------------------------------------------
05b2 ; Debug chain
05b2 ; --------------------------------------------------------------------------------------
05b2 0000 0001 | | .DBGLEN 0x0000,0x0001
05b4 020b | | .DBGLNO 0x020b
05b5 ; --------------------------------------------------------------------------------------
05b5 ; Debug chain
05b5 ; --------------------------------------------------------------------------------------
05b5 0000 0007 | | .DBGLEN 0x0000,0x0007
05b7 021b 021e | | .DBGLNO 0x021b,0x021e,0x022a,0x0235,0x0237,0x023b,0x023d
05be 0001 0003 | | .XXX[0x7]
05c0 0002 0004 | |
05c2 0005 0006 | |
05c4 0007 | |
05c5 ; --------------------------------------------------------------------------------------
05c5 ; Debug chain
05c5 ; --------------------------------------------------------------------------------------
05c5 0000 0007 | | .DBGLEN 0x0000,0x0007
05c7 024b 024f | K O| .DBGLNO 0x024b,0x024f,0x0252,0x0256,0x025b,0x0261,0x0263
05ce ; --------------------------------------------------------------------------------------
05ce ; Debug chain
05ce ; --------------------------------------------------------------------------------------
05ce 0001 0009 | | .DBGLEN 0x0001,0x0009
05d0 026b 026f | k o| .DBGLNO 0x026b,0x026f,0x0271,0x0276,0x027a,0x0282,0x0284,0x0288,0x028a,0x028f
05da ; --------------------------------------------------------------------------------------
05da ; Debug chain
05da ; --------------------------------------------------------------------------------------
05da 0000 0008 | | .DBGLEN 0x0000,0x0008
05dc 029b 029f | | .DBGLNO 0x029b,0x029f,0x02a1,0x02a5,0x02a9,0x02b1,0x02b3,0x02b6
05e4 ; --------------------------------------------------------------------------------------
05e4 ; Debug chain
05e4 ; --------------------------------------------------------------------------------------
05e4 0001 0008 | | .DBGLEN 0x0001,0x0008
05e6 02c3 02c7 | | .DBGLNO 0x02c3,0x02c7,0x02cb,0x02ce,0x02d1,0x02d6,0x02da,0x02e0,0x02e2
05ef ; --------------------------------------------------------------------------------------
05ef ; Debug chain
05ef ; --------------------------------------------------------------------------------------
05ef 0001 0002 | | .DBGLEN 0x0001,0x0002
05f1 0303 0304 | | .DBGLNO 0x0303,0x0304,0x030c
05f4 ; --------------------------------------------------------------------------------------
05f4 ; Debug chain
05f4 ; --------------------------------------------------------------------------------------
05f4 0000 0004 | | .DBGLEN 0x0000,0x0004
05f6 0314 0318 | | .DBGLNO 0x0314,0x0318,0x0320,0x0325
05fa ; --------------------------------------------------------------------------------------
05fa ; Debug chain
05fa ; --------------------------------------------------------------------------------------
05fa 0001 0006 | | .DBGLEN 0x0001,0x0006
05fc 032b 032e | + .| .DBGLNO 0x032b,0x032e,0x0332,0x0334,0x0339,0x033b,0x0346
0603 ; --------------------------------------------------------------------------------------
0603 ; Debug chain
0603 ; --------------------------------------------------------------------------------------
0603 0001 0008 | | .DBGLEN 0x0001,0x0008
0605 0353 0356 | S V| .DBGLNO 0x0353,0x0356,0x035a,0x035c,0x0360,0x0364,0x0368,0x036a,0x0375
060e ; --------------------------------------------------------------------------------------
060e ; Debug chain
060e ; --------------------------------------------------------------------------------------
060e 0001 0010 | | .DBGLEN 0x0001,0x0010
0610 0383 0384 | | .DBGLNO 0x0383,0x0384,0x0389,0x038b,0x0390,0x0396,0x039a,0x03ab,0x03b0,0x03b9,0x03bd,0x03c0,0x03c4,0x03d5,0x03de,0x03e2,0x03e7
0621 0001 0002 | | .XXX[0x10]
0623 0003 0004 | |
0625 000a 000b | |
0627 000c 000d | |
0629 000e 000f | |
062b 0005 0006 | |
062d 0007 0008 | |
062f 0009 0010 | |
0631 0000 0000 | | .BLANK 0000[0x1cf]