DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦de9fe30c8⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0edcd0

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

Disassembly

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 0240       | @  |		.CONST	0x0240								; 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 004e       | N  |		.CONST	0x004e								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0023       | #  |		.CONST	0x0023								; Number of locals
000b			INIT_0008:
000b 029a 0053  |   S|		Declare_Subprogram	INIT_0050,For_Outer_Call,Visible,Unelaborated
000d 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated
000f 029a 0073  |   s|		Declare_Subprogram	INIT_0070,For_Outer_Call,Visible,Unelaborated
0011 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
0013 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated
0015 029a 00a3  |    |		Declare_Subprogram	INIT_00a0,For_Outer_Call,Visible,Unelaborated
0017 0093 0000  |    |		push_full_address	0x0
0019 6042       |`B  |		Indirect_Literal	Discrete,0x5c,{0x80000000, 0x00010000}
001a 0273       | s  |		Execute	Discrete,Plus
001b e20d       |    |		Load	0x1,0xd
001c 603b       |`;  |		Indirect_Literal	Discrete,0x58,{0x00000000, 0x0000ffff}
001d 0279       | y  |		Execute	Discrete,And
001e 0273       | s  |		Execute	Discrete,Plus
001f 0129       | )  |		Execute	Any,Make_Visible
0020 00bf       |    |		Action	Accept_Activation
0021 4818       |H   |		Short_Literal	0x18
0022 03cc       |    |		Declare_Type	Access,Incomplete,Accesses_Protected
0023 e20e       |    |		Load	0x1,0xe
0024 00d9       |    |		Load_Top	At_Offset_1
0025 00da       |    |		Load_Top	At_Offset_2
0026 029f 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Call
0028 4803       |H   |		Short_Literal	0x3
0029 032d       | -  |		Declare_Type	Record,Defined
002a 00d8       |    |		Load_Top	At_Offset_0
002b 02a0       |    |		Declare_Subprogram	Null_Subprogram
002c 00db       |    |		Load_Top	At_Offset_3
002d 03c7       |    |		Complete_Type	Access,By_Defining
002e 00d9       |    |		Load_Top	At_Offset_1
002f 0007       |    |		Action	Break_Optional
0030 00da       |    |		Load_Top	At_Offset_2
0031 0007       |    |		Action	Break_Optional
0032 029d 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Outer_Call
0034 029d 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call
0036 029d 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call
0038 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
0039 00c7       |    |		Action	Elaborate_Subprogram
003a 029d 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call
003c 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
003d 00c7       |    |		Action	Elaborate_Subprogram
003e 029d 0143  |   C|		Declare_Subprogram	INIT_0140,For_Outer_Call
0040 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0041 00c7       |    |		Action	Elaborate_Subprogram
0042 029d 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call
0044 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0045 00c7       |    |		Action	Elaborate_Subprogram
0046 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0047 00c7       |    |		Action	Elaborate_Subprogram
0048 029d 01db  |    |		Declare_Subprogram	INIT_01d8,For_Outer_Call
004a 029d 01f3  |    |		Declare_Subprogram	INIT_01f0,For_Outer_Call
004c 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
004d 00c7       |    |		Action	Elaborate_Subprogram
004e			BODY_0008:
004e 00bc       |    |		Action	Signal_Activated
004f 00bb       |    |		Action	Signal_Completion
0050 ; --------------------------------------------------------------------------------------
0050 ; SUBPROGRAM
0050 ; --------------------------------------------------------------------------------------
0050 0053       | S  |		.CONST	0x0053								; Address of begin
0051 0004       |    |		.CONST	0x0004								; Address of exception handler
0052 0001       |    |		.CONST	0x0001								; Number of locals
0053			BODY_0050:
0053			INIT_0050:
0053 e21a       |    |		Load	0x1,0x1a
0054 821e       |    |		Call	0x1,0x1e
0055 c21a       |    |		Store	0x1,0x1a
0056 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0057 0000       |    |		.XXX[0x1]
0058 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
005c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
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 e21a       |    |		Load	0x1,0x1a
0064 00db       |    |		Load_Top	At_Offset_3
0065 e20e       |    |		Load	0x1,0xe
0066 0119       |    |		Execute	Any,Check_In_Formal_Type
0067 821f       |    |		Call	0x1,0x1f
0068 c21a       |    |		Store	0x1,0x1a
0069 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
006a 0000 0000  |    |		.BLANK	0000[0x6]
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 e21a       |    |		Load	0x1,0x1a
0074 00db       |    |		Load_Top	At_Offset_3
0075 e20e       |    |		Load	0x1,0xe
0076 0119       |    |		Execute	Any,Check_In_Formal_Type
0077 8221       | !  |		Call	0x1,0x21
0078 c21a       |    |		Store	0x1,0x1a
0079 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
007a 0000 0000  |    |		.BLANK	0000[0x6]
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 0083       |    |		.CONST	0x0083								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0001       |    |		.CONST	0x0001								; Number of locals
0083			BODY_0080:
0083			INIT_0080:
0083 e21a       |    |		Load	0x1,0x1a
0084 022d       | -  |		Execute	Access,Is_Null
0085 00ca       |    |		Action	Exit_Nullary_Function
0086 0000 0000  |    |		.XXX[0x2]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008f       |    |		.CONST	0x008f								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0002       |    |		.CONST	0x0002								; Number of locals
008b			INIT_0088:
008b e20e       |    |		Load	0x1,0xe
008c 02c7       |    |		Declare_Variable	Any
008d 00d8       |    |		Load_Top	At_Offset_0
008e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
008f			BODY_0088:
008f 00d8       |    |		Load_Top	At_Offset_0
0090 0120       |    |		Execute	Any,Is_Value
0091 6802       |h   |		Jump_Zero	0x94
0092 e20e       |    |		Load	0x1,0xe
0093 7803       |x   |		Jump	0x97
0094 00d8       |    |		Load_Top	At_Offset_0
0095 e20e       |    |		Load	0x1,0xe
0096 0119       |    |		Execute	Any,Check_In_Formal_Type
0097 e21a       |    |		Load	0x1,0x1a
0098 8220       |    |		Call	0x1,0x20
0099 c21a       |    |		Store	0x1,0x1a
009a c402       |    |		Store	0x2,0x2
009b 00d8       |    |		Load_Top	At_Offset_0
009c e20e       |    |		Load	0x1,0xe
009d 0119       |    |		Execute	Any,Check_In_Formal_Type
009e 00ca       |    |		Action	Exit_Nullary_Function
009f 0000       |    |		.XXX[0x1]
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 00da       |    |		Load_Top	At_Offset_2
00a4 e21a       |    |		Load	0x1,0x1a
00a5 8223       | #  |		Call	0x1,0x23
00a6 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00a7 0000       |    |		.XXX[0x1]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00ab       |    |		.CONST	0x00ab								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0001       |    |		.CONST	0x0001								; Number of locals
00ab			BODY_00a8:
00ab			INIT_00a8:
00ab 4601       |F   |		Jump_Case	0x2
00ac 7801       |x   |		Jump	0xae								; case 0x0
00ad 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
00ae 00da       |    |		Load_Top	At_Offset_2
00af 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
00b0 0125       | %  |		Execute	Any,Set_Constraint
00b1 00da       |    |		Load_Top	At_Offset_2
00b2 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
00b3 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00b4 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
00b5 0000 0000  |    |		.XXX[0x3]
00b7 0000       |    |
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00bd       |    |		.CONST	0x00bd								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0002       |    |		.CONST	0x0002								; Number of locals
00bb			INIT_00b8:
00bb e218       |    |		Load	0x1,0x18
00bc 0007       |    |		Action	Break_Optional
00bd			BODY_00b8:
00bd e21b       |    |		Load	0x1,0x1b
00be 7006       |p   |		Jump_Nonzero	0xc5
00bf e218       |    |		Load	0x1,0x18
00c0 03bc       |    |		Declare_Variable	Access,By_Allocation
00c1 00d8       |    |		Load_Top	At_Offset_0
00c2 0227       | '  |		Execute	Access,All_Reference
00c3 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c4 00ca       |    |		Action	Exit_Nullary_Function
00c5 e21b       |    |		Load	0x1,0x1b
00c6 0039       | 9  |		Store_Top	Access,At_Offset_1
00c7 00d8       |    |		Load_Top	At_Offset_0
00c8 0227       | '  |		Execute	Access,All_Reference
00c9 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ca a21b       |    |		Store_Unchecked	0x1,0x1b
00cb 00d8       |    |		Load_Top	At_Offset_0
00cc 00ca       |    |		Action	Exit_Nullary_Function
00cd 0000 0000  |    |		.XXX[0x3]
00cf 0000       |    |
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 e21b       |    |		Load	0x1,0x1b
00d4 00db       |    |		Load_Top	At_Offset_3
00d5 0227       | '  |		Execute	Access,All_Reference
00d6 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00d7 00da       |    |		Load_Top	At_Offset_2
00d8 a21b       |    |		Store_Unchecked	0x1,0x1b
00d9 e218       |    |		Load	0x1,0x18
00da 003b       | ;  |		Store_Top	Access,At_Offset_3
00db 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00dc 0000 0000  |    |		.BLANK	0000[0x4]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00e3       |    |		.CONST	0x00e3								; Address of begin
00e1 0004       |    |		.CONST	0x0004								; Address of exception handler
00e2 0001       |    |		.CONST	0x0001								; Number of locals
00e3			BODY_00e0:
00e3			INIT_00e0:
00e3 00da       |    |		Load_Top	At_Offset_2
00e4 6813       |h   |		Jump_Zero	0xf8
00e5 00da       |    |		Load_Top	At_Offset_2
00e6 0229       | )  |		Execute	Access,All_Read
00e7 00d8       |    |		Load_Top	At_Offset_0
00e8 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00e9 821e       |    |		Call	0x1,0x1e
00ea 00d9       |    |		Load_Top	At_Offset_1
00eb 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00ec 00d1       |    |		Pop_Control	Pop_Count_1
00ed 00da       |    |		Load_Top	At_Offset_2
00ee 0229       | )  |		Execute	Access,All_Read
00ef 00d8       |    |		Load_Top	At_Offset_0
00f0 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00f1 821e       |    |		Call	0x1,0x1e
00f2 00d9       |    |		Load_Top	At_Offset_1
00f3 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00f4 00d1       |    |		Pop_Control	Pop_Count_1
00f5 00da       |    |		Load_Top	At_Offset_2
00f6 821d       |    |		Call	0x1,0x1d
00f7 003b       | ;  |		Store_Top	Access,At_Offset_3
00f8 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00f9 0000 0000  |    |		.BLANK	0000[0x7]
0100 ; --------------------------------------------------------------------------------------
0100 ; SUBPROGRAM
0100 ; --------------------------------------------------------------------------------------
0100 0103       |    |		.CONST	0x0103								; Address of begin
0101 0004       |    |		.CONST	0x0004								; Address of exception handler
0102 0001       |    |		.CONST	0x0001								; Number of locals
0103			BODY_0100:
0103			INIT_0100:
0103 00db       |    |		Load_Top	At_Offset_3
0104 7013       |p   |		Jump_Nonzero	0x118
0105 821c       |    |		Call	0x1,0x1c
0106 a5fe       |    |		Store_Unchecked	0x2,-0x2
0107 e219       |    |		Load	0x1,0x19
0108 0322       | "  |		Declare_Variable	Record
0109 00db       |    |		Load_Top	At_Offset_3
010a e219       |    |		Load	0x1,0x19
010b 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
010c 0119       |    |		Execute	Any,Check_In_Formal_Type
010d 00d9       |    |		Load_Top	At_Offset_1
010e 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
010f e218       |    |		Load	0x1,0x18
0110 00d9       |    |		Load_Top	At_Offset_1
0111 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0112 e218       |    |		Load	0x1,0x18
0113 00d9       |    |		Load_Top	At_Offset_1
0114 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0115 e5fe       |    |		Load	0x2,-0x2
0116 0228       | (  |		Execute	Access,All_Write
0117 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0118 00db       |    |		Load_Top	At_Offset_3
0119 0227       | '  |		Execute	Access,All_Reference
011a 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
011b 00db       |    |		Load_Top	At_Offset_3
011c 820f       |    |		Call	0x1,0xf
011d 680c       |h   |		Jump_Zero	0x12a
011e 00db       |    |		Load_Top	At_Offset_3
011f 0229       | )  |		Execute	Access,All_Read
0120 00d8       |    |		Load_Top	At_Offset_0
0121 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0122 e5ff       |    |		Load	0x2,-0x1
0123 e20e       |    |		Load	0x1,0xe
0124 0119       |    |		Execute	Any,Check_In_Formal_Type
0125 821f       |    |		Call	0x1,0x1f
0126 00d9       |    |		Load_Top	At_Offset_1
0127 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0128 00d1       |    |		Pop_Control	Pop_Count_1
0129 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
012a 00da       |    |		Load_Top	At_Offset_2
012b e5fe       |    |		Load	0x2,-0x2
012c 0227       | '  |		Execute	Access,All_Reference
012d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
012e 012e       | .  |		Execute	Any,Not_Equal
012f 680b       |h   |		Jump_Zero	0x13b
0130 00db       |    |		Load_Top	At_Offset_3
0131 0229       | )  |		Execute	Access,All_Read
0132 00d8       |    |		Load_Top	At_Offset_0
0133 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0134 e5ff       |    |		Load	0x2,-0x1
0135 e20e       |    |		Load	0x1,0xe
0136 0119       |    |		Execute	Any,Check_In_Formal_Type
0137 821f       |    |		Call	0x1,0x1f
0138 00d9       |    |		Load_Top	At_Offset_1
0139 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
013a 00d1       |    |		Pop_Control	Pop_Count_1
013b 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
013c 0000 0000  |    |		.BLANK	0000[0x4]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0145       | E  |		.CONST	0x0145								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0002       |    |		.CONST	0x0002								; Number of locals
0143			INIT_0140:
0143 00da       |    |		Load_Top	At_Offset_2
0144 0007       |    |		Action	Break_Optional
0145			BODY_0140:
0145 00db       |    |		Load_Top	At_Offset_3
0146 7002       |p   |		Jump_Nonzero	0x149
0147 e217       |    |		Load	0x1,0x17
0148 0257       | W  |		Execute	Discrete,Raise
0149 00db       |    |		Load_Top	At_Offset_3
014a 0227       | '  |		Execute	Access,All_Reference
014b 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
014c 6812       |h   |		Jump_Zero	0x15f
014d 00db       |    |		Load_Top	At_Offset_3
014e 0229       | )  |		Execute	Access,All_Read
014f e5fe       |    |		Load	0x2,-0x2
0150 0120       |    |		Execute	Any,Is_Value
0151 6802       |h   |		Jump_Zero	0x154
0152 e20e       |    |		Load	0x1,0xe
0153 7803       |x   |		Jump	0x157
0154 e5fe       |    |		Load	0x2,-0x2
0155 e20e       |    |		Load	0x1,0xe
0156 0119       |    |		Execute	Any,Check_In_Formal_Type
0157 00d9       |    |		Load_Top	At_Offset_1
0158 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0159 8220       |    |		Call	0x1,0x20
015a 00da       |    |		Load_Top	At_Offset_2
015b 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
015c c5fe       |    |		Store	0x2,-0x2
015d 00d1       |    |		Pop_Control	Pop_Count_1
015e 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
015f 00db       |    |		Load_Top	At_Offset_3
0160 0227       | '  |		Execute	Access,All_Reference
0161 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0162 c5fe       |    |		Store	0x2,-0x2
0163 00db       |    |		Load_Top	At_Offset_3
0164 0227       | '  |		Execute	Access,All_Reference
0165 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0166 a5ff       |    |		Store_Unchecked	0x2,-0x1
0167 00d8       |    |		Load_Top	At_Offset_0
0168 821d       |    |		Call	0x1,0x1d
0169 0039       | 9  |		Store_Top	Access,At_Offset_1
016a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
016b 0000 0000  |    |		.BLANK	0000[0x5]
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 00db       |    |		Load_Top	At_Offset_3
0174 0007       |    |		Action	Break_Optional
0175			BODY_0170:
0175 e5fe       |    |		Load	0x2,-0x2
0176 6860       |h`  |		Jump_Zero	0x1d7
0177 e5fe       |    |		Load	0x2,-0x2
0178 0227       | '  |		Execute	Access,All_Reference
0179 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
017a e5ff       |    |		Load	0x2,-0x1
017b 820f       |    |		Call	0x1,0xf
017c 680c       |h   |		Jump_Zero	0x189
017d e5fe       |    |		Load	0x2,-0x2
017e 0229       | )  |		Execute	Access,All_Read
017f 00d8       |    |		Load_Top	At_Offset_0
0180 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0181 e5ff       |    |		Load	0x2,-0x1
0182 e20e       |    |		Load	0x1,0xe
0183 0119       |    |		Execute	Any,Check_In_Formal_Type
0184 8221       | !  |		Call	0x1,0x21
0185 00d9       |    |		Load_Top	At_Offset_1
0186 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0187 00d1       |    |		Pop_Control	Pop_Count_1
0188 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0189 00db       |    |		Load_Top	At_Offset_3
018a e5fe       |    |		Load	0x2,-0x2
018b 0227       | '  |		Execute	Access,All_Reference
018c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
018d 012e       | .  |		Execute	Any,Not_Equal
018e 680c       |h   |		Jump_Zero	0x19b
018f e5fe       |    |		Load	0x2,-0x2
0190 0229       | )  |		Execute	Access,All_Read
0191 00d8       |    |		Load_Top	At_Offset_0
0192 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0193 e5ff       |    |		Load	0x2,-0x1
0194 e20e       |    |		Load	0x1,0xe
0195 0119       |    |		Execute	Any,Check_In_Formal_Type
0196 8221       | !  |		Call	0x1,0x21
0197 00d9       |    |		Load_Top	At_Offset_1
0198 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0199 00d1       |    |		Pop_Control	Pop_Count_1
019a 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
019b e5fe       |    |		Load	0x2,-0x2
019c 0227       | '  |		Execute	Access,All_Reference
019d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
019e 022d       | -  |		Execute	Access,Is_Null
019f e5fe       |    |		Load	0x2,-0x2
01a0 0227       | '  |		Execute	Access,All_Reference
01a1 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01a2 022d       | -  |		Execute	Access,Is_Null
01a3 0279       | y  |		Execute	Discrete,And
01a4 6804       |h   |		Jump_Zero	0x1a9
01a5 e5fe       |    |		Load	0x2,-0x2
01a6 821d       |    |		Call	0x1,0x1d
01a7 c5fe       |    |		Store	0x2,-0x2
01a8 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a9 e5fe       |    |		Load	0x2,-0x2
01aa 0227       | '  |		Execute	Access,All_Reference
01ab 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01ac 7008       |p   |		Jump_Nonzero	0x1b5
01ad e5fe       |    |		Load	0x2,-0x2
01ae 0227       | '  |		Execute	Access,All_Reference
01af 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01b0 a5fe       |    |		Store_Unchecked	0x2,-0x2
01b1 00d8       |    |		Load_Top	At_Offset_0
01b2 821d       |    |		Call	0x1,0x1d
01b3 0039       | 9  |		Store_Top	Access,At_Offset_1
01b4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01b5 e5fe       |    |		Load	0x2,-0x2
01b6 0227       | '  |		Execute	Access,All_Reference
01b7 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01b8 7008       |p   |		Jump_Nonzero	0x1c1
01b9 e5fe       |    |		Load	0x2,-0x2
01ba 0227       | '  |		Execute	Access,All_Reference
01bb 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01bc a5fe       |    |		Store_Unchecked	0x2,-0x2
01bd 00d8       |    |		Load_Top	At_Offset_0
01be 821d       |    |		Call	0x1,0x1d
01bf 0039       | 9  |		Store_Top	Access,At_Offset_1
01c0 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01c1 e5fe       |    |		Load	0x2,-0x2
01c2 0229       | )  |		Execute	Access,All_Read
01c3 e5fe       |    |		Load	0x2,-0x2
01c4 0229       | )  |		Execute	Access,All_Read
01c5 00d9       |    |		Load_Top	At_Offset_1
01c6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01c7 0120       |    |		Execute	Any,Is_Value
01c8 6802       |h   |		Jump_Zero	0x1cb
01c9 e20e       |    |		Load	0x1,0xe
01ca 7804       |x   |		Jump	0x1cf
01cb 00d9       |    |		Load_Top	At_Offset_1
01cc 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01cd e20e       |    |		Load	0x1,0xe
01ce 0119       |    |		Execute	Any,Check_In_Formal_Type
01cf 00d9       |    |		Load_Top	At_Offset_1
01d0 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01d1 8220       |    |		Call	0x1,0x20
01d2 00da       |    |		Load_Top	At_Offset_2
01d3 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01d4 00da       |    |		Load_Top	At_Offset_2
01d5 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
01d6 00d2       |    |		Pop_Control	Pop_Count_2
01d7 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01d8 ; --------------------------------------------------------------------------------------
01d8 ; SUBPROGRAM
01d8 ; --------------------------------------------------------------------------------------
01d8 01db       |    |		.CONST	0x01db								; Address of begin
01d9 0004       |    |		.CONST	0x0004								; Address of exception handler
01da 0001       |    |		.CONST	0x0001								; Number of locals
01db			BODY_01d8:
01db			INIT_01d8:
01db 00da       |    |		Load_Top	At_Offset_2
01dc 0e01       |    |		Execute_Immediate	Not_Equal,0x1
01dd 6803       |h   |		Jump_Zero	0x1e1
01de e5fd       |    |		Load	0x2,-0x3
01df 482c       |H,  |		Short_Literal	0x2c
01e0 8002       |    |		Call	0x0,0x2
01e1 e5fd       |    |		Load	0x2,-0x3
01e2 00db       |    |		Load_Top	At_Offset_3
01e3 8003       |    |		Call	0x0,0x3
01e4 e5fd       |    |		Load	0x2,-0x3
01e5 0092 022b  |   +|		Action	Push_String_Extended,0x22b					; " => "
01e7 8004       |    |		Call	0x0,0x4
01e8 e5fd       |    |		Load	0x2,-0x3
01e9 e5fe       |    |		Load	0x2,-0x2
01ea 8210       |    |		Call	0x1,0x10
01eb 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
01ec 0000 0000  |    |		.BLANK	0000[0x4]
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 01f7       |    |		.CONST	0x01f7								; Address of begin
01f1 0004       |    |		.CONST	0x0004								; Address of exception handler
01f2 0003       |    |		.CONST	0x0003								; Number of locals
01f3			INIT_01f0:
01f3 00e4       |    |		Load_Encached	Positive_Cache
01f4 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
01f5 029f 0213  |    |		Declare_Subprogram	INIT_0210,For_Call
01f7			BODY_01f0:
01f7 e5fe       |    |		Load	0x2,-0x2
01f8 0092 022c  |   ,|		Action	Push_String_Extended,0x22c					; "Conflict_set'("
01fa 8005       |    |		Call	0x0,0x5
01fb e5fe       |    |		Load	0x2,-0x2
01fc 4802       |H   |		Short_Literal	0x2
01fd 8006       |    |		Call	0x0,0x6
01fe e5fe       |    |		Load	0x2,-0x2
01ff e5ff       |    |		Load	0x2,-0x1
0200 8403       |    |		Call	0x2,0x3
0201 e5fe       |    |		Load	0x2,-0x2
0202 4ffe       |O   |		Short_Literal	-0x2
0203 8006       |    |		Call	0x0,0x6
0204 e5fe       |    |		Load	0x2,-0x2
0205 0092 022d  |   -|		Action	Push_String_Extended,0x22d					; ")"
0207 8005       |    |		Call	0x0,0x5
0208 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0209 0000 0000  |    |		.BLANK	0000[0x7]
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 0213       |    |		.CONST	0x0213								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0001       |    |		.CONST	0x0001								; Number of locals
0213			BODY_0210:
0213			INIT_0210:
0213 00da       |    |		Load_Top	At_Offset_2
0214 6815       |h   |		Jump_Zero	0x22a
0215 00db       |    |		Load_Top	At_Offset_3
0216 00db       |    |		Load_Top	At_Offset_3
0217 0227       | '  |		Execute	Access,All_Reference
0218 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0219 8403       |    |		Call	0x2,0x3
021a 00db       |    |		Load_Top	At_Offset_3
021b 00db       |    |		Load_Top	At_Offset_3
021c 0227       | '  |		Execute	Access,All_Reference
021d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
021e e20e       |    |		Load	0x1,0xe
021f 0119       |    |		Execute	Any,Check_In_Formal_Type
0220 e402       |    |		Load	0x2,0x2
0221 8222       | "  |		Call	0x1,0x22
0222 e402       |    |		Load	0x2,0x2
0223 0a01       |    |		Execute_Immediate	Plus,0x1
0224 c402       |    |		Store	0x2,0x2
0225 00db       |    |		Load_Top	At_Offset_3
0226 00db       |    |		Load_Top	At_Offset_3
0227 0227       | '  |		Execute	Access,All_Reference
0228 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0229 8403       |    |		Call	0x2,0x3
022a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
022b ; --------------------------------------------------------------------------------------
022b ; STRING TABLE
022b ; --------------------------------------------------------------------------------------
022b 0008       |    |		.STRTAB	0x0008->0x022f							; " => "
022c 000a       |    |		.STRTAB	0x000a->0x0231							; "Conflict_set'("
022d 0016       |    |		.STRTAB	0x0016->0x0238							; ")"
022e 0015       |    |		.STREND 0x0015->0x0238
022f 203d 3e20  | => |		.STRTAB_STRINGS
0239 0000 0000  |    |		.BLANK	0000[0x7]
0240 ; --------------------------------------------------------------------------------------
0240 ; Debug Table
0240 ; --------------------------------------------------------------------------------------
0240 0004 0004  |    |		.DEBUG4	0x0004,0x0004,0x6186,0x0000,0x0001,0x0012
0246 000b 028e  |    |		.DBG4T	0x000b,0x028e,0xc000,0x0000
024a 0021 0297  | !  |		.DBG4T	0x0021,0x0297,0xc000,0x8000
024e 0053 02bd  | S  |		.DBG4T	0x0053,0x02bd,0x1001,0x0000
0252 0063 02c0  | c  |		.DBG4T	0x0063,0x02c0,0x1001,0x0000
0256 0073 02c3  | s  |		.DBG4T	0x0073,0x02c3,0x1001,0x0000
025a 0083 02c6  |    |		.DBG4T	0x0083,0x02c6,0x1002,0x0000
025e 008b 02c9  |    |		.DBG4T	0x008b,0x02c9,0x1002,0x0000
0262 00a3 02ce  |    |		.DBG4T	0x00a3,0x02ce,0x1001,0x0000
0266 00ab 0000  |    |		.DBG4T	0x00ab,0x0000,0x1005,0x0000
026a 00bb 02d1  |    |		.DBG4T	0x00bb,0x02d1,0x1002,0x0000
026e 00d3 02d9  |    |		.DBG4T	0x00d3,0x02d9,0x1001,0x0000
0272 00e3 02de  |    |		.DBG4T	0x00e3,0x02de,0x1001,0x0000
0276 0103 02e4  |    |		.DBG4T	0x0103,0x02e4,0x1001,0x0000
027a 0143 02ed  | C  |		.DBG4T	0x0143,0x02ed,0x1001,0x0000
027e 0173 02f7  | s  |		.DBG4T	0x0173,0x02f7,0x1001,0x0000
0282 01db 0308  |    |		.DBG4T	0x01db,0x0308,0x1001,0x0000
0286 01f3 030f  |    |		.DBG4T	0x01f3,0x030f,0x1001,0x0000
028a 0213 0318  |    |		.DBG4T	0x0213,0x0318,0x1001,0x0000
028e ; --------------------------------------------------------------------------------------
028e ; Debug chain
028e ; --------------------------------------------------------------------------------------
028e 0007 0000  |    |		.DBGLEN	0x0007,0x0000
0290 000b 000d  |    |		.DBGLNO	0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017
0297 ; --------------------------------------------------------------------------------------
0297 ; Debug chain
0297 ; --------------------------------------------------------------------------------------
0297 0012 0000  |    |		.DBGLEN	0x0012,0x0000
0299 0021 0023  | ! #|		.DBGLNO	0x0021,0x0023,0x002e,0x0030,0x0032,0x0034,0x0036,0x0038,0x003a,0x003c,0x003e,0x0040,0x0042,0x0044,0x0046,0x0048,0x004a,0x004c
02ab 0002 0003  |    |		.XXX[0x12]
02ad 0004 0005  |    |
02af 0006 0007  |    |
02b1 0008 0009  |    |
02b3 000a 000b  |    |
02b5 000c 000d  |    |
02b7 000e 000f  |    |
02b9 0010 0011  |    |
02bb 0012 0013  |    |
02bd ; --------------------------------------------------------------------------------------
02bd ; Debug chain
02bd ; --------------------------------------------------------------------------------------
02bd 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02bf 0053       | S  |		.DBGLNO	0x0053
02c0 ; --------------------------------------------------------------------------------------
02c0 ; Debug chain
02c0 ; --------------------------------------------------------------------------------------
02c0 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02c2 0063       | c  |		.DBGLNO	0x0063
02c3 ; --------------------------------------------------------------------------------------
02c3 ; Debug chain
02c3 ; --------------------------------------------------------------------------------------
02c3 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02c5 0073       | s  |		.DBGLNO	0x0073
02c6 ; --------------------------------------------------------------------------------------
02c6 ; Debug chain
02c6 ; --------------------------------------------------------------------------------------
02c6 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02c8 0083       |    |		.DBGLNO	0x0083
02c9 ; --------------------------------------------------------------------------------------
02c9 ; Debug chain
02c9 ; --------------------------------------------------------------------------------------
02c9 0001 0002  |    |		.DBGLEN	0x0001,0x0002
02cb 008b 008f  |    |		.DBGLNO	0x008b,0x008f,0x009b
02ce ; --------------------------------------------------------------------------------------
02ce ; Debug chain
02ce ; --------------------------------------------------------------------------------------
02ce 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02d0 00a3       |    |		.DBGLNO	0x00a3
02d1 ; --------------------------------------------------------------------------------------
02d1 ; Debug chain
02d1 ; --------------------------------------------------------------------------------------
02d1 0001 0005  |    |		.DBGLEN	0x0001,0x0005
02d3 00bb 00bd  |    |		.DBGLNO	0x00bb,0x00bd,0x00bf,0x00c5,0x00c7,0x00cb
02d9 ; --------------------------------------------------------------------------------------
02d9 ; Debug chain
02d9 ; --------------------------------------------------------------------------------------
02d9 0000 0003  |    |		.DBGLEN	0x0000,0x0003
02db 00d3 00d7  |    |		.DBGLNO	0x00d3,0x00d7,0x00d9
02de ; --------------------------------------------------------------------------------------
02de ; Debug chain
02de ; --------------------------------------------------------------------------------------
02de 0000 0004  |    |		.DBGLEN	0x0000,0x0004
02e0 00e3 00e5  |    |		.DBGLNO	0x00e3,0x00e5,0x00ed,0x00f5
02e4 ; --------------------------------------------------------------------------------------
02e4 ; Debug chain
02e4 ; --------------------------------------------------------------------------------------
02e4 0000 0007  |    |		.DBGLEN	0x0000,0x0007
02e6 0103 0105  |    |		.DBGLNO	0x0103,0x0105,0x0107,0x0118,0x011e,0x012a,0x0130
02ed ; --------------------------------------------------------------------------------------
02ed ; Debug chain
02ed ; --------------------------------------------------------------------------------------
02ed 0001 0007  |    |		.DBGLEN	0x0001,0x0007
02ef 0143 0145  | C E|		.DBGLNO	0x0143,0x0145,0x0147,0x0149,0x014d,0x015f,0x0163,0x0167
02f7 ; --------------------------------------------------------------------------------------
02f7 ; Debug chain
02f7 ; --------------------------------------------------------------------------------------
02f7 0001 000e  |    |		.DBGLEN	0x0001,0x000e
02f9 0173 0175  | s u|		.DBGLNO	0x0173,0x0175,0x0177,0x017d,0x0189,0x018f,0x019b,0x01a5,0x01a9,0x01ad,0x01b1,0x01b5,0x01b9,0x01bd,0x01c1
0308 ; --------------------------------------------------------------------------------------
0308 ; Debug chain
0308 ; --------------------------------------------------------------------------------------
0308 0000 0005  |    |		.DBGLEN	0x0000,0x0005
030a 01db 01de  |    |		.DBGLNO	0x01db,0x01de,0x01e1,0x01e4,0x01e8
030f ; --------------------------------------------------------------------------------------
030f ; Debug chain
030f ; --------------------------------------------------------------------------------------
030f 0002 0005  |    |		.DBGLEN	0x0002,0x0005
0311 01f3 01f5  |    |		.DBGLNO	0x01f3,0x01f5,0x01f7,0x01fb,0x01fe,0x0201,0x0204
0318 ; --------------------------------------------------------------------------------------
0318 ; Debug chain
0318 ; --------------------------------------------------------------------------------------
0318 0000 0005  |    |		.DBGLEN	0x0000,0x0005
031a 0213 0215  |    |		.DBGLNO	0x0213,0x0215,0x021a,0x0222,0x0225
031f 0000 0000  |    |		.BLANK	0000[0xe1]