|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 2048 (0x800)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0900ea
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
0000 000f | | .CONST 0x000f ; Version of machine code
0001 5900 |Y | .CONST 0x5900 ; Diana Version, RCG Major Version, RCG minor version
0002 0000 | | .CONST 0x0000 ; Zero
0003 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 For_Outer_Call,Visible,Unelaborated,INIT_0128
000f 029a 0153 | S| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0150
0011 029a 016b | k| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0168
0013 029a 01a3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01a0
0015 029a 01ab | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01a8
0017 029a 01eb | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01e8
0019 029a 01f3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01f0
001b 029a 01fb | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01f8
001d 0093 0000 | | PushFullAddress InMicrocode
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 | | PushFullAddress InMicrocode
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 | | PushFullAddress InMicrocode
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 | | PushFullAddress InMicrocode
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 e004 | | Load 0x0,0x4
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 e005 | | Load 0x0,0x5
006c e228 | ( | Load 0x1,0x28
006d 0098 | | Execute Package,Field_Read_Dynamic
006e 034e | N | Declare_Type Array,Constrained,Bounds_With_Object
006f 029f 0203 | | Declare_Subprogram For_Call,INIT_0200
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 e004 | | Load 0x0,0x4
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,Fixed,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,Fixed,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,Fixed,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 For_Call,INIT_0240
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 a006 | | Reference 0x0,0x6
00db a007 | | Reference 0x0,0x7
00dc a008 | | Reference 0x0,0x8
00dd 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
00de a009 | | Reference 0x0,0x9
00df 1d15 | | Execute_Immediate Reference_Lex_1,0x15
00e0 a00a | | Reference 0x0,0xa
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 | | PushFullAddress InMicrocode
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 e00b | | Load 0x0,0xb
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 e00c | | Load 0x0,0xc
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 For_Outer_Call,INIT_0258
00fe 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
00ff 00c7 | | Action Elaborate_Subprogram
0100 029d 026b | k| Declare_Subprogram For_Outer_Call,INIT_0268
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 e005 | | Load 0x0,0x5
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 e00d | | Load 0x0,0xd
0117 e228 | ( | Load 0x1,0x28
0118 0095 | | Execute Package,Field_Reference_Dynamic
0119 e22a | * | Load 0x1,0x2a
011a a00e | | Reference 0x0,0xe
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_Result,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,Fixed,Indirect,Field_Number 0x5
0171 e00f | | Load 0x0,0xf
0172 e228 | ( | Load 0x1,0x28
0173 0096 | | Execute Package,Field_Execute_Dynamic
0174 BODY_0168:
0174 e5fe | | Load 0x2,-0x2
0175 0092 0293 | | Action Push_String_Extended,0x293 ; "Rule'("
0177 8006 | | Call 0x0,0x6
0178 e5fe | | Load 0x2,-0x2
0179 8007 | | Call 0x0,0x7
017a e5fe | | Load 0x2,-0x2
017b 0092 0294 | | Action Push_String_Extended,0x294 ; "The_Bundle => "
017d 8008 | | Call 0x0,0x8
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 8006 | | Call 0x0,0x6
0188 e5fe | | Load 0x2,-0x2
0189 0092 0295 | | Action Push_String_Extended,0x295 ; "The_rule => "
018b 8008 | | Call 0x0,0x8
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 8010 | | Call 0x0,0x10
0190 8006 | | Call 0x0,0x6
0191 e5fe | | Load 0x2,-0x2
0192 0092 0296 | | Action Push_String_Extended,0x296 ; "The_premiss => "
0194 8008 | | Call 0x0,0x8
0195 e5fe | | Load 0x2,-0x2
0196 00d9 | | Load_Top At_Offset_1
0197 821b | | Call 0x1,0x1b
0198 e5fe | | Load 0x2,-0x2
0199 800a | | Call 0x0,0xa
019a e5fe | | Load 0x2,-0x2
019b 0092 0297 | | Action Push_String_Extended,0x297 ; ")"
019d 8006 | | Call 0x0,0x6
019e 4503 |E | Exit_Subprogram 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_Subprogram 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 e011 | | Load 0x0,0x11
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 e011 | | Load 0x0,0x11
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 For_Call,INIT_0278
01b8 BODY_01a8:
01b8 4800 |H | Short_Literal 0x0
01b9 a230 | 0 | Store_Unchecked 0x1,0x30
01ba e011 | | Load 0x0,0x11
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 e011 | | Load 0x0,0x11
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 e011 | | Load 0x0,0x11
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_Subprogram 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 0x9
0204 7809 |x | Jump 0x20e ; case 0x0
0205 4302 |C | Exit_Subprogram From_Utility,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,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,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,0x4
0224 00db | | Load_Top At_Offset_3
0225 4801 |H | Short_Literal 0x1
0226 e5fe | | Load 0x2,-0x2
0227 e005 | | Load 0x0,0x5
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,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 e005 | | Load 0x0,0x5
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 | Execute Variant_Record,Indirects_Appended
023a 4202 |B | Exit_Subprogram From_Utility,With_Result,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,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,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_Result,0x1
0262 4800 |H | Short_Literal 0x0
0263 4401 |D | Exit_Subprogram With_Result,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_Result,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,Fixed,Indirect,Field_Number 0x5
027f e00f | | Load 0x0,0xf
0280 e228 | ( | Load 0x1,0x28
0281 0096 | | Execute Package,Field_Execute_Dynamic
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_Subprogram 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 0006 | | .DEBUG4 0x0004,0x0006,0x8811,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]