|
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: 3072 (0xc00)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_7694d6
└─⟦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 0338 | 8 | .CONST 0x0338 ; 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 0002 | | .CONST 0x0002 ; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 00f9 | | .CONST 0x00f9 ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 002a | * | .CONST 0x002a ; 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 e20f | | Load 0x1,0xf
0016 00e3 | | Load_Encached Natural_Cache
0017 03f9 | | Declare_Type Discrete,Constrained,Visible
0018 00d8 | | Load_Top At_Offset_0
0019 4800 |H | Short_Literal 0x0
001a 4801 |H | Short_Literal 0x1
001b 4801 |H | Short_Literal 0x1
001c 4804 |H | Short_Literal 0x4
001d 0319 | | Declare_Type Variant_Record,Incomplete,Visible
001e 029f 02b3 | | Declare_Subprogram For_Call,INIT_02b0
0020 00d9 | | Load_Top At_Offset_1
0021 012a | * | Execute Any,Change_Utility
0022 0007 | | Action Break_Optional
0023 00c4 | | Action Make_Default
0024 00e4 | | Load_Encached Positive_Cache
0025 0266 | f | Execute Discrete,Bounds
0026 00db | | Load_Top At_Offset_3
0027 029f 0103 | | Declare_Subprogram For_Call,INIT_0100
0029 4801 |H | Short_Literal 0x1
002a 0349 | I | Declare_Type Array,Defined_Incomplete,Visible,Bounds_With_Object
002b 029a 0123 | #| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0120
002d 029a 0133 | 3| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0130
002f 029a 0143 | C| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0140
0031 029a 0163 | c| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0160
0033 029a 016b | k| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0168
0035 029a 019b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0198
0037 029a 01bb | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01b8
0039 029a 01c3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01c0
003b 029a 01eb | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01e8
003d 0093 0000 | | PushFullAddress InMicrocode
003f 60d8 |` | Indirect_Literal Discrete,0x118,{0x80000000, 0x00010000}
0040 0273 | s | Execute Discrete,Plus
0041 e20d | | Load 0x1,0xd
0042 60d1 |` | Indirect_Literal Discrete,0x114,{0x00000000, 0x0000ffff}
0043 0279 | y | Execute Discrete,And
0044 0273 | s | Execute Discrete,Plus
0045 0129 | ) | Execute Any,Make_Visible
0046 4804 |H | Short_Literal 0x4
0047 4802 |H | Short_Literal 0x2
0048 e001 | | Load 0x0,0x1
0049 01d7 | | Execute Vector,Field_Read
004a 02a0 | | Declare_Subprogram Null_Subprogram
004b 038d | | Declare_Type Package,Defined,Visible,Not_Elaborated
004c e001 | | Load 0x0,0x1
004d 4801 |H | Short_Literal 0x1
004e e001 | | Load 0x0,0x1
004f 01d7 | | Execute Vector,Field_Read
0050 e210 | | Load 0x1,0x10
0051 4803 |H | Short_Literal 0x3
0052 e225 | % | Load 0x1,0x25
0053 020e | | Execute Module,Augment_Imports
0054 0007 | | Action Break_Optional
0055 4800 |H | Short_Literal 0x0
0056 0129 | ) | Execute Any,Make_Visible
0057 c215 | | Store 0x1,0x15
0058 4801 |H | Short_Literal 0x1
0059 e20f | | Load 0x1,0xf
005a e217 | | Load 0x1,0x17
005b 03f9 | | Declare_Type Discrete,Constrained,Visible
005c 00d8 | | Load_Top At_Offset_0
005d 0266 | f | Execute Discrete,Bounds
005e e210 | | Load 0x1,0x10
005f 029f 01f3 | | Declare_Subprogram For_Call,INIT_01f0
0061 4801 |H | Short_Literal 0x1
0062 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
0063 4800 |H | Short_Literal 0x0
0064 4801 |H | Short_Literal 0x1
0065 029f 020b | | Declare_Subprogram For_Call,INIT_0208
0067 03fe | | Declare_Type Discrete,Defined,Visible
0068 00d8 | | Load_Top At_Offset_0
0069 00e3 | | Load_Encached Natural_Cache
006a 4801 |H | Short_Literal 0x1
006b e227 | ' | Load 0x1,0x27
006c 01dc | | Execute Vector,Last
006d e217 | | Load 0x1,0x17
006e 0269 | i | Execute Discrete,Last
006f 026c | l | Execute Discrete,Minimum
0070 e227 | ' | Load 0x1,0x27
0071 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object
0072 029f 02b3 | | Declare_Subprogram For_Call,INIT_02b0
0074 4800 |H | Short_Literal 0x0
0075 4801 |H | Short_Literal 0x1
0076 4802 |H | Short_Literal 0x2
0077 e218 | | Load 0x1,0x18
0078 0307 | | Complete_Type Variant_Record,By_Defining
0079 e21a | | Load 0x1,0x1a
007a 0340 | @ | Complete_Type Array,By_Component_Completion
007b 4800 |H | Short_Literal 0x0
007c e218 | | Load 0x1,0x18
007d 1c08 | | Execute_Immediate Run_Utility,0x8
007e 4800 |H | Short_Literal 0x0
007f 00d9 | | Load_Top At_Offset_1
0080 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0081 4800 |H | Short_Literal 0x0
0082 00d9 | | Load_Top At_Offset_1
0083 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0084 00d8 | | Load_Top At_Offset_0
0085 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
0086 0335 | 5 | Declare_Variable Array,Duplicate
0087 00cd | | Action Spare6_Action
0088 00d9 | | Load_Top At_Offset_1
0089 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
008a 01d9 | | Execute Vector,Reverse_Bounds
008b 0263 | c | Execute Discrete,Above_Bound
008c 7007 |p | Jump_Nonzero 0x94
008d e211 | | Load 0x1,0x11
008e e210 | | Load 0x1,0x10
008f 0119 | | Execute Any,Check_In_Formal_Type
0090 00d9 | | Load_Top At_Offset_1
0091 e22a | * | Load 0x1,0x2a
0092 01d6 | | Execute Vector,Field_Write
0093 3ff9 |? | Loop_Increasing 0x8d
0094 00d9 | | Load_Top At_Offset_1
0095 00d8 | | Load_Top At_Offset_0
0096 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
0097 00da | | Load_Top At_Offset_2
0098 01da | | Execute Vector,Bounds
0099 00da | | Load_Top At_Offset_2
009a 01da | | Execute Vector,Bounds
009b 00da | | Load_Top At_Offset_2
009c 027f | | Execute Discrete,Equal
009d 7001 |p | Jump_Nonzero 0x9f
009e 08e0 | | Execute_Immediate Raise,0xe0
009f 00cd | | Action Spare6_Action
00a0 027f | | Execute Discrete,Equal
00a1 7001 |p | Jump_Nonzero 0xa3
00a2 08e0 | | Execute_Immediate Raise,0xe0
00a3 00d2 | | Pop_Control Pop_Count_2
00a4 00d9 | | Load_Top At_Offset_1
00a5 2904 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x4
00a6 0129 | ) | Execute Any,Make_Visible
00a7 c219 | | Store 0x1,0x19
00a8 00bf | | Action Accept_Activation
00a9 4800 |H | Short_Literal 0x0
00aa 4804 |H | Short_Literal 0x4
00ab e001 | | Load 0x0,0x1
00ac 01d7 | | Execute Vector,Field_Read
00ad 02a0 | | Declare_Subprogram Null_Subprogram
00ae 038e | | Declare_Type Package,Defined
00af e001 | | Load 0x0,0x1
00b0 4803 |H | Short_Literal 0x3
00b1 e001 | | Load 0x0,0x1
00b2 01d7 | | Execute Vector,Field_Read
00b3 e226 | & | Load 0x1,0x26
00b4 e217 | | Load 0x1,0x17
00b5 4804 |H | Short_Literal 0x4
00b6 e229 | ) | Load 0x1,0x29
00b7 020e | | Execute Module,Augment_Imports
00b8 0387 | | Declare_Variable Package
00b9 1d1b | | Execute_Immediate Reference_Lex_1,0x1b
00ba 00c7 | | Action Elaborate_Subprogram
00bb 1d1c | | Execute_Immediate Reference_Lex_1,0x1c
00bc 00c7 | | Action Elaborate_Subprogram
00bd 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
00be 00c7 | | Action Elaborate_Subprogram
00bf 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
00c0 00c7 | | Action Elaborate_Subprogram
00c1 029d 0233 | 3| Declare_Subprogram For_Outer_Call,INIT_0230
00c3 1d1f | | Execute_Immediate Reference_Lex_1,0x1f
00c4 00c7 | | Action Elaborate_Subprogram
00c5 1d20 | | Execute_Immediate Reference_Lex_1,0x20
00c6 00c7 | | Action Elaborate_Subprogram
00c7 1d21 | ! | Execute_Immediate Reference_Lex_1,0x21
00c8 00c7 | | Action Elaborate_Subprogram
00c9 1d22 | " | Execute_Immediate Reference_Lex_1,0x22
00ca 00c7 | | Action Elaborate_Subprogram
00cb 1d23 | # | Execute_Immediate Reference_Lex_1,0x23
00cc 00c7 | | Action Elaborate_Subprogram
00cd e214 | | Load 0x1,0x14
00ce e20e | | Load 0x1,0xe
00cf e224 | $ | Load 0x1,0x24
00d0 a002 | | Reference 0x0,0x2
00d1 a003 | | Reference 0x0,0x3
00d2 a004 | | Reference 0x0,0x4
00d3 a005 | | Reference 0x0,0x5
00d4 1d12 | | Execute_Immediate Reference_Lex_1,0x12
00d5 a006 | | Reference 0x0,0x6
00d6 a007 | | Reference 0x0,0x7
00d7 480a |H | Short_Literal 0xa
00d8 e229 | ) | Load 0x1,0x29
00d9 020e | | Execute Module,Augment_Imports
00da 00d9 | | Load_Top At_Offset_1
00db 020f | | Execute Module,Activate
00dc a008 | | Reference 0x0,0x8
00dd e009 | | Load 0x0,0x9
00de e218 | | Load 0x1,0x18
00df e229 | ) | Load 0x1,0x29
00e0 1913 | | Execute Package,Field_Reference,Field_Number 0x13
00e1 e229 | ) | Load 0x1,0x29
00e2 1911 | | Execute Package,Field_Reference,Field_Number 0x11
00e3 e229 | ) | Load 0x1,0x29
00e4 1914 | | Execute Package,Field_Reference,Field_Number 0x14
00e5 e229 | ) | Load 0x1,0x29
00e6 1915 | | Execute Package,Field_Reference,Field_Number 0x15
00e7 e229 | ) | Load 0x1,0x29
00e8 1916 | | Execute Package,Field_Reference,Field_Number 0x16
00e9 e229 | ) | Load 0x1,0x29
00ea 1917 | | Execute Package,Field_Reference,Field_Number 0x17
00eb a002 | | Reference 0x0,0x2
00ec a004 | | Reference 0x0,0x4
00ed a006 | | Reference 0x0,0x6
00ee a003 | | Reference 0x0,0x3
00ef a005 | | Reference 0x0,0x5
00f0 e226 | & | Load 0x1,0x26
00f1 e227 | ' | Load 0x1,0x27
00f2 e229 | ) | Load 0x1,0x29
00f3 1b0d | | Execute Package,Field_Read,Field_Number 0xd
00f4 4811 |H | Short_Literal 0x11
00f5 e225 | % | Load 0x1,0x25
00f6 020e | | Execute Module,Augment_Imports
00f7 e225 | % | Load 0x1,0x25
00f8 020d | | Execute Module,Elaborate
00f9 BODY_0008:
00f9 00bc | | Action Signal_Activated
00fa 00bb | | Action Signal_Completion
00fb 0000 0000 | | .BLANK 0000[0x5]
0100 ; --------------------------------------------------------------------------------------
0100 ; SUBPROGRAM
0100 ; --------------------------------------------------------------------------------------
0100 0103 | | .CONST 0x0103 ; Address of begin
0101 0004 | | .CONST 0x0004 ; Address of exception handler
0102 0001 | | .CONST 0x0001 ; Number of locals
0103 BODY_0100:
0103 INIT_0100:
0103 00d1 | | Pop_Control Pop_Count_1
0104 00da | | Load_Top At_Offset_2
0105 01dc | | Execute Vector,Last
0106 00db | | Load_Top At_Offset_3
0107 01dd | | Execute Vector,First
0108 0263 | c | Execute Discrete,Above_Bound
0109 7006 |p | Jump_Nonzero 0x110
010a 00d8 | | Load_Top At_Offset_0
010b e5ff | | Load 0x2,-0x1
010c 01d5 | | Execute Vector,Field_Reference
010d 1c00 | | Execute_Immediate Run_Utility,0x0
010e 0a01 | | Execute_Immediate Plus,0x1
010f 7ff8 | | Jump 0x108
0110 4302 |C | Exit_Subprogram From_Utility,0x2
0111 0000 0000 | | .XXX[0x3]
0113 0000 | |
0114 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff}
0118 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
011c 0000 0000 | | .BLANK 0000[0x4]
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123 | # | .CONST 0x0123 ; Address of begin
0121 0004 | | .CONST 0x0004 ; Address of exception handler
0122 0001 | | .CONST 0x0001 ; Number of locals
0123 BODY_0120:
0123 INIT_0120:
0123 4801 |H | Short_Literal 0x1
0124 4800 |H | Short_Literal 0x0
0125 e216 | | Load 0x1,0x16
0126 035b | [ | Declare_Type Array,Constrained
0127 0337 | 7 | Declare_Variable Array
0128 e216 | | Load 0x1,0x16
0129 01c6 | | Execute Vector,Convert_To_Formal
012a 00ca | | Action Exit_Nullary_Function
012b 0000 0000 | | .BLANK 0000[0x5]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0133 | 3 | .CONST 0x0133 ; Address of begin
0131 0004 | | .CONST 0x0004 ; Address of exception handler
0132 0001 | | .CONST 0x0001 ; Number of locals
0133 BODY_0130:
0133 INIT_0130:
0133 4801 |H | Short_Literal 0x1
0134 4800 |H | Short_Literal 0x0
0135 e21a | | Load 0x1,0x1a
0136 035b | [ | Declare_Type Array,Constrained
0137 0337 | 7 | Declare_Variable Array
0138 e21a | | Load 0x1,0x1a
0139 01c6 | | Execute Vector,Convert_To_Formal
013a 00ca | | Action Exit_Nullary_Function
013b 0000 0000 | | .BLANK 0000[0x5]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 014a | J | .CONST 0x014a ; Address of begin
0141 0004 | | .CONST 0x0004 ; Address of exception handler
0142 0003 | | .CONST 0x0003 ; Number of locals
0143 INIT_0140:
0143 00da | | Load_Top At_Offset_2
0144 01da | | Execute Vector,Bounds
0145 e216 | | Load 0x1,0x16
0146 035b | [ | Declare_Type Array,Constrained
0147 0337 | 7 | Declare_Variable Array
0148 029f 025b | [| Declare_Subprogram For_Call,INIT_0258
014a BODY_0140:
014a e5ff | | Load 0x2,-0x1
014b 01db | | Execute Vector,Length
014c 680d |h | Jump_Zero 0x15a
014d e5ff | | Load 0x2,-0x1
014e 01dd | | Execute Vector,First
014f 00d8 | | Load_Top At_Offset_0
0150 00e4 | | Load_Encached Positive_Cache
0151 0260 | ` | Execute Discrete,In_Type
0152 7001 |p | Jump_Nonzero 0x154
0153 0801 | | Execute_Immediate Raise,0x1
0154 8403 | | Call 0x2,0x3
0155 6804 |h | Jump_Zero 0x15a
0156 00d9 | | Load_Top At_Offset_1
0157 e216 | | Load 0x1,0x16
0158 01c6 | | Execute Vector,Convert_To_Formal
0159 4401 |D | Exit_Subprogram With_Result,0x1
015a 821b | | Call 0x1,0x1b
015b 4401 |D | Exit_Subprogram With_Result,0x1
015c 0000 0000 | | .BLANK 0000[0x4]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 0163 | c | .CONST 0x0163 ; Address of begin
0161 0004 | | .CONST 0x0004 ; Address of exception handler
0162 0001 | | .CONST 0x0001 ; Number of locals
0163 BODY_0160:
0163 INIT_0160:
0163 e229 | ) | Load 0x1,0x29
0164 1810 | | Execute Package,Field_Execute,Field_Number 0x10
0165 4501 |E | Exit_Subprogram 0x1
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 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
016d 680c |h | Jump_Zero 0x17a
016e 00db | | Load_Top At_Offset_3
016f 0092 0304 | | Action Push_String_Extended,0x304 ; "Check_No_"
0171 e5ff | | Load 0x2,-0x1
0172 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0173 8007 | | Call 0x0,0x7
0174 01cc | | Execute Vector,Catenate
0175 0092 0305 | | Action Push_String_Extended,0x305 ; "_Has'("
0177 01cc | | Execute Vector,Catenate
0178 8003 | | Call 0x0,0x3
0179 780b |x | Jump 0x185
017a 00db | | Load_Top At_Offset_3
017b 0092 0306 | | Action Push_String_Extended,0x306 ; "Find_"
017d e5ff | | Load 0x2,-0x1
017e 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
017f 8007 | | Call 0x0,0x7
0180 01cc | | Execute Vector,Catenate
0181 0092 0307 | | Action Push_String_Extended,0x307 ; "_Such_As'("
0183 01cc | | Execute Vector,Catenate
0184 8003 | | Call 0x0,0x3
0185 00db | | Load_Top At_Offset_3
0186 8004 | | Call 0x0,0x4
0187 00db | | Load_Top At_Offset_3
0188 00db | | Load_Top At_Offset_3
0189 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
018a 822a | * | Call 0x1,0x2a
018b 00db | | Load_Top At_Offset_3
018c 8005 | | Call 0x0,0x5
018d 00db | | Load_Top At_Offset_3
018e 0092 0308 | | Action Push_String_Extended,0x308 ; ")"
0190 8003 | | Call 0x0,0x3
0191 4503 |E | Exit_Subprogram 0x3
0192 0000 0000 | | .BLANK 0000[0x6]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 019b | | .CONST 0x019b ; Address of begin
0199 0004 | | .CONST 0x0004 ; Address of exception handler
019a 0001 | | .CONST 0x0001 ; Number of locals
019b BODY_0198:
019b INIT_0198:
019b 00db | | Load_Top At_Offset_3
019c 0092 0309 | | Action Push_String_Extended,0x309 ; "Premiss'("
019e 8002 | | Call 0x0,0x2
019f 00db | | Load_Top At_Offset_3
01a0 8004 | | Call 0x0,0x4
01a1 00cf | | Action Mark_Auxiliary
01a2 00db | | Load_Top At_Offset_3
01a3 01d9 | | Execute Vector,Reverse_Bounds
01a4 0263 | c | Execute Discrete,Above_Bound
01a5 700a |p | Jump_Nonzero 0x1b0
01a6 e5fe | | Load 0x2,-0x2
01a7 00d9 | | Load_Top At_Offset_1
01a8 e5ff | | Load 0x2,-0x1
01a9 01d5 | | Execute Vector,Field_Reference
01aa 821f | | Call 0x1,0x1f
01ab 4801 |H | Short_Literal 0x1
01ac e5fe | | Load 0x2,-0x2
01ad 8006 | | Call 0x0,0x6
01ae 00c8 | | Action Pop_Auxiliary_Range
01af 3ff6 |? | Loop_Increasing 0x1a6
01b0 00ce | | Action Pop_Auxiliary
01b1 00db | | Load_Top At_Offset_3
01b2 8005 | | Call 0x0,0x5
01b3 00db | | Load_Top At_Offset_3
01b4 0092 0308 | | Action Push_String_Extended,0x308 ; ")"
01b6 8003 | | Call 0x0,0x3
01b7 4503 |E | Exit_Subprogram 0x3
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 00db | | Load_Top At_Offset_3
01bc 00db | | Load_Top At_Offset_3
01bd e229 | ) | Load 0x1,0x29
01be 1819 | | Execute Package,Field_Execute,Field_Number 0x19
01bf 4503 |E | Exit_Subprogram 0x3
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3 | | .CONST 0x01c3 ; Address of begin
01c1 0004 | | .CONST 0x0004 ; Address of exception handler
01c2 0001 | | .CONST 0x0001 ; Number of locals
01c3 BODY_01c0:
01c3 INIT_01c0:
01c3 00db | | Load_Top At_Offset_3
01c4 0092 030a | | Action Push_String_Extended,0x30a ; "Fact_collection'("
01c6 8003 | | Call 0x0,0x3
01c7 00db | | Load_Top At_Offset_3
01c8 8004 | | Call 0x0,0x4
01c9 00da | | Load_Top At_Offset_2
01ca 01db | | Execute Vector,Length
01cb 680d |h | Jump_Zero 0x1d9
01cc 00cf | | Action Mark_Auxiliary
01cd 00db | | Load_Top At_Offset_3
01ce 01d9 | | Execute Vector,Reverse_Bounds
01cf 0263 | c | Execute Discrete,Above_Bound
01d0 7007 |p | Jump_Nonzero 0x1d8
01d1 e5fe | | Load 0x2,-0x2
01d2 00d9 | | Load_Top At_Offset_1
01d3 e5ff | | Load 0x2,-0x1
01d4 01d7 | | Execute Vector,Field_Read
01d5 8221 | ! | Call 0x1,0x21
01d6 00c8 | | Action Pop_Auxiliary_Range
01d7 3ff9 |? | Loop_Increasing 0x1d1
01d8 00ce | | Action Pop_Auxiliary
01d9 00db | | Load_Top At_Offset_3
01da 8005 | | Call 0x0,0x5
01db 4801 |H | Short_Literal 0x1
01dc e5fe | | Load 0x2,-0x2
01dd 8006 | | Call 0x0,0x6
01de 00db | | Load_Top At_Offset_3
01df 0092 0308 | | Action Push_String_Extended,0x308 ; ")"
01e1 8003 | | Call 0x0,0x3
01e2 4503 |E | Exit_Subprogram 0x3
01e3 0000 0000 | | .BLANK 0000[0x5]
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01eb | | .CONST 0x01eb ; Address of begin
01e9 0004 | | .CONST 0x0004 ; Address of exception handler
01ea 0001 | | .CONST 0x0001 ; Number of locals
01eb BODY_01e8:
01eb INIT_01e8:
01eb 00da | | Load_Top At_Offset_2
01ec e229 | ) | Load 0x1,0x29
01ed 181a | | Execute Package,Field_Execute,Field_Number 0x1a
01ee 4502 |E | Exit_Subprogram 0x2
01ef 0000 | | .XXX[0x1]
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 01f3 | | .CONST 0x01f3 ; Address of begin
01f1 0004 | | .CONST 0x0004 ; Address of exception handler
01f2 0001 | | .CONST 0x0001 ; Number of locals
01f3 BODY_01f0:
01f3 INIT_01f0:
01f3 00d1 | | Pop_Control Pop_Count_1
01f4 00da | | Load_Top At_Offset_2
01f5 01dc | | Execute Vector,Last
01f6 00db | | Load_Top At_Offset_3
01f7 01dd | | Execute Vector,First
01f8 0263 | c | Execute Discrete,Above_Bound
01f9 700a |p | Jump_Nonzero 0x204
01fa 00d8 | | Load_Top At_Offset_0
01fb e5ff | | Load 0x2,-0x1
01fc 01d5 | | Execute Vector,Field_Reference
01fd 0125 | % | Execute Any,Set_Constraint
01fe 00d8 | | Load_Top At_Offset_0
01ff e5ff | | Load 0x2,-0x1
0200 01d5 | | Execute Vector,Field_Reference
0201 1c00 | | Execute_Immediate Run_Utility,0x0
0202 0a01 | | Execute_Immediate Plus,0x1
0203 7ff4 | | Jump 0x1f8
0204 4302 |C | Exit_Subprogram From_Utility,0x2
0205 0000 0000 | | .XXX[0x3]
0207 0000 | |
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 4607 |F | Jump_Case 0x7
020c 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x0
020d 7807 |x | Jump 0x215 ; case 0x1
020e 780a |x | Jump 0x219 ; case 0x2
020f 780e |x | Jump 0x21e ; case 0x3
0210 7811 |x | Jump 0x222 ; case 0x4
0211 7812 |x | Jump 0x224 ; case 0x5
0212 7813 |x | Jump 0x226 ; case 0x6
0213 7816 |x | Jump 0x22a ; case 0x7
0214 4302 |C | .XXX[0x1]
0215 00da | | Load_Top At_Offset_2
0216 0091 0302 | | Action Push_String_Extended_Indexed,0x302 ; "FIND"
0218 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0219 00db | | Load_Top At_Offset_3
021a 00db | | Load_Top At_Offset_3
021b 00e0 | | Load_Encached Standard_Cache
021c 181b | | Execute Package,Field_Execute,Field_Number 0x1b
021d 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
021e 00da | | Load_Top At_Offset_2
021f 00e0 | | Load_Encached Standard_Cache
0220 181c | | Execute Package,Field_Execute,Field_Number 0x1c
0221 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0222 00db | | Load_Top At_Offset_3
0223 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0224 00db | | Load_Top At_Offset_3
0225 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0226 e228 | ( | Load 0x1,0x28
0227 00dc | | Load_Top At_Offset_4
0228 0267 | g | Execute Discrete,Predecessor
0229 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
022a e228 | ( | Load 0x1,0x28
022b 00dc | | Load_Top At_Offset_4
022c 0268 | h | Execute Discrete,Successor
022d 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
022e 0000 0000 | | .XXX[0x2]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 0235 | 5 | .CONST 0x0235 ; Address of begin
0231 0004 | | .CONST 0x0004 ; Address of exception handler
0232 0002 | | .CONST 0x0002 ; Number of locals
0233 INIT_0230:
0233 00e1 | | Load_Encached Boolean_Cache
0234 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
0235 BODY_0230:
0235 00cf | | Action Mark_Auxiliary
0236 e5ff | | Load 0x2,-0x1
0237 01d9 | | Execute Vector,Reverse_Bounds
0238 0263 | c | Execute Discrete,Above_Bound
0239 701b |p | Jump_Nonzero 0x255
023a 00db | | Load_Top At_Offset_3
023b 7005 |p | Jump_Nonzero 0x241
023c e5fe | | Load 0x2,-0x2
023d 0092 030b | | Action Push_String_Extended,0x30b ; ", "
023f 8003 | | Call 0x0,0x3
0240 7802 |x | Jump 0x243
0241 4800 |H | Short_Literal 0x0
0242 a402 | | Store_Unchecked 0x2,0x2
0243 e5fe | | Load 0x2,-0x2
0244 0092 030c | | Action Push_String_Extended,0x30c ; "Slot"
0246 00da | | Load_Top At_Offset_2
0247 00e0 | | Load_Encached Standard_Cache
0248 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0249 01cc | | Execute Vector,Catenate
024a 0092 030d | | Action Push_String_Extended,0x30d ; " => "
024c 01cc | | Execute Vector,Catenate
024d 8002 | | Call 0x0,0x2
024e e5fe | | Load 0x2,-0x2
024f 00d9 | | Load_Top At_Offset_1
0250 e5ff | | Load 0x2,-0x1
0251 01d7 | | Execute Vector,Field_Read
0252 8213 | | Call 0x1,0x13
0253 00c8 | | Action Pop_Auxiliary_Range
0254 3fe5 |? | Loop_Increasing 0x23a
0255 4503 |E | Exit_Subprogram 0x3
0256 0000 0000 | | .XXX[0x2]
0258 ; --------------------------------------------------------------------------------------
0258 ; SUBPROGRAM
0258 ; --------------------------------------------------------------------------------------
0258 025c | \ | .CONST 0x025c ; Address of begin
0259 0004 | | .CONST 0x0004 ; Address of exception handler
025a 0002 | | .CONST 0x0002 ; Number of locals
025b INIT_0258:
025b 00e3 | | Load_Encached Natural_Cache
025c BODY_0258:
025c 00db | | Load_Top At_Offset_3
025d e5ff | | Load 0x2,-0x1
025e 01dc | | Execute Vector,Last
025f 027d | } | Execute Discrete,Greater
0260 6802 |h | Jump_Zero 0x263
0261 4801 |H | Short_Literal 0x1
0262 4401 |D | Exit_Subprogram With_Result,0x1
0263 00db | | Load_Top At_Offset_3
0264 e5ff | | Load 0x2,-0x1
0265 01d5 | | Execute Vector,Field_Reference
0266 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0267 0051 | Q | Store_Top_Unchecked Discrete,At_Offset_1
0268 00db | | Load_Top At_Offset_3
0269 e5ff | | Load 0x2,-0x1
026a 01d5 | | Execute Vector,Field_Reference
026b 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
026c 6821 |h! | Jump_Zero 0x28e
026d 00cf | | Action Mark_Auxiliary
026e e229 | ) | Load 0x1,0x29
026f 180f | | Execute Package,Field_Execute,Field_Number 0xf
0270 4801 |H | Short_Literal 0x1
0271 0263 | c | Execute Discrete,Above_Bound
0272 700b |p | Jump_Nonzero 0x27e
0273 e7ff | | Load 0x3,-0x1
0274 e5ff | | Load 0x2,-0x1
0275 01d5 | | Execute Vector,Field_Reference
0276 00d9 | | Load_Top At_Offset_1
0277 e229 | ) | Load 0x1,0x29
0278 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0279 6802 |h | Jump_Zero 0x27c
027a 4800 |H | Short_Literal 0x0
027b 4401 |D | Exit_Subprogram With_Result,0x1
027c 00c8 | | Action Pop_Auxiliary_Range
027d 3ff5 |? | Loop_Increasing 0x273
027e 00ce | | Action Pop_Auxiliary
027f 00db | | Load_Top At_Offset_3
0280 0a01 | | Execute_Immediate Plus,0x1
0281 00d8 | | Load_Top At_Offset_0
0282 00e4 | | Load_Encached Positive_Cache
0283 0260 | ` | Execute Discrete,In_Type
0284 7001 |p | Jump_Nonzero 0x286
0285 0801 | | Execute_Immediate Raise,0x1
0286 8403 | | Call 0x2,0x3
0287 6825 |h% | Jump_Zero 0x2ad
0288 4800 |H | Short_Literal 0x0
0289 e7ff | | Load 0x3,-0x1
028a e402 | | Load 0x2,0x2
028b 01d6 | | Execute Vector,Field_Write
028c 4801 |H | Short_Literal 0x1
028d 4401 |D | Exit_Subprogram With_Result,0x1
028e 00cf | | Action Mark_Auxiliary
028f e229 | ) | Load 0x1,0x29
0290 180f | | Execute Package,Field_Execute,Field_Number 0xf
0291 4801 |H | Short_Literal 0x1
0292 0263 | c | Execute Discrete,Above_Bound
0293 7018 |p | Jump_Nonzero 0x2ac
0294 e7ff | | Load 0x3,-0x1
0295 e5ff | | Load 0x2,-0x1
0296 01d5 | | Execute Vector,Field_Reference
0297 00d9 | | Load_Top At_Offset_1
0298 e229 | ) | Load 0x1,0x29
0299 1818 | | Execute Package,Field_Execute,Field_Number 0x18
029a 680f |h | Jump_Zero 0x2aa
029b e7ff | | Load 0x3,-0x1
029c 0a01 | | Execute_Immediate Plus,0x1
029d 00d8 | | Load_Top At_Offset_0
029e 00e4 | | Load_Encached Positive_Cache
029f 0260 | ` | Execute Discrete,In_Type
02a0 7001 |p | Jump_Nonzero 0x2a2
02a1 0801 | | Execute_Immediate Raise,0x1
02a2 8403 | | Call 0x2,0x3
02a3 6806 |h | Jump_Zero 0x2aa
02a4 00d8 | | Load_Top At_Offset_0
02a5 e7ff | | Load 0x3,-0x1
02a6 e402 | | Load 0x2,0x2
02a7 01d6 | | Execute Vector,Field_Write
02a8 4801 |H | Short_Literal 0x1
02a9 4401 |D | Exit_Subprogram With_Result,0x1
02aa 00c8 | | Action Pop_Auxiliary_Range
02ab 3fe8 |? | Loop_Increasing 0x294
02ac 00ce | | Action Pop_Auxiliary
02ad 4800 |H | Short_Literal 0x0
02ae 4401 |D | Exit_Subprogram With_Result,0x1
02af 0000 | | .XXX[0x1]
02b0 ; --------------------------------------------------------------------------------------
02b0 ; SUBPROGRAM
02b0 ; SUBPROGRAM
02b0 ; --------------------------------------------------------------------------------------
02b0 02b3 | | .CONST 0x02b3 ; Address of begin
; Address of begin
02b1 0004 | | .CONST 0x0004 ; Address of exception handler
; Address of exception handler
02b2 0001 | | .CONST 0x0001 ; Number of locals
; Number of locals
02b3 BODY_02b0:
02b3 BODY_02b0:
02b3 INIT_02b0:
02b3 INIT_02b0:
02b3 4609 |F | Jump_Case 0x9
02b4 7809 |x | Jump 0x2be ; case 0x0
02b5 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x1
02b6 7817 |x | Jump 0x2ce ; case 0x2
02b7 781a |x | Jump 0x2d2 ; case 0x3
02b8 781f |x | Jump 0x2d8 ; case 0x4
02b9 7826 |x& | Jump 0x2e0 ; case 0x5
02ba 7846 |xF | Jump 0x301 ; case 0x6
02bb 782e |x. | Jump 0x2ea ; case 0x7
02bc 7836 |x6 | Jump 0x2f3 ; case 0x8
02bd 783f |x? | Jump 0x2fd ; case 0x9
02be 00da | | Load_Top At_Offset_2
02bf 016c | l | Execute Variant_Record,Is_Constrained
02c0 7009 |p | Jump_Nonzero 0x2ca
02c1 00cf | | Action Mark_Auxiliary
02c2 4800 |H | Short_Literal 0x0
02c3 e5ff | | Load 0x2,-0x1
02c4 1c08 | | Execute_Immediate Run_Utility,0x8
02c5 00d8 | | Load_Top At_Offset_0
02c6 1c00 | | Execute_Immediate Run_Utility,0x0
02c7 c5ff | | Store 0x2,-0x1
02c8 00ce | | Action Pop_Auxiliary
02c9 4302 |C | Exit_Subprogram From_Utility,0x2
02ca 00da | | Load_Top At_Offset_2
02cb 2504 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x4
02cc 1c00 | | Execute_Immediate Run_Utility,0x0
02cd 4302 |C | Exit_Subprogram From_Utility,0x2
02ce 4801 |H | Short_Literal 0x1
02cf 4804 |H | Short_Literal 0x4
02d0 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
02d1 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
02d2 e5fd | | Load 0x2,-0x3
02d3 00db | | Load_Top At_Offset_3
02d4 1c07 | | Execute_Immediate Run_Utility,0x7
02d5 e5fe | | Load 0x2,-0x2
02d6 0306 | | Complete_Type Variant_Record,By_Renaming
02d7 4304 |C | Exit_Subprogram From_Utility,0x4
02d8 4801 |H | Short_Literal 0x1
02d9 4804 |H | Short_Literal 0x4
02da 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
02db e5fe | | Load 0x2,-0x2
02dc e5ff | | Load 0x2,-0x1
02dd 00da | | Load_Top At_Offset_2
02de 0305 | | Complete_Type Variant_Record,By_Constraining_Incomplete
02df 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
02e0 4801 |H | Short_Literal 0x1
02e1 4801 |H | Short_Literal 0x1
02e2 e5ff | | Load 0x2,-0x1
02e3 0169 | i | Execute Variant_Record,Read_Discriminant_Constraint
02e4 e227 | ' | Load 0x1,0x27
02e5 035b | [ | Declare_Type Array,Constrained
02e6 4801 |H | Short_Literal 0x1
02e7 e5ff | | Load 0x2,-0x1
02e8 0304 | | Complete_Type Variant_Record,By_Completing_Constraint
02e9 4302 |C | Exit_Subprogram From_Utility,0x2
02ea 00db | | Load_Top At_Offset_3
02eb 4801 |H | Short_Literal 0x1
02ec e5fe | | Load 0x2,-0x2
02ed e227 | ' | Load 0x1,0x27
02ee 035b | [ | Declare_Type Array,Constrained
02ef 4801 |H | Short_Literal 0x1
02f0 e5ff | | Load 0x2,-0x1
02f1 031b | | Declare_Type Variant_Record,Constrained
02f2 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
02f3 00db | | Load_Top At_Offset_3
02f4 00db | | Load_Top At_Offset_3
02f5 02fc | | Declare_Variable Variant_Record,With_Constraint
02f6 4801 |H | Short_Literal 0x1
02f7 e5fe | | Load 0x2,-0x2
02f8 e227 | ' | Load 0x1,0x27
02f9 0334 | 4 | Declare_Variable Array,With_Constraint
02fa 2d04 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x4
02fb 016a | j | Execute Variant_Record,Indirects_Appended
02fc 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
02fd 4800 |H | Short_Literal 0x0
02fe 00db | | Load_Top At_Offset_3
02ff 1c07 | | Execute_Immediate Run_Utility,0x7
0300 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0301 0869 | i | Execute_Immediate Raise,0x69
0302 ; --------------------------------------------------------------------------------------
0302 ; STRING TABLE
0302 ; --------------------------------------------------------------------------------------
0302 001a | | .STRTAB 0x001a->0x030f ; "FIND"
0303 001c | | .STRTAB 0x001c->0x0311 ; "CHECK_NO"
0304 0022 | " | .STRTAB 0x0022->0x0315 ; "Check_No_"
0305 0029 | ) | .STRTAB 0x0029->0x0319 ; "_Has'("
0306 002d | - | .STRTAB 0x002d->0x031c ; "Find_"
0307 0030 | 0 | .STRTAB 0x0030->0x031f ; "_Such_As'("
0308 0038 | 8 | .STRTAB 0x0038->0x0324 ; ")"
; ")"
; ")"
0309 0037 | 7 | .STRTAB 0x0037->0x0324 ; "Premiss'("
030a 003e | > | .STRTAB 0x003e->0x0329 ; "Fact_collection'("
030b 004d | M | .STRTAB 0x004d->0x0331 ; ", "
030c 004d | M | .STRTAB 0x004d->0x0332 ; "Slot"
030d 004f | O | .STRTAB 0x004f->0x0334 ; " => "
030e 0051 | Q | .STREND 0x0051->0x0336
030f 4649 4e44 |FIND| .STRTAB_STRINGS
0337 0000 | | .XXX[0x1]
0338 ; --------------------------------------------------------------------------------------
0338 ; Debug Table
0338 ; --------------------------------------------------------------------------------------
0338 0004 0004 | | .DEBUG4 0x0004,0x0004,0x77d3,0x0000,0x0001,0x0011
033e 000b 0382 | | .DBG4T 0x000b,0x0382,0xc000,0x8000
0342 00a9 03b4 | | .DBG4T 0x00a9,0x03b4,0xc000,0x8000
0346 0103 0000 | | .DBG4T 0x0103,0x0000,0x1005,0x0000
034a 0123 03d0 | # | .DBG4T 0x0123,0x03d0,0x1002,0x0000
034e 0133 03d3 | 3 | .DBG4T 0x0133,0x03d3,0x1002,0x0000
0352 0143 03d6 | C | .DBG4T 0x0143,0x03d6,0x1002,0x0000
0356 0163 03dd | c | .DBG4T 0x0163,0x03dd,0x1001,0x0000
035a 016b 03e0 | k | .DBG4T 0x016b,0x03e0,0x1001,0x4000
035e 019b 03f0 | | .DBG4T 0x019b,0x03f0,0x1001,0x0000
0362 01bb 03f9 | | .DBG4T 0x01bb,0x03f9,0x1001,0x0000
0366 01c3 03fc | | .DBG4T 0x01c3,0x03fc,0x1001,0x0000
036a 01eb 0406 | | .DBG4T 0x01eb,0x0406,0x1001,0x0000
036e 01f3 0000 | | .DBG4T 0x01f3,0x0000,0x1005,0x0000
0372 020b 0000 | | .DBG4T 0x020b,0x0000,0x1005,0x0000
0376 0233 0409 | 3 | .DBG4T 0x0233,0x0409,0x1001,0x0000
037a 025b 0412 | [ | .DBG4T 0x025b,0x0412,0x1002,0x4000
037e 02b3 0000 | | .DBG4T 0x02b3,0x0000,0x1005,0x0000
0382 ; --------------------------------------------------------------------------------------
0382 ; Debug chain
0382 ; --------------------------------------------------------------------------------------
0382 0018 0000 | | .DBGLEN 0x0018,0x0000
0384 000b 000d | | .DBGLNO 0x000b,0x000d,0x000e,0x0014,0x0018,0x0023,0x0024,0x002b,0x002d,0x002f,0x0031,0x0033,0x0035,0x0037,0x0039,0x003b,0x003d,0x0046,0x0055,0x0058,0x005c,0x0063,0x0068,0x007b
039c 0001 0002 | | .XXX[0x18]
039e 0003 0004 | |
03a0 0005 0006 | |
03a2 0007 0008 | |
03a4 0009 000a | |
03a6 000b 000c | |
03a8 000d 000e | |
03aa 000f 0010 | |
03ac 0011 0012 | |
03ae 0014 0015 | |
03b0 0016 0019 | |
03b2 001a 001b | |
03b4 ; --------------------------------------------------------------------------------------
03b4 ; Debug chain
03b4 ; --------------------------------------------------------------------------------------
03b4 000d 0000 | | .DBGLEN 0x000d,0x0000
03b6 00a9 00b9 | | .DBGLNO 0x00a9,0x00b9,0x00bb,0x00bd,0x00bf,0x00c1,0x00c3,0x00c5,0x00c7,0x00c9,0x00cb,0x00cd,0x00dc
03c3 0001 0003 | | .XXX[0xd]
03c5 0004 0005 | |
03c7 0006 0007 | |
03c9 0008 0009 | |
03cb 000a 000b | |
03cd 000c 000d | |
03cf 000e | |
03d0 ; --------------------------------------------------------------------------------------
03d0 ; Debug chain
03d0 ; --------------------------------------------------------------------------------------
03d0 0000 0001 | | .DBGLEN 0x0000,0x0001
03d2 0123 | # | .DBGLNO 0x0123
03d3 ; --------------------------------------------------------------------------------------
03d3 ; Debug chain
03d3 ; --------------------------------------------------------------------------------------
03d3 0000 0001 | | .DBGLEN 0x0000,0x0001
03d5 0133 | 3 | .DBGLNO 0x0133
03d6 ; --------------------------------------------------------------------------------------
03d6 ; Debug chain
03d6 ; --------------------------------------------------------------------------------------
03d6 0002 0003 | | .DBGLEN 0x0002,0x0003
03d8 0143 0148 | C H| .DBGLNO 0x0143,0x0148,0x014a,0x0156,0x015a
03dd ; --------------------------------------------------------------------------------------
03dd ; Debug chain
03dd ; --------------------------------------------------------------------------------------
03dd 0000 0001 | | .DBGLEN 0x0000,0x0001
03df 0163 | c | .DBGLNO 0x0163
03e0 ; --------------------------------------------------------------------------------------
03e0 ; Debug chain
03e0 ; --------------------------------------------------------------------------------------
03e0 0000 0007 | | .DBGLEN 0x0000,0x0007
03e2 016b 016e | k n| .DBGLNO 0x016b,0x016e,0x017a,0x0185,0x0187,0x018b,0x018d
03e9 0001 0003 | | .XXX[0x7]
03eb 0002 0004 | |
03ed 0005 0006 | |
03ef 0007 | |
03f0 ; --------------------------------------------------------------------------------------
03f0 ; Debug chain
03f0 ; --------------------------------------------------------------------------------------
03f0 0000 0007 | | .DBGLEN 0x0000,0x0007
03f2 019b 019f | | .DBGLNO 0x019b,0x019f,0x01a2,0x01a6,0x01ab,0x01b1,0x01b3
03f9 ; --------------------------------------------------------------------------------------
03f9 ; Debug chain
03f9 ; --------------------------------------------------------------------------------------
03f9 0000 0001 | | .DBGLEN 0x0000,0x0001
03fb 01bb | | .DBGLNO 0x01bb
03fc ; --------------------------------------------------------------------------------------
03fc ; Debug chain
03fc ; --------------------------------------------------------------------------------------
03fc 0000 0008 | | .DBGLEN 0x0000,0x0008
03fe 01c3 01c7 | | .DBGLNO 0x01c3,0x01c7,0x01c9,0x01cd,0x01d1,0x01d9,0x01db,0x01de
0406 ; --------------------------------------------------------------------------------------
0406 ; Debug chain
0406 ; --------------------------------------------------------------------------------------
0406 0000 0001 | | .DBGLEN 0x0000,0x0001
0408 01eb | | .DBGLNO 0x01eb
0409 ; --------------------------------------------------------------------------------------
0409 ; Debug chain
0409 ; --------------------------------------------------------------------------------------
0409 0001 0006 | | .DBGLEN 0x0001,0x0006
040b 0233 0236 | 3 6| .DBGLNO 0x0233,0x0236,0x023a,0x023c,0x0241,0x0243,0x024e
0412 ; --------------------------------------------------------------------------------------
0412 ; Debug chain
0412 ; --------------------------------------------------------------------------------------
0412 0001 0010 | | .DBGLEN 0x0001,0x0010
0414 025b 025c | [ \| .DBGLNO 0x025b,0x025c,0x0261,0x0263,0x0268,0x026e,0x0273,0x027a,0x027f,0x0288,0x028c,0x028f,0x0294,0x029b,0x02a4,0x02a8,0x02ad
0425 0001 0002 | | .XXX[0x10]
0427 0003 0004 | |
0429 000a 000b | |
042b 000c 000d | |
042d 000e 000f | |
042f 0005 0006 | |
0431 0007 0008 | |
0433 0009 0010 | |
0435 0000 0000 | | .BLANK 0000[0x1cb]