|
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_664cf7
└─⟦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 0230 | 0 | .CONST 0x0230 ; 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 0089 | | .CONST 0x0089 ; 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 035b | [ | Declare_Type Array,Constrained
0044 0337 | 7 | Declare_Variable Array
0045 00d9 | | Load_Top At_Offset_1
0046 00d8 | | Load_Top At_Offset_0
0047 2704 |' | Execute Variant_Record,Field_Reference,Variant,Indirect,Field_Number 0x4
0048 00da | | Load_Top At_Offset_2
0049 01da | | Execute Vector,Bounds
004a 00da | | Load_Top At_Offset_2
004b 01da | | Execute Vector,Bounds
004c 00da | | Load_Top At_Offset_2
004d 027f | | Execute Discrete,Equal
004e 7001 |p | Jump_Nonzero 0x50
004f 08e0 | | Execute_Immediate Raise,0xe0
0050 00cd | | Action Spare6_Action
0051 027f | | Execute Discrete,Equal
0052 7001 |p | Jump_Nonzero 0x54
0053 08e0 | | Execute_Immediate Raise,0xe0
0054 00d2 | | Pop_Control Pop_Count_2
0055 00d9 | | Load_Top At_Offset_1
0056 2b04 |+ | Execute Variant_Record,Field_Write,Variant,Indirect,Field_Number 0x4
0057 0129 | ) | Execute Any,Make_Visible
0058 4801 |H | Short_Literal 0x1
0059 4800 |H | Short_Literal 0x0
005a 00db | | Load_Top At_Offset_3
005b 035b | [ | Declare_Type Array,Constrained
005c 0337 | 7 | Declare_Variable Array
005d 0129 | ) | Execute Any,Make_Visible
005e 4800 |H | Short_Literal 0x0
005f e002 | | Load 0x0,0x2
0060 0a01 | | Execute_Immediate Plus,0x1
0061 e001 | | Load 0x0,0x1
0062 01d7 | | Execute Vector,Field_Read
0063 02a0 | | Declare_Subprogram Null_Subprogram
0064 038f | | Declare_Type Package,Defined,Visible
0065 e001 | | Load 0x0,0x1
0066 e002 | | Load 0x0,0x2
0067 e001 | | Load 0x0,0x1
0068 01d7 | | Execute Vector,Field_Read
0069 4802 |H | Short_Literal 0x2
006a 00db | | Load_Top At_Offset_3
006b 020e | | Execute Module,Augment_Imports
006c 0386 | | Declare_Variable Package,Visible
006d 029a 00db | | Declare_Subprogram INIT_00d8,For_Outer_Call,Visible,Unelaborated
006f 029a 0103 | | Declare_Subprogram INIT_0100,For_Outer_Call,Visible,Unelaborated
0071 00bf | | Action Accept_Activation
0072 029d 0123 | #| Declare_Subprogram INIT_0120,For_Outer_Call
0074 1d15 | | Execute_Immediate Reference_Lex_1,0x15
0075 00c7 | | Action Elaborate_Subprogram
0076 1d16 | | Execute_Immediate Reference_Lex_1,0x16
0077 00c7 | | Action Elaborate_Subprogram
0078 a009 | | Store_Unchecked 0x0,0x9
0079 a00a | | Store_Unchecked 0x0,0xa
007a e210 | | Load 0x1,0x10
007b a00b | | Store_Unchecked 0x0,0xb
007c e006 | | Load 0x0,0x6
007d a00c | | Store_Unchecked 0x0,0xc
007e a00d | | Store_Unchecked 0x0,0xd
007f a00e | | Store_Unchecked 0x0,0xe
0080 a00f | | Store_Unchecked 0x0,0xf
0081 a010 | | Store_Unchecked 0x0,0x10
0082 a011 | | Store_Unchecked 0x0,0x11
0083 a012 | | Store_Unchecked 0x0,0x12
0084 480c |H | Short_Literal 0xc
0085 e214 | | Load 0x1,0x14
0086 020e | | Execute Module,Augment_Imports
0087 00db | | Load_Top At_Offset_3
0088 020f | | Execute Module,Activate
0089 BODY_0008:
0089 00bc | | Action Signal_Activated
008a 00bb | | Action Signal_Completion
008b 0000 0000 | | .BLANK 0000[0x5]
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 01f9 | | Action Push_String_Extended_Indexed,0x1f9 ; "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 01fc | | Action Push_String_Extended,0x1fc ; "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 01fd | | Action Push_String_Extended,0x1fd ; ")"
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 01fe | | Action Push_String_Extended,0x1fe ; "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 01fd | | Action Push_String_Extended,0x1fd ; ")"
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 01ff | | Action Push_String_Extended,0x1ff ; ", "
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 0200 | | Action Push_String_Extended,0x200 ; " => "
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 0201 | | Action Push_String_Extended,0x201 ; "Find_"
016b 00db | | Load_Top At_Offset_3
016c 01cc | | Execute Vector,Catenate
016d 0092 0202 | | Action Push_String_Extended,0x202 ; "_Such_As'("
016f 01cc | | Execute Vector,Catenate
0170 8013 | | Call 0x0,0x13
0171 7809 |x | Jump 0x17b
0172 e5fe | | Load 0x2,-0x2
0173 0092 0203 | | Action Push_String_Extended,0x203 ; "Check_No_"
0175 00db | | Load_Top At_Offset_3
0176 01cc | | Execute Vector,Catenate
0177 0092 0204 | | Action Push_String_Extended,0x204 ; "_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 01fd | | Action Push_String_Extended,0x1fd ; ")"
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 7820 |x | Jump 0x1b7 ; case 0x2
0197 7823 |x# | Jump 0x1bb ; case 0x3
0198 785f |x_ | Jump 0x1f8 ; case 0x4
0199 785e |x^ | Jump 0x1f8 ; case 0x5
019a 7827 |x' | Jump 0x1c2 ; case 0x6
019b 782f |x/ | Jump 0x1cb ; case 0x7
019c 7841 |xA | Jump 0x1de ; case 0x8
019d 7855 |xU | Jump 0x1f3 ; 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 7005 |p | Jump_Nonzero 0x1b6
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 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
01b7 4802 |H | Short_Literal 0x2
01b8 4806 |H | Short_Literal 0x6
01b9 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
01ba 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
01bb e5fc | | Load 0x2,-0x4
01bc e5fd | | Load 0x2,-0x3
01bd e5ff | | Load 0x2,-0x1
01be 1c07 | | Execute_Immediate Run_Utility,0x7
01bf e5fe | | Load 0x2,-0x2
01c0 0306 | | Complete_Type Variant_Record,By_Renaming
01c1 4305 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x5
01c2 00db | | Load_Top At_Offset_3
01c3 4800 |H | Short_Literal 0x0
01c4 4801 |H | Short_Literal 0x1
01c5 0262 | b | Execute Discrete,In_Range
01c6 7002 |p | Jump_Nonzero 0x1c9
01c7 4802 |H | Short_Literal 0x2
01c8 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3
01c9 4801 |H | Short_Literal 0x1
01ca 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3
01cb e5fd | | Load 0x2,-0x3
01cc e5fe | | Load 0x2,-0x2
01cd 00d8 | | Load_Top At_Offset_0
01ce 4800 |H | Short_Literal 0x0
01cf 4801 |H | Short_Literal 0x1
01d0 0262 | b | Execute Discrete,In_Range
01d1 7003 |p | Jump_Nonzero 0x1d5
01d2 4800 |H | Short_Literal 0x0
01d3 4802 |H | Short_Literal 0x2
01d4 7806 |x | Jump 0x1db
01d5 4801 |H | Short_Literal 0x1
01d6 e5fd | | Load 0x2,-0x3
01d7 e003 | | Load 0x0,0x3
01d8 035b | [ | Declare_Type Array,Constrained
01d9 4801 |H | Short_Literal 0x1
01da 4801 |H | Short_Literal 0x1
01db e5ff | | Load 0x2,-0x1
01dc 031b | | Declare_Type Variant_Record,Constrained
01dd 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3
01de e5fd | | Load 0x2,-0x3
01df e5fe | | Load 0x2,-0x2
01e0 e5fd | | Load 0x2,-0x3
01e1 e5fe | | Load 0x2,-0x2
01e2 e5ff | | Load 0x2,-0x1
01e3 1c06 | | Execute_Immediate Run_Utility,0x6
01e4 e5ff | | Load 0x2,-0x1
01e5 02fc | | Declare_Variable Variant_Record,With_Constraint
01e6 e5fe | | Load 0x2,-0x2
01e7 4800 |H | Short_Literal 0x0
01e8 4801 |H | Short_Literal 0x1
01e9 0262 | b | Execute Discrete,In_Range
01ea 7001 |p | Jump_Nonzero 0x1ec
01eb 7805 |x | Jump 0x1f1
01ec 4801 |H | Short_Literal 0x1
01ed e5fd | | Load 0x2,-0x3
01ee e003 | | Load 0x0,0x3
01ef 0334 | 4 | Declare_Variable Array,With_Constraint
01f0 2f04 |/ | Execute Variant_Record,Field_Append,Variant,Indirect,Field_Number 0x4
01f1 016a | j | QQ_execute Variant_Record,XXX
01f2 4203 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x3
01f3 4800 |H | Short_Literal 0x0
01f4 4800 |H | Short_Literal 0x0
01f5 e5ff | | Load 0x2,-0x1
01f6 1c07 | | Execute_Immediate Run_Utility,0x7
01f7 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
01f8 0869 | i | Execute_Immediate Raise,0x69
01f9 ; --------------------------------------------------------------------------------------
01f9 ; STRING TABLE
01f9 ; --------------------------------------------------------------------------------------
01f9 001a | | .STRTAB 0x001a->0x0206 ; "FIND"
01fa 001c | | .STRTAB 0x001c->0x0208 ; "CHECK_NO"
01fb 0022 | " | .STRTAB 0x0022->0x020c ; "EVALUATE"
01fc 0028 | ( | .STRTAB 0x0028->0x0210 ; "Check_If'("
01fd 0030 | 0 | .STRTAB 0x0030->0x0215 ; ")"
01fe 002f | / | .STRTAB 0x002f->0x0215 ; "Premiss'("
01ff 0036 | 6 | .STRTAB 0x0036->0x021a ; ", "
0200 0036 | 6 | .STRTAB 0x0036->0x021b ; " => "
0201 0038 | 8 | .STRTAB 0x0038->0x021d ; "Find_"
0202 003b | ; | .STRTAB 0x003b->0x021f ; "_Such_As'("
0203 0043 | C | .STRTAB 0x0043->0x0224 ; "Check_No_"
0204 004a | J | .STRTAB 0x004a->0x0229 ; "_Has'("
0205 004e | N | .STREND 0x004e->0x022c
0206 4649 4e44 |FIND| .STRTAB_STRINGS
022c 0000 0000 | | .BLANK 0000[0x4]
0230 ; --------------------------------------------------------------------------------------
0230 ; Debug Table
0230 ; --------------------------------------------------------------------------------------
0230 0004 0006 | | .DEBUG4 0x0004,0x0006,0xad89,0x0000,0x0001,0x0009
0236 000b 025a | Z| .DBG4T 0x000b,0x025a,0x0000,0x0000
023a 0072 0267 | r g| .DBG4T 0x0072,0x0267,0x0000,0x0000
023e 0093 0000 | | .DBG4T 0x0093,0x0000,0x0005,0x0000
0242 00c3 0000 | | .DBG4T 0x00c3,0x0000,0x0005,0x0000
0246 00db 026d | m| .DBG4T 0x00db,0x026d,0x0001,0x4000
024a 0103 0281 | | .DBG4T 0x0103,0x0281,0x0001,0x0000
024e 0123 028a | # | .DBG4T 0x0123,0x028a,0x0001,0x0000
0252 0153 0294 | S | .DBG4T 0x0153,0x0294,0x0004,0x0000
0256 0193 0000 | | .DBG4T 0x0193,0x0000,0x0005,0x0000
025a ; --------------------------------------------------------------------------------------
025a ; Debug chain
025a ; --------------------------------------------------------------------------------------
025a 000b 0000 | | .DBGLEN 0x000b,0x0000
025c 000b 000f | | .DBGLNO 0x000b,0x000f,0x0014,0x0018,0x0019,0x0032,0x0039,0x0058,0x005e,0x006d,0x006f
0267 ; --------------------------------------------------------------------------------------
0267 ; Debug chain
0267 ; --------------------------------------------------------------------------------------
0267 0004 0000 | | .DBGLEN 0x0004,0x0000
0269 0072 0074 | r t| .DBGLNO 0x0072,0x0074,0x0076,0x0078
026d ; --------------------------------------------------------------------------------------
026d ; Debug chain
026d ; --------------------------------------------------------------------------------------
026d 0000 0009 | | .DBGLEN 0x0000,0x0009
026f 00dd 00e3 | | .DBGLNO 0x00dd,0x00e3,0x00e7,0x00e9,0x00ed,0x00f1,0x00f3,0x00f7,0x00f9
0278 0001 0003 | | .XXX[0x9]
027a 0004 0005 | |
027c 0006 0007 | |
027e 0008 0009 | |
0280 0002 | |
0281 ; --------------------------------------------------------------------------------------
0281 ; Debug chain
0281 ; --------------------------------------------------------------------------------------
0281 0000 0007 | | .DBGLEN 0x0000,0x0007
0283 0103 0107 | | .DBGLNO 0x0103,0x0107,0x010a,0x010e,0x0113,0x0119,0x011b
028a ; --------------------------------------------------------------------------------------
028a ; Debug chain
028a ; --------------------------------------------------------------------------------------
028a 0001 0007 | | .DBGLEN 0x0001,0x0007
028c 0123 0126 | # &| .DBGLNO 0x0123,0x0126,0x012a,0x012c,0x0131,0x0133,0x013d,0x0141
0294 ; --------------------------------------------------------------------------------------
0294 ; Debug chain
0294 ; --------------------------------------------------------------------------------------
0294 0002 0007 | | .DBGLEN 0x0002,0x0007
0296 0153 015b | S [| .DBGLNO 0x0153,0x015b,0x0165,0x0168,0x0172,0x017b,0x017d,0x0182,0x0184
029f 0000 0000 | | .BLANK 0000[0x161]