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

⟦b6f80e2b1⟧

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

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 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 005c       | \  |		.CONST	0x005c								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0027       | '  |		.CONST	0x0027								; Number of locals
000b			INIT_0008:
000b 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated
000d 029a 0073  |   s|		Declare_Subprogram	INIT_0070,For_Outer_Call,Visible,Unelaborated
000f 029a 007b  |   {|		Declare_Subprogram	INIT_0078,For_Outer_Call,Visible,Unelaborated
0011 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated
0013 029a 009b  |    |		Declare_Subprogram	INIT_0098,For_Outer_Call,Visible,Unelaborated
0015 029a 00a3  |    |		Declare_Subprogram	INIT_00a0,For_Outer_Call,Visible,Unelaborated
0017 029a 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Outer_Call,Visible,Unelaborated
0019 029a 00cb  |    |		Declare_Subprogram	INIT_00c8,For_Outer_Call,Visible,Unelaborated
001b 0093 0000  |    |		push_full_address	0x0
001d 604e       |`N  |		Indirect_Literal	Discrete,0x6c,{0x80000000, 0x00010000}
001e 0273       | s  |		Execute	Discrete,Plus
001f e20d       |    |		Load	0x1,0xd
0020 6047       |`G  |		Indirect_Literal	Discrete,0x68,{0x00000000, 0x0000ffff}
0021 0279       | y  |		Execute	Discrete,And
0022 0273       | s  |		Execute	Discrete,Plus
0023 0129       | )  |		Execute	Any,Make_Visible
0024 00bf       |    |		Action	Accept_Activation
0025 0007       |    |		Action	Break_Optional
0026 4818       |H   |		Short_Literal	0x18
0027 03cc       |    |		Declare_Type	Access,Incomplete,Accesses_Protected
0028 e20e       |    |		Load	0x1,0xe
0029 00d9       |    |		Load_Top	At_Offset_1
002a 00da       |    |		Load_Top	At_Offset_2
002b 029f 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Call
002d 4803       |H   |		Short_Literal	0x3
002e 032d       | -  |		Declare_Type	Record,Defined
002f 00d8       |    |		Load_Top	At_Offset_0
0030 02a0       |    |		Declare_Subprogram	Null_Subprogram
0031 00db       |    |		Load_Top	At_Offset_3
0032 03c7       |    |		Complete_Type	Access,By_Defining
0033 4fff       |O   |		Short_Literal	-0x1
0034 00e2       |    |		Load_Encached	Integer_Cache
0035 03f1       |    |		Declare_Variable	Discrete,With_Value
0036 00e2       |    |		Load_Encached	Integer_Cache
0037 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0038 00db       |    |		Load_Top	At_Offset_3
0039 0007       |    |		Action	Break_Optional
003a e21a       |    |		Load	0x1,0x1a
003b 0007       |    |		Action	Break_Optional
003c 029d 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call
003e 029d 00fb  |    |		Declare_Subprogram	INIT_00f8,For_Outer_Call
0040 029d 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call
0042 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
0043 00c7       |    |		Action	Elaborate_Subprogram
0044 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
0045 00c7       |    |		Action	Elaborate_Subprogram
0046 029d 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call
0048 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0049 00c7       |    |		Action	Elaborate_Subprogram
004a 029d 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call
004c 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
004d 00c7       |    |		Action	Elaborate_Subprogram
004e 029d 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call
0050 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0051 00c7       |    |		Action	Elaborate_Subprogram
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 029d 020b  |    |		Declare_Subprogram	INIT_0208,For_Outer_Call
0058 029d 0223  |   #|		Declare_Subprogram	INIT_0220,For_Outer_Call
005a 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
005b 00c7       |    |		Action	Elaborate_Subprogram
005c			BODY_0008:
005c 00bc       |    |		Action	Signal_Activated
005d 00bb       |    |		Action	Signal_Completion
005e 0000 0000  |    |		.XXX[0x2]
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 e21e       |    |		Load	0x1,0x1e
0064 8222       | "  |		Call	0x1,0x22
0065 c21e       |    |		Store	0x1,0x1e
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 a21c       |    |		Store_Unchecked	0x1,0x1c
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 e21e       |    |		Load	0x1,0x1e
007c 00db       |    |		Load_Top	At_Offset_3
007d e20e       |    |		Load	0x1,0xe
007e 0119       |    |		Execute	Any,Check_In_Formal_Type
007f 8223       | #  |		Call	0x1,0x23
0080 c21e       |    |		Store	0x1,0x1e
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 e21e       |    |		Load	0x1,0x1e
008c 00db       |    |		Load_Top	At_Offset_3
008d e20e       |    |		Load	0x1,0xe
008e 0119       |    |		Execute	Any,Check_In_Formal_Type
008f 8225       | %  |		Call	0x1,0x25
0090 c21e       |    |		Store	0x1,0x1e
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 e21e       |    |		Load	0x1,0x1e
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 e21c       |    |		Load	0x1,0x1c
00a4 0d00       |    |		Execute_Immediate	Less,0x0
00a5 6802       |h   |		Jump_Zero	0xa8
00a6 4800       |H   |		Short_Literal	0x0
00a7 00ca       |    |		Action	Exit_Nullary_Function
00a8 e21d       |    |		Load	0x1,0x1d
00a9 e21c       |    |		Load	0x1,0x1c
00aa 027b       | {  |		Execute	Discrete,Greater_Equal
00ab 00ca       |    |		Action	Exit_Nullary_Function
00ac 0000 0000  |    |		.BLANK	0000[0x4]
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 e21e       |    |		Load	0x1,0x1e
00c0 8224       | $  |		Call	0x1,0x24
00c1 c21e       |    |		Store	0x1,0x1e
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 e21e       |    |		Load	0x1,0x1e
00cd 8227       | '  |		Call	0x1,0x27
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 e21a       |    |		Load	0x1,0x1a
00e4 0007       |    |		Action	Break_Optional
00e5			BODY_00e0:
00e5 e21d       |    |		Load	0x1,0x1d
00e6 0a01       |    |		Execute_Immediate	Plus,0x1
00e7 c21d       |    |		Store	0x1,0x1d
00e8 e21f       |    |		Load	0x1,0x1f
00e9 7006       |p   |		Jump_Nonzero	0xf0
00ea e21a       |    |		Load	0x1,0x1a
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 e21f       |    |		Load	0x1,0x1f
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 a21f       |    |		Store_Unchecked	0x1,0x1f
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 e21f       |    |		Load	0x1,0x1f
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 a21f       |    |		Store_Unchecked	0x1,0x1f
0101 e21a       |    |		Load	0x1,0x1a
0102 003b       | ;  |		Store_Top	Access,At_Offset_3
0103 e21d       |    |		Load	0x1,0x1d
0104 0aff       |    |		Execute_Immediate	Plus,-0x1
0105 c21d       |    |		Store	0x1,0x1d
0106 e21d       |    |		Load	0x1,0x1d
0107 0d00       |    |		Execute_Immediate	Less,0x0
0108 6802       |h   |		Jump_Zero	0x10b
0109 e219       |    |		Load	0x1,0x19
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 8222       | "  |		Call	0x1,0x22
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 8222       | "  |		Call	0x1,0x22
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 8221       | !  |		Call	0x1,0x21
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 8220       |    |		Call	0x1,0x20
0136 a5fe       |    |		Store_Unchecked	0x2,-0x2
0137 e21b       |    |		Load	0x1,0x1b
0138 0322       | "  |		Declare_Variable	Record
0139 00db       |    |		Load_Top	At_Offset_3
013a e21b       |    |		Load	0x1,0x1b
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 e21a       |    |		Load	0x1,0x1a
0140 00d9       |    |		Load_Top	At_Offset_1
0141 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0142 e21a       |    |		Load	0x1,0x1a
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 8223       | #  |		Call	0x1,0x23
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 8223       | #  |		Call	0x1,0x23
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 e219       |    |		Load	0x1,0x19
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 8224       | $  |		Call	0x1,0x24
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 8221       | !  |		Call	0x1,0x21
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 8225       | %  |		Call	0x1,0x25
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 8225       | %  |		Call	0x1,0x25
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 8221       | !  |		Call	0x1,0x21
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 8221       | !  |		Call	0x1,0x21
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 8221       | !  |		Call	0x1,0x21
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 8224       | $  |		Call	0x1,0x24
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 8226       | &  |		Call	0x1,0x26
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 0006  |    |		.DEBUG4	0x0004,0x0006,0xb327,0x0000,0x0001,0x0014
0276 000b 02c6  |    |		.DBG4T	0x000b,0x02c6,0xc000,0x0000
027a 0025 02d1  | %  |		.DBG4T	0x0025,0x02d1,0xc000,0x0000
027e 0063 02ea  | c  |		.DBG4T	0x0063,0x02ea,0x1001,0x0000
0282 0073 02ed  | s  |		.DBG4T	0x0073,0x02ed,0x1001,0x0000
0286 007b 02f0  | {  |		.DBG4T	0x007b,0x02f0,0x1001,0x0000
028a 008b 02f3  |    |		.DBG4T	0x008b,0x02f3,0x1001,0x0000
028e 009b 02f6  |    |		.DBG4T	0x009b,0x02f6,0x1002,0x0000
0292 00a3 02f9  |    |		.DBG4T	0x00a3,0x02f9,0x1002,0x0000
0296 00b3 02fe  |    |		.DBG4T	0x00b3,0x02fe,0x1002,0x0000
029a 00cb 0303  |    |		.DBG4T	0x00cb,0x0303,0x1001,0x0000
029e 00d3 0000  |    |		.DBG4T	0x00d3,0x0000,0x1005,0x0000
02a2 00e3 0306  |    |		.DBG4T	0x00e3,0x0306,0x1002,0x0000
02a6 00fb 030f  |    |		.DBG4T	0x00fb,0x030f,0x1001,0x0000
02aa 0113 0317  |    |		.DBG4T	0x0113,0x0317,0x1001,0x0000
02ae 0133 031d  | 3  |		.DBG4T	0x0133,0x031d,0x1001,0x0000
02b2 0173 0326  | s &|		.DBG4T	0x0173,0x0326,0x1001,0x0000
02b6 01a3 0330  |   0|		.DBG4T	0x01a3,0x0330,0x1001,0x0000
02ba 020b 0341  |   A|		.DBG4T	0x020b,0x0341,0x1001,0x0000
02be 0223 0348  | # H|		.DBG4T	0x0223,0x0348,0x1001,0x0000
02c2 0243 0351  | C Q|		.DBG4T	0x0243,0x0351,0x1001,0x0000
02c6 ; --------------------------------------------------------------------------------------
02c6 ; Debug chain
02c6 ; --------------------------------------------------------------------------------------
02c6 0009 0000  |    |		.DBGLEN	0x0009,0x0000
02c8 000b 000d  |    |		.DBGLNO	0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b
02d1 ; --------------------------------------------------------------------------------------
02d1 ; Debug chain
02d1 ; --------------------------------------------------------------------------------------
02d1 0017 0000  |    |		.DBGLEN	0x0017,0x0000
02d3 0025 0026  | % &|		.DBGLNO	0x0025,0x0026,0x0028,0x0033,0x0036,0x0038,0x003a,0x003c,0x003e,0x0040,0x0042,0x0044,0x0046,0x0048,0x004a,0x004c,0x004e,0x0050,0x0052,0x0054,0x0056,0x0058,0x005a
02ea ; --------------------------------------------------------------------------------------
02ea ; Debug chain
02ea ; --------------------------------------------------------------------------------------
02ea 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02ec 0063       | c  |		.DBGLNO	0x0063
02ed ; --------------------------------------------------------------------------------------
02ed ; Debug chain
02ed ; --------------------------------------------------------------------------------------
02ed 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02ef 0073       | s  |		.DBGLNO	0x0073
02f0 ; --------------------------------------------------------------------------------------
02f0 ; Debug chain
02f0 ; --------------------------------------------------------------------------------------
02f0 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02f2 007b       | {  |		.DBGLNO	0x007b
02f3 ; --------------------------------------------------------------------------------------
02f3 ; Debug chain
02f3 ; --------------------------------------------------------------------------------------
02f3 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02f5 008b       |    |		.DBGLNO	0x008b
02f6 ; --------------------------------------------------------------------------------------
02f6 ; Debug chain
02f6 ; --------------------------------------------------------------------------------------
02f6 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02f8 009b       |    |		.DBGLNO	0x009b
02f9 ; --------------------------------------------------------------------------------------
02f9 ; Debug chain
02f9 ; --------------------------------------------------------------------------------------
02f9 0000 0003  |    |		.DBGLEN	0x0000,0x0003
02fb 00a3 00a6  |    |		.DBGLNO	0x00a3,0x00a6,0x00a8
02fe ; --------------------------------------------------------------------------------------
02fe ; Debug chain
02fe ; --------------------------------------------------------------------------------------
02fe 0001 0002  |    |		.DBGLEN	0x0001,0x0002
0300 00b3 00b7  |    |		.DBGLNO	0x00b3,0x00b7,0x00c3
0303 ; --------------------------------------------------------------------------------------
0303 ; Debug chain
0303 ; --------------------------------------------------------------------------------------
0303 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0305 00cb       |    |		.DBGLNO	0x00cb
0306 ; --------------------------------------------------------------------------------------
0306 ; Debug chain
0306 ; --------------------------------------------------------------------------------------
0306 0001 0006  |    |		.DBGLEN	0x0001,0x0006
0308 00e3 00e5  |    |		.DBGLNO	0x00e3,0x00e5,0x00e8,0x00ea,0x00f0,0x00f2,0x00f6
030f ; --------------------------------------------------------------------------------------
030f ; Debug chain
030f ; --------------------------------------------------------------------------------------
030f 0000 0006  |    |		.DBGLEN	0x0000,0x0006
0311 00fb 00ff  |    |		.DBGLNO	0x00fb,0x00ff,0x0101,0x0103,0x0106,0x0109
0317 ; --------------------------------------------------------------------------------------
0317 ; Debug chain
0317 ; --------------------------------------------------------------------------------------
0317 0000 0004  |    |		.DBGLEN	0x0000,0x0004
0319 0113 0115  |    |		.DBGLNO	0x0113,0x0115,0x011d,0x0125
031d ; --------------------------------------------------------------------------------------
031d ; Debug chain
031d ; --------------------------------------------------------------------------------------
031d 0000 0007  |    |		.DBGLEN	0x0000,0x0007
031f 0133 0135  | 3 5|		.DBGLNO	0x0133,0x0135,0x0137,0x0148,0x014e,0x015a,0x0160
0326 ; --------------------------------------------------------------------------------------
0326 ; Debug chain
0326 ; --------------------------------------------------------------------------------------
0326 0001 0007  |    |		.DBGLEN	0x0001,0x0007
0328 0173 0175  | s u|		.DBGLNO	0x0173,0x0175,0x0177,0x0179,0x017d,0x018f,0x0193,0x0197
0330 ; --------------------------------------------------------------------------------------
0330 ; Debug chain
0330 ; --------------------------------------------------------------------------------------
0330 0001 000e  |    |		.DBGLEN	0x0001,0x000e
0332 01a3 01a5  |    |		.DBGLNO	0x01a3,0x01a5,0x01a7,0x01ad,0x01b9,0x01bf,0x01cb,0x01d5,0x01d9,0x01dd,0x01e1,0x01e5,0x01e9,0x01ed,0x01f1
0341 ; --------------------------------------------------------------------------------------
0341 ; Debug chain
0341 ; --------------------------------------------------------------------------------------
0341 0000 0005  |    |		.DBGLEN	0x0000,0x0005
0343 020b 020e  |    |		.DBGLNO	0x020b,0x020e,0x0211,0x0214,0x0218
0348 ; --------------------------------------------------------------------------------------
0348 ; Debug chain
0348 ; --------------------------------------------------------------------------------------
0348 0002 0005  |    |		.DBGLEN	0x0002,0x0005
034a 0223 0225  | # %|		.DBGLNO	0x0223,0x0225,0x0227,0x022b,0x022e,0x0231,0x0234
0351 ; --------------------------------------------------------------------------------------
0351 ; Debug chain
0351 ; --------------------------------------------------------------------------------------
0351 0000 0005  |    |		.DBGLEN	0x0000,0x0005
0353 0243 0245  | C E|		.DBGLNO	0x0243,0x0245,0x024a,0x0252,0x0255
0358 0000 0000  |    |		.BLANK	0000[0xa8]