|
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 02a8 | | .CONST 0x02a8 ; 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 0057 | W | .CONST 0x0057 ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0017 | | .CONST 0x0017 ; Number of locals
000b INIT_0008:
000b 0007 | | Action Break_Optional
000c 00c4 | | Action Make_Default
000d 029a 0063 | c| Declare_Subprogram INIT_0060,For_Outer_Call,Visible,Unelaborated
000f 029a 00cb | | Declare_Subprogram INIT_00c8,For_Outer_Call,Visible,Unelaborated
0011 029a 00fb | | Declare_Subprogram INIT_00f8,For_Outer_Call,Visible,Unelaborated
0013 029a 0103 | | Declare_Subprogram INIT_0100,For_Outer_Call,Visible,Unelaborated
0015 029a 010b | | Declare_Subprogram INIT_0108,For_Outer_Call,Visible,Unelaborated
0017 e004 | | Load 0x0,0x4
0018 00e3 | | Load_Encached Natural_Cache
0019 4801 |H | Short_Literal 0x1
001a 60a5 |` | Indirect_Literal Discrete,0xc0,{0x00000000, 0x7fffffff}
001b e004 | | Load 0x0,0x4
001c 0269 | i | Execute Discrete,Last
001d 026c | l | Execute Discrete,Minimum
001e e003 | | Load 0x0,0x3
001f 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object
0020 029f 024b | K| Declare_Subprogram INIT_0248,For_Call
0022 4800 |H | Short_Literal 0x0
0023 4801 |H | Short_Literal 0x1
0024 4801 |H | Short_Literal 0x1
0025 4800 |H | Short_Literal 0x0
0026 4801 |H | Short_Literal 0x1
0027 4801 |H | Short_Literal 0x1
0028 031e | | Declare_Type Variant_Record,Defined,Visible
0029 4800 |H | Short_Literal 0x0
002a 00d9 | | Load_Top At_Offset_1
002b 1c08 | | Execute_Immediate Run_Utility,0x8
002c 4800 |H | Short_Literal 0x0
002d 00d9 | | Load_Top At_Offset_1
002e 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
002f e005 | | Load 0x0,0x5
0030 00d9 | | Load_Top At_Offset_1
0031 00d8 | | Load_Top At_Offset_0
0032 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0033 00da | | Load_Top At_Offset_2
0034 01da | | Execute Vector,Bounds
0035 00da | | Load_Top At_Offset_2
0036 01da | | Execute Vector,Bounds
0037 00da | | Load_Top At_Offset_2
0038 027f | | Execute Discrete,Equal
0039 7001 |p | Jump_Nonzero 0x3b
003a 08e0 | | Execute_Immediate Raise,0xe0
003b 00cd | | Action Spare6_Action
003c 027f | | Execute Discrete,Equal
003d 7001 |p | Jump_Nonzero 0x3f
003e 08e0 | | Execute_Immediate Raise,0xe0
003f 00d2 | | Pop_Control Pop_Count_2
0040 00d9 | | Load_Top At_Offset_1
0041 2903 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
0042 0129 | ) | Execute Any,Make_Visible
0043 c20d | | Store 0x1,0xd
0044 00bf | | Action Accept_Activation
0045 029d 013b | ;| Declare_Subprogram INIT_0138,For_Outer_Call
0047 029d 0153 | S| Declare_Subprogram INIT_0150,For_Outer_Call
0049 029d 019b | | Declare_Subprogram INIT_0198,For_Outer_Call
004b 029d 01f3 | | Declare_Subprogram INIT_01f0,For_Outer_Call
004d 1d0e | | Execute_Immediate Reference_Lex_1,0xe
004e 00c7 | | Action Elaborate_Subprogram
004f 1d0f | | Execute_Immediate Reference_Lex_1,0xf
0050 00c7 | | Action Elaborate_Subprogram
0051 1d10 | | Execute_Immediate Reference_Lex_1,0x10
0052 00c7 | | Action Elaborate_Subprogram
0053 1d11 | | Execute_Immediate Reference_Lex_1,0x11
0054 00c7 | | Action Elaborate_Subprogram
0055 1d12 | | Execute_Immediate Reference_Lex_1,0x12
0056 00c7 | | Action Elaborate_Subprogram
0057 BODY_0008:
0057 00bc | | Action Signal_Activated
0058 00bb | | Action Signal_Completion
0059 0000 0000 | | .BLANK 0000[0x7]
0060 ; --------------------------------------------------------------------------------------
0060 ; SUBPROGRAM
0060 ; --------------------------------------------------------------------------------------
0060 0067 | g | .CONST 0x0067 ; Address of begin
0061 0004 | | .CONST 0x0004 ; Address of exception handler
0062 0003 | | .CONST 0x0003 ; Number of locals
0063 INIT_0060:
0063 00da | | Load_Top At_Offset_2
0064 8211 | | Call 0x1,0x11
0065 e5fe | | Load 0x2,-0x2
0066 8211 | | Call 0x1,0x11
0067 BODY_0060:
0067 e5fe | | Load 0x2,-0x2
0068 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0069 e006 | | Load 0x0,0x6
006a 01d5 | | Execute Vector,Field_Reference
006b 2402 |$ | Execute Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
006c e5ff | | Load 0x2,-0x1
006d 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
006e e006 | | Load 0x0,0x6
006f 01d5 | | Execute Vector,Field_Reference
0070 2402 |$ | Execute Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
0071 8007 | | Call 0x0,0x7
0072 6802 |h | Jump_Zero 0x75
0073 4801 |H | Short_Literal 0x1
0074 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0075 e5fe | | Load 0x2,-0x2
0076 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0077 e006 | | Load 0x0,0x6
0078 01d5 | | Execute Vector,Field_Reference
0079 2402 |$ | Execute Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
007a e5ff | | Load 0x2,-0x1
007b 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
007c e006 | | Load 0x0,0x6
007d 01d5 | | Execute Vector,Field_Reference
007e 2402 |$ | Execute Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
007f 8007 | | Call 0x0,0x7
0080 6802 |h | Jump_Zero 0x83
0081 4800 |H | Short_Literal 0x0
0082 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0083 00d8 | | Load_Top At_Offset_0
0084 00da | | Load_Top At_Offset_2
0085 8216 | | Call 0x1,0x16
0086 6802 |h | Jump_Zero 0x89
0087 4801 |H | Short_Literal 0x1
0088 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0089 00d8 | | Load_Top At_Offset_0
008a 00da | | Load_Top At_Offset_2
008b 8217 | | Call 0x1,0x17
008c 6802 |h | Jump_Zero 0x8f
008d 4800 |H | Short_Literal 0x0
008e 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
008f e5ff | | Load 0x2,-0x1
0090 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0091 e5fe | | Load 0x2,-0x2
0092 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0093 027c | | | Execute Discrete,Less
0094 6802 |h | Jump_Zero 0x97
0095 4801 |H | Short_Literal 0x1
0096 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0097 e5ff | | Load 0x2,-0x1
0098 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0099 e5fe | | Load 0x2,-0x2
009a 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
009b 027d | } | Execute Discrete,Greater
009c 6802 |h | Jump_Zero 0x9f
009d 4800 |H | Short_Literal 0x0
009e 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
009f e5ff | | Load 0x2,-0x1
00a0 8210 | | Call 0x1,0x10
00a1 e006 | | Load 0x0,0x6
00a2 01d5 | | Execute Vector,Field_Reference
00a3 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00a4 e5fe | | Load 0x2,-0x2
00a5 8210 | | Call 0x1,0x10
00a6 e006 | | Load 0x0,0x6
00a7 01d5 | | Execute Vector,Field_Reference
00a8 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00a9 027c | | | Execute Discrete,Less
00aa 6802 |h | Jump_Zero 0xad
00ab 4800 |H | Short_Literal 0x0
00ac 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
00ad e5ff | | Load 0x2,-0x1
00ae 8210 | | Call 0x1,0x10
00af e006 | | Load 0x0,0x6
00b0 01d5 | | Execute Vector,Field_Reference
00b1 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00b2 e5fe | | Load 0x2,-0x2
00b3 8210 | | Call 0x1,0x10
00b4 e006 | | Load 0x0,0x6
00b5 01d5 | | Execute Vector,Field_Reference
00b6 2c03 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
00b7 027c | | | Execute Discrete,Less
00b8 6802 |h | Jump_Zero 0xbb
00b9 4801 |H | Short_Literal 0x1
00ba 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
00bb 4801 |H | Short_Literal 0x1
00bc 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
00bd 0000 0000 | | .XXX[0x3]
00bf 0000 | |
00c0 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff}
00c4 0000 0000 | | .BLANK 0000[0x4]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00d3 | | .CONST 0x00d3 ; Address of begin
00c9 0004 | | .CONST 0x0004 ; Address of exception handler
00ca 0002 | | .CONST 0x0002 ; Number of locals
00cb INIT_00c8:
00cb 00db | | Load_Top At_Offset_3
00cc 01dc | | Execute Vector,Last
00cd e5fe | | Load 0x2,-0x2
00ce 01dd | | Execute Vector,First
00cf 0272 | r | Execute Discrete,Minus
00d0 0a01 | | Execute_Immediate Plus,0x1
00d1 00e3 | | Load_Encached Natural_Cache
00d2 03ec | | Declare_Variable Discrete,With_Value,With_Constraint
00d3 BODY_00c8:
00d3 00d8 | | Load_Top At_Offset_0
00d4 00d8 | | Load_Top At_Offset_0
00d5 e004 | | Load 0x0,0x4
00d6 0260 | ` | Execute Discrete,In_Type
00d7 7001 |p | Jump_Nonzero 0xd9
00d8 0801 | | Execute_Immediate Raise,0x1
00d9 e213 | | Load 0x1,0x13
00da 1c08 | | Execute_Immediate Run_Utility,0x8
00db e5ff | | Load 0x2,-0x1
00dc 00d9 | | Load_Top At_Offset_1
00dd 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
00de e5fe | | Load 0x2,-0x2
00df 00d9 | | Load_Top At_Offset_1
00e0 00d8 | | Load_Top At_Offset_0
00e1 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
00e2 00da | | Load_Top At_Offset_2
00e3 01da | | Execute Vector,Bounds
00e4 00da | | Load_Top At_Offset_2
00e5 01da | | Execute Vector,Bounds
00e6 00da | | Load_Top At_Offset_2
00e7 027f | | Execute Discrete,Equal
00e8 7001 |p | Jump_Nonzero 0xea
00e9 08e0 | | Execute_Immediate Raise,0xe0
00ea 00cd | | Action Spare6_Action
00eb 027f | | Execute Discrete,Equal
00ec 7001 |p | Jump_Nonzero 0xee
00ed 08e0 | | Execute_Immediate Raise,0xe0
00ee 00d2 | | Pop_Control Pop_Count_2
00ef 00d9 | | Load_Top At_Offset_1
00f0 2903 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
00f1 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
00f2 0000 0000 | | .BLANK 0000[0x6]
00f8 ; --------------------------------------------------------------------------------------
00f8 ; SUBPROGRAM
00f8 ; --------------------------------------------------------------------------------------
00f8 00fb | | .CONST 0x00fb ; Address of begin
00f9 0004 | | .CONST 0x0004 ; Address of exception handler
00fa 0001 | | .CONST 0x0001 ; Number of locals
00fb BODY_00f8:
00fb INIT_00f8:
00fb 00da | | Load_Top At_Offset_2
00fc 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
00fd 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
00fe 0000 0000 | | .XXX[0x2]
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 00da | | Load_Top At_Offset_2
0104 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0105 0335 | 5 | Declare_Variable Array,Duplicate
0106 00cd | | Action Spare6_Action
0107 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
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 0288 | | Action Push_String_Extended,0x288 ; "Rule_instance'("
010e 8008 | | Call 0x0,0x8
010f 00db | | Load_Top At_Offset_3
0110 8009 | | Call 0x0,0x9
0111 00db | | Load_Top At_Offset_3
0112 0092 0289 | | Action Push_String_Extended,0x289 ; "The_Rule =>"
0114 800a | | Call 0x0,0xa
0115 00db | | Load_Top At_Offset_3
0116 00db | | Load_Top At_Offset_3
0117 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0118 800b | | Call 0x0,0xb
0119 00db | | Load_Top At_Offset_3
011a 482c |H, | Short_Literal 0x2c
011b 800c | | Call 0x0,0xc
011c 00db | | Load_Top At_Offset_3
011d 0092 028a | | Action Push_String_Extended,0x28a ; "The_facts =>"
011f 8008 | | Call 0x0,0x8
0120 00db | | Load_Top At_Offset_3
0121 8009 | | Call 0x0,0x9
0122 00db | | Load_Top At_Offset_3
0123 4801 |H | Short_Literal 0x1
0124 e5ff | | Load 0x2,-0x1
0125 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0126 e5ff | | Load 0x2,-0x1
0127 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0128 01cf | | Execute Vector,Slice_Read
0129 800d | | Call 0x0,0xd
012a 00db | | Load_Top At_Offset_3
012b 800e | | Call 0x0,0xe
012c 00db | | Load_Top At_Offset_3
012d 800e | | Call 0x0,0xe
012e 00db | | Load_Top At_Offset_3
012f 0092 028b | | Action Push_String_Extended,0x28b ; ")"
0131 8008 | | Call 0x0,0x8
0132 4503 |E | Exit_Suprogram New_Top_Offset 0x3
0133 0000 0000 | | .BLANK 0000[0x5]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 013f | ? | .CONST 0x013f ; Address of begin
0139 0004 | | .CONST 0x0004 ; Address of exception handler
013a 0002 | | .CONST 0x0002 ; Number of locals
013b INIT_0138:
013b e00f | | Load 0x0,0xf
013c 02c7 | | Declare_Variable Any
013d 00d8 | | Load_Top At_Offset_0
013e 1c00 | | Execute_Immediate Run_Utility,0x0
013f BODY_0138:
013f 00db | | Load_Top At_Offset_3
0140 e5fe | | Load 0x2,-0x2
0141 01d7 | | Execute Vector,Field_Read
0142 c402 | | Store 0x2,0x2
0143 00db | | Load_Top At_Offset_3
0144 0a01 | | Execute_Immediate Plus,0x1
0145 e5fe | | Load 0x2,-0x2
0146 01d7 | | Execute Vector,Field_Read
0147 e5ff | | Load 0x2,-0x1
0148 e5fe | | Load 0x2,-0x2
0149 01d6 | | Execute Vector,Field_Write
014a 00d8 | | Load_Top At_Offset_0
014b e5ff | | Load 0x2,-0x1
014c 0a01 | | Execute_Immediate Plus,0x1
014d e5fe | | Load 0x2,-0x2
014e 01d6 | | Execute Vector,Field_Write
014f 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0161 | a | .CONST 0x0161 ; Address of begin
0151 0004 | | .CONST 0x0004 ; Address of exception handler
0152 0002 | | .CONST 0x0002 ; Number of locals
0153 INIT_0150:
0153 4801 |H | Short_Literal 0x1
0154 00db | | Load_Top At_Offset_3
0155 01db | | Execute Vector,Length
0156 00d8 | | Load_Top At_Offset_0
0157 00e2 | | Load_Encached Integer_Cache
0158 0260 | ` | Execute Discrete,In_Type
0159 7001 |p | Jump_Nonzero 0x15b
015a 0801 | | Execute_Immediate Raise,0x1
015b e003 | | Load 0x0,0x3
015c 035b | [ | Declare_Type Array,Constrained
015d 0337 | 7 | Declare_Variable Array
015e 00db | | Load_Top At_Offset_3
015f 00d9 | | Load_Top At_Offset_1
0160 01d4 | | Execute Vector,Structure_Write
0161 BODY_0150:
0161 00cf | | Action Mark_Auxiliary
0162 00d9 | | Load_Top At_Offset_1
0163 01dc | | Execute Vector,Last
0164 0aff | | Execute_Immediate Plus,-0x1
0165 00d8 | | Load_Top At_Offset_0
0166 00e2 | | Load_Encached Integer_Cache
0167 0260 | ` | Execute Discrete,In_Type
0168 7001 |p | Jump_Nonzero 0x16a
0169 0801 | | Execute_Immediate Raise,0x1
016a 4801 |H | Short_Literal 0x1
016b 0263 | c | Execute Discrete,Above_Bound
016c 7021 |p! | Jump_Nonzero 0x18e
016d 00cf | | Action Mark_Auxiliary
016e e402 | | Load 0x2,0x2
016f 01dc | | Execute Vector,Last
0170 00da | | Load_Top At_Offset_2
0171 0272 | r | Execute Discrete,Minus
0172 00d8 | | Load_Top At_Offset_0
0173 00e2 | | Load_Encached Integer_Cache
0174 0260 | ` | Execute Discrete,In_Type
0175 7001 |p | Jump_Nonzero 0x177
0176 0801 | | Execute_Immediate Raise,0x1
0177 4801 |H | Short_Literal 0x1
0178 0263 | c | Execute Discrete,Above_Bound
0179 7011 |p | Jump_Nonzero 0x18b
017a 00d8 | | Load_Top At_Offset_0
017b 0a01 | | Execute_Immediate Plus,0x1
017c e402 | | Load 0x2,0x2
017d 01d7 | | Execute Vector,Field_Read
017e 8010 | | Call 0x0,0x10
017f 00d9 | | Load_Top At_Offset_1
0180 e402 | | Load 0x2,0x2
0181 01d7 | | Execute Vector,Field_Read
0182 8010 | | Call 0x0,0x10
0183 8011 | | Call 0x0,0x11
0184 6804 |h | Jump_Zero 0x189
0185 e402 | | Load 0x2,0x2
0186 00d9 | | Load_Top At_Offset_1
0187 8214 | | Call 0x1,0x14
0188 00d1 | | Pop_Control Pop_Count_1
0189 00c8 | | Action Pop_Auxiliary_Range
018a 3fef |? | Loop_Increasing 0x17a
018b 00ce | | Action Pop_Auxiliary
018c 00c8 | | Action Pop_Auxiliary_Range
018d 3fdf |? | Loop_Increasing 0x16d
018e 00ce | | Action Pop_Auxiliary
018f 00d8 | | Load_Top At_Offset_0
0190 e003 | | Load 0x0,0x3
0191 01c6 | | Execute Vector,Convert_To_Formal
0192 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0193 0000 0000 | | .BLANK 0000[0x5]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 01b6 | | .CONST 0x01b6 ; Address of begin
0199 0004 | | .CONST 0x0004 ; Address of exception handler
019a 0004 | | .CONST 0x0004 ; Number of locals
019b INIT_0198:
019b 00e4 | | Load_Encached Positive_Cache
019c 4801 |H | Short_Literal 0x1
019d e5ff | | Load 0x2,-0x1
019e 01db | | Execute Vector,Length
019f 00d8 | | Load_Top At_Offset_0
01a0 00e2 | | Load_Encached Integer_Cache
01a1 0260 | ` | Execute Discrete,In_Type
01a2 7001 |p | Jump_Nonzero 0x1a4
01a3 0801 | | Execute_Immediate Raise,0x1
01a4 e003 | | Load 0x0,0x3
01a5 035b | [ | Declare_Type Array,Constrained
01a6 0337 | 7 | Declare_Variable Array
01a7 00d8 | | Load_Top At_Offset_0
01a8 1c00 | | Execute_Immediate Run_Utility,0x0
01a9 4801 |H | Short_Literal 0x1
01aa e5fe | | Load 0x2,-0x2
01ab 01db | | Execute Vector,Length
01ac 00d8 | | Load_Top At_Offset_0
01ad 00e2 | | Load_Encached Integer_Cache
01ae 0260 | ` | Execute Discrete,In_Type
01af 7001 |p | Jump_Nonzero 0x1b1
01b0 0801 | | Execute_Immediate Raise,0x1
01b1 e003 | | Load 0x0,0x3
01b2 035b | [ | Declare_Type Array,Constrained
01b3 0337 | 7 | Declare_Variable Array
01b4 00d8 | | Load_Top At_Offset_0
01b5 1c00 | | Execute_Immediate Run_Utility,0x0
01b6 BODY_0198:
01b6 e5ff | | Load 0x2,-0x1
01b7 01db | | Execute Vector,Length
01b8 e5fe | | Load 0x2,-0x2
01b9 01db | | Execute Vector,Length
01ba 027d | } | Execute Discrete,Greater
01bb 6804 |h | Jump_Zero 0x1c0
01bc e5fe | | Load 0x2,-0x2
01bd 01db | | Execute Vector,Length
01be 005b | [ | Store_Top Discrete,At_Offset_3
01bf 7803 |x | Jump 0x1c3
01c0 e5ff | | Load 0x2,-0x1
01c1 01db | | Execute Vector,Length
01c2 005b | [ | Store_Top Discrete,At_Offset_3
01c3 e5ff | | Load 0x2,-0x1
01c4 8215 | | Call 0x1,0x15
01c5 00da | | Load_Top At_Offset_2
01c6 01d4 | | Execute Vector,Structure_Write
01c7 e5fe | | Load 0x2,-0x2
01c8 8215 | | Call 0x1,0x15
01c9 00d9 | | Load_Top At_Offset_1
01ca 01d4 | | Execute Vector,Structure_Write
01cb 00cf | | Action Mark_Auxiliary
01cc 00db | | Load_Top At_Offset_3
01cd 4801 |H | Short_Literal 0x1
01ce 0263 | c | Execute Discrete,Above_Bound
01cf 701b |p | Jump_Nonzero 0x1eb
01d0 00d8 | | Load_Top At_Offset_0
01d1 e404 | | Load 0x2,0x4
01d2 01d7 | | Execute Vector,Field_Read
01d3 8010 | | Call 0x0,0x10
01d4 00d9 | | Load_Top At_Offset_1
01d5 e403 | | Load 0x2,0x3
01d6 01d7 | | Execute Vector,Field_Read
01d7 8010 | | Call 0x0,0x10
01d8 8011 | | Call 0x0,0x11
01d9 6802 |h | Jump_Zero 0x1dc
01da 4801 |H | Short_Literal 0x1
01db 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
01dc 00d8 | | Load_Top At_Offset_0
01dd e404 | | Load 0x2,0x4
01de 01d7 | | Execute Vector,Field_Read
01df 8010 | | Call 0x0,0x10
01e0 00d9 | | Load_Top At_Offset_1
01e1 e403 | | Load 0x2,0x3
01e2 01d7 | | Execute Vector,Field_Read
01e3 8010 | | Call 0x0,0x10
01e4 8007 | | Call 0x0,0x7
01e5 6802 |h | Jump_Zero 0x1e8
01e6 4800 |H | Short_Literal 0x0
01e7 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
01e8 0008 | | Action Idle
01e9 00c8 | | Action Pop_Auxiliary_Range
01ea 3fe5 |? | Loop_Increasing 0x1d0
01eb 00ce | | Action Pop_Auxiliary
01ec 4800 |H | Short_Literal 0x0
01ed 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
01ee 0000 0000 | | .XXX[0x2]
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 020e | | .CONST 0x020e ; Address of begin
01f1 0004 | | .CONST 0x0004 ; Address of exception handler
01f2 0004 | | .CONST 0x0004 ; Number of locals
01f3 INIT_01f0:
01f3 00e4 | | Load_Encached Positive_Cache
01f4 4801 |H | Short_Literal 0x1
01f5 e5ff | | Load 0x2,-0x1
01f6 01db | | Execute Vector,Length
01f7 00d8 | | Load_Top At_Offset_0
01f8 00e2 | | Load_Encached Integer_Cache
01f9 0260 | ` | Execute Discrete,In_Type
01fa 7001 |p | Jump_Nonzero 0x1fc
01fb 0801 | | Execute_Immediate Raise,0x1
01fc e003 | | Load 0x0,0x3
01fd 035b | [ | Declare_Type Array,Constrained
01fe 0337 | 7 | Declare_Variable Array
01ff 00d8 | | Load_Top At_Offset_0
0200 1c00 | | Execute_Immediate Run_Utility,0x0
0201 4801 |H | Short_Literal 0x1
0202 e5fe | | Load 0x2,-0x2
0203 01db | | Execute Vector,Length
0204 00d8 | | Load_Top At_Offset_0
0205 00e2 | | Load_Encached Integer_Cache
0206 0260 | ` | Execute Discrete,In_Type
0207 7001 |p | Jump_Nonzero 0x209
0208 0801 | | Execute_Immediate Raise,0x1
0209 e003 | | Load 0x0,0x3
020a 035b | [ | Declare_Type Array,Constrained
020b 0337 | 7 | Declare_Variable Array
020c 00d8 | | Load_Top At_Offset_0
020d 1c00 | | Execute_Immediate Run_Utility,0x0
020e BODY_01f0:
020e e5ff | | Load 0x2,-0x1
020f 01db | | Execute Vector,Length
0210 e5fe | | Load 0x2,-0x2
0211 01db | | Execute Vector,Length
0212 027d | } | Execute Discrete,Greater
0213 6804 |h | Jump_Zero 0x218
0214 e5fe | | Load 0x2,-0x2
0215 01db | | Execute Vector,Length
0216 005b | [ | Store_Top Discrete,At_Offset_3
0217 7803 |x | Jump 0x21b
0218 e5ff | | Load 0x2,-0x1
0219 01db | | Execute Vector,Length
021a 005b | [ | Store_Top Discrete,At_Offset_3
021b e5ff | | Load 0x2,-0x1
021c 8215 | | Call 0x1,0x15
021d 00da | | Load_Top At_Offset_2
021e 01d4 | | Execute Vector,Structure_Write
021f e5fe | | Load 0x2,-0x2
0220 8215 | | Call 0x1,0x15
0221 00d9 | | Load_Top At_Offset_1
0222 01d4 | | Execute Vector,Structure_Write
0223 00cf | | Action Mark_Auxiliary
0224 00db | | Load_Top At_Offset_3
0225 4801 |H | Short_Literal 0x1
0226 0263 | c | Execute Discrete,Above_Bound
0227 701b |p | Jump_Nonzero 0x243
0228 00d8 | | Load_Top At_Offset_0
0229 e404 | | Load 0x2,0x4
022a 01d7 | | Execute Vector,Field_Read
022b 8010 | | Call 0x0,0x10
022c 00d9 | | Load_Top At_Offset_1
022d e403 | | Load 0x2,0x3
022e 01d7 | | Execute Vector,Field_Read
022f 8010 | | Call 0x0,0x10
0230 8011 | | Call 0x0,0x11
0231 6802 |h | Jump_Zero 0x234
0232 4800 |H | Short_Literal 0x0
0233 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0234 00d8 | | Load_Top At_Offset_0
0235 e404 | | Load 0x2,0x4
0236 01d7 | | Execute Vector,Field_Read
0237 8010 | | Call 0x0,0x10
0238 00d9 | | Load_Top At_Offset_1
0239 e403 | | Load 0x2,0x3
023a 01d7 | | Execute Vector,Field_Read
023b 8010 | | Call 0x0,0x10
023c 8007 | | Call 0x0,0x7
023d 6802 |h | Jump_Zero 0x240
023e 4801 |H | Short_Literal 0x1
023f 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0240 0008 | | Action Idle
0241 00c8 | | Action Pop_Auxiliary_Range
0242 3fe5 |? | Loop_Increasing 0x228
0243 00ce | | Action Pop_Auxiliary
0244 4800 |H | Short_Literal 0x0
0245 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0246 0000 0000 | | .XXX[0x2]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 024b | K | .CONST 0x024b ; Address of begin
0249 0004 | | .CONST 0x0004 ; Address of exception handler
024a 0001 | | .CONST 0x0001 ; Number of locals
024b BODY_0248:
024b INIT_0248:
024b 4609 |F | Jump_Case 0xa
024c 7809 |x | Jump 0x256 ; case 0x0
024d 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
024e 7817 |x | Jump 0x266 ; case 0x2
024f 781a |x | Jump 0x26a ; case 0x3
0250 7836 |x6 | Jump 0x287 ; case 0x4
0251 7835 |x5 | Jump 0x287 ; case 0x5
0252 7834 |x4 | Jump 0x287 ; case 0x6
0253 781c |x | Jump 0x270 ; case 0x7
0254 7824 |x$ | Jump 0x279 ; case 0x8
0255 782d |x- | Jump 0x283 ; case 0x9
0256 00da | | Load_Top At_Offset_2
0257 016c | l | Execute Variant_Record,Is_Constrained
0258 7009 |p | Jump_Nonzero 0x262
0259 00cf | | Action Mark_Auxiliary
025a 4800 |H | Short_Literal 0x0
025b e5ff | | Load 0x2,-0x1
025c 1c08 | | Execute_Immediate Run_Utility,0x8
025d 00d8 | | Load_Top At_Offset_0
025e 1c00 | | Execute_Immediate Run_Utility,0x0
025f c5ff | | Store 0x2,-0x1
0260 00ce | | Action Pop_Auxiliary
0261 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0262 00da | | Load_Top At_Offset_2
0263 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0264 1c00 | | Execute_Immediate Run_Utility,0x0
0265 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0266 4801 |H | Short_Literal 0x1
0267 4803 |H | Short_Literal 0x3
0268 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
0269 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
026a e5fd | | Load 0x2,-0x3
026b 00db | | Load_Top At_Offset_3
026c 1c07 | | Execute_Immediate Run_Utility,0x7
026d e5fe | | Load 0x2,-0x2
026e 0306 | | Complete_Type Variant_Record,By_Renaming
026f 4304 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x4
0270 00db | | Load_Top At_Offset_3
0271 4801 |H | Short_Literal 0x1
0272 e5fe | | Load 0x2,-0x2
0273 e003 | | Load 0x0,0x3
0274 035b | [ | Declare_Type Array,Constrained
0275 4801 |H | Short_Literal 0x1
0276 e5ff | | Load 0x2,-0x1
0277 031b | | Declare_Type Variant_Record,Constrained
0278 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0279 00db | | Load_Top At_Offset_3
027a 00db | | Load_Top At_Offset_3
027b 02fc | | Declare_Variable Variant_Record,With_Constraint
027c 4801 |H | Short_Literal 0x1
027d e5fe | | Load 0x2,-0x2
027e e003 | | Load 0x0,0x3
027f 0334 | 4 | Declare_Variable Array,With_Constraint
0280 2d03 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x3
0281 016a | j | QQ_execute Variant_Record,XXX
0282 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0283 4800 |H | Short_Literal 0x0
0284 00db | | Load_Top At_Offset_3
0285 1c07 | | Execute_Immediate Run_Utility,0x7
0286 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
0287 0869 | i | Execute_Immediate Raise,0x69
0288 ; --------------------------------------------------------------------------------------
0288 ; STRING TABLE
0288 ; --------------------------------------------------------------------------------------
0288 000a | | .STRTAB 0x000a->0x028d ; "Rule_instance'("
0289 0017 | | .STRTAB 0x0017->0x0294 ; "The_Rule =>"
028a 0020 | | .STRTAB 0x0020->0x029a ; "The_facts =>"
028b 002a | * | .STRTAB 0x002a->0x02a0 ; ")"
028c 0029 | ) | .STREND 0x0029->0x02a0
028d 5275 6c65 |Rule| .STRTAB_STRINGS
02a1 0000 0000 | | .BLANK 0000[0x7]
02a8 ; --------------------------------------------------------------------------------------
02a8 ; Debug Table
02a8 ; --------------------------------------------------------------------------------------
02a8 0004 0006 | | .DEBUG4 0x0004,0x0006,0xad95,0x0000,0x0001,0x000c
02ae 000b 02de | | .DBG4T 0x000b,0x02de,0x0000,0x0000
02b2 0045 02e9 | E | .DBG4T 0x0045,0x02e9,0x0000,0x0000
02b6 0063 02f4 | c | .DBG4T 0x0063,0x02f4,0x0002,0x0000
02ba 00cb 0309 | | .DBG4T 0x00cb,0x0309,0x0002,0x0000
02be 00fb 030d | | .DBG4T 0x00fb,0x030d,0x0002,0x0000
02c2 0103 0310 | | .DBG4T 0x0103,0x0310,0x0002,0x0000
02c6 010b 0313 | | .DBG4T 0x010b,0x0313,0x0001,0x0000
02ca 013b 0320 | ; | .DBG4T 0x013b,0x0320,0x0001,0x0000
02ce 0153 0326 | S &| .DBG4T 0x0153,0x0326,0x0002,0x0000
02d2 019b 032e | .| .DBG4T 0x019b,0x032e,0x0002,0x0000
02d6 01f3 033f | ?| .DBG4T 0x01f3,0x033f,0x0002,0x0000
02da 024b 0000 | K | .DBG4T 0x024b,0x0000,0x0005,0x0000
02de ; --------------------------------------------------------------------------------------
02de ; Debug chain
02de ; --------------------------------------------------------------------------------------
02de 0009 0000 | | .DBGLEN 0x0009,0x0000
02e0 000b 000c | | .DBGLNO 0x000b,0x000c,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0029
02e9 ; --------------------------------------------------------------------------------------
02e9 ; Debug chain
02e9 ; --------------------------------------------------------------------------------------
02e9 0009 0000 | | .DBGLEN 0x0009,0x0000
02eb 0045 0047 | E G| .DBGLNO 0x0045,0x0047,0x0049,0x004b,0x004d,0x004f,0x0051,0x0053,0x0055
02f4 ; --------------------------------------------------------------------------------------
02f4 ; Debug chain
02f4 ; --------------------------------------------------------------------------------------
02f4 0002 0011 | | .DBGLEN 0x0002,0x0011
02f6 0063 0065 | c e| .DBGLNO 0x0063,0x0065,0x0067,0x0073,0x0075,0x0081,0x0083,0x0087,0x0089,0x008d,0x008f,0x0095,0x0097,0x009d,0x009f,0x00ab,0x00ad,0x00b9,0x00bb
0309 ; --------------------------------------------------------------------------------------
0309 ; Debug chain
0309 ; --------------------------------------------------------------------------------------
0309 0001 0001 | | .DBGLEN 0x0001,0x0001
030b 00cb 00d3 | | .DBGLNO 0x00cb,0x00d3
030d ; --------------------------------------------------------------------------------------
030d ; Debug chain
030d ; --------------------------------------------------------------------------------------
030d 0000 0001 | | .DBGLEN 0x0000,0x0001
030f 00fb | | .DBGLNO 0x00fb
0310 ; --------------------------------------------------------------------------------------
0310 ; Debug chain
0310 ; --------------------------------------------------------------------------------------
0310 0000 0001 | | .DBGLEN 0x0000,0x0001
0312 0103 | | .DBGLNO 0x0103
0313 ; --------------------------------------------------------------------------------------
0313 ; Debug chain
0313 ; --------------------------------------------------------------------------------------
0313 0000 000b | | .DBGLEN 0x0000,0x000b
0315 010b 010f | | .DBGLNO 0x010b,0x010f,0x0111,0x0115,0x0119,0x011c,0x0120,0x0122,0x012a,0x012c,0x012e
0320 ; --------------------------------------------------------------------------------------
0320 ; Debug chain
0320 ; --------------------------------------------------------------------------------------
0320 0001 0003 | | .DBGLEN 0x0001,0x0003
0322 013b 013f | ; ?| .DBGLNO 0x013b,0x013f,0x0143,0x014a
0326 ; --------------------------------------------------------------------------------------
0326 ; Debug chain
0326 ; --------------------------------------------------------------------------------------
0326 0001 0005 | | .DBGLEN 0x0001,0x0005
0328 0153 0162 | S b| .DBGLNO 0x0153,0x0162,0x016e,0x017a,0x0185,0x018f
032e ; --------------------------------------------------------------------------------------
032e ; Debug chain
032e ; --------------------------------------------------------------------------------------
032e 0003 000c | | .DBGLEN 0x0003,0x000c
0330 019b 019c | | .DBGLNO 0x019b,0x019c,0x01a9,0x01b6,0x01bc,0x01c0,0x01c3,0x01c7,0x01cc,0x01d0,0x01da,0x01dc,0x01e6,0x01e8,0x01ec
033f ; --------------------------------------------------------------------------------------
033f ; Debug chain
033f ; --------------------------------------------------------------------------------------
033f 0003 000c | | .DBGLEN 0x0003,0x000c
0341 01f3 01f4 | | .DBGLNO 0x01f3,0x01f4,0x0201,0x020e,0x0214,0x0218,0x021b,0x021f,0x0224,0x0228,0x0232,0x0234,0x023e,0x0240,0x0244
0350 0000 0000 | | .BLANK 0000[0xb0]