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

⟦0503a3d78⟧

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

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 0248       | H  |		.CONST	0x0248								; 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 004f       | O  |		.CONST	0x004f								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0023       | #  |		.CONST	0x0023								; Number of locals
000b			INIT_0008:
000b 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated
000d 029a 006b  |   k|		Declare_Subprogram	INIT_0068,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 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated
0015 029a 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Outer_Call,Visible,Unelaborated
0017 0093 0000  |    |		push_full_address	0x0
0019 604a       |`J  |		Indirect_Literal	Discrete,0x64,{0x80000000, 0x00010000}
001a 0273       | s  |		Execute	Discrete,Plus
001b e20d       |    |		Load	0x1,0xd
001c 6043       |`C  |		Indirect_Literal	Discrete,0x60,{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 0007       |    |		Action	Break_Optional
0022 4818       |H   |		Short_Literal	0x18
0023 03cc       |    |		Declare_Type	Access,Incomplete,Accesses_Protected
0024 e20e       |    |		Load	0x1,0xe
0025 00d9       |    |		Load_Top	At_Offset_1
0026 00da       |    |		Load_Top	At_Offset_2
0027 029f 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Call
0029 4803       |H   |		Short_Literal	0x3
002a 032d       | -  |		Declare_Type	Record,Defined
002b 00d8       |    |		Load_Top	At_Offset_0
002c 02a0       |    |		Declare_Subprogram	Null_Subprogram
002d 00db       |    |		Load_Top	At_Offset_3
002e 03c7       |    |		Complete_Type	Access,By_Defining
002f 00d9       |    |		Load_Top	At_Offset_1
0030 0007       |    |		Action	Break_Optional
0031 00da       |    |		Load_Top	At_Offset_2
0032 0007       |    |		Action	Break_Optional
0033 029d 00c3  |    |		Declare_Subprogram	INIT_00c0,For_Outer_Call
0035 029d 00db  |    |		Declare_Subprogram	INIT_00d8,For_Outer_Call
0037 029d 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Outer_Call
0039 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
003a 00c7       |    |		Action	Elaborate_Subprogram
003b 029d 010b  |    |		Declare_Subprogram	INIT_0108,For_Outer_Call
003d 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
003e 00c7       |    |		Action	Elaborate_Subprogram
003f 029d 014b  |   K|		Declare_Subprogram	INIT_0148,For_Outer_Call
0041 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0042 00c7       |    |		Action	Elaborate_Subprogram
0043 029d 017b  |   {|		Declare_Subprogram	INIT_0178,For_Outer_Call
0045 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0046 00c7       |    |		Action	Elaborate_Subprogram
0047 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0048 00c7       |    |		Action	Elaborate_Subprogram
0049 029d 01e3  |    |		Declare_Subprogram	INIT_01e0,For_Outer_Call
004b 029d 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Outer_Call
004d 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
004e 00c7       |    |		Action	Elaborate_Subprogram
004f			BODY_0008:
004f 00bc       |    |		Action	Signal_Activated
0050 00bb       |    |		Action	Signal_Completion
0051 0000 0000  |    |		.BLANK	0000[0x7]
0058 ; --------------------------------------------------------------------------------------
0058 ; SUBPROGRAM
0058 ; --------------------------------------------------------------------------------------
0058 005b       | [  |		.CONST	0x005b								; Address of begin
0059 0004       |    |		.CONST	0x0004								; Address of exception handler
005a 0001       |    |		.CONST	0x0001								; Number of locals
005b			BODY_0058:
005b			INIT_0058:
005b e21a       |    |		Load	0x1,0x1a
005c 821e       |    |		Call	0x1,0x1e
005d c21a       |    |		Store	0x1,0x1a
005e 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
005f 0000       |    |		.XXX[0x1]
0060 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
0064 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 006b       | k  |		.CONST	0x006b								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0001       |    |		.CONST	0x0001								; Number of locals
006b			BODY_0068:
006b			INIT_0068:
006b e21a       |    |		Load	0x1,0x1a
006c 00db       |    |		Load_Top	At_Offset_3
006d e20e       |    |		Load	0x1,0xe
006e 0119       |    |		Execute	Any,Check_In_Formal_Type
006f 821f       |    |		Call	0x1,0x1f
0070 c21a       |    |		Store	0x1,0x1a
0071 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0072 0000 0000  |    |		.BLANK	0000[0x6]
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 e21a       |    |		Load	0x1,0x1a
007c 00db       |    |		Load_Top	At_Offset_3
007d e20e       |    |		Load	0x1,0xe
007e 0119       |    |		Execute	Any,Check_In_Formal_Type
007f 8221       | !  |		Call	0x1,0x21
0080 c21a       |    |		Store	0x1,0x1a
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 e21a       |    |		Load	0x1,0x1a
008c 022d       | -  |		Execute	Access,Is_Null
008d 00ca       |    |		Action	Exit_Nullary_Function
008e 0000 0000  |    |		.XXX[0x2]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 0097       |    |		.CONST	0x0097								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0002       |    |		.CONST	0x0002								; Number of locals
0093			INIT_0090:
0093 e20e       |    |		Load	0x1,0xe
0094 02c7       |    |		Declare_Variable	Any
0095 00d8       |    |		Load_Top	At_Offset_0
0096 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0097			BODY_0090:
0097 00d8       |    |		Load_Top	At_Offset_0
0098 0120       |    |		Execute	Any,Is_Value
0099 6802       |h   |		Jump_Zero	0x9c
009a e20e       |    |		Load	0x1,0xe
009b 7803       |x   |		Jump	0x9f
009c 00d8       |    |		Load_Top	At_Offset_0
009d e20e       |    |		Load	0x1,0xe
009e 0119       |    |		Execute	Any,Check_In_Formal_Type
009f e21a       |    |		Load	0x1,0x1a
00a0 8220       |    |		Call	0x1,0x20
00a1 c21a       |    |		Store	0x1,0x1a
00a2 c402       |    |		Store	0x2,0x2
00a3 00d8       |    |		Load_Top	At_Offset_0
00a4 e20e       |    |		Load	0x1,0xe
00a5 0119       |    |		Execute	Any,Check_In_Formal_Type
00a6 00ca       |    |		Action	Exit_Nullary_Function
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 00da       |    |		Load_Top	At_Offset_2
00ac e21a       |    |		Load	0x1,0x1a
00ad 8223       | #  |		Call	0x1,0x23
00ae 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00af 0000       |    |		.XXX[0x1]
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00b3       |    |		.CONST	0x00b3								; Address of begin
00b1 0004       |    |		.CONST	0x0004								; Address of exception handler
00b2 0001       |    |		.CONST	0x0001								; Number of locals
00b3			BODY_00b0:
00b3			INIT_00b0:
00b3 4601       |F   |		Jump_Case	0x2
00b4 7801       |x   |		Jump	0xb6								; case 0x0
00b5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
00b6 00da       |    |		Load_Top	At_Offset_2
00b7 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
00b8 0125       | %  |		Execute	Any,Set_Constraint
00b9 00da       |    |		Load_Top	At_Offset_2
00ba 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
00bb 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00bc 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
00bd 0000 0000  |    |		.XXX[0x3]
00bf 0000       |    |
00c0 ; --------------------------------------------------------------------------------------
00c0 ; SUBPROGRAM
00c0 ; --------------------------------------------------------------------------------------
00c0 00c5       |    |		.CONST	0x00c5								; Address of begin
00c1 0004       |    |		.CONST	0x0004								; Address of exception handler
00c2 0002       |    |		.CONST	0x0002								; Number of locals
00c3			INIT_00c0:
00c3 e218       |    |		Load	0x1,0x18
00c4 0007       |    |		Action	Break_Optional
00c5			BODY_00c0:
00c5 e21b       |    |		Load	0x1,0x1b
00c6 7006       |p   |		Jump_Nonzero	0xcd
00c7 e218       |    |		Load	0x1,0x18
00c8 03bc       |    |		Declare_Variable	Access,By_Allocation
00c9 00d8       |    |		Load_Top	At_Offset_0
00ca 0227       | '  |		Execute	Access,All_Reference
00cb 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00cc 00ca       |    |		Action	Exit_Nullary_Function
00cd e21b       |    |		Load	0x1,0x1b
00ce 0039       | 9  |		Store_Top	Access,At_Offset_1
00cf 00d8       |    |		Load_Top	At_Offset_0
00d0 0227       | '  |		Execute	Access,All_Reference
00d1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00d2 a21b       |    |		Store_Unchecked	0x1,0x1b
00d3 00d8       |    |		Load_Top	At_Offset_0
00d4 00ca       |    |		Action	Exit_Nullary_Function
00d5 0000 0000  |    |		.XXX[0x3]
00d7 0000       |    |
00d8 ; --------------------------------------------------------------------------------------
00d8 ; SUBPROGRAM
00d8 ; --------------------------------------------------------------------------------------
00d8 00db       |    |		.CONST	0x00db								; Address of begin
00d9 0004       |    |		.CONST	0x0004								; Address of exception handler
00da 0001       |    |		.CONST	0x0001								; Number of locals
00db			BODY_00d8:
00db			INIT_00d8:
00db e21b       |    |		Load	0x1,0x1b
00dc 00db       |    |		Load_Top	At_Offset_3
00dd 0227       | '  |		Execute	Access,All_Reference
00de 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00df 00da       |    |		Load_Top	At_Offset_2
00e0 a21b       |    |		Store_Unchecked	0x1,0x1b
00e1 e218       |    |		Load	0x1,0x18
00e2 003b       | ;  |		Store_Top	Access,At_Offset_3
00e3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00e4 0000 0000  |    |		.BLANK	0000[0x4]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00eb       |    |		.CONST	0x00eb								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0001       |    |		.CONST	0x0001								; Number of locals
00eb			BODY_00e8:
00eb			INIT_00e8:
00eb 00da       |    |		Load_Top	At_Offset_2
00ec 6813       |h   |		Jump_Zero	0x100
00ed 00da       |    |		Load_Top	At_Offset_2
00ee 0229       | )  |		Execute	Access,All_Read
00ef 00d8       |    |		Load_Top	At_Offset_0
00f0 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00f1 821e       |    |		Call	0x1,0x1e
00f2 00d9       |    |		Load_Top	At_Offset_1
00f3 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00f4 00d1       |    |		Pop_Control	Pop_Count_1
00f5 00da       |    |		Load_Top	At_Offset_2
00f6 0229       | )  |		Execute	Access,All_Read
00f7 00d8       |    |		Load_Top	At_Offset_0
00f8 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00f9 821e       |    |		Call	0x1,0x1e
00fa 00d9       |    |		Load_Top	At_Offset_1
00fb 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00fc 00d1       |    |		Pop_Control	Pop_Count_1
00fd 00da       |    |		Load_Top	At_Offset_2
00fe 821d       |    |		Call	0x1,0x1d
00ff 003b       | ;  |		Store_Top	Access,At_Offset_3
0100 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0101 0000 0000  |    |		.BLANK	0000[0x7]
0108 ; --------------------------------------------------------------------------------------
0108 ; SUBPROGRAM
0108 ; --------------------------------------------------------------------------------------
0108 010b       |    |		.CONST	0x010b								; Address of begin
0109 0004       |    |		.CONST	0x0004								; Address of exception handler
010a 0001       |    |		.CONST	0x0001								; Number of locals
010b			BODY_0108:
010b			INIT_0108:
010b 00db       |    |		Load_Top	At_Offset_3
010c 7013       |p   |		Jump_Nonzero	0x120
010d 821c       |    |		Call	0x1,0x1c
010e a5fe       |    |		Store_Unchecked	0x2,-0x2
010f e219       |    |		Load	0x1,0x19
0110 0322       | "  |		Declare_Variable	Record
0111 00db       |    |		Load_Top	At_Offset_3
0112 e219       |    |		Load	0x1,0x19
0113 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
0114 0119       |    |		Execute	Any,Check_In_Formal_Type
0115 00d9       |    |		Load_Top	At_Offset_1
0116 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0117 e218       |    |		Load	0x1,0x18
0118 00d9       |    |		Load_Top	At_Offset_1
0119 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
011a e218       |    |		Load	0x1,0x18
011b 00d9       |    |		Load_Top	At_Offset_1
011c 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
011d e5fe       |    |		Load	0x2,-0x2
011e 0228       | (  |		Execute	Access,All_Write
011f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0120 00db       |    |		Load_Top	At_Offset_3
0121 0227       | '  |		Execute	Access,All_Reference
0122 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0123 00db       |    |		Load_Top	At_Offset_3
0124 820f       |    |		Call	0x1,0xf
0125 680c       |h   |		Jump_Zero	0x132
0126 00db       |    |		Load_Top	At_Offset_3
0127 0229       | )  |		Execute	Access,All_Read
0128 00d8       |    |		Load_Top	At_Offset_0
0129 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
012a e5ff       |    |		Load	0x2,-0x1
012b e20e       |    |		Load	0x1,0xe
012c 0119       |    |		Execute	Any,Check_In_Formal_Type
012d 821f       |    |		Call	0x1,0x1f
012e 00d9       |    |		Load_Top	At_Offset_1
012f 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0130 00d1       |    |		Pop_Control	Pop_Count_1
0131 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0132 00da       |    |		Load_Top	At_Offset_2
0133 e5fe       |    |		Load	0x2,-0x2
0134 0227       | '  |		Execute	Access,All_Reference
0135 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0136 012e       | .  |		Execute	Any,Not_Equal
0137 680b       |h   |		Jump_Zero	0x143
0138 00db       |    |		Load_Top	At_Offset_3
0139 0229       | )  |		Execute	Access,All_Read
013a 00d8       |    |		Load_Top	At_Offset_0
013b 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
013c e5ff       |    |		Load	0x2,-0x1
013d e20e       |    |		Load	0x1,0xe
013e 0119       |    |		Execute	Any,Check_In_Formal_Type
013f 821f       |    |		Call	0x1,0x1f
0140 00d9       |    |		Load_Top	At_Offset_1
0141 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0142 00d1       |    |		Pop_Control	Pop_Count_1
0143 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0144 0000 0000  |    |		.BLANK	0000[0x4]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014d       | M  |		.CONST	0x014d								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0002       |    |		.CONST	0x0002								; Number of locals
014b			INIT_0148:
014b 00da       |    |		Load_Top	At_Offset_2
014c 0007       |    |		Action	Break_Optional
014d			BODY_0148:
014d 00db       |    |		Load_Top	At_Offset_3
014e 7002       |p   |		Jump_Nonzero	0x151
014f e217       |    |		Load	0x1,0x17
0150 0257       | W  |		Execute	Discrete,Raise
0151 00db       |    |		Load_Top	At_Offset_3
0152 0227       | '  |		Execute	Access,All_Reference
0153 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0154 6812       |h   |		Jump_Zero	0x167
0155 00db       |    |		Load_Top	At_Offset_3
0156 0229       | )  |		Execute	Access,All_Read
0157 e5fe       |    |		Load	0x2,-0x2
0158 0120       |    |		Execute	Any,Is_Value
0159 6802       |h   |		Jump_Zero	0x15c
015a e20e       |    |		Load	0x1,0xe
015b 7803       |x   |		Jump	0x15f
015c e5fe       |    |		Load	0x2,-0x2
015d e20e       |    |		Load	0x1,0xe
015e 0119       |    |		Execute	Any,Check_In_Formal_Type
015f 00d9       |    |		Load_Top	At_Offset_1
0160 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0161 8220       |    |		Call	0x1,0x20
0162 00da       |    |		Load_Top	At_Offset_2
0163 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0164 c5fe       |    |		Store	0x2,-0x2
0165 00d1       |    |		Pop_Control	Pop_Count_1
0166 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0167 00db       |    |		Load_Top	At_Offset_3
0168 0227       | '  |		Execute	Access,All_Reference
0169 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
016a c5fe       |    |		Store	0x2,-0x2
016b 00db       |    |		Load_Top	At_Offset_3
016c 0227       | '  |		Execute	Access,All_Reference
016d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
016e a5ff       |    |		Store_Unchecked	0x2,-0x1
016f 00d8       |    |		Load_Top	At_Offset_0
0170 821d       |    |		Call	0x1,0x1d
0171 0039       | 9  |		Store_Top	Access,At_Offset_1
0172 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0173 0000 0000  |    |		.BLANK	0000[0x5]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 017d       | }  |		.CONST	0x017d								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0002       |    |		.CONST	0x0002								; Number of locals
017b			INIT_0178:
017b 00db       |    |		Load_Top	At_Offset_3
017c 0007       |    |		Action	Break_Optional
017d			BODY_0178:
017d e5fe       |    |		Load	0x2,-0x2
017e 6860       |h`  |		Jump_Zero	0x1df
017f e5fe       |    |		Load	0x2,-0x2
0180 0227       | '  |		Execute	Access,All_Reference
0181 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0182 e5ff       |    |		Load	0x2,-0x1
0183 820f       |    |		Call	0x1,0xf
0184 680c       |h   |		Jump_Zero	0x191
0185 e5fe       |    |		Load	0x2,-0x2
0186 0229       | )  |		Execute	Access,All_Read
0187 00d8       |    |		Load_Top	At_Offset_0
0188 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0189 e5ff       |    |		Load	0x2,-0x1
018a e20e       |    |		Load	0x1,0xe
018b 0119       |    |		Execute	Any,Check_In_Formal_Type
018c 8221       | !  |		Call	0x1,0x21
018d 00d9       |    |		Load_Top	At_Offset_1
018e 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
018f 00d1       |    |		Pop_Control	Pop_Count_1
0190 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0191 00db       |    |		Load_Top	At_Offset_3
0192 e5fe       |    |		Load	0x2,-0x2
0193 0227       | '  |		Execute	Access,All_Reference
0194 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0195 012e       | .  |		Execute	Any,Not_Equal
0196 680c       |h   |		Jump_Zero	0x1a3
0197 e5fe       |    |		Load	0x2,-0x2
0198 0229       | )  |		Execute	Access,All_Read
0199 00d8       |    |		Load_Top	At_Offset_0
019a 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
019b e5ff       |    |		Load	0x2,-0x1
019c e20e       |    |		Load	0x1,0xe
019d 0119       |    |		Execute	Any,Check_In_Formal_Type
019e 8221       | !  |		Call	0x1,0x21
019f 00d9       |    |		Load_Top	At_Offset_1
01a0 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
01a1 00d1       |    |		Pop_Control	Pop_Count_1
01a2 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a3 e5fe       |    |		Load	0x2,-0x2
01a4 0227       | '  |		Execute	Access,All_Reference
01a5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01a6 022d       | -  |		Execute	Access,Is_Null
01a7 e5fe       |    |		Load	0x2,-0x2
01a8 0227       | '  |		Execute	Access,All_Reference
01a9 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01aa 022d       | -  |		Execute	Access,Is_Null
01ab 0279       | y  |		Execute	Discrete,And
01ac 6804       |h   |		Jump_Zero	0x1b1
01ad e5fe       |    |		Load	0x2,-0x2
01ae 821d       |    |		Call	0x1,0x1d
01af c5fe       |    |		Store	0x2,-0x2
01b0 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01b1 e5fe       |    |		Load	0x2,-0x2
01b2 0227       | '  |		Execute	Access,All_Reference
01b3 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01b4 7008       |p   |		Jump_Nonzero	0x1bd
01b5 e5fe       |    |		Load	0x2,-0x2
01b6 0227       | '  |		Execute	Access,All_Reference
01b7 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01b8 a5fe       |    |		Store_Unchecked	0x2,-0x2
01b9 00d8       |    |		Load_Top	At_Offset_0
01ba 821d       |    |		Call	0x1,0x1d
01bb 0039       | 9  |		Store_Top	Access,At_Offset_1
01bc 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01bd e5fe       |    |		Load	0x2,-0x2
01be 0227       | '  |		Execute	Access,All_Reference
01bf 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01c0 7008       |p   |		Jump_Nonzero	0x1c9
01c1 e5fe       |    |		Load	0x2,-0x2
01c2 0227       | '  |		Execute	Access,All_Reference
01c3 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01c4 a5fe       |    |		Store_Unchecked	0x2,-0x2
01c5 00d8       |    |		Load_Top	At_Offset_0
01c6 821d       |    |		Call	0x1,0x1d
01c7 0039       | 9  |		Store_Top	Access,At_Offset_1
01c8 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01c9 e5fe       |    |		Load	0x2,-0x2
01ca 0229       | )  |		Execute	Access,All_Read
01cb e5fe       |    |		Load	0x2,-0x2
01cc 0229       | )  |		Execute	Access,All_Read
01cd 00d9       |    |		Load_Top	At_Offset_1
01ce 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01cf 0120       |    |		Execute	Any,Is_Value
01d0 6802       |h   |		Jump_Zero	0x1d3
01d1 e20e       |    |		Load	0x1,0xe
01d2 7804       |x   |		Jump	0x1d7
01d3 00d9       |    |		Load_Top	At_Offset_1
01d4 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01d5 e20e       |    |		Load	0x1,0xe
01d6 0119       |    |		Execute	Any,Check_In_Formal_Type
01d7 00d9       |    |		Load_Top	At_Offset_1
01d8 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01d9 8220       |    |		Call	0x1,0x20
01da 00da       |    |		Load_Top	At_Offset_2
01db 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01dc 00da       |    |		Load_Top	At_Offset_2
01dd 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
01de 00d2       |    |		Pop_Control	Pop_Count_2
01df 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01e0 ; --------------------------------------------------------------------------------------
01e0 ; SUBPROGRAM
01e0 ; --------------------------------------------------------------------------------------
01e0 01e3       |    |		.CONST	0x01e3								; Address of begin
01e1 0004       |    |		.CONST	0x0004								; Address of exception handler
01e2 0001       |    |		.CONST	0x0001								; Number of locals
01e3			BODY_01e0:
01e3			INIT_01e0:
01e3 00da       |    |		Load_Top	At_Offset_2
01e4 0e01       |    |		Execute_Immediate	Not_Equal,0x1
01e5 6803       |h   |		Jump_Zero	0x1e9
01e6 e5fd       |    |		Load	0x2,-0x3
01e7 482c       |H,  |		Short_Literal	0x2c
01e8 8002       |    |		Call	0x0,0x2
01e9 e5fd       |    |		Load	0x2,-0x3
01ea 00db       |    |		Load_Top	At_Offset_3
01eb 8003       |    |		Call	0x0,0x3
01ec e5fd       |    |		Load	0x2,-0x3
01ed 0092 0233  |   3|		Action	Push_String_Extended,0x233					; " => "
01ef 8004       |    |		Call	0x0,0x4
01f0 e5fd       |    |		Load	0x2,-0x3
01f1 e5fe       |    |		Load	0x2,-0x2
01f2 8210       |    |		Call	0x1,0x10
01f3 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
01f4 0000 0000  |    |		.BLANK	0000[0x4]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 01ff       |    |		.CONST	0x01ff								; Address of begin
01f9 0004       |    |		.CONST	0x0004								; Address of exception handler
01fa 0003       |    |		.CONST	0x0003								; Number of locals
01fb			INIT_01f8:
01fb 00e4       |    |		Load_Encached	Positive_Cache
01fc 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
01fd 029f 021b  |    |		Declare_Subprogram	INIT_0218,For_Call
01ff			BODY_01f8:
01ff e5fe       |    |		Load	0x2,-0x2
0200 0092 0234  |   4|		Action	Push_String_Extended,0x234					; "Conflict_set'("
0202 8005       |    |		Call	0x0,0x5
0203 e5fe       |    |		Load	0x2,-0x2
0204 4802       |H   |		Short_Literal	0x2
0205 8006       |    |		Call	0x0,0x6
0206 e5fe       |    |		Load	0x2,-0x2
0207 e5ff       |    |		Load	0x2,-0x1
0208 8403       |    |		Call	0x2,0x3
0209 e5fe       |    |		Load	0x2,-0x2
020a 4ffe       |O   |		Short_Literal	-0x2
020b 8006       |    |		Call	0x0,0x6
020c e5fe       |    |		Load	0x2,-0x2
020d 0092 0235  |   5|		Action	Push_String_Extended,0x235					; ")"
020f 8005       |    |		Call	0x0,0x5
0210 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0211 0000 0000  |    |		.BLANK	0000[0x7]
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 021b       |    |		.CONST	0x021b								; Address of begin
0219 0004       |    |		.CONST	0x0004								; Address of exception handler
021a 0001       |    |		.CONST	0x0001								; Number of locals
021b			BODY_0218:
021b			INIT_0218:
021b 00da       |    |		Load_Top	At_Offset_2
021c 6815       |h   |		Jump_Zero	0x232
021d 00db       |    |		Load_Top	At_Offset_3
021e 00db       |    |		Load_Top	At_Offset_3
021f 0227       | '  |		Execute	Access,All_Reference
0220 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0221 8403       |    |		Call	0x2,0x3
0222 00db       |    |		Load_Top	At_Offset_3
0223 00db       |    |		Load_Top	At_Offset_3
0224 0227       | '  |		Execute	Access,All_Reference
0225 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0226 e20e       |    |		Load	0x1,0xe
0227 0119       |    |		Execute	Any,Check_In_Formal_Type
0228 e402       |    |		Load	0x2,0x2
0229 8222       | "  |		Call	0x1,0x22
022a e402       |    |		Load	0x2,0x2
022b 0a01       |    |		Execute_Immediate	Plus,0x1
022c c402       |    |		Store	0x2,0x2
022d 00db       |    |		Load_Top	At_Offset_3
022e 00db       |    |		Load_Top	At_Offset_3
022f 0227       | '  |		Execute	Access,All_Reference
0230 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0231 8403       |    |		Call	0x2,0x3
0232 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0233 ; --------------------------------------------------------------------------------------
0233 ; STRING TABLE
0233 ; --------------------------------------------------------------------------------------
0233 0008       |    |		.STRTAB	0x0008->0x0237							; " => "
0234 000a       |    |		.STRTAB	0x000a->0x0239							; "Conflict_set'("
0235 0016       |    |		.STRTAB	0x0016->0x0240							; ")"
0236 0015       |    |		.STREND 0x0015->0x0240
0237 203d 3e20  | => |		.STRTAB_STRINGS
0241 0000 0000  |    |		.BLANK	0000[0x7]
0248 ; --------------------------------------------------------------------------------------
0248 ; Debug Table
0248 ; --------------------------------------------------------------------------------------
0248 0004 0004  |    |		.DEBUG4	0x0004,0x0004,0x97f3,0x0000,0x0001,0x0012
024e 000b 0296  |    |		.DBG4T	0x000b,0x0296,0xc000,0x0000
0252 0021 029f  | !  |		.DBG4T	0x0021,0x029f,0xc000,0x0000
0256 005b 02b4  | [  |		.DBG4T	0x005b,0x02b4,0x1001,0x0000
025a 006b 02b7  | k  |		.DBG4T	0x006b,0x02b7,0x1001,0x0000
025e 007b 02ba  | {  |		.DBG4T	0x007b,0x02ba,0x1001,0x0000
0262 008b 02bd  |    |		.DBG4T	0x008b,0x02bd,0x1002,0x0000
0266 0093 02c0  |    |		.DBG4T	0x0093,0x02c0,0x1002,0x0000
026a 00ab 02c5  |    |		.DBG4T	0x00ab,0x02c5,0x1001,0x0000
026e 00b3 0000  |    |		.DBG4T	0x00b3,0x0000,0x1005,0x0000
0272 00c3 02c8  |    |		.DBG4T	0x00c3,0x02c8,0x1002,0x0000
0276 00db 02d0  |    |		.DBG4T	0x00db,0x02d0,0x1001,0x0000
027a 00eb 02d5  |    |		.DBG4T	0x00eb,0x02d5,0x1001,0x0000
027e 010b 02db  |    |		.DBG4T	0x010b,0x02db,0x1001,0x0000
0282 014b 02e4  | K  |		.DBG4T	0x014b,0x02e4,0x1001,0x0000
0286 017b 02ee  | {  |		.DBG4T	0x017b,0x02ee,0x1001,0x0000
028a 01e3 02ff  |    |		.DBG4T	0x01e3,0x02ff,0x1001,0x0000
028e 01fb 0306  |    |		.DBG4T	0x01fb,0x0306,0x1001,0x0000
0292 021b 030f  |    |		.DBG4T	0x021b,0x030f,0x1001,0x0000
0296 ; --------------------------------------------------------------------------------------
0296 ; Debug chain
0296 ; --------------------------------------------------------------------------------------
0296 0007 0000  |    |		.DBGLEN	0x0007,0x0000
0298 000b 000d  |    |		.DBGLNO	0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017
029f ; --------------------------------------------------------------------------------------
029f ; Debug chain
029f ; --------------------------------------------------------------------------------------
029f 0013 0000  |    |		.DBGLEN	0x0013,0x0000
02a1 0021 0022  | ! "|		.DBGLNO	0x0021,0x0022,0x0024,0x002f,0x0031,0x0033,0x0035,0x0037,0x0039,0x003b,0x003d,0x003f,0x0041,0x0043,0x0045,0x0047,0x0049,0x004b,0x004d
02b4 ; --------------------------------------------------------------------------------------
02b4 ; Debug chain
02b4 ; --------------------------------------------------------------------------------------
02b4 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02b6 005b       | [  |		.DBGLNO	0x005b
02b7 ; --------------------------------------------------------------------------------------
02b7 ; Debug chain
02b7 ; --------------------------------------------------------------------------------------
02b7 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02b9 006b       | k  |		.DBGLNO	0x006b
02ba ; --------------------------------------------------------------------------------------
02ba ; Debug chain
02ba ; --------------------------------------------------------------------------------------
02ba 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02bc 007b       | {  |		.DBGLNO	0x007b
02bd ; --------------------------------------------------------------------------------------
02bd ; Debug chain
02bd ; --------------------------------------------------------------------------------------
02bd 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02bf 008b       |    |		.DBGLNO	0x008b
02c0 ; --------------------------------------------------------------------------------------
02c0 ; Debug chain
02c0 ; --------------------------------------------------------------------------------------
02c0 0001 0002  |    |		.DBGLEN	0x0001,0x0002
02c2 0093 0097  |    |		.DBGLNO	0x0093,0x0097,0x00a3
02c5 ; --------------------------------------------------------------------------------------
02c5 ; Debug chain
02c5 ; --------------------------------------------------------------------------------------
02c5 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02c7 00ab       |    |		.DBGLNO	0x00ab
02c8 ; --------------------------------------------------------------------------------------
02c8 ; Debug chain
02c8 ; --------------------------------------------------------------------------------------
02c8 0001 0005  |    |		.DBGLEN	0x0001,0x0005
02ca 00c3 00c5  |    |		.DBGLNO	0x00c3,0x00c5,0x00c7,0x00cd,0x00cf,0x00d3
02d0 ; --------------------------------------------------------------------------------------
02d0 ; Debug chain
02d0 ; --------------------------------------------------------------------------------------
02d0 0000 0003  |    |		.DBGLEN	0x0000,0x0003
02d2 00db 00df  |    |		.DBGLNO	0x00db,0x00df,0x00e1
02d5 ; --------------------------------------------------------------------------------------
02d5 ; Debug chain
02d5 ; --------------------------------------------------------------------------------------
02d5 0000 0004  |    |		.DBGLEN	0x0000,0x0004
02d7 00eb 00ed  |    |		.DBGLNO	0x00eb,0x00ed,0x00f5,0x00fd
02db ; --------------------------------------------------------------------------------------
02db ; Debug chain
02db ; --------------------------------------------------------------------------------------
02db 0000 0007  |    |		.DBGLEN	0x0000,0x0007
02dd 010b 010d  |    |		.DBGLNO	0x010b,0x010d,0x010f,0x0120,0x0126,0x0132,0x0138
02e4 ; --------------------------------------------------------------------------------------
02e4 ; Debug chain
02e4 ; --------------------------------------------------------------------------------------
02e4 0001 0007  |    |		.DBGLEN	0x0001,0x0007
02e6 014b 014d  | K M|		.DBGLNO	0x014b,0x014d,0x014f,0x0151,0x0155,0x0167,0x016b,0x016f
02ee ; --------------------------------------------------------------------------------------
02ee ; Debug chain
02ee ; --------------------------------------------------------------------------------------
02ee 0001 000e  |    |		.DBGLEN	0x0001,0x000e
02f0 017b 017d  | { }|		.DBGLNO	0x017b,0x017d,0x017f,0x0185,0x0191,0x0197,0x01a3,0x01ad,0x01b1,0x01b5,0x01b9,0x01bd,0x01c1,0x01c5,0x01c9
02ff ; --------------------------------------------------------------------------------------
02ff ; Debug chain
02ff ; --------------------------------------------------------------------------------------
02ff 0000 0005  |    |		.DBGLEN	0x0000,0x0005
0301 01e3 01e6  |    |		.DBGLNO	0x01e3,0x01e6,0x01e9,0x01ec,0x01f0
0306 ; --------------------------------------------------------------------------------------
0306 ; Debug chain
0306 ; --------------------------------------------------------------------------------------
0306 0002 0005  |    |		.DBGLEN	0x0002,0x0005
0308 01fb 01fd  |    |		.DBGLNO	0x01fb,0x01fd,0x01ff,0x0203,0x0206,0x0209,0x020c
030f ; --------------------------------------------------------------------------------------
030f ; Debug chain
030f ; --------------------------------------------------------------------------------------
030f 0000 0005  |    |		.DBGLEN	0x0000,0x0005
0311 021b 021d  |    |		.DBGLNO	0x021b,0x021d,0x0222,0x022a,0x022d
0316 0000 0000  |    |		.BLANK	0000[0xea]