|
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 - metrics - 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 For_Call,INIT_0090
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 For_Call,INIT_0190
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 For_Call,INIT_00c0
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 For_Outer_Call,Visible,Unelaborated,INIT_00d8
0070 029a 0103 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0100
0072 00bf | | Action Accept_Activation
0073 029d 0123 | #| Declare_Subprogram For_Outer_Call,INIT_0120
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 | | Reference 0x0,0x9
007a a00a | | Reference 0x0,0xa
007b e210 | | Load 0x1,0x10
007c e007 | | Load 0x0,0x7
007d a00b | | Reference 0x0,0xb
007e e006 | | Load 0x0,0x6
007f a00c | | Reference 0x0,0xc
0080 a00d | | Reference 0x0,0xd
0081 a00e | | Reference 0x0,0xe
0082 a00f | | Reference 0x0,0xf
0083 a010 | | Reference 0x0,0x10
0084 a011 | | Reference 0x0,0x11
0085 a012 | | Reference 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 0x7
0094 4302 |C | Exit_Subprogram From_Utility,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,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,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,0x1
00aa 00db | | Load_Top At_Offset_3
00ab 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
00ac 00db | | Load_Top At_Offset_3
00ad 4202 |B | Exit_Subprogram From_Utility,With_Result,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,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,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,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 For_Call,INIT_0150
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_Subprogram 0x3
00f9 8402 | | Call 0x2,0x2
00fa 4503 |E | Exit_Subprogram 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_Subprogram 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_Subprogram 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_Subprogram 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 0x9
0194 7809 |x | Jump 0x19e ; case 0x0
0195 4302 |C | Exit_Subprogram From_Utility,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,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,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,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,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,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,0x3
01d2 4801 |H | Short_Literal 0x1
01d3 4203 |B | Exit_Subprogram From_Utility,With_Result,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,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 | Execute Variant_Record,Indirects_Appended
01fb 4203 |B | Exit_Subprogram From_Utility,With_Result,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,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]