|
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_1ee28c5
└─⟦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 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,0x9c05,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]