|
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_7694d6
└─⟦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 02b0 | | .CONST 0x02b0 ; 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 011a | | .CONST 0x011a ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0036 | 6 | .CONST 0x0036 ; Number of locals
000b INIT_0008:
000b 029a 0123 | #| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0120
000d 029a 014b | K| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0148
000f 029a 0163 | c| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0160
0011 029a 019b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0198
0013 029a 01a3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01a0
0015 029a 01e3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01e0
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 0093 0000 | | PushFullAddress InMicrocode
001d 6122 |a" | Indirect_Literal Discrete,0x140,{0x80000000, 0x00010000}
001e 0273 | s | Execute Discrete,Plus
001f e20d | | Load 0x1,0xd
0020 611b |a | Indirect_Literal Discrete,0x13c,{0x00000000, 0x0000ffff}
0021 0279 | y | Execute Discrete,And
0022 0273 | s | Execute Discrete,Plus
0023 0129 | ) | Execute Any,Make_Visible
0024 0093 0000 | | PushFullAddress InMicrocode
0026 6111 |a | Indirect_Literal Discrete,0x138,{0x80000000, 0x00020000}
0027 0273 | s | Execute Discrete,Plus
0028 e20d | | Load 0x1,0xd
0029 6112 |a | Indirect_Literal Discrete,0x13c,{0x00000000, 0x0000ffff}
002a 0279 | y | Execute Discrete,And
002b 0273 | s | Execute Discrete,Plus
002c 0129 | ) | Execute Any,Make_Visible
002d 0093 0000 | | PushFullAddress InMicrocode
002f 6104 |a | Indirect_Literal Discrete,0x134,{0x80000000, 0x00030000}
0030 0273 | s | Execute Discrete,Plus
0031 e20d | | Load 0x1,0xd
0032 6109 |a | Indirect_Literal Discrete,0x13c,{0x00000000, 0x0000ffff}
0033 0279 | y | Execute Discrete,And
0034 0273 | s | Execute Discrete,Plus
0035 0129 | ) | Execute Any,Make_Visible
0036 4818 |H | Short_Literal 0x18
0037 4802 |H | Short_Literal 0x2
0038 e001 | | Load 0x0,0x1
0039 01d7 | | Execute Vector,Field_Read
003a 02a0 | | Declare_Subprogram Null_Subprogram
003b 038d | | Declare_Type Package,Defined,Visible,Not_Elaborated
003c e001 | | Load 0x0,0x1
003d 4801 |H | Short_Literal 0x1
003e e001 | | Load 0x0,0x1
003f 01d7 | | Execute Vector,Field_Read
0040 4802 |H | Short_Literal 0x2
0041 00db | | Load_Top At_Offset_3
0042 020e | | Execute Module,Augment_Imports
0043 00bf | | Action Accept_Activation
0044 0093 0000 | | PushFullAddress InMicrocode
0046 60e9 |` | Indirect_Literal Discrete,0x130,{0x80000000, 0x00020000}
0047 0273 | s | Execute Discrete,Plus
0048 e20d | | Load 0x1,0xd
0049 60f2 |` | Indirect_Literal Discrete,0x13c,{0x00000000, 0x0000ffff}
004a 0279 | y | Execute Discrete,And
004b 0273 | s | Execute Discrete,Plus
004c e002 | | Load 0x0,0x2
004d 0273 | s | Execute Discrete,Plus
004e e210 | | Load 0x1,0x10
004f e216 | | Load 0x1,0x16
0050 e217 | | Load 0x1,0x17
0051 e216 | | Load 0x1,0x16
0052 011e | | Execute Any,Convert
0053 e218 | | Load 0x1,0x18
0054 e003 | | Load 0x0,0x3
0055 0387 | | Declare_Variable Package
0056 00d8 | | Load_Top At_Offset_0
0057 020f | | Execute Module,Activate
0058 4800 |H | Short_Literal 0x0
0059 e20f | | Load 0x1,0xf
005a 00e3 | | Load_Encached Natural_Cache
005b 03f8 | | Declare_Type Discrete,Constrained
005c 00d8 | | Load_Top At_Offset_0
005d e211 | | Load 0x1,0x11
005e 00e3 | | Load_Encached Natural_Cache
005f 00e3 | | Load_Encached Natural_Cache
0060 4801 |H | Short_Literal 0x1
0061 60ca |` | Indirect_Literal Discrete,0x12c,{0x00000000, 0x7fffffff}
0062 e229 | ) | Load 0x1,0x29
0063 0269 | i | Execute Discrete,Last
0064 026c | l | Execute Discrete,Minimum
0065 e004 | | Load 0x0,0x4
0066 e228 | ( | Load 0x1,0x28
0067 0098 | | Execute Package,Field_Read_Dynamic
0068 034e | N | Declare_Type Array,Constrained,Bounds_With_Object
0069 029f 01fb | | Declare_Subprogram For_Call,INIT_01f8
006b 4800 |H | Short_Literal 0x0
006c 4801 |H | Short_Literal 0x1
006d 4803 |H | Short_Literal 0x3
006e 4800 |H | Short_Literal 0x0
006f 4801 |H | Short_Literal 0x1
0070 4801 |H | Short_Literal 0x1
0071 031d | | Declare_Type Variant_Record,Defined
0072 4800 |H | Short_Literal 0x0
0073 00d9 | | Load_Top At_Offset_1
0074 1c08 | | Execute_Immediate Run_Utility,0x8
0075 e211 | | Load 0x1,0x11
0076 026a | j | Execute Discrete,First
0077 00d9 | | Load_Top At_Offset_1
0078 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0079 4800 |H | Short_Literal 0x0
007a 00d9 | | Load_Top At_Offset_1
007b 2803 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
007c 4800 |H | Short_Literal 0x0
007d 00d9 | | Load_Top At_Offset_1
007e 2804 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
007f 00d8 | | Load_Top At_Offset_0
0080 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0081 0335 | 5 | Declare_Variable Array,Duplicate
0082 00cd | | Action Spare6_Action
0083 00d9 | | Load_Top At_Offset_1
0084 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0085 01d9 | | Execute Vector,Reverse_Bounds
0086 0263 | c | Execute Discrete,Above_Bound
0087 7005 |p | Jump_Nonzero 0x8d
0088 4801 |H | Short_Literal 0x1
0089 00d9 | | Load_Top At_Offset_1
008a e22c | , | Load 0x1,0x2c
008b 01d6 | | Execute Vector,Field_Write
008c 3ffb |? | Loop_Increasing 0x88
008d 00d9 | | Load_Top At_Offset_1
008e 00d8 | | Load_Top At_Offset_0
008f 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0090 00da | | Load_Top At_Offset_2
0091 01da | | Execute Vector,Bounds
0092 00da | | Load_Top At_Offset_2
0093 01da | | Execute Vector,Bounds
0094 00da | | Load_Top At_Offset_2
0095 027f | | Execute Discrete,Equal
0096 7001 |p | Jump_Nonzero 0x98
0097 08e0 | | Execute_Immediate Raise,0xe0
0098 00cd | | Action Spare6_Action
0099 027f | | Execute Discrete,Equal
009a 7001 |p | Jump_Nonzero 0x9c
009b 08e0 | | Execute_Immediate Raise,0xe0
009c 00d2 | | Pop_Control Pop_Count_2
009d 00d9 | | Load_Top At_Offset_1
009e 2905 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x5
009f 4801 |H | Short_Literal 0x1
00a0 e20e | | Load 0x1,0xe
00a1 00e3 | | Load_Encached Natural_Cache
00a2 03f8 | | Declare_Type Discrete,Constrained
00a3 4801 |H | Short_Literal 0x1
00a4 00d9 | | Load_Top At_Offset_1
00a5 0269 | i | Execute Discrete,Last
00a6 e22a | * | Load 0x1,0x2a
00a7 029f 023b | ;| Declare_Subprogram For_Call,INIT_0238
00a9 4801 |H | Short_Literal 0x1
00aa 035d | ] | Declare_Type Array,Defined
00ab 00d8 | | Load_Top At_Offset_0
00ac 0337 | 7 | Declare_Variable Array
00ad 00d8 | | Load_Top At_Offset_0
00ae 0335 | 5 | Declare_Variable Array,Duplicate
00af 00cd | | Action Spare6_Action
00b0 00d9 | | Load_Top At_Offset_1
00b1 01d9 | | Execute Vector,Reverse_Bounds
00b2 0263 | c | Execute Discrete,Above_Bound
00b3 7005 |p | Jump_Nonzero 0xb9
00b4 e22b | + | Load 0x1,0x2b
00b5 00d9 | | Load_Top At_Offset_1
00b6 e22f | / | Load 0x1,0x2f
00b7 01d6 | | Execute Vector,Field_Write
00b8 3ffb |? | Loop_Increasing 0xb4
00b9 00d9 | | Load_Top At_Offset_1
00ba 01d4 | | Execute Vector,Structure_Write
00bb 00e3 | | Load_Encached Natural_Cache
00bc 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00bd 00e3 | | Load_Encached Natural_Cache
00be 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00bf 00e7 | | Load_Encached Duration_Cache
00c0 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00c1 00e3 | | Load_Encached Natural_Cache
00c2 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
00c3 4800 |H | Short_Literal 0x0
00c4 4804 |H | Short_Literal 0x4
00c5 e001 | | Load 0x0,0x1
00c6 01d7 | | Execute Vector,Field_Read
00c7 02a0 | | Declare_Subprogram Null_Subprogram
00c8 038e | | Declare_Type Package,Defined
00c9 e001 | | Load 0x0,0x1
00ca 4803 |H | Short_Literal 0x3
00cb e001 | | Load 0x0,0x1
00cc 01d7 | | Execute Vector,Field_Read
00cd e213 | | Load 0x1,0x13
00ce e229 | ) | Load 0x1,0x29
00cf e214 | | Load 0x1,0x14
00d0 4805 |H | Short_Literal 0x5
00d1 e233 | 3 | Load 0x1,0x33
00d2 020e | | Execute Module,Augment_Imports
00d3 0387 | | Declare_Variable Package
00d4 a005 | | Reference 0x0,0x5
00d5 a006 | | Reference 0x0,0x6
00d6 a007 | | Reference 0x0,0x7
00d7 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
00d8 a008 | | Reference 0x0,0x8
00d9 1d15 | | Execute_Immediate Reference_Lex_1,0x15
00da a009 | | Reference 0x0,0x9
00db 4807 |H | Short_Literal 0x7
00dc e233 | 3 | Load 0x1,0x33
00dd 020e | | Execute Module,Augment_Imports
00de 00d8 | | Load_Top At_Offset_0
00df 020f | | Execute Module,Activate
00e0 0093 0000 | | PushFullAddress InMicrocode
00e2 6045 |`E | Indirect_Literal Discrete,0x128,{0x80000000, 0x00010000}
00e3 0273 | s | Execute Discrete,Plus
00e4 e20d | | Load 0x1,0xd
00e5 6056 |`V | Indirect_Literal Discrete,0x13c,{0x00000000, 0x0000ffff}
00e6 0279 | y | Execute Discrete,And
00e7 0273 | s | Execute Discrete,Plus
00e8 e00a | | Load 0x0,0xa
00e9 0273 | s | Execute Discrete,Plus
00ea 00d9 | | Load_Top At_Offset_1
00eb 1b0d | | Execute Package,Field_Read,Field_Number 0xd
00ec 00da | | Load_Top At_Offset_2
00ed 190f | | Execute Package,Field_Reference,Field_Number 0xf
00ee 00db | | Load_Top At_Offset_3
00ef 1910 | | Execute Package,Field_Reference,Field_Number 0x10
00f0 e00b | | Load 0x0,0xb
00f1 0387 | | Declare_Variable Package
00f2 00d8 | | Load_Top At_Offset_0
00f3 020f | | Execute Module,Activate
00f4 1d1c | | Execute_Immediate Reference_Lex_1,0x1c
00f5 00c7 | | Action Elaborate_Subprogram
00f6 029d 0253 | S| Declare_Subprogram For_Outer_Call,INIT_0250
00f8 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
00f9 00c7 | | Action Elaborate_Subprogram
00fa 029d 0263 | c| Declare_Subprogram For_Outer_Call,INIT_0260
00fc 1d1f | | Execute_Immediate Reference_Lex_1,0x1f
00fd 00c7 | | Action Elaborate_Subprogram
00fe 1d20 | | Execute_Immediate Reference_Lex_1,0x20
00ff 00c7 | | Action Elaborate_Subprogram
0100 1d21 | ! | Execute_Immediate Reference_Lex_1,0x21
0101 00c7 | | Action Elaborate_Subprogram
0102 1d22 | " | Execute_Immediate Reference_Lex_1,0x22
0103 00c7 | | Action Elaborate_Subprogram
0104 1d23 | # | Execute_Immediate Reference_Lex_1,0x23
0105 00c7 | | Action Elaborate_Subprogram
0106 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
0107 00c7 | | Action Elaborate_Subprogram
0108 e22e | . | Load 0x1,0x2e
0109 e224 | $ | Load 0x1,0x24
010a e004 | | Load 0x0,0x4
010b e228 | ( | Load 0x1,0x28
010c 0098 | | Execute Package,Field_Read_Dynamic
010d 1d2f | / | Execute_Immediate Reference_Lex_1,0x2f
010e e20e | | Load 0x1,0xe
010f e226 | & | Load 0x1,0x26
0110 e00c | | Load 0x0,0xc
0111 e228 | ( | Load 0x1,0x28
0112 0095 | | Execute Package,Field_Reference_Dynamic
0113 e22a | * | Load 0x1,0x2a
0114 a00d | | Reference 0x0,0xd
0115 4809 |H | Short_Literal 0x9
0116 e227 | ' | Load 0x1,0x27
0117 020e | | Execute Module,Augment_Imports
0118 e227 | ' | Load 0x1,0x27
0119 020d | | Execute Module,Elaborate
011a BODY_0008:
011a 00bc | | Action Signal_Activated
011b 00bb | | Action Signal_Completion
011c 0000 0000 | | .BLANK 0000[0x4]
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123 | # | .CONST 0x0123 ; Address of begin
0121 0004 | | .CONST 0x0004 ; Address of exception handler
0122 0001 | | .CONST 0x0001 ; Number of locals
0123 BODY_0120:
0123 INIT_0120:
0123 e22f | / | Load 0x1,0x2f
0124 00ca | | Action Exit_Nullary_Function
0125 0000 0000 | | .XXX[0x3]
0127 0000 | |
0128 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
012c 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff}
0130 8000 0000 | | .LITERAL {0x80000000, 0x00020000}
0134 8000 0000 | | .LITERAL {0x80000000, 0x00030000}
0138 8000 0000 | | .LITERAL {0x80000000, 0x00020000}
013c 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff}
0140 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
0144 0000 0000 | | .BLANK 0000[0x4]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014b | K | .CONST 0x014b ; Address of begin
0149 0004 | | .CONST 0x0004 ; Address of exception handler
014a 0001 | | .CONST 0x0001 ; Number of locals
014b BODY_0148:
014b INIT_0148:
014b 00da | | Load_Top At_Offset_2
014c 8235 | 5 | Call 0x1,0x35
014d 680a |h | Jump_Zero 0x158
014e 00da | | Load_Top At_Offset_2
014f e22e | . | Load 0x1,0x2e
0150 01d5 | | Execute Vector,Field_Reference
0151 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0152 00d8 | | Load_Top At_Offset_0
0153 e211 | | Load 0x1,0x11
0154 0260 | ` | Execute Discrete,In_Type
0155 7001 |p | Jump_Nonzero 0x157
0156 0801 | | Execute_Immediate Raise,0x1
0157 4401 |D | Exit_Subprogram With_Result,0x1
0158 e225 | % | Load 0x1,0x25
0159 0257 | W | Execute Discrete,Raise
015a 0000 0000 | | .BLANK 0000[0x6]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 016c | l | .CONST 0x016c ; Address of begin
0161 0004 | | .CONST 0x0004 ; Address of exception handler
0162 0003 | | .CONST 0x0003 ; Number of locals
0163 INIT_0160:
0163 00da | | Load_Top At_Offset_2
0164 e22e | . | Load 0x1,0x2e
0165 01d5 | | Execute Vector,Field_Reference
0166 0007 | | Action Break_Optional
0167 00d8 | | Load_Top At_Offset_0
0168 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0169 e00e | | Load 0x0,0xe
016a e228 | ( | Load 0x1,0x28
016b 0096 | | Execute Package,Field_Execute_Dynamic
016c BODY_0160:
016c e5fe | | Load 0x2,-0x2
016d 0092 028b | | Action Push_String_Extended,0x28b ; "Rule'("
016f 8005 | | Call 0x0,0x5
0170 e5fe | | Load 0x2,-0x2
0171 8006 | | Call 0x0,0x6
0172 e5fe | | Load 0x2,-0x2
0173 0092 028c | | Action Push_String_Extended,0x28c ; "The_Bundle => "
0175 8007 | | Call 0x0,0x7
0176 e5fe | | Load 0x2,-0x2
0177 00da | | Load_Top At_Offset_2
0178 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0179 e211 | | Load 0x1,0x11
017a 1c04 | | Execute_Immediate Run_Utility,0x4
017b e211 | | Load 0x1,0x11
017c 0122 | " | Execute Any,Make_Root_Type
017d 011c | | Execute Any,Convert_Unchecked
017e 1c01 | | Execute_Immediate Run_Utility,0x1
017f 8005 | | Call 0x0,0x5
0180 e5fe | | Load 0x2,-0x2
0181 0092 028d | | Action Push_String_Extended,0x28d ; "The_rule => "
0183 8007 | | Call 0x0,0x7
0184 e5fe | | Load 0x2,-0x2
0185 00da | | Load_Top At_Offset_2
0186 2c04 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
0187 800f | | Call 0x0,0xf
0188 8005 | | Call 0x0,0x5
0189 e5fe | | Load 0x2,-0x2
018a 0092 028e | | Action Push_String_Extended,0x28e ; "The_premiss => "
018c 8007 | | Call 0x0,0x7
018d e5fe | | Load 0x2,-0x2
018e 00d9 | | Load_Top At_Offset_1
018f 821b | | Call 0x1,0x1b
0190 e5fe | | Load 0x2,-0x2
0191 8009 | | Call 0x0,0x9
0192 e5fe | | Load 0x2,-0x2
0193 0092 028f | | Action Push_String_Extended,0x28f ; ")"
0195 8005 | | Call 0x0,0x5
0196 4503 |E | Exit_Subprogram 0x3
0197 0000 | | .XXX[0x1]
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 4502 |E | Exit_Subprogram 0x2
019c 0000 0000 | | .BLANK 0000[0x4]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01b0 | | .CONST 0x01b0 ; Address of begin
01a1 0004 | | .CONST 0x0004 ; Address of exception handler
01a2 0005 | | .CONST 0x0005 ; Number of locals
01a3 INIT_01a0:
01a3 00e1 | | Load_Encached Boolean_Cache
01a4 e010 | | Load 0x0,0x10
01a5 1b0d | | Execute Package,Field_Read,Field_Number 0xd
01a6 02c7 | | Declare_Variable Any
01a7 00d8 | | Load_Top At_Offset_0
01a8 1c00 | | Execute_Immediate Run_Utility,0x0
01a9 e010 | | Load 0x0,0x10
01aa 1b0d | | Execute Package,Field_Read,Field_Number 0xd
01ab 02c7 | | Declare_Variable Any
01ac 00d8 | | Load_Top At_Offset_0
01ad 1c00 | | Execute_Immediate Run_Utility,0x0
01ae 029f 0273 | s| Declare_Subprogram For_Call,INIT_0270
01b0 BODY_01a0:
01b0 4800 |H | Short_Literal 0x0
01b1 a230 | 0 | Store_Unchecked 0x1,0x30
01b2 e010 | | Load 0x0,0x10
01b3 1812 | | Execute Package,Field_Execute,Field_Number 0x12
01b4 c403 | | Store 0x2,0x3
01b5 00cf | | Action Mark_Auxiliary
01b6 4800 |H | Short_Literal 0x0
01b7 a402 | | Store_Unchecked 0x2,0x2
01b8 00cf | | Action Mark_Auxiliary
01b9 e22f | / | Load 0x1,0x2f
01ba 4801 |H | Short_Literal 0x1
01bb 0263 | c | Execute Discrete,Above_Bound
01bc 7003 |p | Jump_Nonzero 0x1c0
01bd 8405 | | Call 0x2,0x5
01be 00c8 | | Action Pop_Auxiliary_Range
01bf 3ffd |? | Loop_Increasing 0x1bd
01c0 00ce | | Action Pop_Auxiliary
01c1 e402 | | Load 0x2,0x2
01c2 6802 |h | Jump_Zero 0x1c5
01c3 00c9 | | Action Pop_Auxiliary_Loop
01c4 7ff1 | | Jump 0x1b6
01c5 00ce | | Action Pop_Auxiliary
01c6 e010 | | Load 0x0,0x10
01c7 1812 | | Execute Package,Field_Execute,Field_Number 0x12
01c8 c404 | | Store 0x2,0x4
01c9 00da | | Load_Top At_Offset_2
01ca 00da | | Load_Top At_Offset_2
01cb e010 | | Load 0x0,0x10
01cc 181c | | Execute Package,Field_Execute,Field_Number 0x1c
01cd a231 | 1 | Store_Unchecked 0x1,0x31
01ce 8221 | ! | Call 0x1,0x21
01cf 0237 | 7 | Execute Float,Convert_From_Discrete
01d0 8222 | " | Call 0x1,0x22
01d1 0237 | 7 | Execute Float,Convert_From_Discrete
01d2 5809 |X | Indirect_Literal Float,0x1dc,3.0517578125e-05
01d3 023b | ; | Execute Float,Times
01d4 023a | : | Execute Float,Divide
01d5 0235 | 5 | Execute Float,Round_To_Discrete
01d6 00e3 | | Load_Encached Natural_Cache
01d7 025e | ^ | Execute Discrete,Convert
01d8 a232 | 2 | Store_Unchecked 0x1,0x32
01d9 4503 |E | Exit_Subprogram 0x3
01da 0000 0000 | | .XXX[0x2]
01dc 3f00 0000 |? | .DBL 3.0517578125e-05
01de 0000 0000 | |
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 e230 | 0 | Load 0x1,0x30
01e4 00ca | | Action Exit_Nullary_Function
01e5 0000 0000 | | .XXX[0x3]
01e7 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 e231 | 1 | Load 0x1,0x31
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 e232 | 2 | Load 0x1,0x32
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 4609 |F | Jump_Case 0x9
01fc 7809 |x | Jump 0x206 ; case 0x0
01fd 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x1
01fe 7813 |x | Jump 0x212 ; case 0x2
01ff 7816 |x | Jump 0x216 ; case 0x3
0200 7836 |x6 | Jump 0x237 ; case 0x4
0201 7835 |x5 | Jump 0x237 ; case 0x5
0202 7834 |x4 | Jump 0x237 ; case 0x6
0203 7818 |x | Jump 0x21c ; case 0x7
0204 7822 |x" | Jump 0x227 ; case 0x8
0205 782d |x- | Jump 0x233 ; case 0x9
0206 00da | | Load_Top At_Offset_2
0207 016c | l | Execute Variant_Record,Is_Constrained
0208 7008 |p | Jump_Nonzero 0x211
0209 00cf | | Action Mark_Auxiliary
020a 4800 |H | Short_Literal 0x0
020b e5ff | | Load 0x2,-0x1
020c 1c08 | | Execute_Immediate Run_Utility,0x8
020d 00d8 | | Load_Top At_Offset_0
020e 1c00 | | Execute_Immediate Run_Utility,0x0
020f c5ff | | Store 0x2,-0x1
0210 00ce | | Action Pop_Auxiliary
0211 4302 |C | Exit_Subprogram From_Utility,0x2
0212 4801 |H | Short_Literal 0x1
0213 4805 |H | Short_Literal 0x5
0214 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
0215 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0216 e5fd | | Load 0x2,-0x3
0217 00db | | Load_Top At_Offset_3
0218 1c07 | | Execute_Immediate Run_Utility,0x7
0219 e5fe | | Load 0x2,-0x2
021a 0306 | | Complete_Type Variant_Record,By_Renaming
021b 4304 |C | Exit_Subprogram From_Utility,0x4
021c 00db | | Load_Top At_Offset_3
021d 4801 |H | Short_Literal 0x1
021e e5fe | | Load 0x2,-0x2
021f e004 | | Load 0x0,0x4
0220 e228 | ( | Load 0x1,0x28
0221 0098 | | Execute Package,Field_Read_Dynamic
0222 035b | [ | Declare_Type Array,Constrained
0223 4801 |H | Short_Literal 0x1
0224 e5ff | | Load 0x2,-0x1
0225 031b | | Declare_Type Variant_Record,Constrained
0226 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0227 00db | | Load_Top At_Offset_3
0228 00db | | Load_Top At_Offset_3
0229 02fc | | Declare_Variable Variant_Record,With_Constraint
022a 4801 |H | Short_Literal 0x1
022b e5fe | | Load 0x2,-0x2
022c e004 | | Load 0x0,0x4
022d e228 | ( | Load 0x1,0x28
022e 0098 | | Execute Package,Field_Read_Dynamic
022f 0334 | 4 | Declare_Variable Array,With_Constraint
0230 2d05 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x5
0231 016a | j | Execute Variant_Record,Indirects_Appended
0232 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
0233 4800 |H | Short_Literal 0x0
0234 00db | | Load_Top At_Offset_3
0235 1c07 | | Execute_Immediate Run_Utility,0x7
0236 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
0237 0869 | i | Execute_Immediate Raise,0x69
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; --------------------------------------------------------------------------------------
0238 023b | ; | .CONST 0x023b ; Address of begin
0239 0004 | | .CONST 0x0004 ; Address of exception handler
023a 0001 | | .CONST 0x0001 ; Number of locals
023b BODY_0238:
023b INIT_0238:
023b 00d1 | | Pop_Control Pop_Count_1
023c 00da | | Load_Top At_Offset_2
023d 01d8 | | Execute Vector,Element_Type
023e 02ff | | Declare_Variable Variant_Record
023f 00d8 | | Load_Top At_Offset_0
0240 1c00 | | Execute_Immediate Run_Utility,0x0
0241 00db | | Load_Top At_Offset_3
0242 01dc | | Execute Vector,Last
0243 e5ff | | Load 0x2,-0x1
0244 01dd | | Execute Vector,First
0245 0263 | c | Execute Discrete,Above_Bound
0246 7006 |p | Jump_Nonzero 0x24d
0247 00da | | Load_Top At_Offset_2
0248 00d9 | | Load_Top At_Offset_1
0249 e5ff | | Load 0x2,-0x1
024a 01d6 | | Execute Vector,Field_Write
024b 0a01 | | Execute_Immediate Plus,0x1
024c 7ff8 | | Jump 0x245
024d 4302 |C | Exit_Subprogram From_Utility,0x2
024e 0000 0000 | | .XXX[0x2]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 0253 | S | .CONST 0x0253 ; Address of begin
0251 0004 | | .CONST 0x0004 ; Address of exception handler
0252 0001 | | .CONST 0x0001 ; Number of locals
0253 BODY_0250:
0253 INIT_0250:
0253 00da | | Load_Top At_Offset_2
0254 0c01 | | Execute_Immediate Greater_Equal,0x1
0255 6804 |h | Jump_Zero 0x25a
0256 00da | | Load_Top At_Offset_2
0257 e20e | | Load 0x1,0xe
0258 027a | z | Execute Discrete,Less_Equal
0259 4401 |D | Exit_Subprogram With_Result,0x1
025a 4800 |H | Short_Literal 0x0
025b 4401 |D | Exit_Subprogram With_Result,0x1
025c 0000 0000 | | .BLANK 0000[0x4]
0260 ; --------------------------------------------------------------------------------------
0260 ; SUBPROGRAM
0260 ; --------------------------------------------------------------------------------------
0260 0263 | c | .CONST 0x0263 ; Address of begin
0261 0004 | | .CONST 0x0004 ; Address of exception handler
0262 0001 | | .CONST 0x0001 ; Number of locals
0263 BODY_0260:
0263 INIT_0260:
0263 00da | | Load_Top At_Offset_2
0264 8235 | 5 | Call 0x1,0x35
0265 6806 |h | Jump_Zero 0x26c
0266 00da | | Load_Top At_Offset_2
0267 e22e | . | Load 0x1,0x2e
0268 01d5 | | Execute Vector,Field_Reference
0269 02fd | | Declare_Variable Variant_Record,Duplicate
026a 00cd | | Action Spare6_Action
026b 4401 |D | Exit_Subprogram With_Result,0x1
026c e225 | % | Load 0x1,0x25
026d 0257 | W | Execute Discrete,Raise
026e 0000 0000 | | .XXX[0x2]
0270 ; --------------------------------------------------------------------------------------
0270 ; SUBPROGRAM
0270 ; --------------------------------------------------------------------------------------
0270 027b | { | .CONST 0x027b ; Address of begin
0271 0004 | | .CONST 0x0004 ; Address of exception handler
0272 0002 | | .CONST 0x0002 ; Number of locals
0273 INIT_0270:
0273 e409 | | Load 0x2,0x9
0274 e22e | . | Load 0x1,0x2e
0275 01d5 | | Execute Vector,Field_Reference
0276 2505 |% | Execute Variant_Record,Field_Reference,Fixed,Indirect,Field_Number 0x5
0277 e00e | | Load 0x0,0xe
0278 e228 | ( | Load 0x1,0x28
0279 0096 | | Execute Package,Field_Execute_Dynamic
027a 821a | | Call 0x1,0x1a
027b BODY_0270:
027b 00d8 | | Load_Top At_Offset_0
027c e214 | | Load 0x1,0x14
027d 01de | | Execute Vector,Not_Equal
027e 680b |h | Jump_Zero 0x28a
027f 00d8 | | Load_Top At_Offset_0
0280 e409 | | Load 0x2,0x9
0281 85fe | | Call 0x2,-0x2
0282 4801 |H | Short_Literal 0x1
0283 a402 | | Store_Unchecked 0x2,0x2
0284 e230 | 0 | Load 0x1,0x30
0285 0a01 | | Execute_Immediate Plus,0x1
0286 c230 | 0 | Store 0x1,0x30
0287 00cc | | Action Pop_Block
0288 00d2 | | Pop_Control Pop_Count_2
0289 7f36 | 6 | Jump 0x1c0
028a 4501 |E | Exit_Subprogram 0x1
028b ; --------------------------------------------------------------------------------------
028b ; STRING TABLE
028b ; --------------------------------------------------------------------------------------
028b 000c | | .STRTAB 0x000c->0x0291 ; "Rule'("
028c 0010 | | .STRTAB 0x0010->0x0294 ; "The_Bundle => "
028d 001d | | .STRTAB 0x001d->0x029b ; "The_rule => "
028e 002a | * | .STRTAB 0x002a->0x02a3 ; "The_premiss => "
028f 0037 | 7 | .STRTAB 0x0037->0x02aa ; ")"
0290 0036 | 6 | .STREND 0x0036->0x02ab
0291 5275 6c65 |Rule| .STRTAB_STRINGS
02ab 0000 0000 | | .BLANK 0000[0x5]
02b0 ; --------------------------------------------------------------------------------------
02b0 ; Debug Table
02b0 ; --------------------------------------------------------------------------------------
02b0 0004 0004 | | .DEBUG4 0x0004,0x0004,0x77d7,0x0000,0x0001,0x000f
02b6 000b 02f2 | | .DBG4T 0x000b,0x02f2,0xc000,0x8000
02ba 0044 030c | D | .DBG4T 0x0044,0x030c,0xc000,0x8000
02be 0123 0340 | # @| .DBG4T 0x0123,0x0340,0x1002,0x0000
02c2 014b 0343 | K C| .DBG4T 0x014b,0x0343,0x1002,0x0000
02c6 0163 0348 | c H| .DBG4T 0x0163,0x0348,0x1001,0x0000
02ca 019b 0356 | V| .DBG4T 0x019b,0x0356,0x1001,0x0000
02ce 01a3 0359 | Y| .DBG4T 0x01a3,0x0359,0x3801,0x4002
02d2 01e3 036f | o| .DBG4T 0x01e3,0x036f,0x1002,0x0000
02d6 01eb 0372 | r| .DBG4T 0x01eb,0x0372,0x1002,0x0000
02da 01f3 0375 | u| .DBG4T 0x01f3,0x0375,0x1002,0x0000
02de 01fb 0000 | | .DBG4T 0x01fb,0x0000,0x1005,0x0000
02e2 023b 0000 | ; | .DBG4T 0x023b,0x0000,0x1005,0x0000
02e6 0253 0378 | S x| .DBG4T 0x0253,0x0378,0x1002,0x0000
02ea 0263 037b | c {| .DBG4T 0x0263,0x037b,0x1002,0x0000
02ee 0273 0380 | s | .DBG4T 0x0273,0x0380,0x1804,0x0002
02f2 ; --------------------------------------------------------------------------------------
02f2 ; Debug chain
02f2 ; --------------------------------------------------------------------------------------
02f2 000c 0000 | | .DBGLEN 0x000c,0x0000
02f4 000b 000d | | .DBGLNO 0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x0024,0x002d,0x0036
0300 0003 0004 | | .XXX[0xc]
0302 0005 0006 | |
0304 0007 0008 | |
0306 0009 000a | |
0308 000b 000c | |
030a 000d 000e | |
030c ; --------------------------------------------------------------------------------------
030c ; Debug chain
030c ; --------------------------------------------------------------------------------------
030c 0019 0000 | | .DBGLEN 0x0019,0x0000
030e 0044 0058 | D X| .DBGLNO 0x0044,0x0058,0x005c,0x0072,0x009f,0x00a3,0x00ab,0x00bb,0x00bd,0x00bf,0x00c1,0x00c3,0x00d4,0x00e0,0x00f4,0x00f6,0x00f8,0x00fa,0x00fc,0x00fe,0x0100,0x0102,0x0104,0x0106,0x0108
0327 0001 0002 | | .XXX[0x19]
0329 0007 0008 | |
032b 0009 000a | |
032d 000b 000c | |
032f 000d 000e | |
0331 000f 0010 | |
0333 0011 0012 | |
0335 0013 0014 | |
0337 0015 0016 | |
0339 0017 0018 | |
033b 0019 001a | |
033d 001b 001c | |
033f 001d | |
0340 ; --------------------------------------------------------------------------------------
0340 ; Debug chain
0340 ; --------------------------------------------------------------------------------------
0340 0000 0001 | | .DBGLEN 0x0000,0x0001
0342 0123 | # | .DBGLNO 0x0123
0343 ; --------------------------------------------------------------------------------------
0343 ; Debug chain
0343 ; --------------------------------------------------------------------------------------
0343 0000 0003 | | .DBGLEN 0x0000,0x0003
0345 014b 014e | K N| .DBGLNO 0x014b,0x014e,0x0158
0348 ; --------------------------------------------------------------------------------------
0348 ; Debug chain
0348 ; --------------------------------------------------------------------------------------
0348 0002 000a | | .DBGLEN 0x0002,0x000a
034a 0163 0167 | c g| .DBGLNO 0x0163,0x0167,0x016c,0x0170,0x0172,0x0176,0x0180,0x0184,0x0189,0x018d,0x0190,0x0192
0356 ; --------------------------------------------------------------------------------------
0356 ; Debug chain
0356 ; --------------------------------------------------------------------------------------
0356 0000 0001 | | .DBGLEN 0x0000,0x0001
0358 019b | | .DBGLNO 0x019b
0359 ; --------------------------------------------------------------------------------------
0359 ; Debug chain
0359 ; --------------------------------------------------------------------------------------
0359 0002 0009 | | .DBGLEN 0x0002,0x0009
035b 01a3 01a4 | | .DBGLNO 0x01a3,0x01a4,0x01b0,0x01b2,0x01b6,0x01b9,0x01bd,0x01c1,0x01c6,0x01c9,0x01ce
0366 0001 0002 | | .XXX[0x9]
0368 0004 0005 | |
036a 0006 0007 | |
036c 0008 0009 | |
036e 000a | |
036f ; --------------------------------------------------------------------------------------
036f ; Debug chain
036f ; --------------------------------------------------------------------------------------
036f 0000 0001 | | .DBGLEN 0x0000,0x0001
0371 01e3 | | .DBGLNO 0x01e3
0372 ; --------------------------------------------------------------------------------------
0372 ; Debug chain
0372 ; --------------------------------------------------------------------------------------
0372 0000 0001 | | .DBGLEN 0x0000,0x0001
0374 01eb | | .DBGLNO 0x01eb
0375 ; --------------------------------------------------------------------------------------
0375 ; Debug chain
0375 ; --------------------------------------------------------------------------------------
0375 0000 0001 | | .DBGLEN 0x0000,0x0001
0377 01f3 | | .DBGLNO 0x01f3
0378 ; --------------------------------------------------------------------------------------
0378 ; Debug chain
0378 ; --------------------------------------------------------------------------------------
0378 0000 0001 | | .DBGLEN 0x0000,0x0001
037a 0253 | S | .DBGLNO 0x0253
037b ; --------------------------------------------------------------------------------------
037b ; Debug chain
037b ; --------------------------------------------------------------------------------------
037b 0000 0003 | | .DBGLEN 0x0000,0x0003
037d 0263 0266 | c f| .DBGLNO 0x0263,0x0266,0x026c
0380 ; --------------------------------------------------------------------------------------
0380 ; Debug chain
0380 ; --------------------------------------------------------------------------------------
0380 0001 0005 | | .DBGLEN 0x0001,0x0005
0382 0273 027b | s {| .DBGLNO 0x0273,0x027b,0x027f,0x0282,0x0284,0x0287
0388 0000 0000 | | .BLANK 0000[0x78]