|
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_32d0d5
└─⟦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 0250 | P | .CONST 0x0250 ; 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 0106 | | .CONST 0x0106 ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0027 | ' | .CONST 0x0027 ; Number of locals
000b INIT_0008:
000b 029a 010b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0108
000d 029a 0133 | 3| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0130
000f 029a 016b | k| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0168
0011 029a 0183 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0180
0013 029a 019b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0198
0015 0093 0000 | | PushFullAddress InMicrocode
0017 6110 |a | Indirect_Literal Discrete,0x128,{0x80000000, 0x00010000}
0018 0273 | s | Execute Discrete,Plus
0019 e20d | | Load 0x1,0xd
001a 6109 |a | Indirect_Literal Discrete,0x124,{0x00000000, 0x0000ffff}
001b 0279 | y | Execute Discrete,And
001c 0273 | s | Execute Discrete,Plus
001d 0129 | ) | Execute Any,Make_Visible
001e 0093 0000 | | PushFullAddress InMicrocode
0020 60ff |` | Indirect_Literal Discrete,0x120,{0x80000000, 0x00020000}
0021 0273 | s | Execute Discrete,Plus
0022 e20d | | Load 0x1,0xd
0023 6100 |a | Indirect_Literal Discrete,0x124,{0x00000000, 0x0000ffff}
0024 0279 | y | Execute Discrete,And
0025 0273 | s | Execute Discrete,Plus
0026 0129 | ) | Execute Any,Make_Visible
0027 0093 0000 | | PushFullAddress InMicrocode
0029 60f2 |` | Indirect_Literal Discrete,0x11c,{0x80000000, 0x00030000}
002a 0273 | s | Execute Discrete,Plus
002b e20d | | Load 0x1,0xd
002c 60f7 |` | Indirect_Literal Discrete,0x124,{0x00000000, 0x0000ffff}
002d 0279 | y | Execute Discrete,And
002e 0273 | s | Execute Discrete,Plus
002f 0129 | ) | Execute Any,Make_Visible
0030 4818 |H | Short_Literal 0x18
0031 4802 |H | Short_Literal 0x2
0032 e001 | | Load 0x0,0x1
0033 01d7 | | Execute Vector,Field_Read
0034 02a0 | | Declare_Subprogram Null_Subprogram
0035 038d | | Declare_Type Package,Defined,Visible,Not_Elaborated
0036 e001 | | Load 0x0,0x1
0037 4801 |H | Short_Literal 0x1
0038 e001 | | Load 0x0,0x1
0039 01d7 | | Execute Vector,Field_Read
003a 4802 |H | Short_Literal 0x2
003b 00db | | Load_Top At_Offset_3
003c 020e | | Execute Module,Augment_Imports
003d 00bf | | Action Accept_Activation
003e 0093 0000 | | PushFullAddress InMicrocode
0040 60d7 |` | Indirect_Literal Discrete,0x118,{0x80000000, 0x00020000}
0041 0273 | s | Execute Discrete,Plus
0042 e20d | | Load 0x1,0xd
0043 60e0 |` | Indirect_Literal Discrete,0x124,{0x00000000, 0x0000ffff}
0044 0279 | y | Execute Discrete,And
0045 0273 | s | Execute Discrete,Plus
0046 e002 | | Load 0x0,0x2
0047 0273 | s | Execute Discrete,Plus
0048 e211 | | Load 0x1,0x11
0049 e003 | | Load 0x0,0x3
004a 0387 | | Declare_Variable Package
004b 00d8 | | Load_Top At_Offset_0
004c 020f | | Execute Module,Activate
004d 4800 |H | Short_Literal 0x0
004e e210 | | Load 0x1,0x10
004f 00e3 | | Load_Encached Natural_Cache
0050 03f8 | | Declare_Type Discrete,Constrained
0051 00d8 | | Load_Top At_Offset_0
0052 e20e | | Load 0x1,0xe
0053 00e3 | | Load_Encached Natural_Cache
0054 00e3 | | Load_Encached Natural_Cache
0055 4801 |H | Short_Literal 0x1
0056 60bd |` | Indirect_Literal Discrete,0x114,{0x00000000, 0x7fffffff}
0057 e21c | | Load 0x1,0x1c
0058 0269 | i | Execute Discrete,Last
0059 026c | l | Execute Discrete,Minimum
005a e004 | | Load 0x0,0x4
005b e21b | | Load 0x1,0x1b
005c 0098 | | Execute Package,Field_Read_Dynamic
005d 034e | N | Declare_Type Array,Constrained,Bounds_With_Object
005e 029f 01a3 | | Declare_Subprogram For_Call,INIT_01a0
0060 4800 |H | Short_Literal 0x0
0061 4801 |H | Short_Literal 0x1
0062 4803 |H | Short_Literal 0x3
0063 4800 |H | Short_Literal 0x0
0064 4801 |H | Short_Literal 0x1
0065 4801 |H | Short_Literal 0x1
0066 031d | | Declare_Type Variant_Record,Defined
0067 4800 |H | Short_Literal 0x0
0068 00d9 | | Load_Top At_Offset_1
0069 1c08 | | Execute_Immediate Run_Utility,0x8
006a e20e | | Load 0x1,0xe
006b 026a | j | Execute Discrete,First
006c 00d9 | | Load_Top At_Offset_1
006d 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
006e 4800 |H | Short_Literal 0x0
006f 00d9 | | Load_Top At_Offset_1
0070 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0071 4800 |H | Short_Literal 0x0
0072 00d9 | | Load_Top At_Offset_1
0073 2804 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
0074 00d8 | | Load_Top At_Offset_0
0075 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0076 0335 | 5 | Declare_Variable Array,Duplicate
0077 00cd | | Action Spare6_Action
0078 00d9 | | Load_Top At_Offset_1
0079 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
007a 01d9 | | Execute Vector,Reverse_Bounds
007b 0263 | c | Execute Discrete,Above_Bound
007c 7005 |p | Jump_Nonzero 0x82
007d 4801 |H | Short_Literal 0x1
007e 00d9 | | Load_Top At_Offset_1
007f e21f | | Load 0x1,0x1f
0080 01d6 | | Execute Vector,Field_Write
0081 3ffb |? | Loop_Increasing 0x7d
0082 00d9 | | Load_Top At_Offset_1
0083 00d8 | | Load_Top At_Offset_0
0084 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0085 00da | | Load_Top At_Offset_2
0086 01da | | Execute Vector,Bounds
0087 00da | | Load_Top At_Offset_2
0088 01da | | Execute Vector,Bounds
0089 00da | | Load_Top At_Offset_2
008a 027f | | Execute Discrete,Equal
008b 7001 |p | Jump_Nonzero 0x8d
008c 08e0 | | Execute_Immediate Raise,0xe0
008d 00cd | | Action Spare6_Action
008e 027f | | Execute Discrete,Equal
008f 7001 |p | Jump_Nonzero 0x91
0090 08e0 | | Execute_Immediate Raise,0xe0
0091 00d2 | | Pop_Control Pop_Count_2
0092 00d9 | | Load_Top At_Offset_1
0093 2905 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x5
0094 4801 |H | Short_Literal 0x1
0095 e20f | | Load 0x1,0xf
0096 00e3 | | Load_Encached Natural_Cache
0097 03f8 | | Declare_Type Discrete,Constrained
0098 4801 |H | Short_Literal 0x1
0099 00d9 | | Load_Top At_Offset_1
009a 0269 | i | Execute Discrete,Last
009b e21d | | Load 0x1,0x1d
009c 029f 01e3 | | Declare_Subprogram For_Call,INIT_01e0
009e 4801 |H | Short_Literal 0x1
009f 035d | ] | Declare_Type Array,Defined
00a0 00d8 | | Load_Top At_Offset_0
00a1 0337 | 7 | Declare_Variable Array
00a2 00d8 | | Load_Top At_Offset_0
00a3 0335 | 5 | Declare_Variable Array,Duplicate
00a4 00cd | | Action Spare6_Action
00a5 00d9 | | Load_Top At_Offset_1
00a6 01d9 | | Execute Vector,Reverse_Bounds
00a7 0263 | c | Execute Discrete,Above_Bound
00a8 7005 |p | Jump_Nonzero 0xae
00a9 e21e | | Load 0x1,0x1e
00aa 00d9 | | Load_Top At_Offset_1
00ab e222 | " | Load 0x1,0x22
00ac 01d6 | | Execute Vector,Field_Write
00ad 3ffb |? | Loop_Increasing 0xa9
00ae 00d9 | | Load_Top At_Offset_1
00af 01d4 | | Execute Vector,Structure_Write
00b0 00e3 | | Load_Encached Natural_Cache
00b1 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00b2 00e3 | | Load_Encached Natural_Cache
00b3 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00b4 4800 |H | Short_Literal 0x0
00b5 4804 |H | Short_Literal 0x4
00b6 e001 | | Load 0x0,0x1
00b7 01d7 | | Execute Vector,Field_Read
00b8 02a0 | | Declare_Subprogram Null_Subprogram
00b9 038e | | Declare_Type Package,Defined
00ba e001 | | Load 0x0,0x1
00bb 4803 |H | Short_Literal 0x3
00bc e001 | | Load 0x0,0x1
00bd 01d7 | | Execute Vector,Field_Read
00be e005 | | Load 0x0,0x5
00bf e21c | | Load 0x1,0x1c
00c0 a006 | | Reference 0x0,0x6
00c1 4805 |H | Short_Literal 0x5
00c2 e224 | $ | Load 0x1,0x24
00c3 020e | | Execute Module,Augment_Imports
00c4 0387 | | Declare_Variable Package
00c5 a007 | | Reference 0x0,0x7
00c6 a008 | | Reference 0x0,0x8
00c7 a009 | | Reference 0x0,0x9
00c8 1d13 | | Execute_Immediate Reference_Lex_1,0x13
00c9 a00a | | Reference 0x0,0xa
00ca a00b | | Reference 0x0,0xb
00cb a00c | | Reference 0x0,0xc
00cc 4807 |H | Short_Literal 0x7
00cd e224 | $ | Load 0x1,0x24
00ce 020e | | Execute Module,Augment_Imports
00cf 00d8 | | Load_Top At_Offset_0
00d0 020f | | Execute Module,Activate
00d1 0093 0000 | | PushFullAddress InMicrocode
00d3 603c |`< | Indirect_Literal Discrete,0x110,{0x80000000, 0x00010000}
00d4 0273 | s | Execute Discrete,Plus
00d5 e20d | | Load 0x1,0xd
00d6 604d |`M | Indirect_Literal Discrete,0x124,{0x00000000, 0x0000ffff}
00d7 0279 | y | Execute Discrete,And
00d8 0273 | s | Execute Discrete,Plus
00d9 e00d | | Load 0x0,0xd
00da 0273 | s | Execute Discrete,Plus
00db 00d9 | | Load_Top At_Offset_1
00dc 1b0d | | Execute Package,Field_Read,Field_Number 0xd
00dd 00da | | Load_Top At_Offset_2
00de 190f | | Execute Package,Field_Reference,Field_Number 0xf
00df 00db | | Load_Top At_Offset_3
00e0 1910 | | Execute Package,Field_Reference,Field_Number 0x10
00e1 e00e | | Load 0x0,0xe
00e2 0387 | | Declare_Variable Package
00e3 00d8 | | Load_Top At_Offset_0
00e4 020f | | Execute Module,Activate
00e5 1d12 | | Execute_Immediate Reference_Lex_1,0x12
00e6 00c7 | | Action Elaborate_Subprogram
00e7 029d 01fb | | Declare_Subprogram For_Outer_Call,INIT_01f8
00e9 1d14 | | Execute_Immediate Reference_Lex_1,0x14
00ea 00c7 | | Action Elaborate_Subprogram
00eb 029d 020b | | Declare_Subprogram For_Outer_Call,INIT_0208
00ed 1d15 | | Execute_Immediate Reference_Lex_1,0x15
00ee 00c7 | | Action Elaborate_Subprogram
00ef 1d16 | | Execute_Immediate Reference_Lex_1,0x16
00f0 00c7 | | Action Elaborate_Subprogram
00f1 1d13 | | Execute_Immediate Reference_Lex_1,0x13
00f2 00c7 | | Action Elaborate_Subprogram
00f3 e221 | ! | Load 0x1,0x21
00f4 a00f | | Reference 0x0,0xf
00f5 e217 | | Load 0x1,0x17
00f6 e004 | | Load 0x0,0x4
00f7 e21b | | Load 0x1,0x1b
00f8 0098 | | Execute Package,Field_Read_Dynamic
00f9 1d22 | " | Execute_Immediate Reference_Lex_1,0x22
00fa e20f | | Load 0x1,0xf
00fb e219 | | Load 0x1,0x19
00fc e010 | | Load 0x0,0x10
00fd e21b | | Load 0x1,0x1b
00fe 0095 | | Execute Package,Field_Reference_Dynamic
00ff e21d | | Load 0x1,0x1d
0100 a011 | | Reference 0x0,0x11
0101 480a |H | Short_Literal 0xa
0102 e21a | | Load 0x1,0x1a
0103 020e | | Execute Module,Augment_Imports
0104 e21a | | Load 0x1,0x1a
0105 020d | | Execute Module,Elaborate
0106 BODY_0008:
0106 00bc | | Action Signal_Activated
0107 00bb | | Action Signal_Completion
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 e222 | " | Load 0x1,0x22
010c 00ca | | Action Exit_Nullary_Function
010d 0000 0000 | | .XXX[0x3]
010f 0000 | |
0110 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
0114 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff}
0118 8000 0000 | | .LITERAL {0x80000000, 0x00020000}
011c 8000 0000 | | .LITERAL {0x80000000, 0x00030000}
0120 8000 0000 | | .LITERAL {0x80000000, 0x00020000}
0124 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff}
0128 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
012c 0000 0000 | | .BLANK 0000[0x4]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 013c | < | .CONST 0x013c ; Address of begin
0131 0004 | | .CONST 0x0004 ; Address of exception handler
0132 0003 | | .CONST 0x0003 ; Number of locals
0133 INIT_0130:
0133 00da | | Load_Top At_Offset_2
0134 e221 | ! | Load 0x1,0x21
0135 01d5 | | Execute Vector,Field_Reference
0136 0007 | | Action Break_Optional
0137 00d8 | | Load_Top At_Offset_0
0138 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0139 e012 | | Load 0x0,0x12
013a e21b | | Load 0x1,0x1b
013b 0096 | | Execute Package,Field_Execute_Dynamic
013c BODY_0130:
013c e5fe | | Load 0x2,-0x2
013d 0092 022d | -| Action Push_String_Extended,0x22d ; "Rule'("
013f 8007 | | Call 0x0,0x7
0140 e5fe | | Load 0x2,-0x2
0141 8008 | | Call 0x0,0x8
0142 e5fe | | Load 0x2,-0x2
0143 0092 022e | .| Action Push_String_Extended,0x22e ; "The_Bundle => "
0145 8009 | | Call 0x0,0x9
0146 e5fe | | Load 0x2,-0x2
0147 00da | | Load_Top At_Offset_2
0148 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0149 e20e | | Load 0x1,0xe
014a 1c04 | | Execute_Immediate Run_Utility,0x4
014b e20e | | Load 0x1,0xe
014c 0122 | " | Execute Any,Make_Root_Type
014d 011c | | Execute Any,Convert_Unchecked
014e 1c01 | | Execute_Immediate Run_Utility,0x1
014f 8007 | | Call 0x0,0x7
0150 e5fe | | Load 0x2,-0x2
0151 0092 022f | /| Action Push_String_Extended,0x22f ; "The_rule => "
0153 8009 | | Call 0x0,0x9
0154 e5fe | | Load 0x2,-0x2
0155 00da | | Load_Top At_Offset_2
0156 2c04 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
0157 8013 | | Call 0x0,0x13
0158 8007 | | Call 0x0,0x7
0159 e5fe | | Load 0x2,-0x2
015a 0092 0230 | 0| Action Push_String_Extended,0x230 ; "The_premiss => "
015c 8009 | | Call 0x0,0x9
015d e5fe | | Load 0x2,-0x2
015e 00d9 | | Load_Top At_Offset_1
015f 8014 | | Call 0x0,0x14
0160 e5fe | | Load 0x2,-0x2
0161 800c | | Call 0x0,0xc
0162 e5fe | | Load 0x2,-0x2
0163 0092 0231 | 1| Action Push_String_Extended,0x231 ; ")"
0165 8007 | | Call 0x0,0x7
0166 4503 |E | Exit_Subprogram 0x3
0167 0000 | | .XXX[0x1]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b | k | .CONST 0x016b ; Address of begin
0169 0004 | | .CONST 0x0004 ; Address of exception handler
016a 0001 | | .CONST 0x0001 ; Number of locals
016b BODY_0168:
016b INIT_0168:
016b 00da | | Load_Top At_Offset_2
016c 8226 | & | Call 0x1,0x26
016d 680a |h | Jump_Zero 0x178
016e 00da | | Load_Top At_Offset_2
016f e221 | ! | Load 0x1,0x21
0170 01d5 | | Execute Vector,Field_Reference
0171 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0172 00d8 | | Load_Top At_Offset_0
0173 e20e | | Load 0x1,0xe
0174 0260 | ` | Execute Discrete,In_Type
0175 7001 |p | Jump_Nonzero 0x177
0176 0801 | | Execute_Immediate Raise,0x1
0177 4401 |D | Exit_Subprogram With_Result,0x1
0178 e218 | | Load 0x1,0x18
0179 0257 | W | Execute Discrete,Raise
017a 0000 0000 | | .BLANK 0000[0x6]
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 0185 | | .CONST 0x0185 ; Address of begin
0181 0004 | | .CONST 0x0004 ; Address of exception handler
0182 0002 | | .CONST 0x0002 ; Number of locals
0183 INIT_0180:
0183 029f 021b | | Declare_Subprogram For_Call,INIT_0218
0185 BODY_0180:
0185 4800 |H | Short_Literal 0x0
0186 a223 | # | Store_Unchecked 0x1,0x23
0187 00cf | | Action Mark_Auxiliary
0188 e222 | " | Load 0x1,0x22
0189 4801 |H | Short_Literal 0x1
018a 0263 | c | Execute Discrete,Above_Bound
018b 7003 |p | Jump_Nonzero 0x18f
018c 8402 | | Call 0x2,0x2
018d 00c8 | | Action Pop_Auxiliary_Range
018e 3ffd |? | Loop_Increasing 0x18c
018f 00ce | | Action Pop_Auxiliary
0190 8006 | | Call 0x0,0x6
0191 00ca | | Action Exit_Nullary_Function
0192 0000 0000 | | .BLANK 0000[0x6]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 019b | | .CONST 0x019b ; Address of begin
0199 0004 | | .CONST 0x0004 ; Address of exception handler
019a 0001 | | .CONST 0x0001 ; Number of locals
019b BODY_0198:
019b INIT_0198:
019b e223 | # | Load 0x1,0x23
019c 00ca | | Action Exit_Nullary_Function
019d 0000 0000 | | .XXX[0x3]
019f 0000 | |
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01a3 | | .CONST 0x01a3 ; Address of begin
01a1 0004 | | .CONST 0x0004 ; Address of exception handler
01a2 0001 | | .CONST 0x0001 ; Number of locals
01a3 BODY_01a0:
01a3 INIT_01a0:
01a3 4609 |F | Jump_Case 0x9
01a4 7809 |x | Jump 0x1ae ; case 0x0
01a5 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x1
01a6 7813 |x | Jump 0x1ba ; case 0x2
01a7 7816 |x | Jump 0x1be ; case 0x3
01a8 7836 |x6 | Jump 0x1df ; case 0x4
01a9 7835 |x5 | Jump 0x1df ; case 0x5
01aa 7834 |x4 | Jump 0x1df ; case 0x6
01ab 7818 |x | Jump 0x1c4 ; case 0x7
01ac 7822 |x" | Jump 0x1cf ; case 0x8
01ad 782d |x- | Jump 0x1db ; case 0x9
01ae 00da | | Load_Top At_Offset_2
01af 016c | l | Execute Variant_Record,Is_Constrained
01b0 7008 |p | Jump_Nonzero 0x1b9
01b1 00cf | | Action Mark_Auxiliary
01b2 4800 |H | Short_Literal 0x0
01b3 e5ff | | Load 0x2,-0x1
01b4 1c08 | | Execute_Immediate Run_Utility,0x8
01b5 00d8 | | Load_Top At_Offset_0
01b6 1c00 | | Execute_Immediate Run_Utility,0x0
01b7 c5ff | | Store 0x2,-0x1
01b8 00ce | | Action Pop_Auxiliary
01b9 4302 |C | Exit_Subprogram From_Utility,0x2
01ba 4801 |H | Short_Literal 0x1
01bb 4805 |H | Short_Literal 0x5
01bc 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
01bd 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
01be e5fd | | Load 0x2,-0x3
01bf 00db | | Load_Top At_Offset_3
01c0 1c07 | | Execute_Immediate Run_Utility,0x7
01c1 e5fe | | Load 0x2,-0x2
01c2 0306 | | Complete_Type Variant_Record,By_Renaming
01c3 4304 |C | Exit_Subprogram From_Utility,0x4
01c4 00db | | Load_Top At_Offset_3
01c5 4801 |H | Short_Literal 0x1
01c6 e5fe | | Load 0x2,-0x2
01c7 e004 | | Load 0x0,0x4
01c8 e21b | | Load 0x1,0x1b
01c9 0098 | | Execute Package,Field_Read_Dynamic
01ca 035b | [ | Declare_Type Array,Constrained
01cb 4801 |H | Short_Literal 0x1
01cc e5ff | | Load 0x2,-0x1
01cd 031b | | Declare_Type Variant_Record,Constrained
01ce 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01cf 00db | | Load_Top At_Offset_3
01d0 00db | | Load_Top At_Offset_3
01d1 02fc | | Declare_Variable Variant_Record,With_Constraint
01d2 4801 |H | Short_Literal 0x1
01d3 e5fe | | Load 0x2,-0x2
01d4 e004 | | Load 0x0,0x4
01d5 e21b | | Load 0x1,0x1b
01d6 0098 | | Execute Package,Field_Read_Dynamic
01d7 0334 | 4 | Declare_Variable Array,With_Constraint
01d8 2d05 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x5
01d9 016a | j | Execute Variant_Record,Indirects_Appended
01da 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01db 4800 |H | Short_Literal 0x0
01dc 00db | | Load_Top At_Offset_3
01dd 1c07 | | Execute_Immediate Run_Utility,0x7
01de 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
01df 0869 | i | Execute_Immediate Raise,0x69
01e0 ; --------------------------------------------------------------------------------------
01e0 ; SUBPROGRAM
01e0 ; --------------------------------------------------------------------------------------
01e0 01e3 | | .CONST 0x01e3 ; Address of begin
01e1 0004 | | .CONST 0x0004 ; Address of exception handler
01e2 0001 | | .CONST 0x0001 ; Number of locals
01e3 BODY_01e0:
01e3 INIT_01e0:
01e3 00d1 | | Pop_Control Pop_Count_1
01e4 00da | | Load_Top At_Offset_2
01e5 01d8 | | Execute Vector,Element_Type
01e6 02ff | | Declare_Variable Variant_Record
01e7 00d8 | | Load_Top At_Offset_0
01e8 1c00 | | Execute_Immediate Run_Utility,0x0
01e9 00db | | Load_Top At_Offset_3
01ea 01dc | | Execute Vector,Last
01eb e5ff | | Load 0x2,-0x1
01ec 01dd | | Execute Vector,First
01ed 0263 | c | Execute Discrete,Above_Bound
01ee 7006 |p | Jump_Nonzero 0x1f5
01ef 00da | | Load_Top At_Offset_2
01f0 00d9 | | Load_Top At_Offset_1
01f1 e5ff | | Load 0x2,-0x1
01f2 01d6 | | Execute Vector,Field_Write
01f3 0a01 | | Execute_Immediate Plus,0x1
01f4 7ff8 | | Jump 0x1ed
01f5 4302 |C | Exit_Subprogram From_Utility,0x2
01f6 0000 0000 | | .XXX[0x2]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 01fb | | .CONST 0x01fb ; Address of begin
01f9 0004 | | .CONST 0x0004 ; Address of exception handler
01fa 0001 | | .CONST 0x0001 ; Number of locals
01fb BODY_01f8:
01fb INIT_01f8:
01fb 00da | | Load_Top At_Offset_2
01fc 0c01 | | Execute_Immediate Greater_Equal,0x1
01fd 6804 |h | Jump_Zero 0x202
01fe 00da | | Load_Top At_Offset_2
01ff e20f | | Load 0x1,0xf
0200 027a | z | Execute Discrete,Less_Equal
0201 4401 |D | Exit_Subprogram With_Result,0x1
0202 4800 |H | Short_Literal 0x0
0203 4401 |D | Exit_Subprogram With_Result,0x1
0204 0000 0000 | | .BLANK 0000[0x4]
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 020b | | .CONST 0x020b ; Address of begin
0209 0004 | | .CONST 0x0004 ; Address of exception handler
020a 0001 | | .CONST 0x0001 ; Number of locals
020b BODY_0208:
020b INIT_0208:
020b 00da | | Load_Top At_Offset_2
020c 8226 | & | Call 0x1,0x26
020d 6806 |h | Jump_Zero 0x214
020e 00da | | Load_Top At_Offset_2
020f e221 | ! | Load 0x1,0x21
0210 01d5 | | Execute Vector,Field_Reference
0211 02fd | | Declare_Variable Variant_Record,Duplicate
0212 00cd | | Action Spare6_Action
0213 4401 |D | Exit_Subprogram With_Result,0x1
0214 e218 | | Load 0x1,0x18
0215 0257 | W | Execute Discrete,Raise
0216 0000 0000 | | .XXX[0x2]
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 0223 | # | .CONST 0x0223 ; Address of begin
0219 0004 | | .CONST 0x0004 ; Address of exception handler
021a 0002 | | .CONST 0x0002 ; Number of locals
021b INIT_0218:
021b e405 | | Load 0x2,0x5
021c e221 | ! | Load 0x1,0x21
021d 01d5 | | Execute Vector,Field_Reference
021e 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
021f e012 | | Load 0x0,0x12
0220 e21b | | Load 0x1,0x1b
0221 0096 | | Execute Package,Field_Execute_Dynamic
0222 8015 | | Call 0x0,0x15
0223 BODY_0218:
0223 00d8 | | Load_Top At_Offset_0
0224 8006 | | Call 0x0,0x6
0225 01de | | Execute Vector,Not_Equal
0226 6805 |h | Jump_Zero 0x22c
0227 e405 | | Load 0x2,0x5
0228 a223 | # | Store_Unchecked 0x1,0x23
0229 00d8 | | Load_Top At_Offset_0
022a 00cb | | Action Pop_Block_With_Result
022b 00ca | | Action Exit_Nullary_Function
022c 4501 |E | Exit_Subprogram 0x1
022d ; --------------------------------------------------------------------------------------
022d ; STRING TABLE
022d ; --------------------------------------------------------------------------------------
022d 000c | | .STRTAB 0x000c->0x0233 ; "Rule'("
022e 0010 | | .STRTAB 0x0010->0x0236 ; "The_Bundle => "
022f 001d | | .STRTAB 0x001d->0x023d ; "The_rule => "
0230 002a | * | .STRTAB 0x002a->0x0245 ; "The_premiss => "
0231 0037 | 7 | .STRTAB 0x0037->0x024c ; ")"
0232 0036 | 6 | .STREND 0x0036->0x024d
0233 5275 6c65 |Rule| .STRTAB_STRINGS
024d 0000 0000 | | .XXX[0x3]
024f 0000 | |
0250 ; --------------------------------------------------------------------------------------
0250 ; Debug Table
0250 ; --------------------------------------------------------------------------------------
0250 0004 0004 | | .DEBUG4 0x0004,0x0004,0x61e8,0x0000,0x0001,0x000c
0256 000b 0286 | | .DBG4T 0x000b,0x0286,0xc000,0x8000
025a 003e 029a | > | .DBG4T 0x003e,0x029a,0xc000,0x8000
025e 010b 02c4 | | .DBG4T 0x010b,0x02c4,0x1002,0x0000
0262 0133 02c7 | 3 | .DBG4T 0x0133,0x02c7,0x1001,0x0000
0266 016b 02d5 | k | .DBG4T 0x016b,0x02d5,0x1002,0x0000
026a 0183 02da | | .DBG4T 0x0183,0x02da,0x1002,0x0000
026e 019b 02e0 | | .DBG4T 0x019b,0x02e0,0x1002,0x0000
0272 01a3 0000 | | .DBG4T 0x01a3,0x0000,0x1005,0x0000
0276 01e3 0000 | | .DBG4T 0x01e3,0x0000,0x1005,0x0000
027a 01fb 02e3 | | .DBG4T 0x01fb,0x02e3,0x1002,0x0000
027e 020b 02e6 | | .DBG4T 0x020b,0x02e6,0x1002,0x0000
0282 021b 02eb | | .DBG4T 0x021b,0x02eb,0x1004,0x0000
0286 ; --------------------------------------------------------------------------------------
0286 ; Debug chain
0286 ; --------------------------------------------------------------------------------------
0286 0009 0000 | | .DBGLEN 0x0009,0x0000
0288 000b 000d | | .DBGLNO 0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x001e,0x0027,0x0030
0291 0003 0004 | | .XXX[0x9]
0293 0005 0006 | |
0295 0007 0008 | |
0297 0009 000a | |
0299 000b | |
029a ; --------------------------------------------------------------------------------------
029a ; Debug chain
029a ; --------------------------------------------------------------------------------------
029a 0014 0000 | | .DBGLEN 0x0014,0x0000
029c 003e 004d | > M| .DBGLNO 0x003e,0x004d,0x0051,0x0067,0x0094,0x0098,0x00a0,0x00b0,0x00b2,0x00b4,0x00c5,0x00d1,0x00e5,0x00e7,0x00e9,0x00eb,0x00ed,0x00ef,0x00f1,0x00f3
02b0 0001 0002 | | .XXX[0x14]
02b2 0007 0008 | |
02b4 0009 000a | |
02b6 000b 000c | |
02b8 000d 000e | |
02ba 000f 0010 | |
02bc 0011 0012 | |
02be 0013 0014 | |
02c0 0015 0016 | |
02c2 0017 0018 | |
02c4 ; --------------------------------------------------------------------------------------
02c4 ; Debug chain
02c4 ; --------------------------------------------------------------------------------------
02c4 0000 0001 | | .DBGLEN 0x0000,0x0001
02c6 010b | | .DBGLNO 0x010b
02c7 ; --------------------------------------------------------------------------------------
02c7 ; Debug chain
02c7 ; --------------------------------------------------------------------------------------
02c7 0002 000a | | .DBGLEN 0x0002,0x000a
02c9 0133 0137 | 3 7| .DBGLNO 0x0133,0x0137,0x013c,0x0140,0x0142,0x0146,0x0150,0x0154,0x0159,0x015d,0x0160,0x0162
02d5 ; --------------------------------------------------------------------------------------
02d5 ; Debug chain
02d5 ; --------------------------------------------------------------------------------------
02d5 0000 0003 | | .DBGLEN 0x0000,0x0003
02d7 016b 016e | k n| .DBGLNO 0x016b,0x016e,0x0178
02da ; --------------------------------------------------------------------------------------
02da ; Debug chain
02da ; --------------------------------------------------------------------------------------
02da 0000 0004 | | .DBGLEN 0x0000,0x0004
02dc 0185 0188 | | .DBGLNO 0x0185,0x0188,0x018c,0x0190
02e0 ; --------------------------------------------------------------------------------------
02e0 ; Debug chain
02e0 ; --------------------------------------------------------------------------------------
02e0 0000 0001 | | .DBGLEN 0x0000,0x0001
02e2 019b | | .DBGLNO 0x019b
02e3 ; --------------------------------------------------------------------------------------
02e3 ; Debug chain
02e3 ; --------------------------------------------------------------------------------------
02e3 0000 0001 | | .DBGLEN 0x0000,0x0001
02e5 01fb | | .DBGLNO 0x01fb
02e6 ; --------------------------------------------------------------------------------------
02e6 ; Debug chain
02e6 ; --------------------------------------------------------------------------------------
02e6 0000 0003 | | .DBGLEN 0x0000,0x0003
02e8 020b 020e | | .DBGLNO 0x020b,0x020e,0x0214
02eb ; --------------------------------------------------------------------------------------
02eb ; Debug chain
02eb ; --------------------------------------------------------------------------------------
02eb 0001 0003 | | .DBGLEN 0x0001,0x0003
02ed 021b 0223 | #| .DBGLNO 0x021b,0x0223,0x0227,0x0229
02f1 0000 0000 | | .BLANK 0000[0x10f]