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

⟦ee32fba79⟧

    Length: 4096 (0x1000)
    Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_65acc1

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦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 0478       | x  |		.CONST	0x0478								; 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 0003       |    |		.CONST	0x0003								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; SUBPROGRAM
0008 ; See instruction 0x02cf at 0x43b, index=0x0
0008 ; --------------------------------------------------------------------------------------
0008 00ab       |    |		.CONST	0x00ab								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0032       | 2  |		.CONST	0x0032								; Number of locals
000b			INIT_0008:
000b			INIT_0008:
000b 00da       |    |		Load_Top	At_Offset_2
000c 00da       |    |		Load_Top	At_Offset_2
000d 029f 040b  |    |		Declare_Subprogram	INIT_0408,For_Call
000f 4802       |H   |		Short_Literal	0x2
0010 032e       | .  |		Declare_Type	Record,Defined,Visible
0011 029a 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Outer_Call,Visible,Unelaborated
0013 029a 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call,Visible,Unelaborated
0015 029a 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call,Visible,Unelaborated
0017 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated
0019 029a 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call,Visible,Unelaborated
001b 029a 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call,Visible,Unelaborated
001d 029a 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated
001f 029a 013b  |   ;|		Declare_Subprogram	INIT_0138,For_Outer_Call,Visible,Unelaborated
0021 029a 014b  |   K|		Declare_Subprogram	INIT_0148,For_Outer_Call,Visible,Unelaborated
0023 029a 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call,Visible,Unelaborated
0025 029a 01ab  |    |		Declare_Subprogram	INIT_01a8,For_Outer_Call,Visible,Unelaborated
0027 029a 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call,Visible,Unelaborated
0029 029a 01e3  |    |		Declare_Subprogram	INIT_01e0,For_Outer_Call,Visible,Unelaborated
002b 0093 0000  |    |		push_full_address	0x0
002d 609a       |`   |		Indirect_Literal	Discrete,0xc8,{0x80000000, 0x00010000}
002e 0273       | s  |		Execute	Discrete,Plus
002f e20d       |    |		Load	0x1,0xd
0030 6093       |`   |		Indirect_Literal	Discrete,0xc4,{0x00000000, 0x0000ffff}
0031 0279       | y  |		Execute	Discrete,And
0032 0273       | s  |		Execute	Discrete,Plus
0033 0129       | )  |		Execute	Any,Make_Visible
0034 0093 0000  |    |		push_full_address	0x0
0036 6089       |`   |		Indirect_Literal	Discrete,0xc0,{0x80000000, 0x00020000}
0037 0273       | s  |		Execute	Discrete,Plus
0038 e20d       |    |		Load	0x1,0xd
0039 608a       |`   |		Indirect_Literal	Discrete,0xc4,{0x00000000, 0x0000ffff}
003a 0279       | y  |		Execute	Discrete,And
003b 0273       | s  |		Execute	Discrete,Plus
003c 0129       | )  |		Execute	Any,Make_Visible
003d 029a 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Outer_Call,Visible,Unelaborated
003f 029a 01f3  |    |		Declare_Subprogram	INIT_01f0,For_Outer_Call,Visible,Unelaborated
0041 029a 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Outer_Call,Visible,Unelaborated
0043 4818       |H   |		Short_Literal	0x18
0044 03cd       |    |		Declare_Type	Access,Incomplete,Visible,Accesses_Protected
0045 e212       |    |		Load	0x1,0x12
0046 00d9       |    |		Load_Top	At_Offset_1
0047 029f 03eb  |    |		Declare_Subprogram	INIT_03e8,For_Call
0049 4802       |H   |		Short_Literal	0x2
004a 032e       | .  |		Declare_Type	Record,Defined,Visible
004b 00d8       |    |		Load_Top	At_Offset_0
004c 02a0       |    |		Declare_Subprogram	Null_Subprogram
004d 00db       |    |		Load_Top	At_Offset_3
004e 03c7       |    |		Complete_Type	Access,By_Defining
004f 4818       |H   |		Short_Literal	0x18
0050 03cd       |    |		Declare_Type	Access,Incomplete,Visible,Accesses_Protected
0051 00d8       |    |		Load_Top	At_Offset_0
0052 00e3       |    |		Load_Encached	Natural_Cache
0053 e225       | %  |		Load	0x1,0x25
0054 00e1       |    |		Load_Encached	Boolean_Cache
0055 02a0       |    |		Declare_Subprogram	Null_Subprogram
0056 4804       |H   |		Short_Literal	0x4
0057 032e       | .  |		Declare_Type	Record,Defined,Visible
0058 4800       |H   |		Short_Literal	0x0
0059 e20e       |    |		Load	0x1,0xe
005a 0aff       |    |		Execute_Immediate	Plus,-0x1
005b 00e2       |    |		Load_Encached	Integer_Cache
005c 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
005d 4800       |H   |		Short_Literal	0x0
005e 00d9       |    |		Load_Top	At_Offset_1
005f 0269       | i  |		Execute	Discrete,Last
0060 e225       | %  |		Load	0x1,0x25
0061 02a0       |    |		Declare_Subprogram	Null_Subprogram
0062 4801       |H   |		Short_Literal	0x1
0063 035e       | ^  |		Declare_Type	Array,Defined,Visible
0064 e225       | %  |		Load	0x1,0x25
0065 00d9       |    |		Load_Top	At_Offset_1
0066 00e3       |    |		Load_Encached	Natural_Cache
0067 029f 03fb  |    |		Declare_Subprogram	INIT_03f8,For_Call
0069 4803       |H   |		Short_Literal	0x3
006a 032e       | .  |		Declare_Type	Record,Defined,Visible
006b 00d8       |    |		Load_Top	At_Offset_0
006c 02a0       |    |		Declare_Subprogram	Null_Subprogram
006d e227       | '  |		Load	0x1,0x27
006e 03c7       |    |		Complete_Type	Access,By_Defining
006f 00bf       |    |		Action	Accept_Activation
0070 4800       |H   |		Short_Literal	0x0
0071 0093 0423  |   #|		push_full_address	INIT_0420
0073 00f5       |    |		Load_Encached	Unused21
0074 037d       | }  |		Declare_Type	Task,Defined
0075 036f       | o  |		Declare_Variable	Task
0076 029d 0203  |    |		Declare_Subprogram	INIT_0200,For_Outer_Call
0078 029d 0213  |    |		Declare_Subprogram	INIT_0210,For_Outer_Call
007a 029d 023b  |   ;|		Declare_Subprogram	INIT_0238,For_Outer_Call
007c 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
007d 00c7       |    |		Action	Elaborate_Subprogram
007e 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
007f 00c7       |    |		Action	Elaborate_Subprogram
0080 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0081 00c7       |    |		Action	Elaborate_Subprogram
0082 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0083 00c7       |    |		Action	Elaborate_Subprogram
0084 029d 025b  |   [|		Declare_Subprogram	INIT_0258,For_Outer_Call
0086 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0087 00c7       |    |		Action	Elaborate_Subprogram
0088 029d 02db  |    |		Declare_Subprogram	INIT_02d8,For_Outer_Call
008a 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
008b 00c7       |    |		Action	Elaborate_Subprogram
008c 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
008d 00c7       |    |		Action	Elaborate_Subprogram
008e 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
008f 00c7       |    |		Action	Elaborate_Subprogram
0090 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
0091 00c7       |    |		Action	Elaborate_Subprogram
0092 029d 0313  |    |		Declare_Subprogram	INIT_0310,For_Outer_Call
0094 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
0095 00c7       |    |		Action	Elaborate_Subprogram
0096 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
0097 00c7       |    |		Action	Elaborate_Subprogram
0098 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0099 00c7       |    |		Action	Elaborate_Subprogram
009a 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
009b 00c7       |    |		Action	Elaborate_Subprogram
009c 1d32       | 2  |		Execute_Immediate	Reference_Lex_1,0x32
009d e20f       |    |		Load	0x1,0xf
009e 1d31       | 1  |		Execute_Immediate	Reference_Lex_1,0x31
009f e210       |    |		Load	0x1,0x10
00a0 1d30       | 0  |		Execute_Immediate	Reference_Lex_1,0x30
00a1 4805       |H   |		Short_Literal	0x5
00a2 e22c       | ,  |		Load	0x1,0x2c
00a3 020e       |    |		Execute	Module,Augment_Imports
00a4 0007       |    |		Action	Break_Optional
00a5 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
00a6 00c7       |    |		Action	Elaborate_Subprogram
00a7 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00a8 00c7       |    |		Action	Elaborate_Subprogram
00a9 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
00aa 00c7       |    |		Action	Elaborate_Subprogram
00ab			BODY_0008:
00ab			BODY_0008:
00ab 00be       |    |		Action	Activate_Tasks
00ac 00bc       |    |		Action	Signal_Activated
00ad 00bb       |    |		Action	Signal_Completion
00ae 0000 0000  |    |		.XXX[0x2]
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00ba       |    |		.CONST	0x00ba								; Address of begin
00b1 0004       |    |		.CONST	0x0004								; Address of exception handler
00b2 0004       |    |		.CONST	0x0004								; Number of locals
00b3			INIT_00b0:
00b3 00da       |    |		Load_Top	At_Offset_2
00b4 0227       | '  |		Execute	Access,All_Reference
00b5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00b6 029f 032b  |   +|		Declare_Subprogram	INIT_0328,For_Call
00b8 029f 0343  |   C|		Declare_Subprogram	INIT_0340,For_Call
00ba			BODY_00b0:
00ba 00da       |    |		Load_Top	At_Offset_2
00bb 6801       |h   |		Jump_Zero	0xbd
00bc 8403       |    |		Call	0x2,0x3
00bd 8404       |    |		Call	0x2,0x4
00be 0831       | 1  |		Execute_Immediate	Raise,0x31
00bf 0000       |    |		.XXX[0x1]
00c0 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
00c4 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
00c8 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
00cc 0000 0000  |    |		.BLANK	0000[0x4]
00d0 ; --------------------------------------------------------------------------------------
00d0 ; SUBPROGRAM
00d0 ; --------------------------------------------------------------------------------------
00d0 00da       |    |		.CONST	0x00da								; Address of begin
00d1 0004       |    |		.CONST	0x0004								; Address of exception handler
00d2 0004       |    |		.CONST	0x0004								; Number of locals
00d3			INIT_00d0:
00d3 00da       |    |		Load_Top	At_Offset_2
00d4 0227       | '  |		Execute	Access,All_Reference
00d5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d6 029f 0363  |   c|		Declare_Subprogram	INIT_0360,For_Call
00d8 029f 037b  |   {|		Declare_Subprogram	INIT_0378,For_Call
00da			BODY_00d0:
00da 00da       |    |		Load_Top	At_Offset_2
00db 6801       |h   |		Jump_Zero	0xdd
00dc 8403       |    |		Call	0x2,0x3
00dd 8404       |    |		Call	0x2,0x4
00de 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
00df 0000       |    |		.XXX[0x1]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00ea       |    |		.CONST	0x00ea								; Address of begin
00e1 0004       |    |		.CONST	0x0004								; Address of exception handler
00e2 0004       |    |		.CONST	0x0004								; Number of locals
00e3			INIT_00e0:
00e3 00da       |    |		Load_Top	At_Offset_2
00e4 0227       | '  |		Execute	Access,All_Reference
00e5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00e6 029f 0393  |    |		Declare_Subprogram	INIT_0390,For_Call
00e8 029f 03ab  |    |		Declare_Subprogram	INIT_03a8,For_Call
00ea			BODY_00e0:
00ea 00da       |    |		Load_Top	At_Offset_2
00eb 6801       |h   |		Jump_Zero	0xed
00ec 8403       |    |		Call	0x2,0x3
00ed 8404       |    |		Call	0x2,0x4
00ee 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
00ef 0000       |    |		.XXX[0x1]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f3       |    |		.CONST	0x00f3								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0001       |    |		.CONST	0x0001								; Number of locals
00f3			BODY_00f0:
00f3			INIT_00f0:
00f3 e5fc       |    |		Load	0x2,-0x4
00f4 e5fd       |    |		Load	0x2,-0x3
00f5 e5fe       |    |		Load	0x2,-0x2
00f6 e210       |    |		Load	0x1,0x10
00f7 0119       |    |		Execute	Any,Check_In_Formal_Type
00f8 e5ff       |    |		Load	0x2,-0x1
00f9 e20f       |    |		Load	0x1,0xf
00fa 0119       |    |		Execute	Any,Check_In_Formal_Type
00fb 4804       |H   |		Short_Literal	0x4
00fc e22c       | ,  |		Load	0x1,0x2c
00fd 170d       |    |		Execute	Task,Entry_Call,Field_Number 0xd
00fe c5fc       |    |		Store	0x2,-0x4
00ff 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
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 00db       |    |		Load_Top	At_Offset_3
0105 e20f       |    |		Load	0x1,0xf
0106 0119       |    |		Execute	Any,Check_In_Formal_Type
0107 4802       |H   |		Short_Literal	0x2
0108 e22c       | ,  |		Load	0x1,0x2c
0109 170e       |    |		Execute	Task,Entry_Call,Field_Number 0xe
010a c5fe       |    |		Store	0x2,-0x2
010b 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
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 e227       | '  |		Load	0x1,0x27
0114 03bc       |    |		Declare_Variable	Access,By_Allocation
0115 00d8       |    |		Load_Top	At_Offset_0
0116 0227       | '  |		Execute	Access,All_Reference
0117 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0118 003b       | ;  |		Store_Top	Access,At_Offset_3
0119 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
011a 0000 0000  |    |		.BLANK	0000[0x6]
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123       | #  |		.CONST	0x0123								; Address of begin
0121 0004       |    |		.CONST	0x0004								; Address of exception handler
0122 0001       |    |		.CONST	0x0001								; Number of locals
0123			BODY_0120:
0123			INIT_0120:
0123 00cf       |    |		Action	Mark_Auxiliary
0124 e229       | )  |		Load	0x1,0x29
0125 0269       | i  |		Execute	Discrete,Last
0126 4800       |H   |		Short_Literal	0x0
0127 0263       | c  |		Execute	Discrete,Above_Bound
0128 700a       |p   |		Jump_Nonzero	0x133
0129 00d8       |    |		Load_Top	At_Offset_0
012a e5ff       |    |		Load	0x2,-0x1
012b 0227       | '  |		Execute	Access,All_Reference
012c 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
012d 01d7       |    |		Execute	Vector,Field_Read
012e 6802       |h   |		Jump_Zero	0x131
012f 4800       |H   |		Short_Literal	0x0
0130 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0131 00c8       |    |		Action	Pop_Auxiliary_Range
0132 3ff6       |?   |		Loop_Increasing	0x129
0133 00ce       |    |		Action	Pop_Auxiliary
0134 4801       |H   |		Short_Literal	0x1
0135 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0136 0000 0000  |    |		.XXX[0x2]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 013b       | ;  |		.CONST	0x013b								; Address of begin
0139 0004       |    |		.CONST	0x0004								; Address of exception handler
013a 0001       |    |		.CONST	0x0001								; Number of locals
013b			BODY_0138:
013b			INIT_0138:
013b 00da       |    |		Load_Top	At_Offset_2
013c 4801       |H   |		Short_Literal	0x1
013d e22c       | ,  |		Load	0x1,0x2c
013e 170f       |    |		Execute	Task,Entry_Call,Field_Number 0xf
013f 003b       | ;  |		Store_Top	Access,At_Offset_3
0140 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0141 0000 0000  |    |		.BLANK	0000[0x7]
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 029f 03c3  |    |		Declare_Subprogram	INIT_03c0,For_Call
014d			BODY_0148:
014d 4800       |H   |		Short_Literal	0x0
014e e5fe       |    |		Load	0x2,-0x2
014f 0227       | '  |		Execute	Access,All_Reference
0150 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0151 00cf       |    |		Action	Mark_Auxiliary
0152 e229       | )  |		Load	0x1,0x29
0153 0269       | i  |		Execute	Discrete,Last
0154 4800       |H   |		Short_Literal	0x0
0155 0263       | c  |		Execute	Discrete,Above_Bound
0156 7013       |p   |		Jump_Nonzero	0x16a
0157 e5fe       |    |		Load	0x2,-0x2
0158 0229       | )  |		Execute	Access,All_Read
0159 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
015a 00d9       |    |		Load_Top	At_Offset_1
015b 00d8       |    |		Load_Top	At_Offset_0
015c 00da       |    |		Load_Top	At_Offset_2
015d 01d7       |    |		Execute	Vector,Field_Read
015e 00db       |    |		Load_Top	At_Offset_3
015f e5ff       |    |		Load	0x2,-0x1
0160 0227       | '  |		Execute	Access,All_Reference
0161 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0162 01d7       |    |		Execute	Vector,Field_Read
0163 8402       |    |		Call	0x2,0x2
0164 00d9       |    |		Load_Top	At_Offset_1
0165 00db       |    |		Load_Top	At_Offset_3
0166 01d6       |    |		Execute	Vector,Field_Write
0167 00d2       |    |		Pop_Control	Pop_Count_2
0168 00c8       |    |		Action	Pop_Auxiliary_Range
0169 3fed       |?   |		Loop_Increasing	0x157
016a 00ce       |    |		Action	Pop_Auxiliary
016b e225       | %  |		Load	0x1,0x25
016c e5fe       |    |		Load	0x2,-0x2
016d 0227       | '  |		Execute	Access,All_Reference
016e 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
016f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
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 e228       | (  |		Load	0x1,0x28
0174 0322       | "  |		Declare_Variable	Record
0175			BODY_0170:
0175 00db       |    |		Load_Top	At_Offset_3
0176 7004       |p   |		Jump_Nonzero	0x17b
0177 4801       |H   |		Short_Literal	0x1
0178 e5fe       |    |		Load	0x2,-0x2
0179 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
017a 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
017b 00cf       |    |		Action	Mark_Auxiliary
017c e229       | )  |		Load	0x1,0x29
017d 0269       | i  |		Execute	Discrete,Last
017e 4800       |H   |		Short_Literal	0x0
017f 0263       | c  |		Execute	Discrete,Above_Bound
0180 7019       |p   |		Jump_Nonzero	0x19a
0181 00d8       |    |		Load_Top	At_Offset_0
0182 e5ff       |    |		Load	0x2,-0x1
0183 0227       | '  |		Execute	Access,All_Reference
0184 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0185 01d7       |    |		Execute	Vector,Field_Read
0186 e402       |    |		Load	0x2,0x2
0187 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0188 00db       |    |		Load_Top	At_Offset_3
0189 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
018a 680d       |h   |		Jump_Zero	0x198
018b 4800       |H   |		Short_Literal	0x0
018c e402       |    |		Load	0x2,0x2
018d 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
018e 00d8       |    |		Load_Top	At_Offset_0
018f e402       |    |		Load	0x2,0x2
0190 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0191 e5ff       |    |		Load	0x2,-0x1
0192 e402       |    |		Load	0x2,0x2
0193 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0194 00db       |    |		Load_Top	At_Offset_3
0195 e5fe       |    |		Load	0x2,-0x2
0196 017d       | }  |		Execute	Record,Structure_Write
0197 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0198 00c8       |    |		Action	Pop_Auxiliary_Range
0199 3fe7       |?   |		Loop_Increasing	0x181
019a 00ce       |    |		Action	Pop_Auxiliary
019b 4801       |H   |		Short_Literal	0x1
019c 00d9       |    |		Load_Top	At_Offset_1
019d 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
019e 00d8       |    |		Load_Top	At_Offset_0
019f e5fe       |    |		Load	0x2,-0x2
01a0 017d       | }  |		Execute	Record,Structure_Write
01a1 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a2 0000 0000  |    |		.BLANK	0000[0x6]
01a8 ; --------------------------------------------------------------------------------------
01a8 ; SUBPROGRAM
01a8 ; --------------------------------------------------------------------------------------
01a8 01ab       |    |		.CONST	0x01ab								; Address of begin
01a9 0004       |    |		.CONST	0x0004								; Address of exception handler
01aa 0001       |    |		.CONST	0x0001								; Number of locals
01ab			BODY_01a8:
01ab			INIT_01a8:
01ab 00da       |    |		Load_Top	At_Offset_2
01ac 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01ad 0227       | '  |		Execute	Access,All_Reference
01ae 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01af 00db       |    |		Load_Top	At_Offset_3
01b0 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
01b1 00cf       |    |		Action	Mark_Auxiliary
01b2 7819       |x   |		Jump	0x1cc
01b3 00db       |    |		Load_Top	At_Offset_3
01b4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01b5 e229       | )  |		Load	0x1,0x29
01b6 0269       | i  |		Execute	Discrete,Last
01b7 027f       |    |		Execute	Discrete,Equal
01b8 6804       |h   |		Jump_Zero	0x1bd
01b9 4801       |H   |		Short_Literal	0x1
01ba e5ff       |    |		Load	0x2,-0x1
01bb 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
01bc 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01bd 00db       |    |		Load_Top	At_Offset_3
01be 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01bf 0a01       |    |		Execute_Immediate	Plus,0x1
01c0 e5ff       |    |		Load	0x2,-0x1
01c1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01c2 00db       |    |		Load_Top	At_Offset_3
01c3 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01c4 e5ff       |    |		Load	0x2,-0x1
01c5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01c6 0227       | '  |		Execute	Access,All_Reference
01c7 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
01c8 01d7       |    |		Execute	Vector,Field_Read
01c9 e5ff       |    |		Load	0x2,-0x1
01ca 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
01cb 00c9       |    |		Action	Pop_Auxiliary_Loop
01cc 00db       |    |		Load_Top	At_Offset_3
01cd 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01ce 6fe4       |o   |		Jump_Zero	0x1b3
01cf 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01d3       |    |		.CONST	0x01d3								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0001       |    |		.CONST	0x0001								; Number of locals
01d3			BODY_01d0:
01d3			INIT_01d0:
01d3 00da       |    |		Load_Top	At_Offset_2
01d4 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01d5 0227       | '  |		Execute	Access,All_Reference
01d6 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
01d7 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01d8 00d8       |    |		Load_Top	At_Offset_0
01d9 0120       |    |		Execute	Any,Is_Value
01da 7002       |p   |		Jump_Nonzero	0x1dd
01db 00d8       |    |		Load_Top	At_Offset_0
01dc 011e       |    |		Execute	Any,Convert
01dd e20f       |    |		Load	0x1,0xf
01de 0119       |    |		Execute	Any,Check_In_Formal_Type
01df 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
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 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
01e5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e6 0000 0000  |    |		.XXX[0x2]
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01eb       |    |		.CONST	0x01eb								; Address of begin
01e9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ea 0001       |    |		.CONST	0x0001								; Number of locals
01eb			BODY_01e8:
01eb			INIT_01e8:
01eb e227       | '  |		Load	0x1,0x27
01ec 00ca       |    |		Action	Exit_Nullary_Function
01ed 0000 0000  |    |		.XXX[0x3]
01ef 0000       |    |
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 01f3       |    |		.CONST	0x01f3								; Address of begin
01f1 0004       |    |		.CONST	0x0004								; Address of exception handler
01f2 0001       |    |		.CONST	0x0001								; Number of locals
01f3			BODY_01f0:
01f3			INIT_01f0:
01f3 00da       |    |		Load_Top	At_Offset_2
01f4 022d       | -  |		Execute	Access,Is_Null
01f5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01f6 0000 0000  |    |		.XXX[0x2]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 01fb       |    |		.CONST	0x01fb								; Address of begin
01f9 0004       |    |		.CONST	0x0004								; Address of exception handler
01fa 0001       |    |		.CONST	0x0001								; Number of locals
01fb			BODY_01f8:
01fb			INIT_01f8:
01fb 00da       |    |		Load_Top	At_Offset_2
01fc 0227       | '  |		Execute	Access,All_Reference
01fd 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01fe 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01ff 0000       |    |		.XXX[0x1]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 0203       |    |		.CONST	0x0203								; Address of begin
0201 0004       |    |		.CONST	0x0004								; Address of exception handler
0202 0001       |    |		.CONST	0x0001								; Number of locals
0203			BODY_0200:
0203			INIT_0200:
0203 00da       |    |		Load_Top	At_Offset_2
0204 8211       |    |		Call	0x1,0x11
0205 e20e       |    |		Load	0x1,0xe
0206 026e       | n  |		Execute	Discrete,Modulo
0207 00d8       |    |		Load_Top	At_Offset_0
0208 e229       | )  |		Load	0x1,0x29
0209 0260       | `  |		Execute	Discrete,In_Type
020a 7001       |p   |		Jump_Nonzero	0x20c
020b 0801       |    |		Execute_Immediate	Raise,0x1
020c 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
020d 0000 0000  |    |		.XXX[0x3]
020f 0000       |    |
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 021b       |    |		.CONST	0x021b								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0002       |    |		.CONST	0x0002								; Number of locals
0213			INIT_0210:
0213 00db       |    |		Load_Top	At_Offset_3
0214 e20f       |    |		Load	0x1,0xf
0215 0119       |    |		Execute	Any,Check_In_Formal_Type
0216 822d       | -  |		Call	0x1,0x2d
0217 00db       |    |		Load_Top	At_Offset_3
0218 0227       | '  |		Execute	Access,All_Reference
0219 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
021a 01d7       |    |		Execute	Vector,Field_Read
021b			BODY_0210:
021b 00cf       |    |		Action	Mark_Auxiliary
021c 7805       |x   |		Jump	0x222
021d 00d9       |    |		Load_Top	At_Offset_1
021e 0227       | '  |		Execute	Access,All_Reference
021f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0220 003a       | :  |		Store_Top	Access,At_Offset_2
0221 00c9       |    |		Action	Pop_Auxiliary_Loop
0222 00d9       |    |		Load_Top	At_Offset_1
0223 6807       |h   |		Jump_Zero	0x22b
0224 00d9       |    |		Load_Top	At_Offset_1
0225 0227       | '  |		Execute	Access,All_Reference
0226 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0227 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0228 e5fe       |    |		Load	0x2,-0x2
0229 012e       | .  |		Execute	Any,Not_Equal
022a 77f2       |w   |		Jump_Nonzero	0x21d
022b 00ce       |    |		Action	Pop_Auxiliary
022c 00d8       |    |		Load_Top	At_Offset_0
022d 6804       |h   |		Jump_Zero	0x232
022e 00d8       |    |		Load_Top	At_Offset_0
022f e5ff       |    |		Load	0x2,-0x1
0230 0227       | '  |		Execute	Access,All_Reference
0231 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0232 00d8       |    |		Load_Top	At_Offset_0
0233 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0234 0000 0000  |    |		.BLANK	0000[0x4]
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; --------------------------------------------------------------------------------------
0238 023b       | ;  |		.CONST	0x023b								; Address of begin
0239 0004       |    |		.CONST	0x0004								; Address of exception handler
023a 0001       |    |		.CONST	0x0001								; Number of locals
023b			BODY_0238:
023b			INIT_0238:
023b 00da       |    |		Load_Top	At_Offset_2
023c a5fd       |    |		Store_Unchecked	0x2,-0x3
023d e225       | %  |		Load	0x1,0x25
023e a5fc       |    |		Store_Unchecked	0x2,-0x4
023f 00cf       |    |		Action	Mark_Auxiliary
0240 7807       |x   |		Jump	0x248
0241 e5fd       |    |		Load	0x2,-0x3
0242 a5fc       |    |		Store_Unchecked	0x2,-0x4
0243 e5fd       |    |		Load	0x2,-0x3
0244 0227       | '  |		Execute	Access,All_Reference
0245 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0246 a5fd       |    |		Store_Unchecked	0x2,-0x3
0247 00c9       |    |		Action	Pop_Auxiliary_Loop
0248 e5fd       |    |		Load	0x2,-0x3
0249 6807       |h   |		Jump_Zero	0x251
024a e5fd       |    |		Load	0x2,-0x3
024b 0227       | '  |		Execute	Access,All_Reference
024c 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
024d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
024e e5fe       |    |		Load	0x2,-0x2
024f 012e       | .  |		Execute	Any,Not_Equal
0250 77f0       |w   |		Jump_Nonzero	0x241
0251 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0252 0000 0000  |    |		.BLANK	0000[0x6]
0258 ; --------------------------------------------------------------------------------------
0258 ; SUBPROGRAM
0258 ; --------------------------------------------------------------------------------------
0258 026c       | l  |		.CONST	0x026c								; Address of begin
0259 0004       |    |		.CONST	0x0004								; Address of exception handler
025a 0005       |    |		.CONST	0x0005								; Number of locals
025b			INIT_0258:
025b e5fc       |    |		Load	0x2,-0x4
025c 0227       | '  |		Execute	Access,All_Reference
025d 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
025e 0007       |    |		Action	Break_Optional
025f 00db       |    |		Load_Top	At_Offset_3
0260 e20f       |    |		Load	0x1,0xf
0261 0119       |    |		Execute	Any,Check_In_Formal_Type
0262 822d       | -  |		Call	0x1,0x2d
0263 e5fc       |    |		Load	0x2,-0x4
0264 0227       | '  |		Execute	Access,All_Reference
0265 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0266 01d5       |    |		Execute	Vector,Field_Reference
0267 0007       |    |		Action	Break_Optional
0268 e225       | %  |		Load	0x1,0x25
0269 0007       |    |		Action	Break_Optional
026a 00d8       |    |		Load_Top	At_Offset_0
026b 0007       |    |		Action	Break_Optional
026c			BODY_0258:
026c 00d8       |    |		Load_Top	At_Offset_0
026d 00da       |    |		Load_Top	At_Offset_2
026e e5ff       |    |		Load	0x2,-0x1
026f e20f       |    |		Load	0x1,0xf
0270 0119       |    |		Execute	Any,Check_In_Formal_Type
0271 e403       |    |		Load	0x2,0x3
0272 822f       | /  |		Call	0x1,0x2f
0273 003b       | ;  |		Store_Top	Access,At_Offset_3
0274 0039       | 9  |		Store_Top	Access,At_Offset_1
0275 00d9       |    |		Load_Top	At_Offset_1
0276 7020       |p   |		Jump_Nonzero	0x297
0277 e226       | &  |		Load	0x1,0x26
0278 0322       | "  |		Declare_Variable	Record
0279 00d8       |    |		Load_Top	At_Offset_0
027a 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
027b e5ff       |    |		Load	0x2,-0x1
027c e212       |    |		Load	0x1,0x12
027d 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
027e 0119       |    |		Execute	Any,Check_In_Formal_Type
027f 00d9       |    |		Load_Top	At_Offset_1
0280 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0281 e5fe       |    |		Load	0x2,-0x2
0282 e212       |    |		Load	0x1,0x12
0283 3001       |0   |		Execute	Record,Field_Type,Field_Number 0x1
0284 0119       |    |		Execute	Any,Check_In_Formal_Type
0285 00d0       |    |		Action	Swap_Control
0286 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0287 00db       |    |		Load_Top	At_Offset_3
0288 00d9       |    |		Load_Top	At_Offset_1
0289 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
028a e225       | %  |		Load	0x1,0x25
028b 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
028c a403       |    |		Store_Unchecked	0x2,0x3
028d 00da       |    |		Load_Top	At_Offset_2
028e a402       |    |		Store_Unchecked	0x2,0x2
028f e5fc       |    |		Load	0x2,-0x4
0290 0227       | '  |		Execute	Access,All_Reference
0291 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0292 0a01       |    |		Execute_Immediate	Plus,0x1
0293 e5fc       |    |		Load	0x2,-0x4
0294 0227       | '  |		Execute	Access,All_Reference
0295 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0296 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0297 e5fd       |    |		Load	0x2,-0x3
0298 6802       |h   |		Jump_Zero	0x29b
0299 e221       | !  |		Load	0x1,0x21
029a 0257       | W  |		Execute	Discrete,Raise
029b 00d8       |    |		Load_Top	At_Offset_0
029c 701b       |p   |		Jump_Nonzero	0x2b8
029d e226       | &  |		Load	0x1,0x26
029e 0322       | "  |		Declare_Variable	Record
029f 00d8       |    |		Load_Top	At_Offset_0
02a0 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
02a1 e5ff       |    |		Load	0x2,-0x1
02a2 e212       |    |		Load	0x1,0x12
02a3 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
02a4 0119       |    |		Execute	Any,Check_In_Formal_Type
02a5 00d9       |    |		Load_Top	At_Offset_1
02a6 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
02a7 e5fe       |    |		Load	0x2,-0x2
02a8 e212       |    |		Load	0x1,0x12
02a9 3001       |0   |		Execute	Record,Field_Type,Field_Number 0x1
02aa 0119       |    |		Execute	Any,Check_In_Formal_Type
02ab 00d0       |    |		Action	Swap_Control
02ac 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02ad 00da       |    |		Load_Top	At_Offset_2
02ae 0227       | '  |		Execute	Access,All_Reference
02af 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02b0 00d9       |    |		Load_Top	At_Offset_1
02b1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02b2 e225       | %  |		Load	0x1,0x25
02b3 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
02b4 a403       |    |		Store_Unchecked	0x2,0x3
02b5 00da       |    |		Load_Top	At_Offset_2
02b6 a402       |    |		Store_Unchecked	0x2,0x2
02b7 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
02b8 e226       | &  |		Load	0x1,0x26
02b9 0322       | "  |		Declare_Variable	Record
02ba 00d8       |    |		Load_Top	At_Offset_0
02bb 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
02bc e5ff       |    |		Load	0x2,-0x1
02bd e212       |    |		Load	0x1,0x12
02be 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
02bf 0119       |    |		Execute	Any,Check_In_Formal_Type
02c0 00d9       |    |		Load_Top	At_Offset_1
02c1 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
02c2 e5fe       |    |		Load	0x2,-0x2
02c3 e212       |    |		Load	0x1,0x12
02c4 3001       |0   |		Execute	Record,Field_Type,Field_Number 0x1
02c5 0119       |    |		Execute	Any,Check_In_Formal_Type
02c6 00d0       |    |		Action	Swap_Control
02c7 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02c8 00da       |    |		Load_Top	At_Offset_2
02c9 0227       | '  |		Execute	Access,All_Reference
02ca 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02cb 00d9       |    |		Load_Top	At_Offset_1
02cc 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02cd e225       | %  |		Load	0x1,0x25
02ce 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
02cf 00d9       |    |		Load_Top	At_Offset_1
02d0 0227       | '  |		Execute	Access,All_Reference
02d1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02d2 00d8       |    |		Load_Top	At_Offset_0
02d3 0227       | '  |		Execute	Access,All_Reference
02d4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02d5 a402       |    |		Store_Unchecked	0x2,0x2
02d6 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
02d7 0000       |    |		.XXX[0x1]
02d8 ; --------------------------------------------------------------------------------------
02d8 ; SUBPROGRAM
02d8 ; --------------------------------------------------------------------------------------
02d8 02ec       |    |		.CONST	0x02ec								; Address of begin
02d9 0004       |    |		.CONST	0x0004								; Address of exception handler
02da 0005       |    |		.CONST	0x0005								; Number of locals
02db			INIT_02d8:
02db 00db       |    |		Load_Top	At_Offset_3
02dc 0227       | '  |		Execute	Access,All_Reference
02dd 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
02de 0007       |    |		Action	Break_Optional
02df 00db       |    |		Load_Top	At_Offset_3
02e0 e20f       |    |		Load	0x1,0xf
02e1 0119       |    |		Execute	Any,Check_In_Formal_Type
02e2 822d       | -  |		Call	0x1,0x2d
02e3 e5fe       |    |		Load	0x2,-0x2
02e4 0227       | '  |		Execute	Access,All_Reference
02e5 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
02e6 01d5       |    |		Execute	Vector,Field_Reference
02e7 0007       |    |		Action	Break_Optional
02e8 e225       | %  |		Load	0x1,0x25
02e9 0007       |    |		Action	Break_Optional
02ea 00d8       |    |		Load_Top	At_Offset_0
02eb 0007       |    |		Action	Break_Optional
02ec			BODY_02d8:
02ec 00d8       |    |		Load_Top	At_Offset_0
02ed 00da       |    |		Load_Top	At_Offset_2
02ee e5ff       |    |		Load	0x2,-0x1
02ef e20f       |    |		Load	0x1,0xf
02f0 0119       |    |		Execute	Any,Check_In_Formal_Type
02f1 e403       |    |		Load	0x2,0x3
02f2 822f       | /  |		Call	0x1,0x2f
02f3 003b       | ;  |		Store_Top	Access,At_Offset_3
02f4 0039       | 9  |		Store_Top	Access,At_Offset_1
02f5 00d9       |    |		Load_Top	At_Offset_1
02f6 7002       |p   |		Jump_Nonzero	0x2f9
02f7 e220       |    |		Load	0x1,0x20
02f8 0257       | W  |		Execute	Discrete,Raise
02f9 00d8       |    |		Load_Top	At_Offset_0
02fa 7005       |p   |		Jump_Nonzero	0x300
02fb 00d9       |    |		Load_Top	At_Offset_1
02fc 0227       | '  |		Execute	Access,All_Reference
02fd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02fe a403       |    |		Store_Unchecked	0x2,0x3
02ff 7806       |x   |		Jump	0x306
0300 00d9       |    |		Load_Top	At_Offset_1
0301 0227       | '  |		Execute	Access,All_Reference
0302 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0303 00d9       |    |		Load_Top	At_Offset_1
0304 0227       | '  |		Execute	Access,All_Reference
0305 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0306 e5fe       |    |		Load	0x2,-0x2
0307 0227       | '  |		Execute	Access,All_Reference
0308 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0309 0aff       |    |		Execute_Immediate	Plus,-0x1
030a e5fe       |    |		Load	0x2,-0x2
030b 0227       | '  |		Execute	Access,All_Reference
030c 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
030d e225       | %  |		Load	0x1,0x25
030e a402       |    |		Store_Unchecked	0x2,0x2
030f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0310 ; --------------------------------------------------------------------------------------
0310 ; SUBPROGRAM
0310 ; --------------------------------------------------------------------------------------
0310 0313       |    |		.CONST	0x0313								; Address of begin
0311 0004       |    |		.CONST	0x0004								; Address of exception handler
0312 0001       |    |		.CONST	0x0001								; Number of locals
0313			BODY_0310:
0313			INIT_0310:
0313 e225       | %  |		Load	0x1,0x25
0314 00db       |    |		Load_Top	At_Offset_3
0315 0227       | '  |		Execute	Access,All_Reference
0316 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0317 00cf       |    |		Action	Mark_Auxiliary
0318 e229       | )  |		Load	0x1,0x29
0319 0269       | i  |		Execute	Discrete,Last
031a 4800       |H   |		Short_Literal	0x0
031b 0263       | c  |		Execute	Discrete,Above_Bound
031c 7008       |p   |		Jump_Nonzero	0x325
031d e225       | %  |		Load	0x1,0x25
031e 00d9       |    |		Load_Top	At_Offset_1
031f e5ff       |    |		Load	0x2,-0x1
0320 0227       | '  |		Execute	Access,All_Reference
0321 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0322 01d6       |    |		Execute	Vector,Field_Write
0323 00c8       |    |		Action	Pop_Auxiliary_Range
0324 3ff8       |?   |		Loop_Increasing	0x31d
0325 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0326 0000 0000  |    |		.XXX[0x2]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 032f       | /  |		.CONST	0x032f								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0002       |    |		.CONST	0x0002								; Number of locals
032b			INIT_0328:
032b e402       |    |		Load	0x2,0x2
032c 0227       | '  |		Execute	Access,All_Reference
032d 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
032e 0007       |    |		Action	Break_Optional
032f			BODY_0328:
032f 00d8       |    |		Load_Top	At_Offset_0
0330 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0331 e5fe       |    |		Load	0x2,-0x2
0332 012f       | /  |		Execute	Any,Equal
0333 680b       |h   |		Jump_Zero	0x33f
0334 00d8       |    |		Load_Top	At_Offset_0
0335 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0336 00d8       |    |		Load_Top	At_Offset_0
0337 0120       |    |		Execute	Any,Is_Value
0338 7002       |p   |		Jump_Nonzero	0x33b
0339 00d8       |    |		Load_Top	At_Offset_0
033a 011e       |    |		Execute	Any,Convert
033b e210       |    |		Load	0x1,0x10
033c 0119       |    |		Execute	Any,Check_In_Formal_Type
033d 00cb       |    |		Action	Pop_Block_With_Result
033e 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
033f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0340 ; --------------------------------------------------------------------------------------
0340 ; SUBPROGRAM
0340 ; --------------------------------------------------------------------------------------
0340 0348       | H  |		.CONST	0x0348								; Address of begin
0341 0004       |    |		.CONST	0x0004								; Address of exception handler
0342 0002       |    |		.CONST	0x0002								; Number of locals
0343			INIT_0340:
0343 e5fe       |    |		Load	0x2,-0x2
0344 e20f       |    |		Load	0x1,0xf
0345 0119       |    |		Execute	Any,Check_In_Formal_Type
0346 e5ff       |    |		Load	0x2,-0x1
0347 822e       | .  |		Call	0x1,0x2e
0348			BODY_0340:
0348 00d8       |    |		Load_Top	At_Offset_0
0349 680d       |h   |		Jump_Zero	0x357
034a 00d8       |    |		Load_Top	At_Offset_0
034b 0227       | '  |		Execute	Access,All_Reference
034c 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
034d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
034e 00d8       |    |		Load_Top	At_Offset_0
034f 0120       |    |		Execute	Any,Is_Value
0350 7002       |p   |		Jump_Nonzero	0x353
0351 00d8       |    |		Load_Top	At_Offset_0
0352 011e       |    |		Execute	Any,Convert
0353 e210       |    |		Load	0x1,0x10
0354 0119       |    |		Execute	Any,Check_In_Formal_Type
0355 00cb       |    |		Action	Pop_Block_With_Result
0356 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0357 e220       |    |		Load	0x1,0x20
0358 0257       | W  |		Execute	Discrete,Raise
0359 0000 0000  |    |		.BLANK	0000[0x7]
0360 ; --------------------------------------------------------------------------------------
0360 ; SUBPROGRAM
0360 ; --------------------------------------------------------------------------------------
0360 0367       | g  |		.CONST	0x0367								; Address of begin
0361 0004       |    |		.CONST	0x0004								; Address of exception handler
0362 0002       |    |		.CONST	0x0002								; Number of locals
0363			INIT_0360:
0363 e402       |    |		Load	0x2,0x2
0364 0227       | '  |		Execute	Access,All_Reference
0365 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0366 0007       |    |		Action	Break_Optional
0367			BODY_0360:
0367 00d8       |    |		Load_Top	At_Offset_0
0368 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0369 e5fe       |    |		Load	0x2,-0x2
036a 012f       | /  |		Execute	Any,Equal
036b 6807       |h   |		Jump_Zero	0x373
036c 00d8       |    |		Load_Top	At_Offset_0
036d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
036e c5fd       |    |		Store	0x2,-0x3
036f 4801       |H   |		Short_Literal	0x1
0370 a5fc       |    |		Store_Unchecked	0x2,-0x4
0371 00cc       |    |		Action	Pop_Block
0372 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0373 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0374 0000 0000  |    |		.BLANK	0000[0x4]
0378 ; --------------------------------------------------------------------------------------
0378 ; SUBPROGRAM
0378 ; --------------------------------------------------------------------------------------
0378 0380       |    |		.CONST	0x0380								; Address of begin
0379 0004       |    |		.CONST	0x0004								; Address of exception handler
037a 0002       |    |		.CONST	0x0002								; Number of locals
037b			INIT_0378:
037b e5fe       |    |		Load	0x2,-0x2
037c e20f       |    |		Load	0x1,0xf
037d 0119       |    |		Execute	Any,Check_In_Formal_Type
037e e5ff       |    |		Load	0x2,-0x1
037f 822e       | .  |		Call	0x1,0x2e
0380			BODY_0378:
0380 00d8       |    |		Load_Top	At_Offset_0
0381 6808       |h   |		Jump_Zero	0x38a
0382 00d8       |    |		Load_Top	At_Offset_0
0383 0227       | '  |		Execute	Access,All_Reference
0384 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0385 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0386 c5fd       |    |		Store	0x2,-0x3
0387 4801       |H   |		Short_Literal	0x1
0388 a5fc       |    |		Store_Unchecked	0x2,-0x4
0389 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
038a 4800       |H   |		Short_Literal	0x0
038b a5fc       |    |		Store_Unchecked	0x2,-0x4
038c 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
038d 0000 0000  |    |		.XXX[0x3]
038f 0000       |    |
0390 ; --------------------------------------------------------------------------------------
0390 ; SUBPROGRAM
0390 ; --------------------------------------------------------------------------------------
0390 0397       |    |		.CONST	0x0397								; Address of begin
0391 0004       |    |		.CONST	0x0004								; Address of exception handler
0392 0002       |    |		.CONST	0x0002								; Number of locals
0393			INIT_0390:
0393 e402       |    |		Load	0x2,0x2
0394 0227       | '  |		Execute	Access,All_Reference
0395 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0396 0007       |    |		Action	Break_Optional
0397			BODY_0390:
0397 00d8       |    |		Load_Top	At_Offset_0
0398 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0399 e5fe       |    |		Load	0x2,-0x2
039a 012f       | /  |		Execute	Any,Equal
039b 6807       |h   |		Jump_Zero	0x3a3
039c 00d8       |    |		Load_Top	At_Offset_0
039d e5fd       |    |		Load	0x2,-0x3
039e 017d       | }  |		Execute	Record,Structure_Write
039f 4801       |H   |		Short_Literal	0x1
03a0 a5fc       |    |		Store_Unchecked	0x2,-0x4
03a1 00cc       |    |		Action	Pop_Block
03a2 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
03a3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03a4 0000 0000  |    |		.BLANK	0000[0x4]
03a8 ; --------------------------------------------------------------------------------------
03a8 ; SUBPROGRAM
03a8 ; --------------------------------------------------------------------------------------
03a8 03b0       |    |		.CONST	0x03b0								; Address of begin
03a9 0004       |    |		.CONST	0x0004								; Address of exception handler
03aa 0002       |    |		.CONST	0x0002								; Number of locals
03ab			INIT_03a8:
03ab e5fe       |    |		Load	0x2,-0x2
03ac e20f       |    |		Load	0x1,0xf
03ad 0119       |    |		Execute	Any,Check_In_Formal_Type
03ae e5ff       |    |		Load	0x2,-0x1
03af 822e       | .  |		Call	0x1,0x2e
03b0			BODY_03a8:
03b0 00d8       |    |		Load_Top	At_Offset_0
03b1 6808       |h   |		Jump_Zero	0x3ba
03b2 00d8       |    |		Load_Top	At_Offset_0
03b3 0227       | '  |		Execute	Access,All_Reference
03b4 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
03b5 e5fd       |    |		Load	0x2,-0x3
03b6 017d       | }  |		Execute	Record,Structure_Write
03b7 4801       |H   |		Short_Literal	0x1
03b8 a5fc       |    |		Store_Unchecked	0x2,-0x4
03b9 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03ba 4800       |H   |		Short_Literal	0x0
03bb a5fc       |    |		Store_Unchecked	0x2,-0x4
03bc 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03bd 0000 0000  |    |		.XXX[0x3]
03bf 0000       |    |
03c0 ; --------------------------------------------------------------------------------------
03c0 ; SUBPROGRAM
03c0 ; --------------------------------------------------------------------------------------
03c0 03c5       |    |		.CONST	0x03c5								; Address of begin
03c1 0004       |    |		.CONST	0x0004								; Address of exception handler
03c2 0002       |    |		.CONST	0x0002								; Number of locals
03c3			INIT_03c0:
03c3 00da       |    |		Load_Top	At_Offset_2
03c4 0007       |    |		Action	Break_Optional
03c5			BODY_03c0:
03c5 e225       | %  |		Load	0x1,0x25
03c6 a7fe       |    |		Store_Unchecked	0x3,-0x2
03c7 00cf       |    |		Action	Mark_Auxiliary
03c8 7819       |x   |		Jump	0x3e2
03c9 e226       | &  |		Load	0x1,0x26
03ca 0322       | "  |		Declare_Variable	Record
03cb 00da       |    |		Load_Top	At_Offset_2
03cc 0227       | '  |		Execute	Access,All_Reference
03cd 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
03ce 00d9       |    |		Load_Top	At_Offset_1
03cf 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03d0 e7fe       |    |		Load	0x3,-0x2
03d1 00d9       |    |		Load_Top	At_Offset_1
03d2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03d3 e225       | %  |		Load	0x1,0x25
03d4 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
03d5 a7fe       |    |		Store_Unchecked	0x3,-0x2
03d6 e5fe       |    |		Load	0x2,-0x2
03d7 0227       | '  |		Execute	Access,All_Reference
03d8 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
03d9 0a01       |    |		Execute_Immediate	Plus,0x1
03da e5fe       |    |		Load	0x2,-0x2
03db 0227       | '  |		Execute	Access,All_Reference
03dc 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
03dd 00d9       |    |		Load_Top	At_Offset_1
03de 0227       | '  |		Execute	Access,All_Reference
03df 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
03e0 003a       | :  |		Store_Top	Access,At_Offset_2
03e1 00c9       |    |		Action	Pop_Auxiliary_Loop
03e2 00d9       |    |		Load_Top	At_Offset_1
03e3 77e5       |w   |		Jump_Nonzero	0x3c9
03e4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
03e5 0000 0000  |    |		.XXX[0x3]
03e7 0000       |    |
03e8 ; --------------------------------------------------------------------------------------
03e8 ; SUBPROGRAM
03e8 ; --------------------------------------------------------------------------------------
03e8 03eb       |    |		.CONST	0x03eb								; Address of begin
03e9 0004       |    |		.CONST	0x0004								; Address of exception handler
03ea 0001       |    |		.CONST	0x0001								; Number of locals
03eb			BODY_03e8:
03eb			INIT_03e8:
03eb 4601       |F   |		Jump_Case	0x2
03ec 7801       |x   |		Jump	0x3ee								; case 0x0
03ed 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
03ee 00da       |    |		Load_Top	At_Offset_2
03ef 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
03f0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
03f1 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
03f2 0000 0000  |    |		.BLANK	0000[0x6]
03f8 ; --------------------------------------------------------------------------------------
03f8 ; SUBPROGRAM
03f8 ; --------------------------------------------------------------------------------------
03f8 03fb       |    |		.CONST	0x03fb								; Address of begin
03f9 0004       |    |		.CONST	0x0004								; Address of exception handler
03fa 0001       |    |		.CONST	0x0001								; Number of locals
03fb			BODY_03f8:
03fb			INIT_03f8:
03fb 4601       |F   |		Jump_Case	0x2
03fc 7801       |x   |		Jump	0x3fe								; case 0x0
03fd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
03fe 4800       |H   |		Short_Literal	0x0
03ff 00db       |    |		Load_Top	At_Offset_3
0400 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0401 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0402 0000 0000  |    |		.BLANK	0000[0x6]
0408 ; --------------------------------------------------------------------------------------
0408 ; SUBPROGRAM
0408 ; --------------------------------------------------------------------------------------
0408 040b       |    |		.CONST	0x040b								; Address of begin
0409 0004       |    |		.CONST	0x0004								; Address of exception handler
040a 0001       |    |		.CONST	0x0001								; Number of locals
040b			BODY_0408:
040b			INIT_0408:
040b 4601       |F   |		Jump_Case	0x2
040c 7801       |x   |		Jump	0x40e								; case 0x0
040d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
040e 00da       |    |		Load_Top	At_Offset_2
040f 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0410 0125       | %  |		Execute	Any,Set_Constraint
0411 00da       |    |		Load_Top	At_Offset_2
0412 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0413 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0414 00da       |    |		Load_Top	At_Offset_2
0415 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0416 0125       | %  |		Execute	Any,Set_Constraint
0417 00da       |    |		Load_Top	At_Offset_2
0418 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0419 1c00       |    |		Execute_Immediate	Run_Utility,0x0
041a 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
041b 0000 0000  |    |		.BLANK	0000[0x5]
0420 ; --------------------------------------------------------------------------------------
0420 ; SUBPROGRAM
0420 ; --------------------------------------------------------------------------------------
0420 042d       | -  |		.CONST	0x042d								; Address of begin
0421 0004       |    |		.CONST	0x0004								; Address of exception handler
0422 0010       |    |		.CONST	0x0010								; Number of locals
0423			INIT_0420:
0423 4804       |H   |		Short_Literal	0x4
0424 02cb       |    |		Declare_Variable	Entry
0425 4802       |H   |		Short_Literal	0x2
0426 02cb       |    |		Declare_Variable	Entry
0427 4801       |H   |		Short_Literal	0x1
0428 02cb       |    |		Declare_Variable	Entry
0429 00bf       |    |		Action	Accept_Activation
042a 029f 043b  |   ;|		Declare_Subprogram	INIT_0438,For_Call
042c 00bc       |    |		Action	Signal_Activated
042d			BODY_0420:
042d 00cf       |    |		Action	Mark_Auxiliary
042e 8210       |    |		Call	0x1,0x10
042f 00c9       |    |		Action	Pop_Auxiliary_Loop
0430 7ffd       |    |		Jump	0x42e
0431 0000 0000  |    |		.BLANK	0000[0x7]
0438 ; --------------------------------------------------------------------------------------
0438 ; SUBPROGRAM
0438 ; --------------------------------------------------------------------------------------
0438 0446       | F  |		.CONST	0x0446								; Address of begin
0439 0449       | I  |		.CONST	0x0449								; Address of exception handler
043a 0002       |    |		.CONST	0x0002								; Number of locals
043b			INIT_0438:
043b 480f 488a  |H H |		Declare_Variable	Select	0x000, 0x003,
043d 480e 488b  |H H |				[0x000]: 0x001 = 0x0008,
043f 480d 488d  |H H |				[0x00d]: 0x08d = 0x0468,
0441 4800 4801  |H H |				[0x00e]: 0x08b = 0x0458,
0443 4800 4803  |H H |				[0x00f]: 0x08a = 0x0450
0445 02cf       |    |
0446			BODY_0438:
0446 00d8       |    |		Load_Top	At_Offset_0
0447 013f       | ?  |		Execute	Select,Rendezvous
0448 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0449			TRAP_0438:
0449 0007       |    |		Action	Break_Optional
044a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
044b 0000 0000  |    |		.BLANK	0000[0x5]
0450 ; --------------------------------------------------------------------------------------
0450 ; SUBPROGRAM
0450 ; See instruction 0x02cf at 0x43b, index=0xf
0450 ; --------------------------------------------------------------------------------------
0450 0453       | S  |		.CONST	0x0453								; Address of begin
0451 0004       |    |		.CONST	0x0004								; Address of exception handler
0452 0001       |    |		.CONST	0x0001								; Number of locals
0453			BODY_0450:
0453			INIT_0450:
0453 00db       |    |		Load_Top	At_Offset_3
0454 8001       |    |		Call	0x0,0x1
0455 c7fe       |    |		Store	0x3,-0x2
0456 4101       |A   |		End_Rendezvous	0x1
0457 0000       |    |		.XXX[0x1]
0458 ; --------------------------------------------------------------------------------------
0458 ; SUBPROGRAM
0458 ; See instruction 0x02cf at 0x43b, index=0xe
0458 ; --------------------------------------------------------------------------------------
0458 045b       | [  |		.CONST	0x045b								; Address of begin
0459 0004       |    |		.CONST	0x0004								; Address of exception handler
045a 0001       |    |		.CONST	0x0001								; Number of locals
045b			BODY_0458:
045b			INIT_0458:
045b e7fd       |    |		Load	0x3,-0x3
045c e7fe       |    |		Load	0x3,-0x2
045d e002       |    |		Load	0x0,0x2
045e 0119       |    |		Execute	Any,Check_In_Formal_Type
045f 8003       |    |		Call	0x0,0x3
0460 c7fd       |    |		Store	0x3,-0x3
0461 4101       |A   |		End_Rendezvous	0x1
0462 0000 0000  |    |		.BLANK	0000[0x6]
0468 ; --------------------------------------------------------------------------------------
0468 ; SUBPROGRAM
0468 ; See instruction 0x02cf at 0x43b, index=0xd
0468 ; --------------------------------------------------------------------------------------
0468 046b       | k  |		.CONST	0x046b								; Address of begin
0469 0004       |    |		.CONST	0x0004								; Address of exception handler
046a 0001       |    |		.CONST	0x0001								; Number of locals
046b			BODY_0468:
046b			INIT_0468:
046b e7fb       |    |		Load	0x3,-0x5
046c e7fc       |    |		Load	0x3,-0x4
046d e7fd       |    |		Load	0x3,-0x3
046e e004       |    |		Load	0x0,0x4
046f 0119       |    |		Execute	Any,Check_In_Formal_Type
0470 e7fe       |    |		Load	0x3,-0x2
0471 e002       |    |		Load	0x0,0x2
0472 0119       |    |		Execute	Any,Check_In_Formal_Type
0473 8005       |    |		Call	0x0,0x5
0474 c7fb       |    |		Store	0x3,-0x5
0475 4101       |A   |		End_Rendezvous	0x1
0476 0000 0000  |    |		.XXX[0x2]
0478 ; --------------------------------------------------------------------------------------
0478 ; Debug Table
0478 ; --------------------------------------------------------------------------------------
0478 0004 0001  |    |		.DEBUG4	0x0004,0x0001,0x97c1,0x0000,0x0001,0x0028
047e 000b 051e  |    |		.DBG4T	0x000b,0x051e,0xc000,0x8000
0482 0070 0554  | p T|		.DBG4T	0x0070,0x0554,0xc000,0x8000
0486 00b3 0586  |    |		.DBG4T	0x00b3,0x0586,0x1002,0x0000
048a 00d3 058c  |    |		.DBG4T	0x00d3,0x058c,0x1001,0x0000
048e 00e3 0592  |    |		.DBG4T	0x00e3,0x0592,0x1001,0x0000
0492 00f3 0598  |    |		.DBG4T	0x00f3,0x0598,0x1001,0x0000
0496 0103 059b  |    |		.DBG4T	0x0103,0x059b,0x1001,0x0000
049a 0113 059e  |    |		.DBG4T	0x0113,0x059e,0x1001,0x0000
049e 0123 05a1  | #  |		.DBG4T	0x0123,0x05a1,0x1002,0x0000
04a2 013b 05a7  | ;  |		.DBG4T	0x013b,0x05a7,0x1001,0x0000
04a6 014b 05aa  | K  |		.DBG4T	0x014b,0x05aa,0x1001,0x0000
04aa 0173 05b1  | s  |		.DBG4T	0x0173,0x05b1,0x1001,0x0000
04ae 01ab 05c1  |    |		.DBG4T	0x01ab,0x05c1,0x1001,0x4000
04b2 01d3 05d1  |    |		.DBG4T	0x01d3,0x05d1,0x1002,0x0000
04b6 01e3 05d4  |    |		.DBG4T	0x01e3,0x05d4,0x1002,0x0000
04ba 01eb 05d7  |    |		.DBG4T	0x01eb,0x05d7,0x1002,0x0000
04be 01f3 05da  |    |		.DBG4T	0x01f3,0x05da,0x1002,0x0000
04c2 01fb 05dd  |    |		.DBG4T	0x01fb,0x05dd,0x1002,0x0000
04c6 0203 05e0  |    |		.DBG4T	0x0203,0x05e0,0x1002,0x0000
04ca 0213 05e3  |    |		.DBG4T	0x0213,0x05e3,0x1002,0x4000
04ce 023b 05f0  | ;  |		.DBG4T	0x023b,0x05f0,0x1001,0x4000
04d2 025b 05fc  | [  |		.DBG4T	0x025b,0x05fc,0x1001,0x0000
04d6 02db 060e  |    |		.DBG4T	0x02db,0x060e,0x1001,0x0000
04da 0313 061c  |    |		.DBG4T	0x0313,0x061c,0x1001,0x0000
04de 032b 0621  | + !|		.DBG4T	0x032b,0x0621,0x1004,0x0000
04e2 0343 0626  | C &|		.DBG4T	0x0343,0x0626,0x1004,0x0000
04e6 0363 062c  | c ,|		.DBG4T	0x0363,0x062c,0x1004,0x0000
04ea 037b 0633  | { 3|		.DBG4T	0x037b,0x0633,0x1004,0x0000
04ee 0393 063a  |   :|		.DBG4T	0x0393,0x063a,0x1004,0x0000
04f2 03ab 0641  |   A|		.DBG4T	0x03ab,0x0641,0x1004,0x0000
04f6 03c3 0648  |   H|		.DBG4T	0x03c3,0x0648,0x1001,0x4000
04fa 03eb 0000  |    |		.DBG4T	0x03eb,0x0000,0x1005,0x0000
04fe 03fb 0000  |    |		.DBG4T	0x03fb,0x0000,0x1005,0x0000
0502 040b 0000  |    |		.DBG4T	0x040b,0x0000,0x1005,0x0000
0506 0423 0655  | # U|		.DBG4T	0x0423,0x0655,0x0000,0x0000
050a 042a 065a  | * Z|		.DBG4T	0x042a,0x065a,0x0000,0x4000
050e 043b 065e  | ; ^|		.DBG4T	0x043b,0x065e,0x0004,0x4000
0512 0453 0664  | S d|		.DBG4T	0x0453,0x0664,0x0003,0x0000
0516 045b 0667  | [ g|		.DBG4T	0x045b,0x0667,0x0003,0x0000
051a 046b 066a  | k j|		.DBG4T	0x046b,0x066a,0x0003,0x0000
051e ; --------------------------------------------------------------------------------------
051e ; Debug chain
051e ; --------------------------------------------------------------------------------------
051e 001a 0000  |    |		.DBGLEN	0x001a,0x0000
0520 000b 0011  |    |		.DBGLNO	0x000b,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x0025,0x0027,0x0029,0x002b,0x0034,0x003d,0x003f,0x0041,0x0043,0x0045,0x004f,0x0051,0x0058,0x005d,0x0064
053a 0002 0003  |    |		.XXX[0x1a]
053c 0004 0005  |    |
053e 0006 0007  |    |
0540 0008 0009  |    |
0542 000a 000b  |    |
0544 000d 000e  |    |
0546 000f 0010  |    |
0548 0011 0012  |    |
054a 0013 0014  |    |
054c 0015 0017  |    |
054e 0018 001a  |    |
0550 001b 001c  |    |
0552 001d 001e  |    |
0554 ; --------------------------------------------------------------------------------------
0554 ; Debug chain
0554 ; --------------------------------------------------------------------------------------
0554 0018 0000  |    |		.DBGLEN	0x0018,0x0000
0556 0070 0076  | p v|		.DBGLNO	0x0070,0x0076,0x0078,0x007a,0x007c,0x007e,0x0080,0x0082,0x0084,0x0086,0x0088,0x008a,0x008c,0x008e,0x0090,0x0092,0x0094,0x0096,0x0098,0x009a,0x009c,0x00a5,0x00a7,0x00a9
056e 0001 0002  |    |		.XXX[0x18]
0570 0004 0005  |    |
0572 0006 0007  |    |
0574 0008 0009  |    |
0576 000a 000b  |    |
0578 000c 000d  |    |
057a 000e 000f  |    |
057c 0010 0011  |    |
057e 0012 0013  |    |
0580 0014 0015  |    |
0582 0016 0017  |    |
0584 0018 0019  |    |
0586 ; --------------------------------------------------------------------------------------
0586 ; Debug chain
0586 ; --------------------------------------------------------------------------------------
0586 0001 0003  |    |		.DBGLEN	0x0001,0x0003
0588 00b3 00ba  |    |		.DBGLNO	0x00b3,0x00ba,0x00bc,0x00bd
058c ; --------------------------------------------------------------------------------------
058c ; Debug chain
058c ; --------------------------------------------------------------------------------------
058c 0001 0003  |    |		.DBGLEN	0x0001,0x0003
058e 00d3 00da  |    |		.DBGLNO	0x00d3,0x00da,0x00dc,0x00dd
0592 ; --------------------------------------------------------------------------------------
0592 ; Debug chain
0592 ; --------------------------------------------------------------------------------------
0592 0001 0003  |    |		.DBGLEN	0x0001,0x0003
0594 00e3 00ea  |    |		.DBGLNO	0x00e3,0x00ea,0x00ec,0x00ed
0598 ; --------------------------------------------------------------------------------------
0598 ; Debug chain
0598 ; --------------------------------------------------------------------------------------
0598 0000 0001  |    |		.DBGLEN	0x0000,0x0001
059a 00f3       |    |		.DBGLNO	0x00f3
059b ; --------------------------------------------------------------------------------------
059b ; Debug chain
059b ; --------------------------------------------------------------------------------------
059b 0000 0001  |    |		.DBGLEN	0x0000,0x0001
059d 0103       |    |		.DBGLNO	0x0103
059e ; --------------------------------------------------------------------------------------
059e ; Debug chain
059e ; --------------------------------------------------------------------------------------
059e 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05a0 0113       |    |		.DBGLNO	0x0113
05a1 ; --------------------------------------------------------------------------------------
05a1 ; Debug chain
05a1 ; --------------------------------------------------------------------------------------
05a1 0000 0004  |    |		.DBGLEN	0x0000,0x0004
05a3 0124 0129  | $ )|		.DBGLNO	0x0124,0x0129,0x012f,0x0134
05a7 ; --------------------------------------------------------------------------------------
05a7 ; Debug chain
05a7 ; --------------------------------------------------------------------------------------
05a7 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05a9 013b       | ;  |		.DBGLNO	0x013b
05aa ; --------------------------------------------------------------------------------------
05aa ; Debug chain
05aa ; --------------------------------------------------------------------------------------
05aa 0001 0004  |    |		.DBGLEN	0x0001,0x0004
05ac 014b 014d  | K M|		.DBGLNO	0x014b,0x014d,0x0152,0x0157,0x016b
05b1 ; --------------------------------------------------------------------------------------
05b1 ; Debug chain
05b1 ; --------------------------------------------------------------------------------------
05b1 0001 000d  |    |		.DBGLEN	0x0001,0x000d
05b3 0173 0175  | s u|		.DBGLNO	0x0173,0x0175,0x0177,0x017a,0x017c,0x0181,0x0188,0x018b,0x018e,0x0191,0x0194,0x0197,0x019b,0x019e
05c1 ; --------------------------------------------------------------------------------------
05c1 ; Debug chain
05c1 ; --------------------------------------------------------------------------------------
05c1 0000 0007  |    |		.DBGLEN	0x0000,0x0007
05c3 01ab 01b3  |    |		.DBGLNO	0x01ab,0x01b3,0x01b9,0x01bc,0x01bd,0x01c2,0x01cc
05ca 0001 0003  |    |		.XXX[0x7]
05cc 0004 0005  |    |
05ce 0006 0007  |    |
05d0 0002       |    |
05d1 ; --------------------------------------------------------------------------------------
05d1 ; Debug chain
05d1 ; --------------------------------------------------------------------------------------
05d1 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05d3 01d3       |    |		.DBGLNO	0x01d3
05d4 ; --------------------------------------------------------------------------------------
05d4 ; Debug chain
05d4 ; --------------------------------------------------------------------------------------
05d4 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05d6 01e3       |    |		.DBGLNO	0x01e3
05d7 ; --------------------------------------------------------------------------------------
05d7 ; Debug chain
05d7 ; --------------------------------------------------------------------------------------
05d7 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05d9 01eb       |    |		.DBGLNO	0x01eb
05da ; --------------------------------------------------------------------------------------
05da ; Debug chain
05da ; --------------------------------------------------------------------------------------
05da 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05dc 01f3       |    |		.DBGLNO	0x01f3
05dd ; --------------------------------------------------------------------------------------
05dd ; Debug chain
05dd ; --------------------------------------------------------------------------------------
05dd 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05df 01fb       |    |		.DBGLNO	0x01fb
05e0 ; --------------------------------------------------------------------------------------
05e0 ; Debug chain
05e0 ; --------------------------------------------------------------------------------------
05e0 0000 0001  |    |		.DBGLEN	0x0000,0x0001
05e2 0203       |    |		.DBGLNO	0x0203
05e3 ; --------------------------------------------------------------------------------------
05e3 ; Debug chain
05e3 ; --------------------------------------------------------------------------------------
05e3 0001 0005  |    |		.DBGLEN	0x0001,0x0005
05e5 0213 021d  |    |		.DBGLNO	0x0213,0x021d,0x0222,0x022c,0x022e,0x0232
05eb 0002 0001  |    |		.XXX[0x5]
05ed 0003 0004  |    |
05ef 0005       |    |
05f0 ; --------------------------------------------------------------------------------------
05f0 ; Debug chain
05f0 ; --------------------------------------------------------------------------------------
05f0 0000 0005  |    |		.DBGLEN	0x0000,0x0005
05f2 023b 023d  | ; =|		.DBGLNO	0x023b,0x023d,0x0241,0x0243,0x0248
05f7 0001 0002  |    |		.XXX[0x5]
05f9 0004 0005  |    |
05fb 0003       |    |
05fc ; --------------------------------------------------------------------------------------
05fc ; Debug chain
05fc ; --------------------------------------------------------------------------------------
05fc 0004 000c  |    |		.DBGLEN	0x0004,0x000c
05fe 025b 025f  | [ _|		.DBGLNO	0x025b,0x025f,0x0268,0x026a,0x026c,0x0275,0x0277,0x028d,0x028f,0x0297,0x0299,0x029b,0x029d,0x02b5,0x02b8,0x02d2
060e ; --------------------------------------------------------------------------------------
060e ; Debug chain
060e ; --------------------------------------------------------------------------------------
060e 0004 0008  |    |		.DBGLEN	0x0004,0x0008
0610 02db 02df  |    |		.DBGLNO	0x02db,0x02df,0x02e8,0x02ea,0x02ec,0x02f5,0x02f7,0x02f9,0x02fb,0x0300,0x0306,0x030d
061c ; --------------------------------------------------------------------------------------
061c ; Debug chain
061c ; --------------------------------------------------------------------------------------
061c 0000 0003  |    |		.DBGLEN	0x0000,0x0003
061e 0313 0318  |    |		.DBGLNO	0x0313,0x0318,0x031d
0621 ; --------------------------------------------------------------------------------------
0621 ; Debug chain
0621 ; --------------------------------------------------------------------------------------
0621 0001 0002  |    |		.DBGLEN	0x0001,0x0002
0623 032b 032f  | + /|		.DBGLNO	0x032b,0x032f,0x0334
0626 ; --------------------------------------------------------------------------------------
0626 ; Debug chain
0626 ; --------------------------------------------------------------------------------------
0626 0001 0003  |    |		.DBGLEN	0x0001,0x0003
0628 0343 0348  | C H|		.DBGLNO	0x0343,0x0348,0x034a,0x0357
062c ; --------------------------------------------------------------------------------------
062c ; Debug chain
062c ; --------------------------------------------------------------------------------------
062c 0001 0004  |    |		.DBGLEN	0x0001,0x0004
062e 0363 0367  | c g|		.DBGLNO	0x0363,0x0367,0x036c,0x036f,0x0371
0633 ; --------------------------------------------------------------------------------------
0633 ; Debug chain
0633 ; --------------------------------------------------------------------------------------
0633 0001 0004  |    |		.DBGLEN	0x0001,0x0004
0635 037b 0380  | {  |		.DBGLNO	0x037b,0x0380,0x0382,0x0387,0x038a
063a ; --------------------------------------------------------------------------------------
063a ; Debug chain
063a ; --------------------------------------------------------------------------------------
063a 0001 0004  |    |		.DBGLEN	0x0001,0x0004
063c 0393 0397  |    |		.DBGLNO	0x0393,0x0397,0x039c,0x039f,0x03a1
0641 ; --------------------------------------------------------------------------------------
0641 ; Debug chain
0641 ; --------------------------------------------------------------------------------------
0641 0001 0004  |    |		.DBGLEN	0x0001,0x0004
0643 03ab 03b0  |    |		.DBGLNO	0x03ab,0x03b0,0x03b2,0x03b7,0x03ba
0648 ; --------------------------------------------------------------------------------------
0648 ; Debug chain
0648 ; --------------------------------------------------------------------------------------
0648 0001 0005  |    |		.DBGLEN	0x0001,0x0005
064a 03c3 03c5  |    |		.DBGLNO	0x03c3,0x03c5,0x03c9,0x03d6,0x03dd,0x03e2
0650 0001 0003  |    |		.XXX[0x5]
0652 0004 0005  |    |
0654 0002       |    |
0655 ; --------------------------------------------------------------------------------------
0655 ; Debug chain
0655 ; --------------------------------------------------------------------------------------
0655 0003 0000  |    |		.DBGLEN	0x0003,0x0000
0657 0423 0425  | # %|		.DBGLNO	0x0423,0x0425,0x0427
065a ; --------------------------------------------------------------------------------------
065a ; Debug chain
065a ; --------------------------------------------------------------------------------------
065a 0000 0001  |    |		.DBGLEN	0x0000,0x0001
065c 042e       | .  |		.DBGLNO	0x042e
065d 0002       |    |		.XXX[0x1]
065e ; --------------------------------------------------------------------------------------
065e ; Debug chain
065e ; --------------------------------------------------------------------------------------
065e 0000 0002  |    |		.DBGLEN	0x0000,0x0002
0660 0446 044a  | F J|		.DBGLNO	0x0446,0x044a
0662 0001 0005  |    |		.XXX[0x2]
0664 ; --------------------------------------------------------------------------------------
0664 ; Debug chain
0664 ; --------------------------------------------------------------------------------------
0664 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0666 0453       | S  |		.DBGLNO	0x0453
0667 ; --------------------------------------------------------------------------------------
0667 ; Debug chain
0667 ; --------------------------------------------------------------------------------------
0667 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0669 045b       | [  |		.DBGLNO	0x045b
066a ; --------------------------------------------------------------------------------------
066a ; Debug chain
066a ; --------------------------------------------------------------------------------------
066a 0000 0001  |    |		.DBGLEN	0x0000,0x0001
066c 046b       | k  |		.DBGLNO	0x046b
066d 0000 0000  |    |		.BLANK	0000[0x193]