|
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_13388c9
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦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 02b8 | | .CONST 0x02b8 ; 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 0120 | | .CONST 0x0120 ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 0036 | 6 | .CONST 0x0036 ; Number of locals 000b INIT_0008: 000b 0007 | | Action Break_Optional 000c 0007 | | Action Break_Optional 000d 029a 012b | +| Declare_Subprogram INIT_0128,For_Outer_Call,Visible,Unelaborated 000f 029a 0153 | S| Declare_Subprogram INIT_0150,For_Outer_Call,Visible,Unelaborated 0011 029a 016b | k| Declare_Subprogram INIT_0168,For_Outer_Call,Visible,Unelaborated 0013 029a 01a3 | | Declare_Subprogram INIT_01a0,For_Outer_Call,Visible,Unelaborated 0015 029a 01ab | | Declare_Subprogram INIT_01a8,For_Outer_Call,Visible,Unelaborated 0017 029a 01eb | | Declare_Subprogram INIT_01e8,For_Outer_Call,Visible,Unelaborated 0019 029a 01f3 | | Declare_Subprogram INIT_01f0,For_Outer_Call,Visible,Unelaborated 001b 029a 01fb | | Declare_Subprogram INIT_01f8,For_Outer_Call,Visible,Unelaborated 001d 0093 0000 | | push_full_address 0x0 001f 6128 |a( | Indirect_Literal Discrete,0x148,{0x80000000, 0x00010000} 0020 0273 | s | Execute Discrete,Plus 0021 e20d | | Load 0x1,0xd 0022 6121 |a! | Indirect_Literal Discrete,0x144,{0x00000000, 0x0000ffff} 0023 0279 | y | Execute Discrete,And 0024 0273 | s | Execute Discrete,Plus 0025 0129 | ) | Execute Any,Make_Visible 0026 0093 0000 | | push_full_address 0x0 0028 6117 |a | Indirect_Literal Discrete,0x140,{0x80000000, 0x00020000} 0029 0273 | s | Execute Discrete,Plus 002a e20d | | Load 0x1,0xd 002b 6118 |a | Indirect_Literal Discrete,0x144,{0x00000000, 0x0000ffff} 002c 0279 | y | Execute Discrete,And 002d 0273 | s | Execute Discrete,Plus 002e 0129 | ) | Execute Any,Make_Visible 002f 0093 0000 | | push_full_address 0x0 0031 610a |a | Indirect_Literal Discrete,0x13c,{0x80000000, 0x00030000} 0032 0273 | s | Execute Discrete,Plus 0033 e20d | | Load 0x1,0xd 0034 610f |a | Indirect_Literal Discrete,0x144,{0x00000000, 0x0000ffff} 0035 0279 | y | Execute Discrete,And 0036 0273 | s | Execute Discrete,Plus 0037 0129 | ) | Execute Any,Make_Visible 0038 4818 |H | Short_Literal 0x18 0039 4802 |H | Short_Literal 0x2 003a e001 | | Load 0x0,0x1 003b 01d7 | | Execute Vector,Field_Read 003c 02a0 | | Declare_Subprogram Null_Subprogram 003d 038d | | Declare_Type Package,Defined,Visible,Not_Elaborated 003e e001 | | Load 0x0,0x1 003f 4801 |H | Short_Literal 0x1 0040 e001 | | Load 0x0,0x1 0041 01d7 | | Execute Vector,Field_Read 0042 4802 |H | Short_Literal 0x2 0043 00db | | Load_Top At_Offset_3 0044 020e | | Execute Module,Augment_Imports 0045 00bf | | Action Accept_Activation 0046 0093 0000 | | push_full_address 0x0 0048 60ef |` | Indirect_Literal Discrete,0x138,{0x80000000, 0x00020000} 0049 0273 | s | Execute Discrete,Plus 004a e20d | | Load 0x1,0xd 004b 60f8 |` | Indirect_Literal Discrete,0x144,{0x00000000, 0x0000ffff} 004c 0279 | y | Execute Discrete,And 004d 0273 | s | Execute Discrete,Plus 004e e002 | | Load 0x0,0x2 004f 0273 | s | Execute Discrete,Plus 0050 e210 | | Load 0x1,0x10 0051 e216 | | Load 0x1,0x16 0052 e217 | | Load 0x1,0x17 0053 e216 | | Load 0x1,0x16 0054 011e | | Execute Any,Convert 0055 e218 | | Load 0x1,0x18 0056 e003 | | Load 0x0,0x3 0057 0387 | | Declare_Variable Package 0058 00d8 | | Load_Top At_Offset_0 0059 020f | | Execute Module,Activate 005a 4800 |H | Short_Literal 0x0 005b e20f | | Load 0x1,0xf 005c 00e3 | | Load_Encached Natural_Cache 005d 03f8 | | Declare_Type Discrete,Constrained 005e 0007 | | Action Break_Optional 005f 0007 | | Action Break_Optional 0060 0007 | | Action Break_Optional 0061 0007 | | Action Break_Optional 0062 00d8 | | Load_Top At_Offset_0 0063 e211 | | Load 0x1,0x11 0064 00e3 | | Load_Encached Natural_Cache 0065 00e3 | | Load_Encached Natural_Cache 0066 4801 |H | Short_Literal 0x1 0067 60cc |` | Indirect_Literal Discrete,0x134,{0x00000000, 0x7fffffff} 0068 e229 | ) | Load 0x1,0x29 0069 0269 | i | Execute Discrete,Last 006a 026c | l | Execute Discrete,Minimum 006b e004 | | Load 0x0,0x4 006c e228 | ( | Load 0x1,0x28 006d 0098 | | Execute Package,Field_Read_Dynamic 006e 034e | N | QQ_Declare_Type Array,Constrained,Bounds_With_Object 006f 029f 0203 | | Declare_Subprogram INIT_0200,For_Call 0071 4800 |H | Short_Literal 0x0 0072 4801 |H | Short_Literal 0x1 0073 4803 |H | Short_Literal 0x3 0074 4800 |H | Short_Literal 0x0 0075 4801 |H | Short_Literal 0x1 0076 4801 |H | Short_Literal 0x1 0077 031d | | Declare_Type Variant_Record,Defined 0078 4800 |H | Short_Literal 0x0 0079 00d9 | | Load_Top At_Offset_1 007a 1c08 | | Execute_Immediate Run_Utility,0x8 007b e211 | | Load 0x1,0x11 007c 026a | j | Execute Discrete,First 007d 00d9 | | Load_Top At_Offset_1 007e 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2 007f 4800 |H | Short_Literal 0x0 0080 00d9 | | Load_Top At_Offset_1 0081 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3 0082 4800 |H | Short_Literal 0x0 0083 00d9 | | Load_Top At_Offset_1 0084 2804 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4 0085 00d8 | | Load_Top At_Offset_0 0086 2505 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x5 0087 0335 | 5 | Declare_Variable Array,Duplicate 0088 00cd | | Action Spare6_Action 0089 00d9 | | Load_Top At_Offset_1 008a 2505 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x5 008b 01d9 | | Execute Vector,Reverse_Bounds 008c 0263 | c | Execute Discrete,Above_Bound 008d 7005 |p | Jump_Nonzero 0x93 008e 4801 |H | Short_Literal 0x1 008f 00d9 | | Load_Top At_Offset_1 0090 e22c | , | Load 0x1,0x2c 0091 01d6 | | Execute Vector,Field_Write 0092 3ffb |? | Loop_Increasing 0x8e 0093 00d9 | | Load_Top At_Offset_1 0094 00d8 | | Load_Top At_Offset_0 0095 2505 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x5 0096 00da | | Load_Top At_Offset_2 0097 01da | | Execute Vector,Bounds 0098 00da | | Load_Top At_Offset_2 0099 01da | | Execute Vector,Bounds 009a 00da | | Load_Top At_Offset_2 009b 027f | | Execute Discrete,Equal 009c 7001 |p | Jump_Nonzero 0x9e 009d 08e0 | | Execute_Immediate Raise,0xe0 009e 00cd | | Action Spare6_Action 009f 027f | | Execute Discrete,Equal 00a0 7001 |p | Jump_Nonzero 0xa2 00a1 08e0 | | Execute_Immediate Raise,0xe0 00a2 00d2 | | Pop_Control Pop_Count_2 00a3 00d9 | | Load_Top At_Offset_1 00a4 2905 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x5 00a5 4801 |H | Short_Literal 0x1 00a6 e20e | | Load 0x1,0xe 00a7 00e3 | | Load_Encached Natural_Cache 00a8 03f8 | | Declare_Type Discrete,Constrained 00a9 4801 |H | Short_Literal 0x1 00aa 00d9 | | Load_Top At_Offset_1 00ab 0269 | i | Execute Discrete,Last 00ac e22a | * | Load 0x1,0x2a 00ad 029f 0243 | C| Declare_Subprogram INIT_0240,For_Call 00af 4801 |H | Short_Literal 0x1 00b0 035d | ] | Declare_Type Array,Defined 00b1 00d8 | | Load_Top At_Offset_0 00b2 0337 | 7 | Declare_Variable Array 00b3 00d8 | | Load_Top At_Offset_0 00b4 0335 | 5 | Declare_Variable Array,Duplicate 00b5 00cd | | Action Spare6_Action 00b6 00d9 | | Load_Top At_Offset_1 00b7 01d9 | | Execute Vector,Reverse_Bounds 00b8 0263 | c | Execute Discrete,Above_Bound 00b9 7005 |p | Jump_Nonzero 0xbf 00ba e22b | + | Load 0x1,0x2b 00bb 00d9 | | Load_Top At_Offset_1 00bc e22f | / | Load 0x1,0x2f 00bd 01d6 | | Execute Vector,Field_Write 00be 3ffb |? | Loop_Increasing 0xba 00bf 00d9 | | Load_Top At_Offset_1 00c0 01d4 | | Execute Vector,Structure_Write 00c1 00e3 | | Load_Encached Natural_Cache 00c2 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 00c3 00e3 | | Load_Encached Natural_Cache 00c4 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 00c5 00e7 | | Load_Encached Duration_Cache 00c6 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 00c7 00e3 | | Load_Encached Natural_Cache 00c8 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 00c9 4800 |H | Short_Literal 0x0 00ca 4804 |H | Short_Literal 0x4 00cb e001 | | Load 0x0,0x1 00cc 01d7 | | Execute Vector,Field_Read 00cd 02a0 | | Declare_Subprogram Null_Subprogram 00ce 038e | | Declare_Type Package,Defined 00cf e001 | | Load 0x0,0x1 00d0 4803 |H | Short_Literal 0x3 00d1 e001 | | Load 0x0,0x1 00d2 01d7 | | Execute Vector,Field_Read 00d3 e213 | | Load 0x1,0x13 00d4 e229 | ) | Load 0x1,0x29 00d5 e214 | | Load 0x1,0x14 00d6 4805 |H | Short_Literal 0x5 00d7 e233 | 3 | Load 0x1,0x33 00d8 020e | | Execute Module,Augment_Imports 00d9 0387 | | Declare_Variable Package 00da a005 | | Store_Unchecked 0x0,0x5 00db a006 | | Store_Unchecked 0x0,0x6 00dc a007 | | Store_Unchecked 0x0,0x7 00dd 1d1e | | Execute_Immediate Reference_Lex_1,0x1e 00de a008 | | Store_Unchecked 0x0,0x8 00df 1d15 | | Execute_Immediate Reference_Lex_1,0x15 00e0 a009 | | Store_Unchecked 0x0,0x9 00e1 4807 |H | Short_Literal 0x7 00e2 e233 | 3 | Load 0x1,0x33 00e3 020e | | Execute Module,Augment_Imports 00e4 00d8 | | Load_Top At_Offset_0 00e5 020f | | Execute Module,Activate 00e6 0093 0000 | | push_full_address 0x0 00e8 6047 |`G | Indirect_Literal Discrete,0x130,{0x80000000, 0x00010000} 00e9 0273 | s | Execute Discrete,Plus 00ea e20d | | Load 0x1,0xd 00eb 6058 |`X | Indirect_Literal Discrete,0x144,{0x00000000, 0x0000ffff} 00ec 0279 | y | Execute Discrete,And 00ed 0273 | s | Execute Discrete,Plus 00ee e00a | | Load 0x0,0xa 00ef 0273 | s | Execute Discrete,Plus 00f0 00d9 | | Load_Top At_Offset_1 00f1 1b0d | | Execute Package,Field_Read,Field_Number 0xd 00f2 00da | | Load_Top At_Offset_2 00f3 190f | | Execute Package,Field_Reference,Field_Number 0xf 00f4 00db | | Load_Top At_Offset_3 00f5 1910 | | Execute Package,Field_Reference,Field_Number 0x10 00f6 e00b | | Load 0x0,0xb 00f7 0387 | | Declare_Variable Package 00f8 00d8 | | Load_Top At_Offset_0 00f9 020f | | Execute Module,Activate 00fa 1d1c | | Execute_Immediate Reference_Lex_1,0x1c 00fb 00c7 | | Action Elaborate_Subprogram 00fc 029d 025b | [| Declare_Subprogram INIT_0258,For_Outer_Call 00fe 1d1d | | Execute_Immediate Reference_Lex_1,0x1d 00ff 00c7 | | Action Elaborate_Subprogram 0100 029d 026b | k| Declare_Subprogram INIT_0268,For_Outer_Call 0102 1d1f | | Execute_Immediate Reference_Lex_1,0x1f 0103 00c7 | | Action Elaborate_Subprogram 0104 1d20 | | Execute_Immediate Reference_Lex_1,0x20 0105 00c7 | | Action Elaborate_Subprogram 0106 1d21 | ! | Execute_Immediate Reference_Lex_1,0x21 0107 00c7 | | Action Elaborate_Subprogram 0108 1d22 | " | Execute_Immediate Reference_Lex_1,0x22 0109 00c7 | | Action Elaborate_Subprogram 010a 1d23 | # | Execute_Immediate Reference_Lex_1,0x23 010b 00c7 | | Action Elaborate_Subprogram 010c 1d1e | | Execute_Immediate Reference_Lex_1,0x1e 010d 00c7 | | Action Elaborate_Subprogram 010e e22e | . | Load 0x1,0x2e 010f e224 | $ | Load 0x1,0x24 0110 e004 | | Load 0x0,0x4 0111 e228 | ( | Load 0x1,0x28 0112 0098 | | Execute Package,Field_Read_Dynamic 0113 1d2f | / | Execute_Immediate Reference_Lex_1,0x2f 0114 e20e | | Load 0x1,0xe 0115 e226 | & | Load 0x1,0x26 0116 e00c | | Load 0x0,0xc 0117 e228 | ( | Load 0x1,0x28 0118 0095 | | Execute Package,Field_Reference_Dynamic 0119 e22a | * | Load 0x1,0x2a 011a a00d | | Store_Unchecked 0x0,0xd 011b 4809 |H | Short_Literal 0x9 011c e227 | ' | Load 0x1,0x27 011d 020e | | Execute Module,Augment_Imports 011e e227 | ' | Load 0x1,0x27 011f 020d | | Execute Module,Elaborate 0120 BODY_0008: 0120 00bc | | Action Signal_Activated 0121 00bb | | Action Signal_Completion 0122 0000 0000 | | .BLANK 0000[0x6] 0128 ; -------------------------------------------------------------------------------------- 0128 ; SUBPROGRAM 0128 ; -------------------------------------------------------------------------------------- 0128 012b | + | .CONST 0x012b ; Address of begin 0129 0004 | | .CONST 0x0004 ; Address of exception handler 012a 0001 | | .CONST 0x0001 ; Number of locals 012b BODY_0128: 012b INIT_0128: 012b e22f | / | Load 0x1,0x2f 012c 00ca | | Action Exit_Nullary_Function 012d 0000 0000 | | .XXX[0x3] 012f 0000 | | 0130 8000 0000 | | .LITERAL {0x80000000, 0x00010000} 0134 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff} 0138 8000 0000 | | .LITERAL {0x80000000, 0x00020000} 013c 8000 0000 | | .LITERAL {0x80000000, 0x00030000} 0140 8000 0000 | | .LITERAL {0x80000000, 0x00020000} 0144 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff} 0148 8000 0000 | | .LITERAL {0x80000000, 0x00010000} 014c 0000 0000 | | .BLANK 0000[0x4] 0150 ; -------------------------------------------------------------------------------------- 0150 ; SUBPROGRAM 0150 ; -------------------------------------------------------------------------------------- 0150 0153 | S | .CONST 0x0153 ; Address of begin 0151 0004 | | .CONST 0x0004 ; Address of exception handler 0152 0001 | | .CONST 0x0001 ; Number of locals 0153 BODY_0150: 0153 INIT_0150: 0153 00da | | Load_Top At_Offset_2 0154 8235 | 5 | Call 0x1,0x35 0155 680a |h | Jump_Zero 0x160 0156 00da | | Load_Top At_Offset_2 0157 e22e | . | Load 0x1,0x2e 0158 01d5 | | Execute Vector,Field_Reference 0159 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 015a 00d8 | | Load_Top At_Offset_0 015b e211 | | Load 0x1,0x11 015c 0260 | ` | Execute Discrete,In_Type 015d 7001 |p | Jump_Nonzero 0x15f 015e 0801 | | Execute_Immediate Raise,0x1 015f 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0160 e225 | % | Load 0x1,0x25 0161 0257 | W | Execute Discrete,Raise 0162 0000 0000 | | .BLANK 0000[0x6] 0168 ; -------------------------------------------------------------------------------------- 0168 ; SUBPROGRAM 0168 ; -------------------------------------------------------------------------------------- 0168 0174 | t | .CONST 0x0174 ; Address of begin 0169 0004 | | .CONST 0x0004 ; Address of exception handler 016a 0003 | | .CONST 0x0003 ; Number of locals 016b INIT_0168: 016b 00da | | Load_Top At_Offset_2 016c e22e | . | Load 0x1,0x2e 016d 01d5 | | Execute Vector,Field_Reference 016e 0007 | | Action Break_Optional 016f 00d8 | | Load_Top At_Offset_0 0170 2505 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x5 0171 e00e | | Load 0x0,0xe 0172 e228 | ( | Load 0x1,0x28 0173 0096 | | Execute Package,Entry 0174 BODY_0168: 0174 e5fe | | Load 0x2,-0x2 0175 0092 0293 | | Action Push_String_Extended,0x293 ; "Rule'(" 0177 8005 | | Call 0x0,0x5 0178 e5fe | | Load 0x2,-0x2 0179 8006 | | Call 0x0,0x6 017a e5fe | | Load 0x2,-0x2 017b 0092 0294 | | Action Push_String_Extended,0x294 ; "The_Bundle => " 017d 8007 | | Call 0x0,0x7 017e e5fe | | Load 0x2,-0x2 017f 00da | | Load_Top At_Offset_2 0180 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2 0181 e211 | | Load 0x1,0x11 0182 1c04 | | Execute_Immediate Run_Utility,0x4 0183 e211 | | Load 0x1,0x11 0184 0122 | " | Execute Any,Make_Root_Type 0185 011c | | Execute Any,Convert_Unchecked 0186 1c01 | | Execute_Immediate Run_Utility,0x1 0187 8005 | | Call 0x0,0x5 0188 e5fe | | Load 0x2,-0x2 0189 0092 0295 | | Action Push_String_Extended,0x295 ; "The_rule => " 018b 8007 | | Call 0x0,0x7 018c e5fe | | Load 0x2,-0x2 018d 00da | | Load_Top At_Offset_2 018e 2c04 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4 018f 800f | | Call 0x0,0xf 0190 8005 | | Call 0x0,0x5 0191 e5fe | | Load 0x2,-0x2 0192 0092 0296 | | Action Push_String_Extended,0x296 ; "The_premiss => " 0194 8007 | | Call 0x0,0x7 0195 e5fe | | Load 0x2,-0x2 0196 00d9 | | Load_Top At_Offset_1 0197 821b | | Call 0x1,0x1b 0198 e5fe | | Load 0x2,-0x2 0199 8009 | | Call 0x0,0x9 019a e5fe | | Load 0x2,-0x2 019b 0092 0297 | | Action Push_String_Extended,0x297 ; ")" 019d 8005 | | Call 0x0,0x5 019e 4503 |E | Exit_Suprogram New_Top_Offset 0x3 019f 0000 | | .XXX[0x1] 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 0008 | | Action Idle 01a4 4502 |E | Exit_Suprogram New_Top_Offset 0x2 01a5 0000 0000 | | .XXX[0x3] 01a7 0000 | | 01a8 ; -------------------------------------------------------------------------------------- 01a8 ; SUBPROGRAM 01a8 ; -------------------------------------------------------------------------------------- 01a8 01b8 | | .CONST 0x01b8 ; Address of begin 01a9 0004 | | .CONST 0x0004 ; Address of exception handler 01aa 0005 | | .CONST 0x0005 ; Number of locals 01ab INIT_01a8: 01ab 00e1 | | Load_Encached Boolean_Cache 01ac e010 | | Load 0x0,0x10 01ad 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01ae 02c7 | | Declare_Variable Any 01af 00d8 | | Load_Top At_Offset_0 01b0 1c00 | | Execute_Immediate Run_Utility,0x0 01b1 e010 | | Load 0x0,0x10 01b2 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01b3 02c7 | | Declare_Variable Any 01b4 00d8 | | Load_Top At_Offset_0 01b5 1c00 | | Execute_Immediate Run_Utility,0x0 01b6 029f 027b | {| Declare_Subprogram INIT_0278,For_Call 01b8 BODY_01a8: 01b8 4800 |H | Short_Literal 0x0 01b9 a230 | 0 | Store_Unchecked 0x1,0x30 01ba e010 | | Load 0x0,0x10 01bb 1812 | | Execute Package,Field_Execute,Field_Number 0x12 01bc c403 | | Store 0x2,0x3 01bd 00cf | | Action Mark_Auxiliary 01be 0007 | | Action Break_Optional 01bf 4800 |H | Short_Literal 0x0 01c0 a402 | | Store_Unchecked 0x2,0x2 01c1 00cf | | Action Mark_Auxiliary 01c2 e22f | / | Load 0x1,0x2f 01c3 4801 |H | Short_Literal 0x1 01c4 0263 | c | Execute Discrete,Above_Bound 01c5 7003 |p | Jump_Nonzero 0x1c9 01c6 8405 | | Call 0x2,0x5 01c7 00c8 | | Action Pop_Auxiliary_Range 01c8 3ffd |? | Loop_Increasing 0x1c6 01c9 00ce | | Action Pop_Auxiliary 01ca e402 | | Load 0x2,0x2 01cb 6802 |h | Jump_Zero 0x1ce 01cc 00c9 | | Action Pop_Auxiliary_Loop 01cd 7ff1 | | Jump 0x1bf 01ce 00ce | | Action Pop_Auxiliary 01cf e010 | | Load 0x0,0x10 01d0 1812 | | Execute Package,Field_Execute,Field_Number 0x12 01d1 c404 | | Store 0x2,0x4 01d2 00da | | Load_Top At_Offset_2 01d3 00da | | Load_Top At_Offset_2 01d4 e010 | | Load 0x0,0x10 01d5 181c | | Execute Package,Field_Execute,Field_Number 0x1c 01d6 a231 | 1 | Store_Unchecked 0x1,0x31 01d7 8221 | ! | Call 0x1,0x21 01d8 0237 | 7 | Execute Float,Convert_From_Discrete 01d9 8222 | " | Call 0x1,0x22 01da 0237 | 7 | Execute Float,Convert_From_Discrete 01db 5808 |X | Indirect_Literal Float,0x1e4,3.0517578125e-05 01dc 023b | ; | Execute Float,Times 01dd 023a | : | Execute Float,Divide 01de 0235 | 5 | Execute Float,Round_To_Discrete 01df 00e3 | | Load_Encached Natural_Cache 01e0 025e | ^ | Execute Discrete,Convert 01e1 a232 | 2 | Store_Unchecked 0x1,0x32 01e2 4503 |E | Exit_Suprogram New_Top_Offset 0x3 01e3 0000 | | .XXX[0x1] 01e4 3f00 0000 |? | .DBL 3.0517578125e-05 01e6 0000 0000 | | 01e8 ; -------------------------------------------------------------------------------------- 01e8 ; SUBPROGRAM 01e8 ; -------------------------------------------------------------------------------------- 01e8 01eb | | .CONST 0x01eb ; Address of begin 01e9 0004 | | .CONST 0x0004 ; Address of exception handler 01ea 0001 | | .CONST 0x0001 ; Number of locals 01eb BODY_01e8: 01eb INIT_01e8: 01eb e230 | 0 | Load 0x1,0x30 01ec 00ca | | Action Exit_Nullary_Function 01ed 0000 0000 | | .XXX[0x3] 01ef 0000 | | 01f0 ; -------------------------------------------------------------------------------------- 01f0 ; SUBPROGRAM 01f0 ; -------------------------------------------------------------------------------------- 01f0 01f3 | | .CONST 0x01f3 ; Address of begin 01f1 0004 | | .CONST 0x0004 ; Address of exception handler 01f2 0001 | | .CONST 0x0001 ; Number of locals 01f3 BODY_01f0: 01f3 INIT_01f0: 01f3 e231 | 1 | Load 0x1,0x31 01f4 00ca | | Action Exit_Nullary_Function 01f5 0000 0000 | | .XXX[0x3] 01f7 0000 | | 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 e232 | 2 | Load 0x1,0x32 01fc 00ca | | Action Exit_Nullary_Function 01fd 0000 0000 | | .XXX[0x3] 01ff 0000 | | 0200 ; -------------------------------------------------------------------------------------- 0200 ; SUBPROGRAM 0200 ; -------------------------------------------------------------------------------------- 0200 0203 | | .CONST 0x0203 ; Address of begin 0201 0004 | | .CONST 0x0004 ; Address of exception handler 0202 0001 | | .CONST 0x0001 ; Number of locals 0203 BODY_0200: 0203 INIT_0200: 0203 4609 |F | Jump_Case 0xa 0204 7809 |x | Jump 0x20e ; case 0x0 0205 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1 0206 7813 |x | Jump 0x21a ; case 0x2 0207 7816 |x | Jump 0x21e ; case 0x3 0208 7836 |x6 | Jump 0x23f ; case 0x4 0209 7835 |x5 | Jump 0x23f ; case 0x5 020a 7834 |x4 | Jump 0x23f ; case 0x6 020b 7818 |x | Jump 0x224 ; case 0x7 020c 7822 |x" | Jump 0x22f ; case 0x8 020d 782d |x- | Jump 0x23b ; case 0x9 020e 00da | | Load_Top At_Offset_2 020f 016c | l | Execute Variant_Record,Is_Constrained 0210 7008 |p | Jump_Nonzero 0x219 0211 00cf | | Action Mark_Auxiliary 0212 4800 |H | Short_Literal 0x0 0213 e5ff | | Load 0x2,-0x1 0214 1c08 | | Execute_Immediate Run_Utility,0x8 0215 00d8 | | Load_Top At_Offset_0 0216 1c00 | | Execute_Immediate Run_Utility,0x0 0217 c5ff | | Store 0x2,-0x1 0218 00ce | | Action Pop_Auxiliary 0219 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 021a 4801 |H | Short_Literal 0x1 021b 4805 |H | Short_Literal 0x5 021c 0311 | | Declare_Type Variant_Record,Constrained_Incomplete 021d 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 021e e5fd | | Load 0x2,-0x3 021f 00db | | Load_Top At_Offset_3 0220 1c07 | | Execute_Immediate Run_Utility,0x7 0221 e5fe | | Load 0x2,-0x2 0222 0306 | | Complete_Type Variant_Record,By_Renaming 0223 4304 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x4 0224 00db | | Load_Top At_Offset_3 0225 4801 |H | Short_Literal 0x1 0226 e5fe | | Load 0x2,-0x2 0227 e004 | | Load 0x0,0x4 0228 e228 | ( | Load 0x1,0x28 0229 0098 | | Execute Package,Field_Read_Dynamic 022a 035b | [ | Declare_Type Array,Constrained 022b 4801 |H | Short_Literal 0x1 022c e5ff | | Load 0x2,-0x1 022d 031b | | Declare_Type Variant_Record,Constrained 022e 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 022f 00db | | Load_Top At_Offset_3 0230 00db | | Load_Top At_Offset_3 0231 02fc | | Declare_Variable Variant_Record,With_Constraint 0232 4801 |H | Short_Literal 0x1 0233 e5fe | | Load 0x2,-0x2 0234 e004 | | Load 0x0,0x4 0235 e228 | ( | Load 0x1,0x28 0236 0098 | | Execute Package,Field_Read_Dynamic 0237 0334 | 4 | Declare_Variable Array,With_Constraint 0238 2d05 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x5 0239 016a | j | QQ_execute Variant_Record,XXX 023a 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 023b 4800 |H | Short_Literal 0x0 023c 00db | | Load_Top At_Offset_3 023d 1c07 | | Execute_Immediate Run_Utility,0x7 023e 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 023f 0869 | i | Execute_Immediate Raise,0x69 0240 ; -------------------------------------------------------------------------------------- 0240 ; SUBPROGRAM 0240 ; -------------------------------------------------------------------------------------- 0240 0243 | C | .CONST 0x0243 ; Address of begin 0241 0004 | | .CONST 0x0004 ; Address of exception handler 0242 0001 | | .CONST 0x0001 ; Number of locals 0243 BODY_0240: 0243 INIT_0240: 0243 00d1 | | Pop_Control Pop_Count_1 0244 00da | | Load_Top At_Offset_2 0245 01d8 | | Execute Vector,Element_Type 0246 02ff | | Declare_Variable Variant_Record 0247 00d8 | | Load_Top At_Offset_0 0248 1c00 | | Execute_Immediate Run_Utility,0x0 0249 00db | | Load_Top At_Offset_3 024a 01dc | | Execute Vector,Last 024b e5ff | | Load 0x2,-0x1 024c 01dd | | Execute Vector,First 024d 0263 | c | Execute Discrete,Above_Bound 024e 7006 |p | Jump_Nonzero 0x255 024f 00da | | Load_Top At_Offset_2 0250 00d9 | | Load_Top At_Offset_1 0251 e5ff | | Load 0x2,-0x1 0252 01d6 | | Execute Vector,Field_Write 0253 0a01 | | Execute_Immediate Plus,0x1 0254 7ff8 | | Jump 0x24d 0255 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 0256 0000 0000 | | .XXX[0x2] 0258 ; -------------------------------------------------------------------------------------- 0258 ; SUBPROGRAM 0258 ; -------------------------------------------------------------------------------------- 0258 025b | [ | .CONST 0x025b ; Address of begin 0259 0004 | | .CONST 0x0004 ; Address of exception handler 025a 0001 | | .CONST 0x0001 ; Number of locals 025b BODY_0258: 025b INIT_0258: 025b 00da | | Load_Top At_Offset_2 025c 0c01 | | Execute_Immediate Greater_Equal,0x1 025d 6804 |h | Jump_Zero 0x262 025e 00da | | Load_Top At_Offset_2 025f e20e | | Load 0x1,0xe 0260 027a | z | Execute Discrete,Less_Equal 0261 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0262 4800 |H | Short_Literal 0x0 0263 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0264 0000 0000 | | .BLANK 0000[0x4] 0268 ; -------------------------------------------------------------------------------------- 0268 ; SUBPROGRAM 0268 ; -------------------------------------------------------------------------------------- 0268 026b | k | .CONST 0x026b ; Address of begin 0269 0004 | | .CONST 0x0004 ; Address of exception handler 026a 0001 | | .CONST 0x0001 ; Number of locals 026b BODY_0268: 026b INIT_0268: 026b 00da | | Load_Top At_Offset_2 026c 8235 | 5 | Call 0x1,0x35 026d 6806 |h | Jump_Zero 0x274 026e 00da | | Load_Top At_Offset_2 026f e22e | . | Load 0x1,0x2e 0270 01d5 | | Execute Vector,Field_Reference 0271 02fd | | Declare_Variable Variant_Record,Duplicate 0272 00cd | | Action Spare6_Action 0273 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0274 e225 | % | Load 0x1,0x25 0275 0257 | W | Execute Discrete,Raise 0276 0000 0000 | | .XXX[0x2] 0278 ; -------------------------------------------------------------------------------------- 0278 ; SUBPROGRAM 0278 ; -------------------------------------------------------------------------------------- 0278 0283 | | .CONST 0x0283 ; Address of begin 0279 0004 | | .CONST 0x0004 ; Address of exception handler 027a 0002 | | .CONST 0x0002 ; Number of locals 027b INIT_0278: 027b e409 | | Load 0x2,0x9 027c e22e | . | Load 0x1,0x2e 027d 01d5 | | Execute Vector,Field_Reference 027e 2505 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x5 027f e00e | | Load 0x0,0xe 0280 e228 | ( | Load 0x1,0x28 0281 0096 | | Execute Package,Entry 0282 821a | | Call 0x1,0x1a 0283 BODY_0278: 0283 00d8 | | Load_Top At_Offset_0 0284 e214 | | Load 0x1,0x14 0285 01de | | Execute Vector,Not_Equal 0286 680b |h | Jump_Zero 0x292 0287 00d8 | | Load_Top At_Offset_0 0288 e409 | | Load 0x2,0x9 0289 85fe | | Call 0x2,-0x2 028a 4801 |H | Short_Literal 0x1 028b a402 | | Store_Unchecked 0x2,0x2 028c e230 | 0 | Load 0x1,0x30 028d 0a01 | | Execute_Immediate Plus,0x1 028e c230 | 0 | Store 0x1,0x30 028f 00cc | | Action Pop_Block 0290 00d2 | | Pop_Control Pop_Count_2 0291 7f37 | 7 | Jump 0x1c9 0292 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0293 ; -------------------------------------------------------------------------------------- 0293 ; STRING TABLE 0293 ; -------------------------------------------------------------------------------------- 0293 000c | | .STRTAB 0x000c->0x0299 ; "Rule'(" 0294 0010 | | .STRTAB 0x0010->0x029c ; "The_Bundle => " 0295 001d | | .STRTAB 0x001d->0x02a3 ; "The_rule => " 0296 002a | * | .STRTAB 0x002a->0x02ab ; "The_premiss => " 0297 0037 | 7 | .STRTAB 0x0037->0x02b2 ; ")" 0298 0036 | 6 | .STREND 0x0036->0x02b3 0299 5275 6c65 |Rule| .STRTAB_STRINGS 02b3 0000 0000 | | .BLANK 0000[0x5] 02b8 ; -------------------------------------------------------------------------------------- 02b8 ; Debug Table 02b8 ; -------------------------------------------------------------------------------------- 02b8 0004 0004 | | .DEBUG4 0x0004,0x0004,0x960c,0x0000,0x0001,0x000f 02be 000b 02fa | | .DBG4T 0x000b,0x02fa,0xc000,0x0000 02c2 0046 030a | F | .DBG4T 0x0046,0x030a,0xc000,0x0000 02c6 012b 0329 | + )| .DBG4T 0x012b,0x0329,0x1002,0x0000 02ca 0153 032c | S ,| .DBG4T 0x0153,0x032c,0x1002,0x0000 02ce 016b 0331 | k 1| .DBG4T 0x016b,0x0331,0x1001,0x0000 02d2 01a3 033f | ?| .DBG4T 0x01a3,0x033f,0x1001,0x0000 02d6 01ab 0342 | B| .DBG4T 0x01ab,0x0342,0x3801,0x0002 02da 01eb 0350 | P| .DBG4T 0x01eb,0x0350,0x1002,0x0000 02de 01f3 0353 | S| .DBG4T 0x01f3,0x0353,0x1002,0x0000 02e2 01fb 0356 | V| .DBG4T 0x01fb,0x0356,0x1002,0x0000 02e6 0203 0000 | | .DBG4T 0x0203,0x0000,0x1005,0x0000 02ea 0243 0000 | C | .DBG4T 0x0243,0x0000,0x1005,0x0000 02ee 025b 0359 | [ Y| .DBG4T 0x025b,0x0359,0x1002,0x0000 02f2 026b 035c | k \| .DBG4T 0x026b,0x035c,0x1002,0x0000 02f6 027b 0361 | { a| .DBG4T 0x027b,0x0361,0x1804,0x0002 02fa ; -------------------------------------------------------------------------------------- 02fa ; Debug chain 02fa ; -------------------------------------------------------------------------------------- 02fa 000e 0000 | | .DBGLEN 0x000e,0x0000 02fc 000b 000c | | .DBGLNO 0x000b,0x000c,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x0026,0x002f,0x0038 030a ; -------------------------------------------------------------------------------------- 030a ; Debug chain 030a ; -------------------------------------------------------------------------------------- 030a 001d 0000 | | .DBGLEN 0x001d,0x0000 030c 0046 005a | F Z| .DBGLNO 0x0046,0x005a,0x005e,0x005f,0x0060,0x0061,0x0062,0x0078,0x00a5,0x00a9,0x00b1,0x00c1,0x00c3,0x00c5,0x00c7,0x00c9,0x00da,0x00e6,0x00fa,0x00fc,0x00fe,0x0100,0x0102,0x0104,0x0106,0x0108,0x010a,0x010c,0x010e 0329 ; -------------------------------------------------------------------------------------- 0329 ; Debug chain 0329 ; -------------------------------------------------------------------------------------- 0329 0000 0001 | | .DBGLEN 0x0000,0x0001 032b 012b | + | .DBGLNO 0x012b 032c ; -------------------------------------------------------------------------------------- 032c ; Debug chain 032c ; -------------------------------------------------------------------------------------- 032c 0000 0003 | | .DBGLEN 0x0000,0x0003 032e 0153 0156 | S V| .DBGLNO 0x0153,0x0156,0x0160 0331 ; -------------------------------------------------------------------------------------- 0331 ; Debug chain 0331 ; -------------------------------------------------------------------------------------- 0331 0002 000a | | .DBGLEN 0x0002,0x000a 0333 016b 016f | k o| .DBGLNO 0x016b,0x016f,0x0174,0x0178,0x017a,0x017e,0x0188,0x018c,0x0191,0x0195,0x0198,0x019a 033f ; -------------------------------------------------------------------------------------- 033f ; Debug chain 033f ; -------------------------------------------------------------------------------------- 033f 0000 0001 | | .DBGLEN 0x0000,0x0001 0341 01a3 | | .DBGLNO 0x01a3 0342 ; -------------------------------------------------------------------------------------- 0342 ; Debug chain 0342 ; -------------------------------------------------------------------------------------- 0342 0002 000a | | .DBGLEN 0x0002,0x000a 0344 01ab 01ac | | .DBGLNO 0x01ab,0x01ac,0x01b8,0x01ba,0x01be,0x01bf,0x01c2,0x01c6,0x01ca,0x01cf,0x01d2,0x01d7 0350 ; -------------------------------------------------------------------------------------- 0350 ; Debug chain 0350 ; -------------------------------------------------------------------------------------- 0350 0000 0001 | | .DBGLEN 0x0000,0x0001 0352 01eb | | .DBGLNO 0x01eb 0353 ; -------------------------------------------------------------------------------------- 0353 ; Debug chain 0353 ; -------------------------------------------------------------------------------------- 0353 0000 0001 | | .DBGLEN 0x0000,0x0001 0355 01f3 | | .DBGLNO 0x01f3 0356 ; -------------------------------------------------------------------------------------- 0356 ; Debug chain 0356 ; -------------------------------------------------------------------------------------- 0356 0000 0001 | | .DBGLEN 0x0000,0x0001 0358 01fb | | .DBGLNO 0x01fb 0359 ; -------------------------------------------------------------------------------------- 0359 ; Debug chain 0359 ; -------------------------------------------------------------------------------------- 0359 0000 0001 | | .DBGLEN 0x0000,0x0001 035b 025b | [ | .DBGLNO 0x025b 035c ; -------------------------------------------------------------------------------------- 035c ; Debug chain 035c ; -------------------------------------------------------------------------------------- 035c 0000 0003 | | .DBGLEN 0x0000,0x0003 035e 026b 026e | k n| .DBGLNO 0x026b,0x026e,0x0274 0361 ; -------------------------------------------------------------------------------------- 0361 ; Debug chain 0361 ; -------------------------------------------------------------------------------------- 0361 0001 0005 | | .DBGLEN 0x0001,0x0005 0363 027b 0283 | { | .DBGLNO 0x027b,0x0283,0x0287,0x028a,0x028c,0x028f 0369 0000 0000 | | .BLANK 0000[0x97]