|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 3072 (0xc00)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_b8bce8
└─⟦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 0330 | 0 | .CONST 0x0330 ; 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 00f2 | | .CONST 0x00f2 ; 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 02ab | | Declare_Subprogram INIT_02a8,For_Call
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 00fb | | Declare_Subprogram INIT_00f8,For_Call
0029 4801 |H | Short_Literal 0x1
002a 0349 | I | Declare_Type Array,Defined_Incomplete,Visible,Bounds_With_Object
002b 029a 011b | | Declare_Subprogram INIT_0118,For_Outer_Call,Visible,Unelaborated
002d 029a 012b | +| Declare_Subprogram INIT_0128,For_Outer_Call,Visible,Unelaborated
002f 029a 013b | ;| Declare_Subprogram INIT_0138,For_Outer_Call,Visible,Unelaborated
0031 029a 015b | [| Declare_Subprogram INIT_0158,For_Outer_Call,Visible,Unelaborated
0033 029a 0163 | c| Declare_Subprogram INIT_0160,For_Outer_Call,Visible,Unelaborated
0035 029a 0193 | | Declare_Subprogram INIT_0190,For_Outer_Call,Visible,Unelaborated
0037 029a 01b3 | | Declare_Subprogram INIT_01b0,For_Outer_Call,Visible,Unelaborated
0039 029a 01bb | | Declare_Subprogram INIT_01b8,For_Outer_Call,Visible,Unelaborated
003b 029a 01e3 | | Declare_Subprogram INIT_01e0,For_Outer_Call,Visible,Unelaborated
003d 0093 0000 | | push_full_address 0x0
003f 60d0 |` | Indirect_Literal Discrete,0x110,{0x80000000, 0x00010000}
0040 0273 | s | Execute Discrete,Plus
0041 e20d | | Load 0x1,0xd
0042 60c9 |` | Indirect_Literal Discrete,0x10c,{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 0007 | | Action Break_Optional
0056 4800 |H | Short_Literal 0x0
0057 0129 | ) | Execute Any,Make_Visible
0058 c215 | | Store 0x1,0x15
0059 4801 |H | Short_Literal 0x1
005a e20f | | Load 0x1,0xf
005b e217 | | Load 0x1,0x17
005c 03f9 | | Declare_Type Discrete,Constrained,Visible
005d 00d8 | | Load_Top At_Offset_0
005e 0266 | f | Execute Discrete,Bounds
005f e210 | | Load 0x1,0x10
0060 029f 01eb | | Declare_Subprogram INIT_01e8,For_Call
0062 4801 |H | Short_Literal 0x1
0063 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
0064 0007 | | Action Break_Optional
0065 0007 | | Action Break_Optional
0066 4800 |H | Short_Literal 0x0
0067 4801 |H | Short_Literal 0x1
0068 029f 0203 | | Declare_Subprogram INIT_0200,For_Call
006a 03fe | | Declare_Type Discrete,Defined,Visible
006b 00d8 | | Load_Top At_Offset_0
006c 00e3 | | Load_Encached Natural_Cache
006d 4801 |H | Short_Literal 0x1
006e e227 | ' | Load 0x1,0x27
006f 01dc | | Execute Vector,Last
0070 e217 | | Load 0x1,0x17
0071 0269 | i | Execute Discrete,Last
0072 026c | l | Execute Discrete,Minimum
0073 e227 | ' | Load 0x1,0x27
0074 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object
0075 029f 02ab | | Declare_Subprogram INIT_02a8,For_Call
0077 4800 |H | Short_Literal 0x0
0078 4801 |H | Short_Literal 0x1
0079 4802 |H | Short_Literal 0x2
007a e218 | | Load 0x1,0x18
007b 0307 | | Complete_Type Variant_Record,By_Defining
007c e21a | | Load 0x1,0x1a
007d 0340 | @ | Complete_Type Array,By_Component_Completion
007e 4800 |H | Short_Literal 0x0
007f e218 | | Load 0x1,0x18
0080 1c08 | | Execute_Immediate Run_Utility,0x8
0081 4800 |H | Short_Literal 0x0
0082 00d9 | | Load_Top At_Offset_1
0083 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0084 4800 |H | Short_Literal 0x0
0085 00d9 | | Load_Top At_Offset_1
0086 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0087 4801 |H | Short_Literal 0x1
0088 4800 |H | Short_Literal 0x0
0089 e227 | ' | Load 0x1,0x27
008a 035b | [ | Declare_Type Array,Constrained
008b 0337 | 7 | Declare_Variable Array
008c 00d9 | | Load_Top At_Offset_1
008d 00d8 | | Load_Top At_Offset_0
008e 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
008f 00da | | Load_Top At_Offset_2
0090 01da | | Execute Vector,Bounds
0091 00da | | Load_Top At_Offset_2
0092 01da | | Execute Vector,Bounds
0093 00da | | Load_Top At_Offset_2
0094 027f | | Execute Discrete,Equal
0095 7001 |p | Jump_Nonzero 0x97
0096 08e0 | | Execute_Immediate Raise,0xe0
0097 00cd | | Action Spare6_Action
0098 027f | | Execute Discrete,Equal
0099 7001 |p | Jump_Nonzero 0x9b
009a 08e0 | | Execute_Immediate Raise,0xe0
009b 00d2 | | Pop_Control Pop_Count_2
009c 00d9 | | Load_Top At_Offset_1
009d 2904 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x4
009e 0129 | ) | Execute Any,Make_Visible
009f c219 | | Store 0x1,0x19
00a0 00bf | | Action Accept_Activation
00a1 4800 |H | Short_Literal 0x0
00a2 4804 |H | Short_Literal 0x4
00a3 e001 | | Load 0x0,0x1
00a4 01d7 | | Execute Vector,Field_Read
00a5 02a0 | | Declare_Subprogram Null_Subprogram
00a6 038e | | Declare_Type Package,Defined
00a7 e001 | | Load 0x0,0x1
00a8 4803 |H | Short_Literal 0x3
00a9 e001 | | Load 0x0,0x1
00aa 01d7 | | Execute Vector,Field_Read
00ab e226 | & | Load 0x1,0x26
00ac e217 | | Load 0x1,0x17
00ad 4804 |H | Short_Literal 0x4
00ae e229 | ) | Load 0x1,0x29
00af 020e | | Execute Module,Augment_Imports
00b0 0387 | | Declare_Variable Package
00b1 0007 | | Action Break_Optional
00b2 1d1b | | Execute_Immediate Reference_Lex_1,0x1b
00b3 00c7 | | Action Elaborate_Subprogram
00b4 1d1c | | Execute_Immediate Reference_Lex_1,0x1c
00b5 00c7 | | Action Elaborate_Subprogram
00b6 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
00b7 00c7 | | Action Elaborate_Subprogram
00b8 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
00b9 00c7 | | Action Elaborate_Subprogram
00ba 029d 022b | +| Declare_Subprogram INIT_0228,For_Outer_Call
00bc 1d1f | | Execute_Immediate Reference_Lex_1,0x1f
00bd 00c7 | | Action Elaborate_Subprogram
00be 1d20 | | Execute_Immediate Reference_Lex_1,0x20
00bf 00c7 | | Action Elaborate_Subprogram
00c0 1d21 | ! | Execute_Immediate Reference_Lex_1,0x21
00c1 00c7 | | Action Elaborate_Subprogram
00c2 1d22 | " | Execute_Immediate Reference_Lex_1,0x22
00c3 00c7 | | Action Elaborate_Subprogram
00c4 1d23 | # | Execute_Immediate Reference_Lex_1,0x23
00c5 00c7 | | Action Elaborate_Subprogram
00c6 e214 | | Load 0x1,0x14
00c7 e20e | | Load 0x1,0xe
00c8 e224 | $ | Load 0x1,0x24
00c9 a002 | | Store_Unchecked 0x0,0x2
00ca a003 | | Store_Unchecked 0x0,0x3
00cb a004 | | Store_Unchecked 0x0,0x4
00cc a005 | | Store_Unchecked 0x0,0x5
00cd 1d12 | | Execute_Immediate Reference_Lex_1,0x12
00ce a006 | | Store_Unchecked 0x0,0x6
00cf a007 | | Store_Unchecked 0x0,0x7
00d0 480a |H | Short_Literal 0xa
00d1 e229 | ) | Load 0x1,0x29
00d2 020e | | Execute Module,Augment_Imports
00d3 00d9 | | Load_Top At_Offset_1
00d4 020f | | Execute Module,Activate
00d5 a008 | | Store_Unchecked 0x0,0x8
00d6 e009 | | Load 0x0,0x9
00d7 e218 | | Load 0x1,0x18
00d8 e229 | ) | Load 0x1,0x29
00d9 1913 | | Execute Package,Field_Reference,Field_Number 0x13
00da e229 | ) | Load 0x1,0x29
00db 1911 | | Execute Package,Field_Reference,Field_Number 0x11
00dc e229 | ) | Load 0x1,0x29
00dd 1914 | | Execute Package,Field_Reference,Field_Number 0x14
00de e229 | ) | Load 0x1,0x29
00df 1915 | | Execute Package,Field_Reference,Field_Number 0x15
00e0 e229 | ) | Load 0x1,0x29
00e1 1916 | | Execute Package,Field_Reference,Field_Number 0x16
00e2 e229 | ) | Load 0x1,0x29
00e3 1917 | | Execute Package,Field_Reference,Field_Number 0x17
00e4 a002 | | Store_Unchecked 0x0,0x2
00e5 a004 | | Store_Unchecked 0x0,0x4
00e6 a006 | | Store_Unchecked 0x0,0x6
00e7 a003 | | Store_Unchecked 0x0,0x3
00e8 a005 | | Store_Unchecked 0x0,0x5
00e9 e226 | & | Load 0x1,0x26
00ea e227 | ' | Load 0x1,0x27
00eb e229 | ) | Load 0x1,0x29
00ec 1b0d | | Execute Package,Field_Read,Field_Number 0xd
00ed 4811 |H | Short_Literal 0x11
00ee e225 | % | Load 0x1,0x25
00ef 020e | | Execute Module,Augment_Imports
00f0 e225 | % | Load 0x1,0x25
00f1 020d | | Execute Module,Elaborate
00f2 BODY_0008:
00f2 00bc | | Action Signal_Activated
00f3 00bb | | Action Signal_Completion
00f4 0000 0000 | | .BLANK 0000[0x4]
00f8 ; --------------------------------------------------------------------------------------
00f8 ; SUBPROGRAM
00f8 ; --------------------------------------------------------------------------------------
00f8 00fb | | .CONST 0x00fb ; Address of begin
00f9 0004 | | .CONST 0x0004 ; Address of exception handler
00fa 0001 | | .CONST 0x0001 ; Number of locals
00fb BODY_00f8:
00fb INIT_00f8:
00fb 00d1 | | Pop_Control Pop_Count_1
00fc 00da | | Load_Top At_Offset_2
00fd 01dc | | Execute Vector,Last
00fe 00db | | Load_Top At_Offset_3
00ff 01dd | | Execute Vector,First
0100 0263 | c | Execute Discrete,Above_Bound
0101 7006 |p | Jump_Nonzero 0x108
0102 00d8 | | Load_Top At_Offset_0
0103 e5ff | | Load 0x2,-0x1
0104 01d5 | | Execute Vector,Field_Reference
0105 1c00 | | Execute_Immediate Run_Utility,0x0
0106 0a01 | | Execute_Immediate Plus,0x1
0107 7ff8 | | Jump 0x100
0108 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0109 0000 0000 | | .XXX[0x3]
010b 0000 | |
010c 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff}
0110 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
0114 0000 0000 | | .BLANK 0000[0x4]
0118 ; --------------------------------------------------------------------------------------
0118 ; SUBPROGRAM
0118 ; --------------------------------------------------------------------------------------
0118 011b | | .CONST 0x011b ; Address of begin
0119 0004 | | .CONST 0x0004 ; Address of exception handler
011a 0001 | | .CONST 0x0001 ; Number of locals
011b BODY_0118:
011b INIT_0118:
011b 4801 |H | Short_Literal 0x1
011c 4800 |H | Short_Literal 0x0
011d e216 | | Load 0x1,0x16
011e 035b | [ | Declare_Type Array,Constrained
011f 0337 | 7 | Declare_Variable Array
0120 e216 | | Load 0x1,0x16
0121 01c6 | | Execute Vector,Convert_To_Formal
0122 00ca | | Action Exit_Nullary_Function
0123 0000 0000 | | .BLANK 0000[0x5]
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012b | + | .CONST 0x012b ; Address of begin
0129 0004 | | .CONST 0x0004 ; Address of exception handler
012a 0001 | | .CONST 0x0001 ; Number of locals
012b BODY_0128:
012b INIT_0128:
012b 4801 |H | Short_Literal 0x1
012c 4800 |H | Short_Literal 0x0
012d e21a | | Load 0x1,0x1a
012e 035b | [ | Declare_Type Array,Constrained
012f 0337 | 7 | Declare_Variable Array
0130 e21a | | Load 0x1,0x1a
0131 01c6 | | Execute Vector,Convert_To_Formal
0132 00ca | | Action Exit_Nullary_Function
0133 0000 0000 | | .BLANK 0000[0x5]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 0142 | B | .CONST 0x0142 ; Address of begin
0139 0004 | | .CONST 0x0004 ; Address of exception handler
013a 0003 | | .CONST 0x0003 ; Number of locals
013b INIT_0138:
013b 00da | | Load_Top At_Offset_2
013c 01da | | Execute Vector,Bounds
013d e216 | | Load 0x1,0x16
013e 035b | [ | Declare_Type Array,Constrained
013f 0337 | 7 | Declare_Variable Array
0140 029f 0253 | S| Declare_Subprogram INIT_0250,For_Call
0142 BODY_0138:
0142 e5ff | | Load 0x2,-0x1
0143 01db | | Execute Vector,Length
0144 680d |h | Jump_Zero 0x152
0145 e5ff | | Load 0x2,-0x1
0146 01dd | | Execute Vector,First
0147 00d8 | | Load_Top At_Offset_0
0148 00e4 | | Load_Encached Positive_Cache
0149 0260 | ` | Execute Discrete,In_Type
014a 7001 |p | Jump_Nonzero 0x14c
014b 0801 | | Execute_Immediate Raise,0x1
014c 8403 | | Call 0x2,0x3
014d 6804 |h | Jump_Zero 0x152
014e 00d9 | | Load_Top At_Offset_1
014f e216 | | Load 0x1,0x16
0150 01c6 | | Execute Vector,Convert_To_Formal
0151 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0152 821b | | Call 0x1,0x1b
0153 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0154 0000 0000 | | .BLANK 0000[0x4]
0158 ; --------------------------------------------------------------------------------------
0158 ; SUBPROGRAM
0158 ; --------------------------------------------------------------------------------------
0158 015b | [ | .CONST 0x015b ; Address of begin
0159 0004 | | .CONST 0x0004 ; Address of exception handler
015a 0001 | | .CONST 0x0001 ; Number of locals
015b BODY_0158:
015b INIT_0158:
015b e229 | ) | Load 0x1,0x29
015c 1810 | | Execute Package,Field_Execute,Field_Number 0x10
015d 4501 |E | Exit_Suprogram New_Top_Offset 0x1
015e 0000 0000 | | .XXX[0x2]
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 00da | | Load_Top At_Offset_2
0164 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0165 680c |h | Jump_Zero 0x172
0166 00db | | Load_Top At_Offset_3
0167 0092 02fc | | Action Push_String_Extended,0x2fc ; "Check_No_"
0169 e5ff | | Load 0x2,-0x1
016a 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
016b 8007 | | Call 0x0,0x7
016c 01cc | | Execute Vector,Catenate
016d 0092 02fd | | Action Push_String_Extended,0x2fd ; "_Has'("
016f 01cc | | Execute Vector,Catenate
0170 8003 | | Call 0x0,0x3
0171 780b |x | Jump 0x17d
0172 00db | | Load_Top At_Offset_3
0173 0092 02fe | | Action Push_String_Extended,0x2fe ; "Find_"
0175 e5ff | | Load 0x2,-0x1
0176 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0177 8007 | | Call 0x0,0x7
0178 01cc | | Execute Vector,Catenate
0179 0092 02ff | | Action Push_String_Extended,0x2ff ; "_Such_As'("
017b 01cc | | Execute Vector,Catenate
017c 8003 | | Call 0x0,0x3
017d 00db | | Load_Top At_Offset_3
017e 8004 | | Call 0x0,0x4
017f 00db | | Load_Top At_Offset_3
0180 00db | | Load_Top At_Offset_3
0181 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
0182 822a | * | Call 0x1,0x2a
0183 00db | | Load_Top At_Offset_3
0184 8005 | | Call 0x0,0x5
0185 00db | | Load_Top At_Offset_3
0186 0092 0300 | | Action Push_String_Extended,0x300 ; ")"
0188 8003 | | Call 0x0,0x3
0189 4503 |E | Exit_Suprogram New_Top_Offset 0x3
018a 0000 0000 | | .BLANK 0000[0x6]
0190 ; --------------------------------------------------------------------------------------
0190 ; SUBPROGRAM
0190 ; --------------------------------------------------------------------------------------
0190 0193 | | .CONST 0x0193 ; Address of begin
0191 0004 | | .CONST 0x0004 ; Address of exception handler
0192 0001 | | .CONST 0x0001 ; Number of locals
0193 BODY_0190:
0193 INIT_0190:
0193 00db | | Load_Top At_Offset_3
0194 0092 0301 | | Action Push_String_Extended,0x301 ; "Premiss'("
0196 8002 | | Call 0x0,0x2
0197 00db | | Load_Top At_Offset_3
0198 8004 | | Call 0x0,0x4
0199 00cf | | Action Mark_Auxiliary
019a 00db | | Load_Top At_Offset_3
019b 01d9 | | Execute Vector,Reverse_Bounds
019c 0263 | c | Execute Discrete,Above_Bound
019d 700a |p | Jump_Nonzero 0x1a8
019e e5fe | | Load 0x2,-0x2
019f 00d9 | | Load_Top At_Offset_1
01a0 e5ff | | Load 0x2,-0x1
01a1 01d5 | | Execute Vector,Field_Reference
01a2 821f | | Call 0x1,0x1f
01a3 4801 |H | Short_Literal 0x1
01a4 e5fe | | Load 0x2,-0x2
01a5 8006 | | Call 0x0,0x6
01a6 00c8 | | Action Pop_Auxiliary_Range
01a7 3ff6 |? | Loop_Increasing 0x19e
01a8 00ce | | Action Pop_Auxiliary
01a9 00db | | Load_Top At_Offset_3
01aa 8005 | | Call 0x0,0x5
01ab 00db | | Load_Top At_Offset_3
01ac 0092 0300 | | Action Push_String_Extended,0x300 ; ")"
01ae 8003 | | Call 0x0,0x3
01af 4503 |E | Exit_Suprogram New_Top_Offset 0x3
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01b3 | | .CONST 0x01b3 ; Address of begin
01b1 0004 | | .CONST 0x0004 ; Address of exception handler
01b2 0001 | | .CONST 0x0001 ; Number of locals
01b3 BODY_01b0:
01b3 INIT_01b0:
01b3 00db | | Load_Top At_Offset_3
01b4 00db | | Load_Top At_Offset_3
01b5 e229 | ) | Load 0x1,0x29
01b6 1819 | | Execute Package,Field_Execute,Field_Number 0x19
01b7 4503 |E | Exit_Suprogram New_Top_Offset 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 0092 0302 | | Action Push_String_Extended,0x302 ; "Fact_collection'("
01be 8003 | | Call 0x0,0x3
01bf 00db | | Load_Top At_Offset_3
01c0 8004 | | Call 0x0,0x4
01c1 00da | | Load_Top At_Offset_2
01c2 01db | | Execute Vector,Length
01c3 680d |h | Jump_Zero 0x1d1
01c4 00cf | | Action Mark_Auxiliary
01c5 00db | | Load_Top At_Offset_3
01c6 01d9 | | Execute Vector,Reverse_Bounds
01c7 0263 | c | Execute Discrete,Above_Bound
01c8 7007 |p | Jump_Nonzero 0x1d0
01c9 e5fe | | Load 0x2,-0x2
01ca 00d9 | | Load_Top At_Offset_1
01cb e5ff | | Load 0x2,-0x1
01cc 01d7 | | Execute Vector,Field_Read
01cd 8221 | ! | Call 0x1,0x21
01ce 00c8 | | Action Pop_Auxiliary_Range
01cf 3ff9 |? | Loop_Increasing 0x1c9
01d0 00ce | | Action Pop_Auxiliary
01d1 00db | | Load_Top At_Offset_3
01d2 8005 | | Call 0x0,0x5
01d3 4801 |H | Short_Literal 0x1
01d4 e5fe | | Load 0x2,-0x2
01d5 8006 | | Call 0x0,0x6
01d6 00db | | Load_Top At_Offset_3
01d7 0092 0300 | | Action Push_String_Extended,0x300 ; ")"
01d9 8003 | | Call 0x0,0x3
01da 4503 |E | Exit_Suprogram New_Top_Offset 0x3
01db 0000 0000 | | .BLANK 0000[0x5]
01e0 ; --------------------------------------------------------------------------------------
01e0 ; SUBPROGRAM
01e0 ; --------------------------------------------------------------------------------------
01e0 01e3 | | .CONST 0x01e3 ; Address of begin
01e1 0004 | | .CONST 0x0004 ; Address of exception handler
01e2 0001 | | .CONST 0x0001 ; Number of locals
01e3 BODY_01e0:
01e3 INIT_01e0:
01e3 00da | | Load_Top At_Offset_2
01e4 e229 | ) | Load 0x1,0x29
01e5 181a | | Execute Package,Field_Execute,Field_Number 0x1a
01e6 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01e7 0000 | | .XXX[0x1]
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 00d1 | | Pop_Control Pop_Count_1
01ec 00da | | Load_Top At_Offset_2
01ed 01dc | | Execute Vector,Last
01ee 00db | | Load_Top At_Offset_3
01ef 01dd | | Execute Vector,First
01f0 0263 | c | Execute Discrete,Above_Bound
01f1 700a |p | Jump_Nonzero 0x1fc
01f2 00d8 | | Load_Top At_Offset_0
01f3 e5ff | | Load 0x2,-0x1
01f4 01d5 | | Execute Vector,Field_Reference
01f5 0125 | % | Execute Any,Set_Constraint
01f6 00d8 | | Load_Top At_Offset_0
01f7 e5ff | | Load 0x2,-0x1
01f8 01d5 | | Execute Vector,Field_Reference
01f9 1c00 | | Execute_Immediate Run_Utility,0x0
01fa 0a01 | | Execute_Immediate Plus,0x1
01fb 7ff4 | | Jump 0x1f0
01fc 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
01fd 0000 0000 | | .XXX[0x3]
01ff 0000 | |
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 4607 |F | Jump_Case 0x8
0204 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x0
0205 7807 |x | Jump 0x20d ; case 0x1
0206 780a |x | Jump 0x211 ; case 0x2
0207 780e |x | Jump 0x216 ; case 0x3
0208 7811 |x | Jump 0x21a ; case 0x4
0209 7812 |x | Jump 0x21c ; case 0x5
020a 7813 |x | Jump 0x21e ; case 0x6
020b 7816 |x | Jump 0x222 ; case 0x7
020c 4302 |C | .XXX[0x1]
020d 00da | | Load_Top At_Offset_2
020e 0091 02fa | | Action Push_String_Extended_Indexed,0x2fa ; "FIND"
0210 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
0211 00db | | Load_Top At_Offset_3
0212 00db | | Load_Top At_Offset_3
0213 00e0 | | Load_Encached Standard_Cache
0214 181b | | Execute Package,Field_Execute,Field_Number 0x1b
0215 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0216 00da | | Load_Top At_Offset_2
0217 00e0 | | Load_Encached Standard_Cache
0218 181c | | Execute Package,Field_Execute,Field_Number 0x1c
0219 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
021a 00db | | Load_Top At_Offset_3
021b 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
021c 00db | | Load_Top At_Offset_3
021d 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
021e e228 | ( | Load 0x1,0x28
021f 00dc | | Load_Top At_Offset_4
0220 0267 | g | Execute Discrete,Predecessor
0221 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0222 e228 | ( | Load 0x1,0x28
0223 00dc | | Load_Top At_Offset_4
0224 0268 | h | Execute Discrete,Successor
0225 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0226 0000 0000 | | .XXX[0x2]
0228 ; --------------------------------------------------------------------------------------
0228 ; SUBPROGRAM
0228 ; --------------------------------------------------------------------------------------
0228 022d | - | .CONST 0x022d ; Address of begin
0229 0004 | | .CONST 0x0004 ; Address of exception handler
022a 0002 | | .CONST 0x0002 ; Number of locals
022b INIT_0228:
022b 00e1 | | Load_Encached Boolean_Cache
022c 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
022d BODY_0228:
022d 00cf | | Action Mark_Auxiliary
022e e5ff | | Load 0x2,-0x1
022f 01d9 | | Execute Vector,Reverse_Bounds
0230 0263 | c | Execute Discrete,Above_Bound
0231 701b |p | Jump_Nonzero 0x24d
0232 00db | | Load_Top At_Offset_3
0233 7005 |p | Jump_Nonzero 0x239
0234 e5fe | | Load 0x2,-0x2
0235 0092 0303 | | Action Push_String_Extended,0x303 ; ", "
0237 8003 | | Call 0x0,0x3
0238 7802 |x | Jump 0x23b
0239 4800 |H | Short_Literal 0x0
023a a402 | | Store_Unchecked 0x2,0x2
023b e5fe | | Load 0x2,-0x2
023c 0092 0304 | | Action Push_String_Extended,0x304 ; "Slot"
023e 00da | | Load_Top At_Offset_2
023f 00e0 | | Load_Encached Standard_Cache
0240 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0241 01cc | | Execute Vector,Catenate
0242 0092 0305 | | Action Push_String_Extended,0x305 ; " => "
0244 01cc | | Execute Vector,Catenate
0245 8002 | | Call 0x0,0x2
0246 e5fe | | Load 0x2,-0x2
0247 00d9 | | Load_Top At_Offset_1
0248 e5ff | | Load 0x2,-0x1
0249 01d7 | | Execute Vector,Field_Read
024a 8213 | | Call 0x1,0x13
024b 00c8 | | Action Pop_Auxiliary_Range
024c 3fe5 |? | Loop_Increasing 0x232
024d 4503 |E | Exit_Suprogram New_Top_Offset 0x3
024e 0000 0000 | | .XXX[0x2]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 0254 | T | .CONST 0x0254 ; Address of begin
0251 0004 | | .CONST 0x0004 ; Address of exception handler
0252 0002 | | .CONST 0x0002 ; Number of locals
0253 INIT_0250:
0253 00e3 | | Load_Encached Natural_Cache
0254 BODY_0250:
0254 00db | | Load_Top At_Offset_3
0255 e5ff | | Load 0x2,-0x1
0256 01dc | | Execute Vector,Last
0257 027d | } | Execute Discrete,Greater
0258 6802 |h | Jump_Zero 0x25b
0259 4801 |H | Short_Literal 0x1
025a 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
025b 00db | | Load_Top At_Offset_3
025c e5ff | | Load 0x2,-0x1
025d 01d5 | | Execute Vector,Field_Reference
025e 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
025f 0051 | Q | Store_Top_Unchecked Discrete,At_Offset_1
0260 00db | | Load_Top At_Offset_3
0261 e5ff | | Load 0x2,-0x1
0262 01d5 | | Execute Vector,Field_Reference
0263 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0264 6821 |h! | Jump_Zero 0x286
0265 00cf | | Action Mark_Auxiliary
0266 e229 | ) | Load 0x1,0x29
0267 180f | | Execute Package,Field_Execute,Field_Number 0xf
0268 4801 |H | Short_Literal 0x1
0269 0263 | c | Execute Discrete,Above_Bound
026a 700b |p | Jump_Nonzero 0x276
026b e7ff | | Load 0x3,-0x1
026c e5ff | | Load 0x2,-0x1
026d 01d5 | | Execute Vector,Field_Reference
026e 00d9 | | Load_Top At_Offset_1
026f e229 | ) | Load 0x1,0x29
0270 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0271 6802 |h | Jump_Zero 0x274
0272 4800 |H | Short_Literal 0x0
0273 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0274 00c8 | | Action Pop_Auxiliary_Range
0275 3ff5 |? | Loop_Increasing 0x26b
0276 00ce | | Action Pop_Auxiliary
0277 00db | | Load_Top At_Offset_3
0278 0a01 | | Execute_Immediate Plus,0x1
0279 00d8 | | Load_Top At_Offset_0
027a 00e4 | | Load_Encached Positive_Cache
027b 0260 | ` | Execute Discrete,In_Type
027c 7001 |p | Jump_Nonzero 0x27e
027d 0801 | | Execute_Immediate Raise,0x1
027e 8403 | | Call 0x2,0x3
027f 6825 |h% | Jump_Zero 0x2a5
0280 4800 |H | Short_Literal 0x0
0281 e7ff | | Load 0x3,-0x1
0282 e402 | | Load 0x2,0x2
0283 01d6 | | Execute Vector,Field_Write
0284 4801 |H | Short_Literal 0x1
0285 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0286 00cf | | Action Mark_Auxiliary
0287 e229 | ) | Load 0x1,0x29
0288 180f | | Execute Package,Field_Execute,Field_Number 0xf
0289 4801 |H | Short_Literal 0x1
028a 0263 | c | Execute Discrete,Above_Bound
028b 7018 |p | Jump_Nonzero 0x2a4
028c e7ff | | Load 0x3,-0x1
028d e5ff | | Load 0x2,-0x1
028e 01d5 | | Execute Vector,Field_Reference
028f 00d9 | | Load_Top At_Offset_1
0290 e229 | ) | Load 0x1,0x29
0291 1818 | | Execute Package,Field_Execute,Field_Number 0x18
0292 680f |h | Jump_Zero 0x2a2
0293 e7ff | | Load 0x3,-0x1
0294 0a01 | | Execute_Immediate Plus,0x1
0295 00d8 | | Load_Top At_Offset_0
0296 00e4 | | Load_Encached Positive_Cache
0297 0260 | ` | Execute Discrete,In_Type
0298 7001 |p | Jump_Nonzero 0x29a
0299 0801 | | Execute_Immediate Raise,0x1
029a 8403 | | Call 0x2,0x3
029b 6806 |h | Jump_Zero 0x2a2
029c 00d8 | | Load_Top At_Offset_0
029d e7ff | | Load 0x3,-0x1
029e e402 | | Load 0x2,0x2
029f 01d6 | | Execute Vector,Field_Write
02a0 4801 |H | Short_Literal 0x1
02a1 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
02a2 00c8 | | Action Pop_Auxiliary_Range
02a3 3fe8 |? | Loop_Increasing 0x28c
02a4 00ce | | Action Pop_Auxiliary
02a5 4800 |H | Short_Literal 0x0
02a6 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
02a7 0000 | | .XXX[0x1]
02a8 ; --------------------------------------------------------------------------------------
02a8 ; SUBPROGRAM
02a8 ; SUBPROGRAM
02a8 ; --------------------------------------------------------------------------------------
02a8 02ab | | .CONST 0x02ab ; Address of begin
02a9 0004 | | .CONST 0x0004 ; Address of exception handler
02aa 0001 | | .CONST 0x0001 ; Number of locals
02ab BODY_02a8:
02ab BODY_02a8:
02ab INIT_02a8:
02ab INIT_02a8:
02ab 4609 |F | Jump_Case 0xa
02ac 7809 |x | Jump 0x2b6 ; case 0x0
02ad 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
02ae 7817 |x | Jump 0x2c6 ; case 0x2
02af 781a |x | Jump 0x2ca ; case 0x3
02b0 781f |x | Jump 0x2d0 ; case 0x4
02b1 7826 |x& | Jump 0x2d8 ; case 0x5
02b2 7846 |xF | Jump 0x2f9 ; case 0x6
02b3 782e |x. | Jump 0x2e2 ; case 0x7
02b4 7836 |x6 | Jump 0x2eb ; case 0x8
02b5 783f |x? | Jump 0x2f5 ; case 0x9
02b6 00da | | Load_Top At_Offset_2
02b7 016c | l | Execute Variant_Record,Is_Constrained
02b8 7009 |p | Jump_Nonzero 0x2c2
02b9 00cf | | Action Mark_Auxiliary
02ba 4800 |H | Short_Literal 0x0
02bb e5ff | | Load 0x2,-0x1
02bc 1c08 | | Execute_Immediate Run_Utility,0x8
02bd 00d8 | | Load_Top At_Offset_0
02be 1c00 | | Execute_Immediate Run_Utility,0x0
02bf c5ff | | Store 0x2,-0x1
02c0 00ce | | Action Pop_Auxiliary
02c1 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
02c2 00da | | Load_Top At_Offset_2
02c3 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
02c4 1c00 | | Execute_Immediate Run_Utility,0x0
02c5 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
02c6 4801 |H | Short_Literal 0x1
02c7 4804 |H | Short_Literal 0x4
02c8 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
02c9 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
02ca e5fd | | Load 0x2,-0x3
02cb 00db | | Load_Top At_Offset_3
02cc 1c07 | | Execute_Immediate Run_Utility,0x7
02cd e5fe | | Load 0x2,-0x2
02ce 0306 | | Complete_Type Variant_Record,By_Renaming
02cf 4304 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x4
02d0 4801 |H | Short_Literal 0x1
02d1 4804 |H | Short_Literal 0x4
02d2 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
02d3 e5fe | | Load 0x2,-0x2
02d4 e5ff | | Load 0x2,-0x1
02d5 00da | | Load_Top At_Offset_2
02d6 0305 | | Complete_Type Variant_Record,By_Constraining_Incomplete
02d7 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
02d8 4801 |H | Short_Literal 0x1
02d9 4801 |H | Short_Literal 0x1
02da e5ff | | Load 0x2,-0x1
02db 0169 | i | Execute Variant_Record,Read_Discriminant_Constraint
02dc e227 | ' | Load 0x1,0x27
02dd 035b | [ | Declare_Type Array,Constrained
02de 4801 |H | Short_Literal 0x1
02df e5ff | | Load 0x2,-0x1
02e0 0304 | | Complete_Type Variant_Record,By_Completing_Constraint
02e1 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
02e2 00db | | Load_Top At_Offset_3
02e3 4801 |H | Short_Literal 0x1
02e4 e5fe | | Load 0x2,-0x2
02e5 e227 | ' | Load 0x1,0x27
02e6 035b | [ | Declare_Type Array,Constrained
02e7 4801 |H | Short_Literal 0x1
02e8 e5ff | | Load 0x2,-0x1
02e9 031b | | Declare_Type Variant_Record,Constrained
02ea 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
02eb 00db | | Load_Top At_Offset_3
02ec 00db | | Load_Top At_Offset_3
02ed 02fc | | Declare_Variable Variant_Record,With_Constraint
02ee 4801 |H | Short_Literal 0x1
02ef e5fe | | Load 0x2,-0x2
02f0 e227 | ' | Load 0x1,0x27
02f1 0334 | 4 | Declare_Variable Array,With_Constraint
02f2 2d04 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x4
02f3 016a | j | QQ_execute Variant_Record,XXX
02f4 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
02f5 4800 |H | Short_Literal 0x0
02f6 00db | | Load_Top At_Offset_3
02f7 1c07 | | Execute_Immediate Run_Utility,0x7
02f8 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
02f9 0869 | i | Execute_Immediate Raise,0x69
02fa ; --------------------------------------------------------------------------------------
02fa ; STRING TABLE
02fa ; --------------------------------------------------------------------------------------
02fa 001a | | .STRTAB 0x001a->0x0307 ; "FIND"
02fb 001c | | .STRTAB 0x001c->0x0309 ; "CHECK_NO"
02fc 0022 | " | .STRTAB 0x0022->0x030d ; "Check_No_"
02fd 0029 | ) | .STRTAB 0x0029->0x0311 ; "_Has'("
02fe 002d | - | .STRTAB 0x002d->0x0314 ; "Find_"
02ff 0030 | 0 | .STRTAB 0x0030->0x0317 ; "_Such_As'("
0300 0038 | 8 | .STRTAB 0x0038->0x031c ; ")"
0301 0037 | 7 | .STRTAB 0x0037->0x031c ; "Premiss'("
0302 003e | > | .STRTAB 0x003e->0x0321 ; "Fact_collection'("
0303 004d | M | .STRTAB 0x004d->0x0329 ; ", "
0304 004d | M | .STRTAB 0x004d->0x032a ; "Slot"
0305 004f | O | .STRTAB 0x004f->0x032c ; " => "
0306 0051 | Q | .STREND 0x0051->0x032e
0307 4649 4e44 |FIND| .STRTAB_STRINGS
032f 0000 | | .XXX[0x1]
0330 ; --------------------------------------------------------------------------------------
0330 ; Debug Table
0330 ; --------------------------------------------------------------------------------------
0330 0004 0004 | | .DEBUG4 0x0004,0x0004,0x9029,0x0000,0x0001,0x0011
0336 000b 037a | z| .DBG4T 0x000b,0x037a,0xc000,0x0000
033a 00a1 0397 | | .DBG4T 0x00a1,0x0397,0xc000,0x0000
033e 00fb 0000 | | .DBG4T 0x00fb,0x0000,0x1005,0x0000
0342 011b 03a7 | | .DBG4T 0x011b,0x03a7,0x1002,0x0000
0346 012b 03aa | + | .DBG4T 0x012b,0x03aa,0x1002,0x0000
034a 013b 03ad | ; | .DBG4T 0x013b,0x03ad,0x1002,0x0000
034e 015b 03b4 | [ | .DBG4T 0x015b,0x03b4,0x1001,0x0000
0352 0163 03b7 | c | .DBG4T 0x0163,0x03b7,0x1001,0x4000
0356 0193 03c7 | | .DBG4T 0x0193,0x03c7,0x1001,0x0000
035a 01b3 03d0 | | .DBG4T 0x01b3,0x03d0,0x1001,0x0000
035e 01bb 03d3 | | .DBG4T 0x01bb,0x03d3,0x1001,0x0000
0362 01e3 03dd | | .DBG4T 0x01e3,0x03dd,0x1001,0x0000
0366 01eb 0000 | | .DBG4T 0x01eb,0x0000,0x1005,0x0000
036a 0203 0000 | | .DBG4T 0x0203,0x0000,0x1005,0x0000
036e 022b 03e0 | + | .DBG4T 0x022b,0x03e0,0x1001,0x0000
0372 0253 03e9 | S | .DBG4T 0x0253,0x03e9,0x1002,0x4000
0376 02ab 0000 | | .DBG4T 0x02ab,0x0000,0x1005,0x0000
037a ; --------------------------------------------------------------------------------------
037a ; Debug chain
037a ; --------------------------------------------------------------------------------------
037a 001b 0000 | | .DBGLEN 0x001b,0x0000
037c 000b 000d | | .DBGLNO 0x000b,0x000d,0x000e,0x0014,0x0018,0x0023,0x0024,0x002b,0x002d,0x002f,0x0031,0x0033,0x0035,0x0037,0x0039,0x003b,0x003d,0x0046,0x0055,0x0056,0x0059,0x005d,0x0064,0x0065,0x0066,0x006b,0x007e
0397 ; --------------------------------------------------------------------------------------
0397 ; Debug chain
0397 ; --------------------------------------------------------------------------------------
0397 000e 0000 | | .DBGLEN 0x000e,0x0000
0399 00a1 00b1 | | .DBGLNO 0x00a1,0x00b1,0x00b2,0x00b4,0x00b6,0x00b8,0x00ba,0x00bc,0x00be,0x00c0,0x00c2,0x00c4,0x00c6,0x00d5
03a7 ; --------------------------------------------------------------------------------------
03a7 ; Debug chain
03a7 ; --------------------------------------------------------------------------------------
03a7 0000 0001 | | .DBGLEN 0x0000,0x0001
03a9 011b | | .DBGLNO 0x011b
03aa ; --------------------------------------------------------------------------------------
03aa ; Debug chain
03aa ; --------------------------------------------------------------------------------------
03aa 0000 0001 | | .DBGLEN 0x0000,0x0001
03ac 012b | + | .DBGLNO 0x012b
03ad ; --------------------------------------------------------------------------------------
03ad ; Debug chain
03ad ; --------------------------------------------------------------------------------------
03ad 0002 0003 | | .DBGLEN 0x0002,0x0003
03af 013b 0140 | ; @| .DBGLNO 0x013b,0x0140,0x0142,0x014e,0x0152
03b4 ; --------------------------------------------------------------------------------------
03b4 ; Debug chain
03b4 ; --------------------------------------------------------------------------------------
03b4 0000 0001 | | .DBGLEN 0x0000,0x0001
03b6 015b | [ | .DBGLNO 0x015b
03b7 ; --------------------------------------------------------------------------------------
03b7 ; Debug chain
03b7 ; --------------------------------------------------------------------------------------
03b7 0000 0007 | | .DBGLEN 0x0000,0x0007
03b9 0163 0166 | c f| .DBGLNO 0x0163,0x0166,0x0172,0x017d,0x017f,0x0183,0x0185
03c0 0001 0003 | | .XXX[0x7]
03c2 0002 0004 | |
03c4 0005 0006 | |
03c6 0007 | |
03c7 ; --------------------------------------------------------------------------------------
03c7 ; Debug chain
03c7 ; --------------------------------------------------------------------------------------
03c7 0000 0007 | | .DBGLEN 0x0000,0x0007
03c9 0193 0197 | | .DBGLNO 0x0193,0x0197,0x019a,0x019e,0x01a3,0x01a9,0x01ab
03d0 ; --------------------------------------------------------------------------------------
03d0 ; Debug chain
03d0 ; --------------------------------------------------------------------------------------
03d0 0000 0001 | | .DBGLEN 0x0000,0x0001
03d2 01b3 | | .DBGLNO 0x01b3
03d3 ; --------------------------------------------------------------------------------------
03d3 ; Debug chain
03d3 ; --------------------------------------------------------------------------------------
03d3 0000 0008 | | .DBGLEN 0x0000,0x0008
03d5 01bb 01bf | | .DBGLNO 0x01bb,0x01bf,0x01c1,0x01c5,0x01c9,0x01d1,0x01d3,0x01d6
03dd ; --------------------------------------------------------------------------------------
03dd ; Debug chain
03dd ; --------------------------------------------------------------------------------------
03dd 0000 0001 | | .DBGLEN 0x0000,0x0001
03df 01e3 | | .DBGLNO 0x01e3
03e0 ; --------------------------------------------------------------------------------------
03e0 ; Debug chain
03e0 ; --------------------------------------------------------------------------------------
03e0 0001 0006 | | .DBGLEN 0x0001,0x0006
03e2 022b 022e | + .| .DBGLNO 0x022b,0x022e,0x0232,0x0234,0x0239,0x023b,0x0246
03e9 ; --------------------------------------------------------------------------------------
03e9 ; Debug chain
03e9 ; --------------------------------------------------------------------------------------
03e9 0001 0010 | | .DBGLEN 0x0001,0x0010
03eb 0253 0254 | S T| .DBGLNO 0x0253,0x0254,0x0259,0x025b,0x0260,0x0266,0x026b,0x0272,0x0277,0x0280,0x0284,0x0287,0x028c,0x0293,0x029c,0x02a0,0x02a5
03fc 0001 0002 | | .XXX[0x10]
03fe 0003 0004 | |
0400 000a 000b | |
0402 000c 000d | |
0404 000e 000f | |
0406 0005 0006 | |
0408 0007 0008 | |
040a 0009 0010 | |
040c 0000 0000 | | .BLANK 0000[0x1f4]