|
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: 2048 (0x800)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_13388c9
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦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 01c0 | | .CONST 0x01c0 ; 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 0001 | | .CONST 0x0001 ; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 006c | l | .CONST 0x006c ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0017 | | .CONST 0x0017 ; Number of locals
000b INIT_0008:
000b 4800 |H | Short_Literal 0x0
000c e003 | | Load 0x0,0x3
000d 00e3 | | Load_Encached Natural_Cache
000e 03f9 | | Declare_Type Discrete,Constrained,Visible
000f 4800 |H | Short_Literal 0x0
0010 4801 |H | Short_Literal 0x1
0011 029f 0073 | s| Declare_Subprogram INIT_0070,For_Call
0013 03fe | | Declare_Type Discrete,Defined,Visible
0014 4801 |H | Short_Literal 0x1
0015 e003 | | Load 0x0,0x3
0016 00db | | Load_Top At_Offset_3
0017 03f9 | | Declare_Type Discrete,Constrained,Visible
0018 00d8 | | Load_Top At_Offset_0
0019 0266 | f | Execute Discrete,Bounds
001a e004 | | Load 0x0,0x4
001b 029f 009b | | Declare_Subprogram INIT_0098,For_Call
001d 4801 |H | Short_Literal 0x1
001e 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
001f 00db | | Load_Top At_Offset_3
0020 00db | | Load_Top At_Offset_3
0021 e005 | | Load 0x0,0x5
0022 4801 |H | Short_Literal 0x1
0023 e210 | | Load 0x1,0x10
0024 01dc | | Execute Vector,Last
0025 e20d | | Load 0x1,0xd
0026 0269 | i | Execute Discrete,Last
0027 026c | l | Execute Discrete,Minimum
0028 e210 | | Load 0x1,0x10
0029 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object
002a 029f 015b | [| Declare_Subprogram INIT_0158,For_Call
002c 4800 |H | Short_Literal 0x0
002d 4801 |H | Short_Literal 0x1
002e 4802 |H | Short_Literal 0x2
002f 4800 |H | Short_Literal 0x0
0030 4801 |H | Short_Literal 0x1
0031 4801 |H | Short_Literal 0x1
0032 031e | | Declare_Type Variant_Record,Defined,Visible
0033 00e4 | | Load_Encached Positive_Cache
0034 0266 | f | Execute Discrete,Bounds
0035 00da | | Load_Top At_Offset_2
0036 029f 00b3 | | Declare_Subprogram INIT_00b0,For_Call
0038 4801 |H | Short_Literal 0x1
0039 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object
003a 4800 |H | Short_Literal 0x0
003b 00da | | Load_Top At_Offset_2
003c 1c08 | | Execute_Immediate Run_Utility,0x8
003d 4800 |H | Short_Literal 0x0
003e 00d9 | | Load_Top At_Offset_1
003f 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0040 e006 | | Load 0x0,0x6
0041 00d9 | | Load_Top At_Offset_1
0042 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0043 4801 |H | Short_Literal 0x1
0044 4800 |H | Short_Literal 0x0
0045 e210 | | Load 0x1,0x10
0046 035b | [ | Declare_Type Array,Constrained
0047 0337 | 7 | Declare_Variable Array
0048 00d9 | | Load_Top At_Offset_1
0049 00d8 | | Load_Top At_Offset_0
004a 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
004b 00da | | Load_Top At_Offset_2
004c 01da | | Execute Vector,Bounds
004d 00da | | Load_Top At_Offset_2
004e 01da | | Execute Vector,Bounds
004f 00da | | Load_Top At_Offset_2
0050 027f | | Execute Discrete,Equal
0051 7001 |p | Jump_Nonzero 0x53
0052 08e0 | | Execute_Immediate Raise,0xe0
0053 00cd | | Action Spare6_Action
0054 027f | | Execute Discrete,Equal
0055 7001 |p | Jump_Nonzero 0x57
0056 08e0 | | Execute_Immediate Raise,0xe0
0057 00d2 | | Pop_Control Pop_Count_2
0058 00d9 | | Load_Top At_Offset_1
0059 2904 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x4
005a 0129 | ) | Execute Any,Make_Visible
005b 4801 |H | Short_Literal 0x1
005c 4800 |H | Short_Literal 0x0
005d 00db | | Load_Top At_Offset_3
005e 035b | [ | Declare_Type Array,Constrained
005f 0337 | 7 | Declare_Variable Array
0060 0129 | ) | Execute Any,Make_Visible
0061 029a 00cb | | Declare_Subprogram INIT_00c8,For_Outer_Call,Visible,Unelaborated
0063 029a 010b | | Declare_Subprogram INIT_0108,For_Outer_Call,Visible,Unelaborated
0065 00bf | | Action Accept_Activation
0066 029d 012b | +| Declare_Subprogram INIT_0128,For_Outer_Call
0068 1d15 | | Execute_Immediate Reference_Lex_1,0x15
0069 00c7 | | Action Elaborate_Subprogram
006a 1d16 | | Execute_Immediate Reference_Lex_1,0x16
006b 00c7 | | Action Elaborate_Subprogram
006c BODY_0008:
006c 00bc | | Action Signal_Activated
006d 00bb | | Action Signal_Completion
006e 0000 0000 | | .XXX[0x2]
0070 ; --------------------------------------------------------------------------------------
0070 ; SUBPROGRAM
0070 ; --------------------------------------------------------------------------------------
0070 0073 | s | .CONST 0x0073 ; Address of begin
0071 0004 | | .CONST 0x0004 ; Address of exception handler
0072 0001 | | .CONST 0x0001 ; Number of locals
0073 BODY_0070:
0073 INIT_0070:
0073 4607 |F | Jump_Case 0x8
0074 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x0
0075 7807 |x | Jump 0x7d ; case 0x1
0076 780a |x | Jump 0x81 ; case 0x2
0077 780e |x | Jump 0x86 ; case 0x3
0078 7811 |x | Jump 0x8a ; case 0x4
0079 7812 |x | Jump 0x8c ; case 0x5
007a 7813 |x | Jump 0x8e ; case 0x6
007b 7816 |x | Jump 0x92 ; case 0x7
007c 4302 |C | .XXX[0x1]
007d 00da | | Load_Top At_Offset_2
007e 0091 0198 | | Action Push_String_Extended_Indexed,0x198 ; "FIND"
0080 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
0081 00db | | Load_Top At_Offset_3
0082 00db | | Load_Top At_Offset_3
0083 00e0 | | Load_Encached Standard_Cache
0084 181b | | Execute Package,Field_Execute,Field_Number 0x1b
0085 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0086 00da | | Load_Top At_Offset_2
0087 00e0 | | Load_Encached Standard_Cache
0088 181c | | Execute Package,Field_Execute,Field_Number 0x1c
0089 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
008a 00db | | Load_Top At_Offset_3
008b 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
008c 00db | | Load_Top At_Offset_3
008d 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
008e e20e | | Load 0x1,0xe
008f 00dc | | Load_Top At_Offset_4
0090 0267 | g | Execute Discrete,Predecessor
0091 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0092 e20e | | Load 0x1,0xe
0093 00dc | | Load_Top At_Offset_4
0094 0268 | h | Execute Discrete,Successor
0095 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0096 0000 0000 | | .XXX[0x2]
0098 ; --------------------------------------------------------------------------------------
0098 ; SUBPROGRAM
0098 ; --------------------------------------------------------------------------------------
0098 009b | | .CONST 0x009b ; Address of begin
0099 0004 | | .CONST 0x0004 ; Address of exception handler
009a 0001 | | .CONST 0x0001 ; Number of locals
009b BODY_0098:
009b INIT_0098:
009b 00d1 | | Pop_Control Pop_Count_1
009c 00da | | Load_Top At_Offset_2
009d 01dc | | Execute Vector,Last
009e 00db | | Load_Top At_Offset_3
009f 01dd | | Execute Vector,First
00a0 0263 | c | Execute Discrete,Above_Bound
00a1 700a |p | Jump_Nonzero 0xac
00a2 00d8 | | Load_Top At_Offset_0
00a3 e5ff | | Load 0x2,-0x1
00a4 01d5 | | Execute Vector,Field_Reference
00a5 0125 | % | Execute Any,Set_Constraint
00a6 00d8 | | Load_Top At_Offset_0
00a7 e5ff | | Load 0x2,-0x1
00a8 01d5 | | Execute Vector,Field_Reference
00a9 1c00 | | Execute_Immediate Run_Utility,0x0
00aa 0a01 | | Execute_Immediate Plus,0x1
00ab 7ff4 | | Jump 0xa0
00ac 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
00ad 0000 0000 | | .XXX[0x3]
00af 0000 | |
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00b3 | | .CONST 0x00b3 ; Address of begin
00b1 0004 | | .CONST 0x0004 ; Address of exception handler
00b2 0001 | | .CONST 0x0001 ; Number of locals
00b3 BODY_00b0:
00b3 INIT_00b0:
00b3 00d1 | | Pop_Control Pop_Count_1
00b4 00da | | Load_Top At_Offset_2
00b5 01dc | | Execute Vector,Last
00b6 00db | | Load_Top At_Offset_3
00b7 01dd | | Execute Vector,First
00b8 0263 | c | Execute Discrete,Above_Bound
00b9 7006 |p | Jump_Nonzero 0xc0
00ba 00d8 | | Load_Top At_Offset_0
00bb e5ff | | Load 0x2,-0x1
00bc 01d5 | | Execute Vector,Field_Reference
00bd 1c00 | | Execute_Immediate Run_Utility,0x0
00be 0a01 | | Execute_Immediate Plus,0x1
00bf 7ff8 | | Jump 0xb8
00c0 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
00c1 0000 0000 | | .BLANK 0000[0x7]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00dd | | .CONST 0x00dd ; Address of begin
00c9 0004 | | .CONST 0x0004 ; Address of exception handler
00ca 0003 | | .CONST 0x0003 ; Number of locals
00cb INIT_00c8:
00cb 00da | | Load_Top At_Offset_2
00cc 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00cd e005 | | Load 0x0,0x5
00ce 1c04 | | Execute_Immediate Run_Utility,0x4
00cf e005 | | Load 0x0,0x5
00d0 0122 | " | Execute Any,Make_Root_Type
00d1 011c | | Execute Any,Convert_Unchecked
00d2 1c01 | | Execute_Immediate Run_Utility,0x1
00d3 e007 | | Load 0x0,0x7
00d4 e5ff | | Load 0x2,-0x1
00d5 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00d6 00d8 | | Load_Top At_Offset_0
00d7 e005 | | Load 0x0,0x5
00d8 0260 | ` | Execute Discrete,In_Type
00d9 7001 |p | Jump_Nonzero 0xdb
00da 0801 | | Execute_Immediate Raise,0x1
00db 8008 | | Call 0x0,0x8
00dc 0039 | 9 | Store_Top Access,At_Offset_1
00dd BODY_00c8:
00dd e5ff | | Load 0x2,-0x1
00de 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
00df 680a |h | Jump_Zero 0xea
00e0 e5fe | | Load 0x2,-0x2
00e1 0092 019a | | Action Push_String_Extended,0x19a ; "Check_No_"
00e3 00db | | Load_Top At_Offset_3
00e4 01cc | | Execute Vector,Catenate
00e5 0092 019b | | Action Push_String_Extended,0x19b ; "_Has'("
00e7 01cc | | Execute Vector,Catenate
00e8 8009 | | Call 0x0,0x9
00e9 7809 |x | Jump 0xf3
00ea e5fe | | Load 0x2,-0x2
00eb 0092 019c | | Action Push_String_Extended,0x19c ; "Find_"
00ed 00db | | Load_Top At_Offset_3
00ee 01cc | | Execute Vector,Catenate
00ef 0092 019d | | Action Push_String_Extended,0x19d ; "_Such_As'("
00f1 01cc | | Execute Vector,Catenate
00f2 8009 | | Call 0x0,0x9
00f3 e5fe | | Load 0x2,-0x2
00f4 800a | | Call 0x0,0xa
00f5 e5fe | | Load 0x2,-0x2
00f6 00d9 | | Load_Top At_Offset_1
00f7 e5ff | | Load 0x2,-0x1
00f8 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
00f9 8217 | | Call 0x1,0x17
00fa e5fe | | Load 0x2,-0x2
00fb 800b | | Call 0x0,0xb
00fc e5fe | | Load 0x2,-0x2
00fd 0092 019e | | Action Push_String_Extended,0x19e ; ")"
00ff 8009 | | Call 0x0,0x9
0100 4503 |E | Exit_Suprogram New_Top_Offset 0x3
0101 0000 0000 | | .BLANK 0000[0x7]
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 00db | | Load_Top At_Offset_3
010c 0092 019f | | Action Push_String_Extended,0x19f ; "Premiss'("
010e 800c | | Call 0x0,0xc
010f 00db | | Load_Top At_Offset_3
0110 800a | | Call 0x0,0xa
0111 00cf | | Action Mark_Auxiliary
0112 00db | | Load_Top At_Offset_3
0113 01d9 | | Execute Vector,Reverse_Bounds
0114 0263 | c | Execute Discrete,Above_Bound
0115 700a |p | Jump_Nonzero 0x120
0116 e5fe | | Load 0x2,-0x2
0117 00d9 | | Load_Top At_Offset_1
0118 e5ff | | Load 0x2,-0x1
0119 01d5 | | Execute Vector,Field_Reference
011a 8215 | | Call 0x1,0x15
011b 4801 |H | Short_Literal 0x1
011c e5fe | | Load 0x2,-0x2
011d 800d | | Call 0x0,0xd
011e 00c8 | | Action Pop_Auxiliary_Range
011f 3ff6 |? | Loop_Increasing 0x116
0120 00ce | | Action Pop_Auxiliary
0121 00db | | Load_Top At_Offset_3
0122 800b | | Call 0x0,0xb
0123 00db | | Load_Top At_Offset_3
0124 0092 019e | | Action Push_String_Extended,0x19e ; ")"
0126 8009 | | Call 0x0,0x9
0127 4503 |E | Exit_Suprogram New_Top_Offset 0x3
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012d | - | .CONST 0x012d ; Address of begin
0129 0004 | | .CONST 0x0004 ; Address of exception handler
012a 0002 | | .CONST 0x0002 ; Number of locals
012b INIT_0128:
012b 00e1 | | Load_Encached Boolean_Cache
012c 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
012d BODY_0128:
012d 00cf | | Action Mark_Auxiliary
012e e5ff | | Load 0x2,-0x1
012f 01d9 | | Execute Vector,Reverse_Bounds
0130 0263 | c | Execute Discrete,Above_Bound
0131 701e |p | Jump_Nonzero 0x150
0132 00db | | Load_Top At_Offset_3
0133 7005 |p | Jump_Nonzero 0x139
0134 e5fd | | Load 0x2,-0x3
0135 0092 01a0 | | Action Push_String_Extended,0x1a0 ; ", "
0137 8009 | | Call 0x0,0x9
0138 7802 |x | Jump 0x13b
0139 4800 |H | Short_Literal 0x0
013a a402 | | Store_Unchecked 0x2,0x2
013b e5fd | | Load 0x2,-0x3
013c 00d9 | | Load_Top At_Offset_1
013d 00d8 | | Load_Top At_Offset_0
013e e00e | | Load 0x0,0xe
013f 0260 | ` | Execute Discrete,In_Type
0140 7001 |p | Jump_Nonzero 0x142
0141 0801 | | Execute_Immediate Raise,0x1
0142 e5fe | | Load 0x2,-0x2
0143 800f | | Call 0x0,0xf
0144 800c | | Call 0x0,0xc
0145 e5fd | | Load 0x2,-0x3
0146 0092 01a1 | | Action Push_String_Extended,0x1a1 ; " => "
0148 800c | | Call 0x0,0xc
0149 e5fd | | Load 0x2,-0x3
014a 00d9 | | Load_Top At_Offset_1
014b e5ff | | Load 0x2,-0x1
014c 01d7 | | Execute Vector,Field_Read
014d 8010 | | Call 0x0,0x10
014e 00c8 | | Action Pop_Auxiliary_Range
014f 3fe2 |? | Loop_Increasing 0x132
0150 4504 |E | Exit_Suprogram New_Top_Offset 0x4
0151 0000 0000 | | .BLANK 0000[0x7]
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 4609 |F | Jump_Case 0xa
015c 7809 |x | Jump 0x166 ; case 0x0
015d 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
015e 7817 |x | Jump 0x176 ; case 0x2
015f 781a |x | Jump 0x17a ; case 0x3
0160 7836 |x6 | Jump 0x197 ; case 0x4
0161 7835 |x5 | Jump 0x197 ; case 0x5
0162 7834 |x4 | Jump 0x197 ; case 0x6
0163 781c |x | Jump 0x180 ; case 0x7
0164 7824 |x$ | Jump 0x189 ; case 0x8
0165 782d |x- | Jump 0x193 ; case 0x9
0166 00da | | Load_Top At_Offset_2
0167 016c | l | Execute Variant_Record,Is_Constrained
0168 7009 |p | Jump_Nonzero 0x172
0169 00cf | | Action Mark_Auxiliary
016a 4800 |H | Short_Literal 0x0
016b e5ff | | Load 0x2,-0x1
016c 1c08 | | Execute_Immediate Run_Utility,0x8
016d 00d8 | | Load_Top At_Offset_0
016e 1c00 | | Execute_Immediate Run_Utility,0x0
016f c5ff | | Store 0x2,-0x1
0170 00ce | | Action Pop_Auxiliary
0171 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0172 00da | | Load_Top At_Offset_2
0173 2504 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x4
0174 1c00 | | Execute_Immediate Run_Utility,0x0
0175 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0176 4801 |H | Short_Literal 0x1
0177 4804 |H | Short_Literal 0x4
0178 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
0179 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
017a e5fd | | Load 0x2,-0x3
017b 00db | | Load_Top At_Offset_3
017c 1c07 | | Execute_Immediate Run_Utility,0x7
017d e5fe | | Load 0x2,-0x2
017e 0306 | | Complete_Type Variant_Record,By_Renaming
017f 4304 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x4
0180 00db | | Load_Top At_Offset_3
0181 4801 |H | Short_Literal 0x1
0182 e5fe | | Load 0x2,-0x2
0183 e210 | | Load 0x1,0x10
0184 035b | [ | Declare_Type Array,Constrained
0185 4801 |H | Short_Literal 0x1
0186 e5ff | | Load 0x2,-0x1
0187 031b | | Declare_Type Variant_Record,Constrained
0188 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0189 00db | | Load_Top At_Offset_3
018a 00db | | Load_Top At_Offset_3
018b 02fc | | Declare_Variable Variant_Record,With_Constraint
018c 4801 |H | Short_Literal 0x1
018d e5fe | | Load 0x2,-0x2
018e e210 | | Load 0x1,0x10
018f 0334 | 4 | Declare_Variable Array,With_Constraint
0190 2d04 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x4
0191 016a | j | QQ_execute Variant_Record,XXX
0192 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0193 4800 |H | Short_Literal 0x0
0194 00db | | Load_Top At_Offset_3
0195 1c07 | | Execute_Immediate Run_Utility,0x7
0196 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
0197 0869 | i | Execute_Immediate Raise,0x69
0198 ; --------------------------------------------------------------------------------------
0198 ; STRING TABLE
0198 ; --------------------------------------------------------------------------------------
0198 0016 | | .STRTAB 0x0016->0x01a3 ; "FIND"
0199 0018 | | .STRTAB 0x0018->0x01a5 ; "CHECK_NO"
019a 001e | | .STRTAB 0x001e->0x01a9 ; "Check_No_"
019b 0025 | % | .STRTAB 0x0025->0x01ad ; "_Has'("
019c 0029 | ) | .STRTAB 0x0029->0x01b0 ; "Find_"
019d 002c | , | .STRTAB 0x002c->0x01b3 ; "_Such_As'("
019e 0034 | 4 | .STRTAB 0x0034->0x01b8 ; ")"
019f 0033 | 3 | .STRTAB 0x0033->0x01b8 ; "Premiss'("
01a0 003a | : | .STRTAB 0x003a->0x01bd ; ", "
01a1 003a | : | .STRTAB 0x003a->0x01be ; " => "
01a2 003c | < | .STREND 0x003c->0x01c0
01a3 4649 4e44 |FIND| .STRTAB_STRINGS
01c0 ; --------------------------------------------------------------------------------------
01c0 ; Debug Table
01c0 ; --------------------------------------------------------------------------------------
01c0 0004 0004 | | .DEBUG4 0x0004,0x0004,0x9604,0x0000,0x0001,0x0009
01c6 000b 01ea | | .DBG4T 0x000b,0x01ea,0x0000,0x0000
01ca 0066 01f6 | f | .DBG4T 0x0066,0x01f6,0x0000,0x0000
01ce 0073 0000 | s | .DBG4T 0x0073,0x0000,0x0005,0x0000
01d2 009b 0000 | | .DBG4T 0x009b,0x0000,0x0005,0x0000
01d6 00b3 0000 | | .DBG4T 0x00b3,0x0000,0x0005,0x0000
01da 00cb 01fb | | .DBG4T 0x00cb,0x01fb,0x0001,0x4000
01de 010b 020d | | .DBG4T 0x010b,0x020d,0x0001,0x0000
01e2 012b 0216 | + | .DBG4T 0x012b,0x0216,0x0001,0x0000
01e6 015b 0000 | [ | .DBG4T 0x015b,0x0000,0x0005,0x0000
01ea ; --------------------------------------------------------------------------------------
01ea ; Debug chain
01ea ; --------------------------------------------------------------------------------------
01ea 000a 0000 | | .DBGLEN 0x000a,0x0000
01ec 000b 000f | | .DBGLNO 0x000b,0x000f,0x0014,0x0018,0x001f,0x0033,0x003a,0x005b,0x0061,0x0063
01f6 ; --------------------------------------------------------------------------------------
01f6 ; Debug chain
01f6 ; --------------------------------------------------------------------------------------
01f6 0003 0000 | | .DBGLEN 0x0003,0x0000
01f8 0066 0068 | f h| .DBGLNO 0x0066,0x0068,0x006a
01fb ; --------------------------------------------------------------------------------------
01fb ; Debug chain
01fb ; --------------------------------------------------------------------------------------
01fb 0002 0007 | | .DBGLEN 0x0002,0x0007
01fd 00cb 00d3 | | .DBGLNO 0x00cb,0x00d3,0x00dd,0x00e0,0x00ea,0x00f3,0x00f5,0x00fa,0x00fc
0206 0001 0003 | | .XXX[0x7]
0208 0002 0004 | |
020a 0005 0006 | |
020c 0007 | |
020d ; --------------------------------------------------------------------------------------
020d ; Debug chain
020d ; --------------------------------------------------------------------------------------
020d 0000 0007 | | .DBGLEN 0x0000,0x0007
020f 010b 010f | | .DBGLNO 0x010b,0x010f,0x0112,0x0116,0x011b,0x0121,0x0123
0216 ; --------------------------------------------------------------------------------------
0216 ; Debug chain
0216 ; --------------------------------------------------------------------------------------
0216 0001 0007 | | .DBGLEN 0x0001,0x0007
0218 012b 012e | + .| .DBGLNO 0x012b,0x012e,0x0132,0x0134,0x0139,0x013b,0x0145,0x0149
0220 0000 0000 | | .BLANK 0000[0x1e0]