|
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_0900ea
└─⟦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 0238 | 8 | .CONST 0x0238 ; 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 008b | | .CONST 0x008b ; 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 e004 | | Load 0x0,0x4 000d 00e3 | | Load_Encached Natural_Cache 000e 03f9 | | Declare_Type Discrete,Constrained,Visible 000f 4800 |H | Short_Literal 0x0 0010 4802 |H | Short_Literal 0x2 0011 029f 0093 | | Declare_Subprogram INIT_0090,For_Call 0013 03fe | | Declare_Type Discrete,Defined,Visible 0014 4801 |H | Short_Literal 0x1 0015 e004 | | Load 0x0,0x4 0016 00db | | Load_Top At_Offset_3 0017 03f9 | | Declare_Type Discrete,Constrained,Visible 0018 0007 | | Action Break_Optional 0019 00da | | Load_Top At_Offset_2 001a 00da | | Load_Top At_Offset_2 001b 4802 |H | Short_Literal 0x2 001c 4801 |H | Short_Literal 0x1 001d e005 | | Load 0x0,0x5 001e 4801 |H | Short_Literal 0x1 001f 6098 |` | Indirect_Literal Discrete,0xb8,{0x00000000, 0x7fffffff} 0020 e20d | | Load 0x1,0xd 0021 0269 | i | Execute Discrete,Last 0022 026c | l | Execute Discrete,Minimum 0023 e003 | | Load 0x0,0x3 0024 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object 0025 4802 |H | Short_Literal 0x2 0026 4802 |H | Short_Literal 0x2 0027 e006 | | Load 0x0,0x6 0028 e007 | | Load 0x0,0x7 0029 029f 0193 | | Declare_Subprogram INIT_0190,For_Call 002b 4804 |H | Short_Literal 0x4 002c 4800 |H | Short_Literal 0x0 002d 4800 |H | Short_Literal 0x0 002e 4802 |H | Short_Literal 0x2 002f 4801 |H | Short_Literal 0x1 0030 4802 |H | Short_Literal 0x2 0031 031e | | Declare_Type Variant_Record,Defined,Visible 0032 00e4 | | Load_Encached Positive_Cache 0033 0266 | f | Execute Discrete,Bounds 0034 00da | | Load_Top At_Offset_2 0035 029f 00c3 | | Declare_Subprogram INIT_00c0,For_Call 0037 4801 |H | Short_Literal 0x1 0038 0351 | Q | Declare_Type Array,Defined,Visible,Bounds_With_Object 0039 4800 |H | Short_Literal 0x0 003a 4800 |H | Short_Literal 0x0 003b 00db | | Load_Top At_Offset_3 003c 1c08 | | Execute_Immediate Run_Utility,0x8 003d e008 | | Load 0x0,0x8 003e 00d9 | | Load_Top At_Offset_1 003f 2a03 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x3 0040 4801 |H | Short_Literal 0x1 0041 4800 |H | Short_Literal 0x0 0042 e003 | | Load 0x0,0x3 0043 0122 | " | Execute Any,Make_Root_Type 0044 035b | [ | Declare_Type Array,Constrained 0045 0337 | 7 | Declare_Variable Array 0046 00d9 | | Load_Top At_Offset_1 0047 00d8 | | Load_Top At_Offset_0 0048 2704 |' | Execute Variant_Record,Field_Reference,Variant,Indirect,Field_Number 0x4 0049 00da | | Load_Top At_Offset_2 004a 01da | | Execute Vector,Bounds 004b 00da | | Load_Top At_Offset_2 004c 01da | | Execute Vector,Bounds 004d 00da | | Load_Top At_Offset_2 004e 027f | | Execute Discrete,Equal 004f 7001 |p | Jump_Nonzero 0x51 0050 08e0 | | Execute_Immediate Raise,0xe0 0051 00cd | | Action Spare6_Action 0052 027f | | Execute Discrete,Equal 0053 7001 |p | Jump_Nonzero 0x55 0054 08e0 | | Execute_Immediate Raise,0xe0 0055 00d2 | | Pop_Control Pop_Count_2 0056 00d9 | | Load_Top At_Offset_1 0057 2b04 |+ | Execute Variant_Record,Field_Write,Variant,Indirect,Field_Number 0x4 0058 0129 | ) | Execute Any,Make_Visible 0059 4801 |H | Short_Literal 0x1 005a 4800 |H | Short_Literal 0x0 005b 00db | | Load_Top At_Offset_3 005c 035b | [ | Declare_Type Array,Constrained 005d 0337 | 7 | Declare_Variable Array 005e 0129 | ) | Execute Any,Make_Visible 005f 4800 |H | Short_Literal 0x0 0060 e002 | | Load 0x0,0x2 0061 0a01 | | Execute_Immediate Plus,0x1 0062 e001 | | Load 0x0,0x1 0063 01d7 | | Execute Vector,Field_Read 0064 02a0 | | Declare_Subprogram Null_Subprogram 0065 038f | | Declare_Type Package,Defined,Visible 0066 e001 | | Load 0x0,0x1 0067 e002 | | Load 0x0,0x2 0068 e001 | | Load 0x0,0x1 0069 01d7 | | Execute Vector,Field_Read 006a 4802 |H | Short_Literal 0x2 006b 00db | | Load_Top At_Offset_3 006c 020e | | Execute Module,Augment_Imports 006d 0386 | | Declare_Variable Package,Visible 006e 029a 00db | | Declare_Subprogram INIT_00d8,For_Outer_Call,Visible,Unelaborated 0070 029a 0103 | | Declare_Subprogram INIT_0100,For_Outer_Call,Visible,Unelaborated 0072 00bf | | Action Accept_Activation 0073 029d 0123 | #| Declare_Subprogram INIT_0120,For_Outer_Call 0075 1d15 | | Execute_Immediate Reference_Lex_1,0x15 0076 00c7 | | Action Elaborate_Subprogram 0077 1d16 | | Execute_Immediate Reference_Lex_1,0x16 0078 00c7 | | Action Elaborate_Subprogram 0079 a009 | | Store_Unchecked 0x0,0x9 007a a00a | | Store_Unchecked 0x0,0xa 007b e210 | | Load 0x1,0x10 007c e007 | | Load 0x0,0x7 007d a00b | | Store_Unchecked 0x0,0xb 007e e006 | | Load 0x0,0x6 007f a00c | | Store_Unchecked 0x0,0xc 0080 a00d | | Store_Unchecked 0x0,0xd 0081 a00e | | Store_Unchecked 0x0,0xe 0082 a00f | | Store_Unchecked 0x0,0xf 0083 a010 | | Store_Unchecked 0x0,0x10 0084 a011 | | Store_Unchecked 0x0,0x11 0085 a012 | | Store_Unchecked 0x0,0x12 0086 480d |H | Short_Literal 0xd 0087 e214 | | Load 0x1,0x14 0088 020e | | Execute Module,Augment_Imports 0089 00db | | Load_Top At_Offset_3 008a 020f | | Execute Module,Activate 008b BODY_0008: 008b 00bc | | Action Signal_Activated 008c 00bb | | Action Signal_Completion 008d 0000 0000 | | .XXX[0x3] 008f 0000 | | 0090 ; -------------------------------------------------------------------------------------- 0090 ; SUBPROGRAM 0090 ; -------------------------------------------------------------------------------------- 0090 0093 | | .CONST 0x0093 ; Address of begin 0091 0004 | | .CONST 0x0004 ; Address of exception handler 0092 0001 | | .CONST 0x0001 ; Number of locals 0093 BODY_0090: 0093 INIT_0090: 0093 4607 |F | Jump_Case 0x8 0094 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x0 0095 7807 |x | Jump 0x9d ; case 0x1 0096 780a |x | Jump 0xa1 ; case 0x2 0097 780e |x | Jump 0xa6 ; case 0x3 0098 7811 |x | Jump 0xaa ; case 0x4 0099 7812 |x | Jump 0xac ; case 0x5 009a 7813 |x | Jump 0xae ; case 0x6 009b 7816 |x | Jump 0xb2 ; case 0x7 009c 4302 |C | .XXX[0x1] 009d 00da | | Load_Top At_Offset_2 009e 0091 0202 | | Action Push_String_Extended_Indexed,0x202 ; "FIND" 00a0 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 00a1 00db | | Load_Top At_Offset_3 00a2 00db | | Load_Top At_Offset_3 00a3 00e0 | | Load_Encached Standard_Cache 00a4 181b | | Execute Package,Field_Execute,Field_Number 0x1b 00a5 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 00a6 00da | | Load_Top At_Offset_2 00a7 00e0 | | Load_Encached Standard_Cache 00a8 181c | | Execute Package,Field_Execute,Field_Number 0x1c 00a9 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 00aa 00db | | Load_Top At_Offset_3 00ab 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 00ac 00db | | Load_Top At_Offset_3 00ad 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 00ae e20e | | Load 0x1,0xe 00af 00dc | | Load_Top At_Offset_4 00b0 0267 | g | Execute Discrete,Predecessor 00b1 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 00b2 e20e | | Load 0x1,0xe 00b3 00dc | | Load_Top At_Offset_4 00b4 0268 | h | Execute Discrete,Successor 00b5 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 00b6 0000 0000 | | .XXX[0x2] 00b8 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff} 00bc 0000 0000 | | .BLANK 0000[0x4] 00c0 ; -------------------------------------------------------------------------------------- 00c0 ; SUBPROGRAM 00c0 ; -------------------------------------------------------------------------------------- 00c0 00c3 | | .CONST 0x00c3 ; Address of begin 00c1 0004 | | .CONST 0x0004 ; Address of exception handler 00c2 0001 | | .CONST 0x0001 ; Number of locals 00c3 BODY_00c0: 00c3 INIT_00c0: 00c3 00d1 | | Pop_Control Pop_Count_1 00c4 00da | | Load_Top At_Offset_2 00c5 01dc | | Execute Vector,Last 00c6 00db | | Load_Top At_Offset_3 00c7 01dd | | Execute Vector,First 00c8 0263 | c | Execute Discrete,Above_Bound 00c9 7006 |p | Jump_Nonzero 0xd0 00ca 00d8 | | Load_Top At_Offset_0 00cb e5ff | | Load 0x2,-0x1 00cc 01d5 | | Execute Vector,Field_Reference 00cd 1c00 | | Execute_Immediate Run_Utility,0x0 00ce 0a01 | | Execute_Immediate Plus,0x1 00cf 7ff8 | | Jump 0xc8 00d0 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 00d1 0000 0000 | | .BLANK 0000[0x7] 00d8 ; -------------------------------------------------------------------------------------- 00d8 ; SUBPROGRAM 00d8 ; -------------------------------------------------------------------------------------- 00d8 00dd | | .CONST 0x00dd ; Address of begin 00d9 0004 | | .CONST 0x0004 ; Address of exception handler 00da 0002 | | .CONST 0x0002 ; Number of locals 00db INIT_00d8: 00db 029f 0153 | S| Declare_Subprogram INIT_0150,For_Call 00dd BODY_00d8: 00dd 00db | | Load_Top At_Offset_3 00de 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 00df 4800 |H | Short_Literal 0x0 00e0 4801 |H | Short_Literal 0x1 00e1 0262 | b | Execute Discrete,In_Range 00e2 7016 |p | Jump_Nonzero 0xf9 00e3 e5fe | | Load 0x2,-0x2 00e4 0092 0205 | | Action Push_String_Extended,0x205 ; "Check_If'(" 00e6 8013 | | Call 0x0,0x13 00e7 e5fe | | Load 0x2,-0x2 00e8 8014 | | Call 0x0,0x14 00e9 e5fe | | Load 0x2,-0x2 00ea e5ff | | Load 0x2,-0x1 00eb 2e05 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x5 00ec 8015 | | Call 0x0,0x15 00ed e5fe | | Load 0x2,-0x2 00ee e5ff | | Load 0x2,-0x1 00ef 2e06 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x6 00f0 8016 | | Call 0x0,0x16 00f1 e5fe | | Load 0x2,-0x2 00f2 8017 | | Call 0x0,0x17 00f3 e5fe | | Load 0x2,-0x2 00f4 0092 0206 | | Action Push_String_Extended,0x206 ; ")" 00f6 8013 | | Call 0x0,0x13 00f7 0008 | | Action Idle 00f8 4503 |E | Exit_Suprogram New_Top_Offset 0x3 00f9 8402 | | Call 0x2,0x2 00fa 4503 |E | Exit_Suprogram New_Top_Offset 0x3 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 00db | | Load_Top At_Offset_3 0104 0092 0207 | | Action Push_String_Extended,0x207 ; "Premiss'(" 0106 8018 | | Call 0x0,0x18 0107 00db | | Load_Top At_Offset_3 0108 8014 | | Call 0x0,0x14 0109 00cf | | Action Mark_Auxiliary 010a 00db | | Load_Top At_Offset_3 010b 01d9 | | Execute Vector,Reverse_Bounds 010c 0263 | c | Execute Discrete,Above_Bound 010d 700a |p | Jump_Nonzero 0x118 010e e5fe | | Load 0x2,-0x2 010f 00d9 | | Load_Top At_Offset_1 0110 e5ff | | Load 0x2,-0x1 0111 01d5 | | Execute Vector,Field_Reference 0112 8215 | | Call 0x1,0x15 0113 4801 |H | Short_Literal 0x1 0114 e5fe | | Load 0x2,-0x2 0115 8019 | | Call 0x0,0x19 0116 00c8 | | Action Pop_Auxiliary_Range 0117 3ff6 |? | Loop_Increasing 0x10e 0118 00ce | | Action Pop_Auxiliary 0119 00db | | Load_Top At_Offset_3 011a 8017 | | Call 0x0,0x17 011b 00db | | Load_Top At_Offset_3 011c 0092 0206 | | Action Push_String_Extended,0x206 ; ")" 011e 8013 | | Call 0x0,0x13 011f 4503 |E | Exit_Suprogram New_Top_Offset 0x3 0120 ; -------------------------------------------------------------------------------------- 0120 ; SUBPROGRAM 0120 ; -------------------------------------------------------------------------------------- 0120 0125 | % | .CONST 0x0125 ; Address of begin 0121 0004 | | .CONST 0x0004 ; Address of exception handler 0122 0002 | | .CONST 0x0002 ; Number of locals 0123 INIT_0120: 0123 00e1 | | Load_Encached Boolean_Cache 0124 0601 | | Execute_Immediate Set_Value_Unchecked,0x1 0125 BODY_0120: 0125 00cf | | Action Mark_Auxiliary 0126 e5ff | | Load 0x2,-0x1 0127 01d9 | | Execute Vector,Reverse_Bounds 0128 0263 | c | Execute Discrete,Above_Bound 0129 701e |p | Jump_Nonzero 0x148 012a 00db | | Load_Top At_Offset_3 012b 7005 |p | Jump_Nonzero 0x131 012c e5fd | | Load 0x2,-0x3 012d 0092 0208 | | Action Push_String_Extended,0x208 ; ", " 012f 8013 | | Call 0x0,0x13 0130 7802 |x | Jump 0x133 0131 4800 |H | Short_Literal 0x0 0132 a402 | | Store_Unchecked 0x2,0x2 0133 e5fd | | Load 0x2,-0x3 0134 00d9 | | Load_Top At_Offset_1 0135 00d8 | | Load_Top At_Offset_0 0136 e01a | | Load 0x0,0x1a 0137 0260 | ` | Execute Discrete,In_Type 0138 7001 |p | Jump_Nonzero 0x13a 0139 0801 | | Execute_Immediate Raise,0x1 013a e5fe | | Load 0x2,-0x2 013b 801b | | Call 0x0,0x1b 013c 8018 | | Call 0x0,0x18 013d e5fd | | Load 0x2,-0x3 013e 0092 0209 | | Action Push_String_Extended,0x209 ; " => " 0140 8018 | | Call 0x0,0x18 0141 e5fd | | Load 0x2,-0x3 0142 00d9 | | Load_Top At_Offset_1 0143 e5ff | | Load 0x2,-0x1 0144 01d7 | | Execute Vector,Field_Read 0145 8016 | | Call 0x0,0x16 0146 00c8 | | Action Pop_Auxiliary_Range 0147 3fe2 |? | Loop_Increasing 0x12a 0148 4504 |E | Exit_Suprogram New_Top_Offset 0x4 0149 0000 0000 | | .BLANK 0000[0x7] 0150 ; -------------------------------------------------------------------------------------- 0150 ; SUBPROGRAM 0150 ; -------------------------------------------------------------------------------------- 0150 0165 | e | .CONST 0x0165 ; Address of begin 0151 0004 | | .CONST 0x0004 ; Address of exception handler 0152 0003 | | .CONST 0x0003 ; Number of locals 0153 INIT_0150: 0153 e5ff | | Load 0x2,-0x1 0154 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 0155 e005 | | Load 0x0,0x5 0156 1c04 | | Execute_Immediate Run_Utility,0x4 0157 e005 | | Load 0x0,0x5 0158 0122 | " | Execute Any,Make_Root_Type 0159 011c | | Execute Any,Convert_Unchecked 015a 1c01 | | Execute_Immediate Run_Utility,0x1 015b e01c | | Load 0x0,0x1c 015c e5ff | | Load 0x2,-0x1 015d 2e03 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x3 015e 00d8 | | Load_Top At_Offset_0 015f e005 | | Load 0x0,0x5 0160 0260 | ` | Execute Discrete,In_Type 0161 7001 |p | Jump_Nonzero 0x163 0162 0801 | | Execute_Immediate Raise,0x1 0163 801d | | Call 0x0,0x1d 0164 0039 | 9 | Store_Top Access,At_Offset_1 0165 BODY_0150: 0165 e5ff | | Load 0x2,-0x1 0166 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 0167 700a |p | Jump_Nonzero 0x172 0168 e5fe | | Load 0x2,-0x2 0169 0092 020a | | Action Push_String_Extended,0x20a ; "Find_" 016b 00db | | Load_Top At_Offset_3 016c 01cc | | Execute Vector,Catenate 016d 0092 020b | | Action Push_String_Extended,0x20b ; "_Such_As'(" 016f 01cc | | Execute Vector,Catenate 0170 8013 | | Call 0x0,0x13 0171 7809 |x | Jump 0x17b 0172 e5fe | | Load 0x2,-0x2 0173 0092 020c | | Action Push_String_Extended,0x20c ; "Check_No_" 0175 00db | | Load_Top At_Offset_3 0176 01cc | | Execute Vector,Catenate 0177 0092 020d | | Action Push_String_Extended,0x20d ; "_Has'(" 0179 01cc | | Execute Vector,Catenate 017a 8013 | | Call 0x0,0x13 017b e5fe | | Load 0x2,-0x2 017c 8014 | | Call 0x0,0x14 017d e5fe | | Load 0x2,-0x2 017e 00d9 | | Load_Top At_Offset_1 017f e5ff | | Load 0x2,-0x1 0180 2704 |' | Execute Variant_Record,Field_Reference,Variant,Indirect,Field_Number 0x4 0181 8217 | | Call 0x1,0x17 0182 e5fe | | Load 0x2,-0x2 0183 8017 | | Call 0x0,0x17 0184 e5fe | | Load 0x2,-0x2 0185 0092 0206 | | Action Push_String_Extended,0x206 ; ")" 0187 8013 | | Call 0x0,0x13 0188 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0189 0000 0000 | | .BLANK 0000[0x7] 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 4609 |F | Jump_Case 0xa 0194 7809 |x | Jump 0x19e ; case 0x0 0195 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1 0196 7829 |x) | Jump 0x1c0 ; case 0x2 0197 782c |x, | Jump 0x1c4 ; case 0x3 0198 7868 |xh | Jump 0x201 ; case 0x4 0199 7867 |xg | Jump 0x201 ; case 0x5 019a 7830 |x0 | Jump 0x1cb ; case 0x6 019b 7838 |x8 | Jump 0x1d4 ; case 0x7 019c 784a |xJ | Jump 0x1e7 ; case 0x8 019d 785e |x^ | Jump 0x1fc ; case 0x9 019e 00da | | Load_Top At_Offset_2 019f 016c | l | Execute Variant_Record,Is_Constrained 01a0 700a |p | Jump_Nonzero 0x1ab 01a1 00cf | | Action Mark_Auxiliary 01a2 4800 |H | Short_Literal 0x0 01a3 4800 |H | Short_Literal 0x0 01a4 e5ff | | Load 0x2,-0x1 01a5 1c08 | | Execute_Immediate Run_Utility,0x8 01a6 00d8 | | Load_Top At_Offset_0 01a7 1c00 | | Execute_Immediate Run_Utility,0x0 01a8 c5ff | | Store 0x2,-0x1 01a9 00ce | | Action Pop_Auxiliary 01aa 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 01ab 00da | | Load_Top At_Offset_2 01ac 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 01ad 4800 |H | Short_Literal 0x0 01ae 4801 |H | Short_Literal 0x1 01af 0262 | b | Execute Discrete,In_Range 01b0 700b |p | Jump_Nonzero 0x1bc 01b1 00da | | Load_Top At_Offset_2 01b2 2205 |" | Execute Variant_Record,Field_Constrain,Field_Number 0x5 01b3 00da | | Load_Top At_Offset_2 01b4 2605 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x5 01b5 1c00 | | Execute_Immediate Run_Utility,0x0 01b6 00da | | Load_Top At_Offset_2 01b7 2206 |" | Execute Variant_Record,Field_Constrain,Field_Number 0x6 01b8 00da | | Load_Top At_Offset_2 01b9 2606 |& | Execute Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x6 01ba 1c00 | | Execute_Immediate Run_Utility,0x0 01bb 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 01bc 00da | | Load_Top At_Offset_2 01bd 2704 |' | Execute Variant_Record,Field_Reference,Variant,Indirect,Field_Number 0x4 01be 1c00 | | Execute_Immediate Run_Utility,0x0 01bf 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 01c0 4802 |H | Short_Literal 0x2 01c1 4806 |H | Short_Literal 0x6 01c2 0311 | | Declare_Type Variant_Record,Constrained_Incomplete 01c3 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 01c4 e5fc | | Load 0x2,-0x4 01c5 e5fd | | Load 0x2,-0x3 01c6 e5ff | | Load 0x2,-0x1 01c7 1c07 | | Execute_Immediate Run_Utility,0x7 01c8 e5fe | | Load 0x2,-0x2 01c9 0306 | | Complete_Type Variant_Record,By_Renaming 01ca 4305 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x5 01cb 00db | | Load_Top At_Offset_3 01cc 4800 |H | Short_Literal 0x0 01cd 4801 |H | Short_Literal 0x1 01ce 0262 | b | Execute Discrete,In_Range 01cf 7002 |p | Jump_Nonzero 0x1d2 01d0 4802 |H | Short_Literal 0x2 01d1 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3 01d2 4801 |H | Short_Literal 0x1 01d3 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3 01d4 e5fd | | Load 0x2,-0x3 01d5 e5fe | | Load 0x2,-0x2 01d6 00d8 | | Load_Top At_Offset_0 01d7 4800 |H | Short_Literal 0x0 01d8 4801 |H | Short_Literal 0x1 01d9 0262 | b | Execute Discrete,In_Range 01da 7003 |p | Jump_Nonzero 0x1de 01db 4800 |H | Short_Literal 0x0 01dc 4802 |H | Short_Literal 0x2 01dd 7806 |x | Jump 0x1e4 01de 4801 |H | Short_Literal 0x1 01df e5fd | | Load 0x2,-0x3 01e0 e003 | | Load 0x0,0x3 01e1 035b | [ | Declare_Type Array,Constrained 01e2 4801 |H | Short_Literal 0x1 01e3 4801 |H | Short_Literal 0x1 01e4 e5ff | | Load 0x2,-0x1 01e5 031b | | Declare_Type Variant_Record,Constrained 01e6 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3 01e7 e5fd | | Load 0x2,-0x3 01e8 e5fe | | Load 0x2,-0x2 01e9 e5fd | | Load 0x2,-0x3 01ea e5fe | | Load 0x2,-0x2 01eb e5ff | | Load 0x2,-0x1 01ec 1c06 | | Execute_Immediate Run_Utility,0x6 01ed e5ff | | Load 0x2,-0x1 01ee 02fc | | Declare_Variable Variant_Record,With_Constraint 01ef e5fe | | Load 0x2,-0x2 01f0 4800 |H | Short_Literal 0x0 01f1 4801 |H | Short_Literal 0x1 01f2 0262 | b | Execute Discrete,In_Range 01f3 7001 |p | Jump_Nonzero 0x1f5 01f4 7805 |x | Jump 0x1fa 01f5 4801 |H | Short_Literal 0x1 01f6 e5fd | | Load 0x2,-0x3 01f7 e003 | | Load 0x0,0x3 01f8 0334 | 4 | Declare_Variable Array,With_Constraint 01f9 2f04 |/ | Execute Variant_Record,Field_Append,Variant,Indirect,Field_Number 0x4 01fa 016a | j | QQ_execute Variant_Record,XXX 01fb 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3 01fc 4800 |H | Short_Literal 0x0 01fd 4800 |H | Short_Literal 0x0 01fe e5ff | | Load 0x2,-0x1 01ff 1c07 | | Execute_Immediate Run_Utility,0x7 0200 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 0201 0869 | i | Execute_Immediate Raise,0x69 0202 ; -------------------------------------------------------------------------------------- 0202 ; STRING TABLE 0202 ; -------------------------------------------------------------------------------------- 0202 001a | | .STRTAB 0x001a->0x020f ; "FIND" 0203 001c | | .STRTAB 0x001c->0x0211 ; "CHECK_NO" 0204 0022 | " | .STRTAB 0x0022->0x0215 ; "EVALUATE" 0205 0028 | ( | .STRTAB 0x0028->0x0219 ; "Check_If'(" 0206 0030 | 0 | .STRTAB 0x0030->0x021e ; ")" 0207 002f | / | .STRTAB 0x002f->0x021e ; "Premiss'(" 0208 0036 | 6 | .STRTAB 0x0036->0x0223 ; ", " 0209 0036 | 6 | .STRTAB 0x0036->0x0224 ; " => " 020a 0038 | 8 | .STRTAB 0x0038->0x0226 ; "Find_" 020b 003b | ; | .STRTAB 0x003b->0x0228 ; "_Such_As'(" 020c 0043 | C | .STRTAB 0x0043->0x022d ; "Check_No_" 020d 004a | J | .STRTAB 0x004a->0x0232 ; "_Has'(" 020e 004e | N | .STREND 0x004e->0x0235 020f 4649 4e44 |FIND| .STRTAB_STRINGS 0235 0000 0000 | | .XXX[0x3] 0237 0000 | | 0238 ; -------------------------------------------------------------------------------------- 0238 ; Debug Table 0238 ; -------------------------------------------------------------------------------------- 0238 0004 0006 | | .DEBUG4 0x0004,0x0006,0x8808,0x0000,0x0001,0x0009 023e 000b 0262 | b| .DBG4T 0x000b,0x0262,0x0000,0x0000 0242 0073 026f | s o| .DBG4T 0x0073,0x026f,0x0000,0x0000 0246 0093 0000 | | .DBG4T 0x0093,0x0000,0x0005,0x0000 024a 00c3 0000 | | .DBG4T 0x00c3,0x0000,0x0005,0x0000 024e 00db 0275 | u| .DBG4T 0x00db,0x0275,0x0001,0x4000 0252 0103 0289 | | .DBG4T 0x0103,0x0289,0x0001,0x0000 0256 0123 0292 | # | .DBG4T 0x0123,0x0292,0x0001,0x0000 025a 0153 029c | S | .DBG4T 0x0153,0x029c,0x0004,0x0000 025e 0193 0000 | | .DBG4T 0x0193,0x0000,0x0005,0x0000 0262 ; -------------------------------------------------------------------------------------- 0262 ; Debug chain 0262 ; -------------------------------------------------------------------------------------- 0262 000b 0000 | | .DBGLEN 0x000b,0x0000 0264 000b 000f | | .DBGLNO 0x000b,0x000f,0x0014,0x0018,0x0019,0x0032,0x0039,0x0059,0x005f,0x006e,0x0070 026f ; -------------------------------------------------------------------------------------- 026f ; Debug chain 026f ; -------------------------------------------------------------------------------------- 026f 0004 0000 | | .DBGLEN 0x0004,0x0000 0271 0073 0075 | s u| .DBGLNO 0x0073,0x0075,0x0077,0x0079 0275 ; -------------------------------------------------------------------------------------- 0275 ; Debug chain 0275 ; -------------------------------------------------------------------------------------- 0275 0000 0009 | | .DBGLEN 0x0000,0x0009 0277 00dd 00e3 | | .DBGLNO 0x00dd,0x00e3,0x00e7,0x00e9,0x00ed,0x00f1,0x00f3,0x00f7,0x00f9 0280 0001 0003 | | .XXX[0x9] 0282 0004 0005 | | 0284 0006 0007 | | 0286 0008 0009 | | 0288 0002 | | 0289 ; -------------------------------------------------------------------------------------- 0289 ; Debug chain 0289 ; -------------------------------------------------------------------------------------- 0289 0000 0007 | | .DBGLEN 0x0000,0x0007 028b 0103 0107 | | .DBGLNO 0x0103,0x0107,0x010a,0x010e,0x0113,0x0119,0x011b 0292 ; -------------------------------------------------------------------------------------- 0292 ; Debug chain 0292 ; -------------------------------------------------------------------------------------- 0292 0001 0007 | | .DBGLEN 0x0001,0x0007 0294 0123 0126 | # &| .DBGLNO 0x0123,0x0126,0x012a,0x012c,0x0131,0x0133,0x013d,0x0141 029c ; -------------------------------------------------------------------------------------- 029c ; Debug chain 029c ; -------------------------------------------------------------------------------------- 029c 0002 0007 | | .DBGLEN 0x0002,0x0007 029e 0153 015b | S [| .DBGLNO 0x0153,0x015b,0x0165,0x0168,0x0172,0x017b,0x017d,0x0182,0x0184 02a7 0000 0000 | | .BLANK 0000[0x159]