|
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_2f30f2
└─⟦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 0270 | p | .CONST 0x0270 ; 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 005e | ^ | .CONST 0x005e ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0028 | ( | .CONST 0x0028 ; Number of locals
000b INIT_0008:
000b 4fff |O | Short_Literal -0x1
000c 00e2 | | Load_Encached Integer_Cache
000d 03f0 | | Declare_Variable Discrete,Visible,With_Value
000e 029a 0063 | c| Declare_Subprogram INIT_0060,For_Outer_Call,Visible,Unelaborated
0010 029a 0073 | s| Declare_Subprogram INIT_0070,For_Outer_Call,Visible,Unelaborated
0012 029a 007b | {| Declare_Subprogram INIT_0078,For_Outer_Call,Visible,Unelaborated
0014 029a 008b | | Declare_Subprogram INIT_0088,For_Outer_Call,Visible,Unelaborated
0016 029a 009b | | Declare_Subprogram INIT_0098,For_Outer_Call,Visible,Unelaborated
0018 029a 00a3 | | Declare_Subprogram INIT_00a0,For_Outer_Call,Visible,Unelaborated
001a 029a 00b3 | | Declare_Subprogram INIT_00b0,For_Outer_Call,Visible,Unelaborated
001c 029a 00cb | | Declare_Subprogram INIT_00c8,For_Outer_Call,Visible,Unelaborated
001e 0093 0000 | | push_full_address 0x0
0020 604b |`K | Indirect_Literal Discrete,0x6c,{0x80000000, 0x00010000}
0021 0273 | s | Execute Discrete,Plus
0022 e20d | | Load 0x1,0xd
0023 6044 |`D | Indirect_Literal Discrete,0x68,{0x00000000, 0x0000ffff}
0024 0279 | y | Execute Discrete,And
0025 0273 | s | Execute Discrete,Plus
0026 0129 | ) | Execute Any,Make_Visible
0027 00bf | | Action Accept_Activation
0028 0007 | | Action Break_Optional
0029 4818 |H | Short_Literal 0x18
002a 03cc | | Declare_Type Access,Incomplete,Accesses_Protected
002b e20e | | Load 0x1,0xe
002c 00d9 | | Load_Top At_Offset_1
002d 00da | | Load_Top At_Offset_2
002e 029f 00d3 | | Declare_Subprogram INIT_00d0,For_Call
0030 4803 |H | Short_Literal 0x3
0031 032d | - | Declare_Type Record,Defined
0032 00d8 | | Load_Top At_Offset_0
0033 02a0 | | Declare_Subprogram Null_Subprogram
0034 00db | | Load_Top At_Offset_3
0035 03c7 | | Complete_Type Access,By_Defining
0036 e211 | | Load 0x1,0x11
0037 0007 | | Action Break_Optional
0038 00e2 | | Load_Encached Integer_Cache
0039 0600 | | Execute_Immediate Set_Value_Unchecked,0x0
003a 00db | | Load_Top At_Offset_3
003b 0007 | | Action Break_Optional
003c e21b | | Load 0x1,0x1b
003d 0007 | | Action Break_Optional
003e 029d 00e3 | | Declare_Subprogram INIT_00e0,For_Outer_Call
0040 029d 00fb | | Declare_Subprogram INIT_00f8,For_Outer_Call
0042 029d 0113 | | Declare_Subprogram INIT_0110,For_Outer_Call
0044 1d12 | | Execute_Immediate Reference_Lex_1,0x12
0045 00c7 | | Action Elaborate_Subprogram
0046 1d13 | | Execute_Immediate Reference_Lex_1,0x13
0047 00c7 | | Action Elaborate_Subprogram
0048 029d 0133 | 3| Declare_Subprogram INIT_0130,For_Outer_Call
004a 1d14 | | Execute_Immediate Reference_Lex_1,0x14
004b 00c7 | | Action Elaborate_Subprogram
004c 029d 0173 | s| Declare_Subprogram INIT_0170,For_Outer_Call
004e 1d18 | | Execute_Immediate Reference_Lex_1,0x18
004f 00c7 | | Action Elaborate_Subprogram
0050 029d 01a3 | | Declare_Subprogram INIT_01a0,For_Outer_Call
0052 1d15 | | Execute_Immediate Reference_Lex_1,0x15
0053 00c7 | | Action Elaborate_Subprogram
0054 1d16 | | Execute_Immediate Reference_Lex_1,0x16
0055 00c7 | | Action Elaborate_Subprogram
0056 1d17 | | Execute_Immediate Reference_Lex_1,0x17
0057 00c7 | | Action Elaborate_Subprogram
0058 029d 020b | | Declare_Subprogram INIT_0208,For_Outer_Call
005a 029d 0223 | #| Declare_Subprogram INIT_0220,For_Outer_Call
005c 1d19 | | Execute_Immediate Reference_Lex_1,0x19
005d 00c7 | | Action Elaborate_Subprogram
005e BODY_0008:
005e 00bc | | Action Signal_Activated
005f 00bb | | Action Signal_Completion
0060 ; --------------------------------------------------------------------------------------
0060 ; SUBPROGRAM
0060 ; --------------------------------------------------------------------------------------
0060 0063 | c | .CONST 0x0063 ; Address of begin
0061 0004 | | .CONST 0x0004 ; Address of exception handler
0062 0001 | | .CONST 0x0001 ; Number of locals
0063 BODY_0060:
0063 INIT_0060:
0063 e21f | | Load 0x1,0x1f
0064 8223 | # | Call 0x1,0x23
0065 c21f | | Store 0x1,0x1f
0066 4501 |E | Exit_Suprogram New_Top_Offset 0x1
0067 0000 | | .XXX[0x1]
0068 0000 0000 | | .LITERAL {0x00000000, 0x0000ffff}
006c 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
0070 ; --------------------------------------------------------------------------------------
0070 ; SUBPROGRAM
0070 ; --------------------------------------------------------------------------------------
0070 0073 | s | .CONST 0x0073 ; Address of begin
0071 0004 | | .CONST 0x0004 ; Address of exception handler
0072 0001 | | .CONST 0x0001 ; Number of locals
0073 BODY_0070:
0073 INIT_0070:
0073 00da | | Load_Top At_Offset_2
0074 a21d | | Store_Unchecked 0x1,0x1d
0075 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0076 0000 0000 | | .XXX[0x2]
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 007b | { | .CONST 0x007b ; Address of begin
0079 0004 | | .CONST 0x0004 ; Address of exception handler
007a 0001 | | .CONST 0x0001 ; Number of locals
007b BODY_0078:
007b INIT_0078:
007b e21f | | Load 0x1,0x1f
007c 00db | | Load_Top At_Offset_3
007d e20e | | Load 0x1,0xe
007e 0119 | | Execute Any,Check_In_Formal_Type
007f 8224 | $ | Call 0x1,0x24
0080 c21f | | Store 0x1,0x1f
0081 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0082 0000 0000 | | .BLANK 0000[0x6]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008b | | .CONST 0x008b ; Address of begin
0089 0004 | | .CONST 0x0004 ; Address of exception handler
008a 0001 | | .CONST 0x0001 ; Number of locals
008b BODY_0088:
008b INIT_0088:
008b e21f | | Load 0x1,0x1f
008c 00db | | Load_Top At_Offset_3
008d e20e | | Load 0x1,0xe
008e 0119 | | Execute Any,Check_In_Formal_Type
008f 8226 | & | Call 0x1,0x26
0090 c21f | | Store 0x1,0x1f
0091 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0092 0000 0000 | | .BLANK 0000[0x6]
0098 ; --------------------------------------------------------------------------------------
0098 ; SUBPROGRAM
0098 ; --------------------------------------------------------------------------------------
0098 009b | | .CONST 0x009b ; Address of begin
0099 0004 | | .CONST 0x0004 ; Address of exception handler
009a 0001 | | .CONST 0x0001 ; Number of locals
009b BODY_0098:
009b INIT_0098:
009b e21f | | Load 0x1,0x1f
009c 022d | - | Execute Access,Is_Null
009d 00ca | | Action Exit_Nullary_Function
009e 0000 0000 | | .XXX[0x2]
00a0 ; --------------------------------------------------------------------------------------
00a0 ; SUBPROGRAM
00a0 ; --------------------------------------------------------------------------------------
00a0 00a3 | | .CONST 0x00a3 ; Address of begin
00a1 0004 | | .CONST 0x0004 ; Address of exception handler
00a2 0001 | | .CONST 0x0001 ; Number of locals
00a3 BODY_00a0:
00a3 INIT_00a0:
00a3 e21d | | Load 0x1,0x1d
00a4 e211 | | Load 0x1,0x11
00a5 027f | | Execute Discrete,Equal
00a6 6802 |h | Jump_Zero 0xa9
00a7 4800 |H | Short_Literal 0x0
00a8 00ca | | Action Exit_Nullary_Function
00a9 e21e | | Load 0x1,0x1e
00aa e21d | | Load 0x1,0x1d
00ab 027b | { | Execute Discrete,Greater_Equal
00ac 00ca | | Action Exit_Nullary_Function
00ad 0000 0000 | | .XXX[0x3]
00af 0000 | |
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00b7 | | .CONST 0x00b7 ; Address of begin
00b1 0004 | | .CONST 0x0004 ; Address of exception handler
00b2 0002 | | .CONST 0x0002 ; Number of locals
00b3 INIT_00b0:
00b3 e20e | | Load 0x1,0xe
00b4 02c7 | | Declare_Variable Any
00b5 00d8 | | Load_Top At_Offset_0
00b6 1c00 | | Execute_Immediate Run_Utility,0x0
00b7 BODY_00b0:
00b7 00d8 | | Load_Top At_Offset_0
00b8 0120 | | Execute Any,Is_Value
00b9 6802 |h | Jump_Zero 0xbc
00ba e20e | | Load 0x1,0xe
00bb 7803 |x | Jump 0xbf
00bc 00d8 | | Load_Top At_Offset_0
00bd e20e | | Load 0x1,0xe
00be 0119 | | Execute Any,Check_In_Formal_Type
00bf e21f | | Load 0x1,0x1f
00c0 8225 | % | Call 0x1,0x25
00c1 c21f | | Store 0x1,0x1f
00c2 c402 | | Store 0x2,0x2
00c3 00d8 | | Load_Top At_Offset_0
00c4 e20e | | Load 0x1,0xe
00c5 0119 | | Execute Any,Check_In_Formal_Type
00c6 00ca | | Action Exit_Nullary_Function
00c7 0000 | | .XXX[0x1]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00cb | | .CONST 0x00cb ; Address of begin
00c9 0004 | | .CONST 0x0004 ; Address of exception handler
00ca 0001 | | .CONST 0x0001 ; Number of locals
00cb BODY_00c8:
00cb INIT_00c8:
00cb 00da | | Load_Top At_Offset_2
00cc e21f | | Load 0x1,0x1f
00cd 8228 | ( | Call 0x1,0x28
00ce 4502 |E | Exit_Suprogram New_Top_Offset 0x2
00cf 0000 | | .XXX[0x1]
00d0 ; --------------------------------------------------------------------------------------
00d0 ; SUBPROGRAM
00d0 ; --------------------------------------------------------------------------------------
00d0 00d3 | | .CONST 0x00d3 ; Address of begin
00d1 0004 | | .CONST 0x0004 ; Address of exception handler
00d2 0001 | | .CONST 0x0001 ; Number of locals
00d3 BODY_00d0:
00d3 INIT_00d0:
00d3 4601 |F | Jump_Case 0x2
00d4 7801 |x | Jump 0xd6 ; case 0x0
00d5 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
00d6 00da | | Load_Top At_Offset_2
00d7 3400 |4 | Execute Record,Field_Reference,Field_Number 0x0
00d8 0125 | % | Execute Any,Set_Constraint
00d9 00da | | Load_Top At_Offset_2
00da 3400 |4 | Execute Record,Field_Reference,Field_Number 0x0
00db 1c00 | | Execute_Immediate Run_Utility,0x0
00dc 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
00dd 0000 0000 | | .XXX[0x3]
00df 0000 | |
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00e5 | | .CONST 0x00e5 ; Address of begin
00e1 0004 | | .CONST 0x0004 ; Address of exception handler
00e2 0002 | | .CONST 0x0002 ; Number of locals
00e3 INIT_00e0:
00e3 e21b | | Load 0x1,0x1b
00e4 0007 | | Action Break_Optional
00e5 BODY_00e0:
00e5 e21e | | Load 0x1,0x1e
00e6 0a01 | | Execute_Immediate Plus,0x1
00e7 c21e | | Store 0x1,0x1e
00e8 e220 | | Load 0x1,0x20
00e9 7006 |p | Jump_Nonzero 0xf0
00ea e21b | | Load 0x1,0x1b
00eb 03bc | | Declare_Variable Access,By_Allocation
00ec 00d8 | | Load_Top At_Offset_0
00ed 0227 | ' | Execute Access,All_Reference
00ee 1c00 | | Execute_Immediate Run_Utility,0x0
00ef 00ca | | Action Exit_Nullary_Function
00f0 e220 | | Load 0x1,0x20
00f1 0039 | 9 | Store_Top Access,At_Offset_1
00f2 00d8 | | Load_Top At_Offset_0
00f3 0227 | ' | Execute Access,All_Reference
00f4 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
00f5 a220 | | Store_Unchecked 0x1,0x20
00f6 00d8 | | Load_Top At_Offset_0
00f7 00ca | | Action Exit_Nullary_Function
00f8 ; --------------------------------------------------------------------------------------
00f8 ; SUBPROGRAM
00f8 ; --------------------------------------------------------------------------------------
00f8 00fb | | .CONST 0x00fb ; Address of begin
00f9 0004 | | .CONST 0x0004 ; Address of exception handler
00fa 0001 | | .CONST 0x0001 ; Number of locals
00fb BODY_00f8:
00fb INIT_00f8:
00fb e220 | | Load 0x1,0x20
00fc 00db | | Load_Top At_Offset_3
00fd 0227 | ' | Execute Access,All_Reference
00fe 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
00ff 00da | | Load_Top At_Offset_2
0100 a220 | | Store_Unchecked 0x1,0x20
0101 e21b | | Load 0x1,0x1b
0102 003b | ; | Store_Top Access,At_Offset_3
0103 e21e | | Load 0x1,0x1e
0104 0aff | | Execute_Immediate Plus,-0x1
0105 c21e | | Store 0x1,0x1e
0106 e21e | | Load 0x1,0x1e
0107 0d00 | | Execute_Immediate Less,0x0
0108 6802 |h | Jump_Zero 0x10b
0109 e21a | | Load 0x1,0x1a
010a 0257 | W | Execute Discrete,Raise
010b 4501 |E | Exit_Suprogram New_Top_Offset 0x1
010c 0000 0000 | | .BLANK 0000[0x4]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 0113 | | .CONST 0x0113 ; Address of begin
0111 0004 | | .CONST 0x0004 ; Address of exception handler
0112 0001 | | .CONST 0x0001 ; Number of locals
0113 BODY_0110:
0113 INIT_0110:
0113 00da | | Load_Top At_Offset_2
0114 6813 |h | Jump_Zero 0x128
0115 00da | | Load_Top At_Offset_2
0116 0229 | ) | Execute Access,All_Read
0117 00d8 | | Load_Top At_Offset_0
0118 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
0119 8223 | # | Call 0x1,0x23
011a 00d9 | | Load_Top At_Offset_1
011b 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
011c 00d1 | | Pop_Control Pop_Count_1
011d 00da | | Load_Top At_Offset_2
011e 0229 | ) | Execute Access,All_Read
011f 00d8 | | Load_Top At_Offset_0
0120 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
0121 8223 | # | Call 0x1,0x23
0122 00d9 | | Load_Top At_Offset_1
0123 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
0124 00d1 | | Pop_Control Pop_Count_1
0125 00da | | Load_Top At_Offset_2
0126 8222 | " | Call 0x1,0x22
0127 003b | ; | Store_Top Access,At_Offset_3
0128 4501 |E | Exit_Suprogram New_Top_Offset 0x1
0129 0000 0000 | | .BLANK 0000[0x7]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0133 | 3 | .CONST 0x0133 ; Address of begin
0131 0004 | | .CONST 0x0004 ; Address of exception handler
0132 0001 | | .CONST 0x0001 ; Number of locals
0133 BODY_0130:
0133 INIT_0130:
0133 00db | | Load_Top At_Offset_3
0134 7013 |p | Jump_Nonzero 0x148
0135 8221 | ! | Call 0x1,0x21
0136 a5fe | | Store_Unchecked 0x2,-0x2
0137 e21c | | Load 0x1,0x1c
0138 0322 | " | Declare_Variable Record
0139 00db | | Load_Top At_Offset_3
013a e21c | | Load 0x1,0x1c
013b 3000 |0 | Execute Record,Field_Type,Field_Number 0x0
013c 0119 | | Execute Any,Check_In_Formal_Type
013d 00d9 | | Load_Top At_Offset_1
013e 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
013f e21b | | Load 0x1,0x1b
0140 00d9 | | Load_Top At_Offset_1
0141 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0142 e21b | | Load 0x1,0x1b
0143 00d9 | | Load_Top At_Offset_1
0144 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
0145 e5fe | | Load 0x2,-0x2
0146 0228 | ( | Execute Access,All_Write
0147 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0148 00db | | Load_Top At_Offset_3
0149 0227 | ' | Execute Access,All_Reference
014a 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
014b 00db | | Load_Top At_Offset_3
014c 820f | | Call 0x1,0xf
014d 680c |h | Jump_Zero 0x15a
014e 00db | | Load_Top At_Offset_3
014f 0229 | ) | Execute Access,All_Read
0150 00d8 | | Load_Top At_Offset_0
0151 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
0152 e5ff | | Load 0x2,-0x1
0153 e20e | | Load 0x1,0xe
0154 0119 | | Execute Any,Check_In_Formal_Type
0155 8224 | $ | Call 0x1,0x24
0156 00d9 | | Load_Top At_Offset_1
0157 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0158 00d1 | | Pop_Control Pop_Count_1
0159 4502 |E | Exit_Suprogram New_Top_Offset 0x2
015a 00da | | Load_Top At_Offset_2
015b e5fe | | Load 0x2,-0x2
015c 0227 | ' | Execute Access,All_Reference
015d 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
015e 012e | . | Execute Any,Not_Equal
015f 680b |h | Jump_Zero 0x16b
0160 00db | | Load_Top At_Offset_3
0161 0229 | ) | Execute Access,All_Read
0162 00d8 | | Load_Top At_Offset_0
0163 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
0164 e5ff | | Load 0x2,-0x1
0165 e20e | | Load 0x1,0xe
0166 0119 | | Execute Any,Check_In_Formal_Type
0167 8224 | $ | Call 0x1,0x24
0168 00d9 | | Load_Top At_Offset_1
0169 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
016a 00d1 | | Pop_Control Pop_Count_1
016b 4502 |E | Exit_Suprogram New_Top_Offset 0x2
016c 0000 0000 | | .BLANK 0000[0x4]
0170 ; --------------------------------------------------------------------------------------
0170 ; SUBPROGRAM
0170 ; --------------------------------------------------------------------------------------
0170 0175 | u | .CONST 0x0175 ; Address of begin
0171 0004 | | .CONST 0x0004 ; Address of exception handler
0172 0002 | | .CONST 0x0002 ; Number of locals
0173 INIT_0170:
0173 00da | | Load_Top At_Offset_2
0174 0007 | | Action Break_Optional
0175 BODY_0170:
0175 00db | | Load_Top At_Offset_3
0176 7002 |p | Jump_Nonzero 0x179
0177 e21a | | Load 0x1,0x1a
0178 0257 | W | Execute Discrete,Raise
0179 00db | | Load_Top At_Offset_3
017a 0227 | ' | Execute Access,All_Reference
017b 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
017c 6812 |h | Jump_Zero 0x18f
017d 00db | | Load_Top At_Offset_3
017e 0229 | ) | Execute Access,All_Read
017f e5fe | | Load 0x2,-0x2
0180 0120 | | Execute Any,Is_Value
0181 6802 |h | Jump_Zero 0x184
0182 e20e | | Load 0x1,0xe
0183 7803 |x | Jump 0x187
0184 e5fe | | Load 0x2,-0x2
0185 e20e | | Load 0x1,0xe
0186 0119 | | Execute Any,Check_In_Formal_Type
0187 00d9 | | Load_Top At_Offset_1
0188 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
0189 8225 | % | Call 0x1,0x25
018a 00da | | Load_Top At_Offset_2
018b 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
018c c5fe | | Store 0x2,-0x2
018d 00d1 | | Pop_Control Pop_Count_1
018e 4501 |E | Exit_Suprogram New_Top_Offset 0x1
018f 00db | | Load_Top At_Offset_3
0190 0227 | ' | Execute Access,All_Reference
0191 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
0192 c5fe | | Store 0x2,-0x2
0193 00db | | Load_Top At_Offset_3
0194 0227 | ' | Execute Access,All_Reference
0195 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
0196 a5ff | | Store_Unchecked 0x2,-0x1
0197 00d8 | | Load_Top At_Offset_0
0198 8222 | " | Call 0x1,0x22
0199 0039 | 9 | Store_Top Access,At_Offset_1
019a 4501 |E | Exit_Suprogram New_Top_Offset 0x1
019b 0000 0000 | | .BLANK 0000[0x5]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01a5 | | .CONST 0x01a5 ; Address of begin
01a1 0004 | | .CONST 0x0004 ; Address of exception handler
01a2 0002 | | .CONST 0x0002 ; Number of locals
01a3 INIT_01a0:
01a3 00db | | Load_Top At_Offset_3
01a4 0007 | | Action Break_Optional
01a5 BODY_01a0:
01a5 e5fe | | Load 0x2,-0x2
01a6 6860 |h` | Jump_Zero 0x207
01a7 e5fe | | Load 0x2,-0x2
01a8 0227 | ' | Execute Access,All_Reference
01a9 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01aa e5ff | | Load 0x2,-0x1
01ab 820f | | Call 0x1,0xf
01ac 680c |h | Jump_Zero 0x1b9
01ad e5fe | | Load 0x2,-0x2
01ae 0229 | ) | Execute Access,All_Read
01af 00d8 | | Load_Top At_Offset_0
01b0 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01b1 e5ff | | Load 0x2,-0x1
01b2 e20e | | Load 0x1,0xe
01b3 0119 | | Execute Any,Check_In_Formal_Type
01b4 8226 | & | Call 0x1,0x26
01b5 00d9 | | Load_Top At_Offset_1
01b6 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
01b7 00d1 | | Pop_Control Pop_Count_1
01b8 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01b9 00db | | Load_Top At_Offset_3
01ba e5fe | | Load 0x2,-0x2
01bb 0227 | ' | Execute Access,All_Reference
01bc 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01bd 012e | . | Execute Any,Not_Equal
01be 680c |h | Jump_Zero 0x1cb
01bf e5fe | | Load 0x2,-0x2
01c0 0229 | ) | Execute Access,All_Read
01c1 00d8 | | Load_Top At_Offset_0
01c2 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
01c3 e5ff | | Load 0x2,-0x1
01c4 e20e | | Load 0x1,0xe
01c5 0119 | | Execute Any,Check_In_Formal_Type
01c6 8226 | & | Call 0x1,0x26
01c7 00d9 | | Load_Top At_Offset_1
01c8 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
01c9 00d1 | | Pop_Control Pop_Count_1
01ca 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01cb e5fe | | Load 0x2,-0x2
01cc 0227 | ' | Execute Access,All_Reference
01cd 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01ce 022d | - | Execute Access,Is_Null
01cf e5fe | | Load 0x2,-0x2
01d0 0227 | ' | Execute Access,All_Reference
01d1 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
01d2 022d | - | Execute Access,Is_Null
01d3 0279 | y | Execute Discrete,And
01d4 6804 |h | Jump_Zero 0x1d9
01d5 e5fe | | Load 0x2,-0x2
01d6 8222 | " | Call 0x1,0x22
01d7 c5fe | | Store 0x2,-0x2
01d8 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01d9 e5fe | | Load 0x2,-0x2
01da 0227 | ' | Execute Access,All_Reference
01db 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01dc 7008 |p | Jump_Nonzero 0x1e5
01dd e5fe | | Load 0x2,-0x2
01de 0227 | ' | Execute Access,All_Reference
01df 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
01e0 a5fe | | Store_Unchecked 0x2,-0x2
01e1 00d8 | | Load_Top At_Offset_0
01e2 8222 | " | Call 0x1,0x22
01e3 0039 | 9 | Store_Top Access,At_Offset_1
01e4 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01e5 e5fe | | Load 0x2,-0x2
01e6 0227 | ' | Execute Access,All_Reference
01e7 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
01e8 7008 |p | Jump_Nonzero 0x1f1
01e9 e5fe | | Load 0x2,-0x2
01ea 0227 | ' | Execute Access,All_Reference
01eb 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01ec a5fe | | Store_Unchecked 0x2,-0x2
01ed 00d8 | | Load_Top At_Offset_0
01ee 8222 | " | Call 0x1,0x22
01ef 0039 | 9 | Store_Top Access,At_Offset_1
01f0 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01f1 e5fe | | Load 0x2,-0x2
01f2 0229 | ) | Execute Access,All_Read
01f3 e5fe | | Load 0x2,-0x2
01f4 0229 | ) | Execute Access,All_Read
01f5 00d9 | | Load_Top At_Offset_1
01f6 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01f7 0120 | | Execute Any,Is_Value
01f8 6802 |h | Jump_Zero 0x1fb
01f9 e20e | | Load 0x1,0xe
01fa 7804 |x | Jump 0x1ff
01fb 00d9 | | Load_Top At_Offset_1
01fc 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01fd e20e | | Load 0x1,0xe
01fe 0119 | | Execute Any,Check_In_Formal_Type
01ff 00d9 | | Load_Top At_Offset_1
0200 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
0201 8225 | % | Call 0x1,0x25
0202 00da | | Load_Top At_Offset_2
0203 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0204 00da | | Load_Top At_Offset_2
0205 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
0206 00d2 | | Pop_Control Pop_Count_2
0207 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 020b | | .CONST 0x020b ; Address of begin
0209 0004 | | .CONST 0x0004 ; Address of exception handler
020a 0001 | | .CONST 0x0001 ; Number of locals
020b BODY_0208:
020b INIT_0208:
020b 00da | | Load_Top At_Offset_2
020c 0e01 | | Execute_Immediate Not_Equal,0x1
020d 6803 |h | Jump_Zero 0x211
020e e5fd | | Load 0x2,-0x3
020f 482c |H, | Short_Literal 0x2c
0210 8002 | | Call 0x0,0x2
0211 e5fd | | Load 0x2,-0x3
0212 00db | | Load_Top At_Offset_3
0213 8003 | | Call 0x0,0x3
0214 e5fd | | Load 0x2,-0x3
0215 0092 025b | [| Action Push_String_Extended,0x25b ; " => "
0217 8004 | | Call 0x0,0x4
0218 e5fd | | Load 0x2,-0x3
0219 e5fe | | Load 0x2,-0x2
021a 8210 | | Call 0x1,0x10
021b 4504 |E | Exit_Suprogram New_Top_Offset 0x4
021c 0000 0000 | | .BLANK 0000[0x4]
0220 ; --------------------------------------------------------------------------------------
0220 ; SUBPROGRAM
0220 ; --------------------------------------------------------------------------------------
0220 0227 | ' | .CONST 0x0227 ; Address of begin
0221 0004 | | .CONST 0x0004 ; Address of exception handler
0222 0003 | | .CONST 0x0003 ; Number of locals
0223 INIT_0220:
0223 00e4 | | Load_Encached Positive_Cache
0224 0601 | | Execute_Immediate Set_Value_Unchecked,0x1
0225 029f 0243 | C| Declare_Subprogram INIT_0240,For_Call
0227 BODY_0220:
0227 e5fe | | Load 0x2,-0x2
0228 0092 025c | \| Action Push_String_Extended,0x25c ; "Conflict_set'("
022a 8005 | | Call 0x0,0x5
022b e5fe | | Load 0x2,-0x2
022c 4802 |H | Short_Literal 0x2
022d 8006 | | Call 0x0,0x6
022e e5fe | | Load 0x2,-0x2
022f e5ff | | Load 0x2,-0x1
0230 8403 | | Call 0x2,0x3
0231 e5fe | | Load 0x2,-0x2
0232 4ffe |O | Short_Literal -0x2
0233 8006 | | Call 0x0,0x6
0234 e5fe | | Load 0x2,-0x2
0235 0092 025d | ]| Action Push_String_Extended,0x25d ; ")"
0237 8005 | | Call 0x0,0x5
0238 4503 |E | Exit_Suprogram New_Top_Offset 0x3
0239 0000 0000 | | .BLANK 0000[0x7]
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 00da | | Load_Top At_Offset_2
0244 6815 |h | Jump_Zero 0x25a
0245 00db | | Load_Top At_Offset_3
0246 00db | | Load_Top At_Offset_3
0247 0227 | ' | Execute Access,All_Reference
0248 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
0249 8403 | | Call 0x2,0x3
024a 00db | | Load_Top At_Offset_3
024b 00db | | Load_Top At_Offset_3
024c 0227 | ' | Execute Access,All_Reference
024d 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
024e e20e | | Load 0x1,0xe
024f 0119 | | Execute Any,Check_In_Formal_Type
0250 e402 | | Load 0x2,0x2
0251 8227 | ' | Call 0x1,0x27
0252 e402 | | Load 0x2,0x2
0253 0a01 | | Execute_Immediate Plus,0x1
0254 c402 | | Store 0x2,0x2
0255 00db | | Load_Top At_Offset_3
0256 00db | | Load_Top At_Offset_3
0257 0227 | ' | Execute Access,All_Reference
0258 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
0259 8403 | | Call 0x2,0x3
025a 4503 |E | Exit_Suprogram New_Top_Offset 0x3
025b ; --------------------------------------------------------------------------------------
025b ; STRING TABLE
025b ; --------------------------------------------------------------------------------------
025b 0008 | | .STRTAB 0x0008->0x025f ; " => "
025c 000a | | .STRTAB 0x000a->0x0261 ; "Conflict_set'("
025d 0016 | | .STRTAB 0x0016->0x0268 ; ")"
025e 0015 | | .STREND 0x0015->0x0268
025f 203d 3e20 | => | .STRTAB_STRINGS
0269 0000 0000 | | .BLANK 0000[0x7]
0270 ; --------------------------------------------------------------------------------------
0270 ; Debug Table
0270 ; --------------------------------------------------------------------------------------
0270 0004 0008 | | .DEBUG4 0x0004,0x0008,0xfb14,0x0000,0x0001,0x0014
0276 000b 02c6 | | .DBG4T 0x000b,0x02c6,0xc000,0x0000
027a 0028 02d2 | ( | .DBG4T 0x0028,0x02d2,0xc000,0x0000
027e 0063 02eb | c | .DBG4T 0x0063,0x02eb,0x1001,0x0000
0282 0073 02ee | s | .DBG4T 0x0073,0x02ee,0x1001,0x0000
0286 007b 02f1 | { | .DBG4T 0x007b,0x02f1,0x1001,0x0000
028a 008b 02f4 | | .DBG4T 0x008b,0x02f4,0x1001,0x0000
028e 009b 02f7 | | .DBG4T 0x009b,0x02f7,0x1002,0x0000
0292 00a3 02fa | | .DBG4T 0x00a3,0x02fa,0x1002,0x0000
0296 00b3 02ff | | .DBG4T 0x00b3,0x02ff,0x1002,0x0000
029a 00cb 0304 | | .DBG4T 0x00cb,0x0304,0x1001,0x0000
029e 00d3 0000 | | .DBG4T 0x00d3,0x0000,0x1005,0x0000
02a2 00e3 0307 | | .DBG4T 0x00e3,0x0307,0x1002,0x0000
02a6 00fb 0310 | | .DBG4T 0x00fb,0x0310,0x1001,0x0000
02aa 0113 0318 | | .DBG4T 0x0113,0x0318,0x1001,0x0000
02ae 0133 031e | 3 | .DBG4T 0x0133,0x031e,0x1001,0x0000
02b2 0173 0327 | s '| .DBG4T 0x0173,0x0327,0x1001,0x0000
02b6 01a3 0331 | 1| .DBG4T 0x01a3,0x0331,0x1001,0x0000
02ba 020b 0342 | B| .DBG4T 0x020b,0x0342,0x1001,0x0000
02be 0223 0349 | # I| .DBG4T 0x0223,0x0349,0x1001,0x0000
02c2 0243 0352 | C R| .DBG4T 0x0243,0x0352,0x1001,0x0000
02c6 ; --------------------------------------------------------------------------------------
02c6 ; Debug chain
02c6 ; --------------------------------------------------------------------------------------
02c6 000a 0000 | | .DBGLEN 0x000a,0x0000
02c8 000b 000e | | .DBGLNO 0x000b,0x000e,0x0010,0x0012,0x0014,0x0016,0x0018,0x001a,0x001c,0x001e
02d2 ; --------------------------------------------------------------------------------------
02d2 ; Debug chain
02d2 ; --------------------------------------------------------------------------------------
02d2 0017 0000 | | .DBGLEN 0x0017,0x0000
02d4 0028 0029 | ( )| .DBGLNO 0x0028,0x0029,0x002b,0x0036,0x0038,0x003a,0x003c,0x003e,0x0040,0x0042,0x0044,0x0046,0x0048,0x004a,0x004c,0x004e,0x0050,0x0052,0x0054,0x0056,0x0058,0x005a,0x005c
02eb ; --------------------------------------------------------------------------------------
02eb ; Debug chain
02eb ; --------------------------------------------------------------------------------------
02eb 0000 0001 | | .DBGLEN 0x0000,0x0001
02ed 0063 | c | .DBGLNO 0x0063
02ee ; --------------------------------------------------------------------------------------
02ee ; Debug chain
02ee ; --------------------------------------------------------------------------------------
02ee 0000 0001 | | .DBGLEN 0x0000,0x0001
02f0 0073 | s | .DBGLNO 0x0073
02f1 ; --------------------------------------------------------------------------------------
02f1 ; Debug chain
02f1 ; --------------------------------------------------------------------------------------
02f1 0000 0001 | | .DBGLEN 0x0000,0x0001
02f3 007b | { | .DBGLNO 0x007b
02f4 ; --------------------------------------------------------------------------------------
02f4 ; Debug chain
02f4 ; --------------------------------------------------------------------------------------
02f4 0000 0001 | | .DBGLEN 0x0000,0x0001
02f6 008b | | .DBGLNO 0x008b
02f7 ; --------------------------------------------------------------------------------------
02f7 ; Debug chain
02f7 ; --------------------------------------------------------------------------------------
02f7 0000 0001 | | .DBGLEN 0x0000,0x0001
02f9 009b | | .DBGLNO 0x009b
02fa ; --------------------------------------------------------------------------------------
02fa ; Debug chain
02fa ; --------------------------------------------------------------------------------------
02fa 0000 0003 | | .DBGLEN 0x0000,0x0003
02fc 00a3 00a7 | | .DBGLNO 0x00a3,0x00a7,0x00a9
02ff ; --------------------------------------------------------------------------------------
02ff ; Debug chain
02ff ; --------------------------------------------------------------------------------------
02ff 0001 0002 | | .DBGLEN 0x0001,0x0002
0301 00b3 00b7 | | .DBGLNO 0x00b3,0x00b7,0x00c3
0304 ; --------------------------------------------------------------------------------------
0304 ; Debug chain
0304 ; --------------------------------------------------------------------------------------
0304 0000 0001 | | .DBGLEN 0x0000,0x0001
0306 00cb | | .DBGLNO 0x00cb
0307 ; --------------------------------------------------------------------------------------
0307 ; Debug chain
0307 ; --------------------------------------------------------------------------------------
0307 0001 0006 | | .DBGLEN 0x0001,0x0006
0309 00e3 00e5 | | .DBGLNO 0x00e3,0x00e5,0x00e8,0x00ea,0x00f0,0x00f2,0x00f6
0310 ; --------------------------------------------------------------------------------------
0310 ; Debug chain
0310 ; --------------------------------------------------------------------------------------
0310 0000 0006 | | .DBGLEN 0x0000,0x0006
0312 00fb 00ff | | .DBGLNO 0x00fb,0x00ff,0x0101,0x0103,0x0106,0x0109
0318 ; --------------------------------------------------------------------------------------
0318 ; Debug chain
0318 ; --------------------------------------------------------------------------------------
0318 0000 0004 | | .DBGLEN 0x0000,0x0004
031a 0113 0115 | | .DBGLNO 0x0113,0x0115,0x011d,0x0125
031e ; --------------------------------------------------------------------------------------
031e ; Debug chain
031e ; --------------------------------------------------------------------------------------
031e 0000 0007 | | .DBGLEN 0x0000,0x0007
0320 0133 0135 | 3 5| .DBGLNO 0x0133,0x0135,0x0137,0x0148,0x014e,0x015a,0x0160
0327 ; --------------------------------------------------------------------------------------
0327 ; Debug chain
0327 ; --------------------------------------------------------------------------------------
0327 0001 0007 | | .DBGLEN 0x0001,0x0007
0329 0173 0175 | s u| .DBGLNO 0x0173,0x0175,0x0177,0x0179,0x017d,0x018f,0x0193,0x0197
0331 ; --------------------------------------------------------------------------------------
0331 ; Debug chain
0331 ; --------------------------------------------------------------------------------------
0331 0001 000e | | .DBGLEN 0x0001,0x000e
0333 01a3 01a5 | | .DBGLNO 0x01a3,0x01a5,0x01a7,0x01ad,0x01b9,0x01bf,0x01cb,0x01d5,0x01d9,0x01dd,0x01e1,0x01e5,0x01e9,0x01ed,0x01f1
0342 ; --------------------------------------------------------------------------------------
0342 ; Debug chain
0342 ; --------------------------------------------------------------------------------------
0342 0000 0005 | | .DBGLEN 0x0000,0x0005
0344 020b 020e | | .DBGLNO 0x020b,0x020e,0x0211,0x0214,0x0218
0349 ; --------------------------------------------------------------------------------------
0349 ; Debug chain
0349 ; --------------------------------------------------------------------------------------
0349 0002 0005 | | .DBGLEN 0x0002,0x0005
034b 0223 0225 | # %| .DBGLNO 0x0223,0x0225,0x0227,0x022b,0x022e,0x0231,0x0234
0352 ; --------------------------------------------------------------------------------------
0352 ; Debug chain
0352 ; --------------------------------------------------------------------------------------
0352 0000 0005 | | .DBGLEN 0x0000,0x0005
0354 0243 0245 | C E| .DBGLNO 0x0243,0x0245,0x024a,0x0252,0x0255
0359 0000 0000 | | .BLANK 0000[0xa7]