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

⟦c3fa2813f⟧

    Length: 5120 (0x1400)
    Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_779ce4

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 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 08d0       |    |		.CONST	0x08d0								; 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 8005       |    |		.CONST	0x8005								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0119       |    |		.CONST	0x0119								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0054       | T  |		.CONST	0x0054								; Number of locals
000b			INIT_0008:
000b 4800       |H   |		Short_Literal	0x0
000c 4802       |H   |		Short_Literal	0x2
000d 029f 0123  |   #|		Declare_Subprogram	INIT_0120,For_Call
000f 03fe       |    |		Declare_Type	Discrete,Defined,Visible
0010 e20e       |    |		Load	0x1,0xe
0011 0265       | e  |		Execute	Discrete,Reverse_Bounds
0012 e20e       |    |		Load	0x1,0xe
0013 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0014 00d0       |    |		Action	Swap_Control
0015 e20e       |    |		Load	0x1,0xe
0016 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0017 00e3       |    |		Load_Encached	Natural_Cache
0018 02a0       |    |		Declare_Subprogram	Null_Subprogram
0019 4801       |H   |		Short_Literal	0x1
001a 035e       | ^  |		Declare_Type	Array,Defined,Visible
001b 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated
001d 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
001f 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated
0021 029a 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call,Visible,Unelaborated
0023 029a 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call,Visible,Unelaborated
0025 029a 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call,Visible,Unelaborated
0027 029a 01db  |    |		Declare_Subprogram	INIT_01d8,For_Outer_Call,Visible,Unelaborated
0029 029a 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Outer_Call,Visible,Unelaborated
002b 029a 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Outer_Call,Visible,Unelaborated
002d 029a 020b  |    |		Declare_Subprogram	INIT_0208,For_Outer_Call,Visible,Unelaborated
002f 029a 0213  |    |		Declare_Subprogram	INIT_0210,For_Outer_Call,Visible,Unelaborated
0031 029a 027b  |   {|		Declare_Subprogram	INIT_0278,For_Outer_Call,Visible,Unelaborated
0033 029a 02b3  |    |		Declare_Subprogram	INIT_02b0,For_Outer_Call,Visible,Unelaborated
0035 029a 02bb  |    |		Declare_Subprogram	INIT_02b8,For_Outer_Call,Visible,Unelaborated
0037 029a 02cb  |    |		Declare_Subprogram	INIT_02c8,For_Outer_Call,Visible,Unelaborated
0039 029a 02e3  |    |		Declare_Subprogram	INIT_02e0,For_Outer_Call,Visible,Unelaborated
003b 029a 02f3  |    |		Declare_Subprogram	INIT_02f0,For_Outer_Call,Visible,Unelaborated
003d 029a 0303  |    |		Declare_Subprogram	INIT_0300,For_Outer_Call,Visible,Unelaborated
003f 029a 0313  |    |		Declare_Subprogram	INIT_0310,For_Outer_Call,Visible,Unelaborated
0041 029a 032b  |   +|		Declare_Subprogram	INIT_0328,For_Outer_Call,Visible,Unelaborated
0043 029a 033b  |   ;|		Declare_Subprogram	INIT_0338,For_Outer_Call,Visible,Unelaborated
0045 029a 0343  |   C|		Declare_Subprogram	INIT_0340,For_Outer_Call,Visible,Unelaborated
0047 029a 0383  |    |		Declare_Subprogram	INIT_0380,For_Outer_Call,Visible,Unelaborated
0049 029a 038b  |    |		Declare_Subprogram	INIT_0388,For_Outer_Call,Visible,Unelaborated
004b 029a 03b3  |    |		Declare_Subprogram	INIT_03b0,For_Outer_Call,Visible,Unelaborated
004d 029a 03e3  |    |		Declare_Subprogram	INIT_03e0,For_Outer_Call,Visible,Unelaborated
004f 029a 0413  |    |		Declare_Subprogram	INIT_0410,For_Outer_Call,Visible,Unelaborated
0051 029a 0453  |   S|		Declare_Subprogram	INIT_0450,For_Outer_Call,Visible,Unelaborated
0053 029a 0493  |    |		Declare_Subprogram	INIT_0490,For_Outer_Call,Visible,Unelaborated
0055 029a 04c3  |    |		Declare_Subprogram	INIT_04c0,For_Outer_Call,Visible,Unelaborated
0057 029a 04d3  |    |		Declare_Subprogram	INIT_04d0,For_Outer_Call,Visible,Unelaborated
0059 029a 04e3  |    |		Declare_Subprogram	INIT_04e0,For_Outer_Call,Visible,Unelaborated
005b 029a 051b  |    |		Declare_Subprogram	INIT_0518,For_Outer_Call,Visible,Unelaborated
005d 029a 0523  |   #|		Declare_Subprogram	INIT_0520,For_Outer_Call,Visible,Unelaborated
005f 0093 0000  |    |		push_full_address	0x0
0061 60ea       |`   |		Indirect_Literal	Discrete,0x14c,{0x80000000, 0x00010000}
0062 0273       | s  |		Execute	Discrete,Plus
0063 e20d       |    |		Load	0x1,0xd
0064 60e3       |`   |		Indirect_Literal	Discrete,0x148,{0x00000000, 0x0000ffff}
0065 0279       | y  |		Execute	Discrete,And
0066 0273       | s  |		Execute	Discrete,Plus
0067 0129       | )  |		Execute	Any,Make_Visible
0068 00e9       |    |		Load_Encached	String_Cache
0069 02a0       |    |		Declare_Subprogram	Null_Subprogram
006a 03ae       |    |		Declare_Type	Heap_Access,Defined,Visible
006b e20e       |    |		Load	0x1,0xe
006c 0265       | e  |		Execute	Discrete,Reverse_Bounds
006d e20e       |    |		Load	0x1,0xe
006e 1c04       |    |		Execute_Immediate	Run_Utility,0x4
006f 00d0       |    |		Action	Swap_Control
0070 e20e       |    |		Load	0x1,0xe
0071 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0072 00da       |    |		Load_Top	At_Offset_2
0073 02a0       |    |		Declare_Subprogram	Null_Subprogram
0074 4801       |H   |		Short_Literal	0x1
0075 035e       | ^  |		Declare_Type	Array,Defined,Visible
0076 e20e       |    |		Load	0x1,0xe
0077 0265       | e  |		Execute	Discrete,Reverse_Bounds
0078 e20e       |    |		Load	0x1,0xe
0079 1c04       |    |		Execute_Immediate	Run_Utility,0x4
007a 00d0       |    |		Action	Swap_Control
007b e20e       |    |		Load	0x1,0xe
007c 1c04       |    |		Execute_Immediate	Run_Utility,0x4
007d e217       |    |		Load	0x1,0x17
007e 029f 0583  |    |		Declare_Subprogram	INIT_0580,For_Call
0080 4801       |H   |		Short_Literal	0x1
0081 035e       | ^  |		Declare_Type	Array,Defined,Visible
0082 e21d       |    |		Load	0x1,0x1d
0083 4803       |H   |		Short_Literal	0x3
0084 4800       |H   |		Short_Literal	0x0
0085 4801       |H   |		Short_Literal	0x1
0086 4807       |H   |		Short_Literal	0x7
0087 0319       |    |		Declare_Type	Variant_Record,Incomplete,Visible
0088 029f 07fb  |    |		Declare_Subprogram	INIT_07f8,For_Call
008a 00d9       |    |		Load_Top	At_Offset_1
008b 012a       | *  |		Execute	Any,Change_Utility
008c 0007       |    |		Action	Break_Optional
008d 00d8       |    |		Load_Top	At_Offset_0
008e 02a0       |    |		Declare_Subprogram	Null_Subprogram
008f 03ae       |    |		Declare_Type	Heap_Access,Defined,Visible
0090 e213       |    |		Load	0x1,0x13
0091 00d9       |    |		Load_Top	At_Offset_1
0092 00e1       |    |		Load_Encached	Boolean_Cache
0093 4801       |H   |		Short_Literal	0x1
0094 e242       | B  |		Load	0x1,0x42
0095 4801       |H   |		Short_Literal	0x1
0096 e243       | C  |		Load	0x1,0x43
0097 4801       |H   |		Short_Literal	0x1
0098 e244       | D  |		Load	0x1,0x44
0099 029f 07fb  |    |		Declare_Subprogram	INIT_07f8,For_Call
009b 4803       |H   |		Short_Literal	0x3
009c 4803       |H   |		Short_Literal	0x3
009d e245       | E  |		Load	0x1,0x45
009e 0307       |    |		Complete_Type	Variant_Record,By_Defining
009f 00d8       |    |		Load_Top	At_Offset_0
00a0 03a0       |    |		Complete_Type	Heap_Access,By_Component_Completion
00a1 e002       |    |		Load	0x0,0x2
00a2 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
00a3 e20f       |    |		Load	0x1,0xf
00a4 00da       |    |		Load_Top	At_Offset_2
00a5 00db       |    |		Load_Top	At_Offset_3
00a6 e21e       |    |		Load	0x1,0x1e
00a7 e246       | F  |		Load	0x1,0x46
00a8 029f 0883  |    |		Declare_Subprogram	INIT_0880,For_Call
00aa 4806       |H   |		Short_Literal	0x6
00ab 032e       | .  |		Declare_Type	Record,Defined,Visible
00ac 00d8       |    |		Load_Top	At_Offset_0
00ad 02a0       |    |		Declare_Subprogram	Null_Subprogram
00ae 03ae       |    |		Declare_Type	Heap_Access,Defined,Visible
00af 00d8       |    |		Load_Top	At_Offset_0
00b0 00db       |    |		Load_Top	At_Offset_3
00b1 02a0       |    |		Declare_Subprogram	Null_Subprogram
00b2 4802       |H   |		Short_Literal	0x2
00b3 032e       | .  |		Declare_Type	Record,Defined,Visible
00b4 00d9       |    |		Load_Top	At_Offset_1
00b5 e246       | F  |		Load	0x1,0x46
00b6 e21d       |    |		Load	0x1,0x1d
00b7 00e1       |    |		Load_Encached	Boolean_Cache
00b8 029f 08ab  |    |		Declare_Subprogram	INIT_08a8,For_Call
00ba 4804       |H   |		Short_Literal	0x4
00bb 032e       | .  |		Declare_Type	Record,Defined,Visible
00bc 00bf       |    |		Action	Accept_Activation
00bd 00e4       |    |		Load_Encached	Positive_Cache
00be 0266       | f  |		Execute	Discrete,Bounds
00bf 00db       |    |		Load_Top	At_Offset_3
00c0 02a0       |    |		Declare_Subprogram	Null_Subprogram
00c1 4801       |H   |		Short_Literal	0x1
00c2 0350       | P  |		Declare_Type	Array,Defined,Bounds_With_Object
00c3 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
00c4 00c7       |    |		Action	Elaborate_Subprogram
00c5 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
00c6 00c7       |    |		Action	Elaborate_Subprogram
00c7 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
00c8 00c7       |    |		Action	Elaborate_Subprogram
00c9 029d 059b  |    |		Declare_Subprogram	INIT_0598,For_Outer_Call
00cb 029d 05ab  |    |		Declare_Subprogram	INIT_05a8,For_Outer_Call
00cd 029d 05d3  |    |		Declare_Subprogram	INIT_05d0,For_Outer_Call
00cf 029d 0603  |    |		Declare_Subprogram	INIT_0600,For_Outer_Call
00d1 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
00d2 00c7       |    |		Action	Elaborate_Subprogram
00d3 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00d4 00c7       |    |		Action	Elaborate_Subprogram
00d5 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
00d6 00c7       |    |		Action	Elaborate_Subprogram
00d7 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
00d8 00c7       |    |		Action	Elaborate_Subprogram
00d9 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
00da 00c7       |    |		Action	Elaborate_Subprogram
00db 029d 066b  |   k|		Declare_Subprogram	INIT_0668,For_Outer_Call
00dd 1d2a       | *  |		Execute_Immediate	Reference_Lex_1,0x2a
00de 00c7       |    |		Action	Elaborate_Subprogram
00df 1d2b       | +  |		Execute_Immediate	Reference_Lex_1,0x2b
00e0 00c7       |    |		Action	Elaborate_Subprogram
00e1 1d2c       | ,  |		Execute_Immediate	Reference_Lex_1,0x2c
00e2 00c7       |    |		Action	Elaborate_Subprogram
00e3 1d2d       | -  |		Execute_Immediate	Reference_Lex_1,0x2d
00e4 00c7       |    |		Action	Elaborate_Subprogram
00e5 1d2e       | .  |		Execute_Immediate	Reference_Lex_1,0x2e
00e6 00c7       |    |		Action	Elaborate_Subprogram
00e7 1d2f       | /  |		Execute_Immediate	Reference_Lex_1,0x2f
00e8 00c7       |    |		Action	Elaborate_Subprogram
00e9 1d30       | 0  |		Execute_Immediate	Reference_Lex_1,0x30
00ea 00c7       |    |		Action	Elaborate_Subprogram
00eb 1d31       | 1  |		Execute_Immediate	Reference_Lex_1,0x31
00ec 00c7       |    |		Action	Elaborate_Subprogram
00ed 1d32       | 2  |		Execute_Immediate	Reference_Lex_1,0x32
00ee 00c7       |    |		Action	Elaborate_Subprogram
00ef 1d33       | 3  |		Execute_Immediate	Reference_Lex_1,0x33
00f0 00c7       |    |		Action	Elaborate_Subprogram
00f1 1d34       | 4  |		Execute_Immediate	Reference_Lex_1,0x34
00f2 00c7       |    |		Action	Elaborate_Subprogram
00f3 1d35       | 5  |		Execute_Immediate	Reference_Lex_1,0x35
00f4 00c7       |    |		Action	Elaborate_Subprogram
00f5 1d36       | 6  |		Execute_Immediate	Reference_Lex_1,0x36
00f6 00c7       |    |		Action	Elaborate_Subprogram
00f7 1d37       | 7  |		Execute_Immediate	Reference_Lex_1,0x37
00f8 00c7       |    |		Action	Elaborate_Subprogram
00f9 1d38       | 8  |		Execute_Immediate	Reference_Lex_1,0x38
00fa 00c7       |    |		Action	Elaborate_Subprogram
00fb 1d39       | 9  |		Execute_Immediate	Reference_Lex_1,0x39
00fc 00c7       |    |		Action	Elaborate_Subprogram
00fd 1d3b       | ;  |		Execute_Immediate	Reference_Lex_1,0x3b
00fe 00c7       |    |		Action	Elaborate_Subprogram
00ff 1d3c       | <  |		Execute_Immediate	Reference_Lex_1,0x3c
0100 00c7       |    |		Action	Elaborate_Subprogram
0101 1d3d       | =  |		Execute_Immediate	Reference_Lex_1,0x3d
0102 00c7       |    |		Action	Elaborate_Subprogram
0103 1d3f       | ?  |		Execute_Immediate	Reference_Lex_1,0x3f
0104 00c7       |    |		Action	Elaborate_Subprogram
0105 029d 068b  |    |		Declare_Subprogram	INIT_0688,For_Outer_Call
0107 1d3e       | >  |		Execute_Immediate	Reference_Lex_1,0x3e
0108 00c7       |    |		Action	Elaborate_Subprogram
0109 029d 06a3  |    |		Declare_Subprogram	INIT_06a0,For_Outer_Call
010b 029d 06bb  |    |		Declare_Subprogram	INIT_06b8,For_Outer_Call
010d 1d40       | @  |		Execute_Immediate	Reference_Lex_1,0x40
010e 00c7       |    |		Action	Elaborate_Subprogram
010f 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
0110 00c7       |    |		Action	Elaborate_Subprogram
0111 1d28       | (  |		Execute_Immediate	Reference_Lex_1,0x28
0112 00c7       |    |		Action	Elaborate_Subprogram
0113 1d29       | )  |		Execute_Immediate	Reference_Lex_1,0x29
0114 00c7       |    |		Action	Elaborate_Subprogram
0115 029d 06e3  |    |		Declare_Subprogram	INIT_06e0,For_Outer_Call
0117 1d3a       | :  |		Execute_Immediate	Reference_Lex_1,0x3a
0118 00c7       |    |		Action	Elaborate_Subprogram
0119			BODY_0008:
0119 00bc       |    |		Action	Signal_Activated
011a 00bb       |    |		Action	Signal_Completion
011b 0000 0000  |    |		.BLANK	0000[0x5]
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 4607       |F   |		Jump_Case	0x8
0124 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
0125 7807       |x   |		Jump	0x12d								; case 0x1
0126 780a       |x   |		Jump	0x131								; case 0x2
0127 780e       |x   |		Jump	0x136								; case 0x3
0128 7811       |x   |		Jump	0x13a								; case 0x4
0129 7812       |x   |		Jump	0x13c								; case 0x5
012a 7813       |x   |		Jump	0x13e								; case 0x6
012b 7816       |x   |		Jump	0x142								; case 0x7
012c 4302       |C   |		.XXX[0x1]
012d 00da       |    |		Load_Top	At_Offset_2
012e 0091 08b5  |    |		Action	Push_String_Extended_Indexed,0x8b5				; "TABLE_TITLE"
0130 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0131 00db       |    |		Load_Top	At_Offset_3
0132 00db       |    |		Load_Top	At_Offset_3
0133 00e0       |    |		Load_Encached	Standard_Cache
0134 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0135 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0136 00da       |    |		Load_Top	At_Offset_2
0137 00e0       |    |		Load_Encached	Standard_Cache
0138 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0139 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
013a 00db       |    |		Load_Top	At_Offset_3
013b 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
013c 00db       |    |		Load_Top	At_Offset_3
013d 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
013e e21d       |    |		Load	0x1,0x1d
013f 00dc       |    |		Load_Top	At_Offset_4
0140 0267       | g  |		Execute	Discrete,Predecessor
0141 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0142 e21d       |    |		Load	0x1,0x1d
0143 00dc       |    |		Load_Top	At_Offset_4
0144 0268       | h  |		Execute	Discrete,Successor
0145 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0146 0000 0000  |    |		.XXX[0x2]
0148 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
014c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0159       | Y  |		.CONST	0x0159								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0002       |    |		.CONST	0x0002								; Number of locals
0153			INIT_0150:
0153 e248       | H  |		Load	0x1,0x48
0154 00db       |    |		Load_Top	At_Offset_3
0155 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0156 00d8       |    |		Load_Top	At_Offset_0
0157 0217       |    |		Execute	Heap_Access,All_Reference
0158 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0159			BODY_0150:
0159 00db       |    |		Load_Top	At_Offset_3
015a 00d9       |    |		Load_Top	At_Offset_1
015b 0217       |    |		Execute	Heap_Access,All_Reference
015c 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
015d 00d8       |    |		Load_Top	At_Offset_0
015e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
015f 0000       |    |		.XXX[0x1]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 0163       | c  |		.CONST	0x0163								; Address of begin
0161 0004       |    |		.CONST	0x0004								; Address of exception handler
0162 0001       |    |		.CONST	0x0001								; Number of locals
0163			BODY_0160:
0163			INIT_0160:
0163 00da       |    |		Load_Top	At_Offset_2
0164 0217       |    |		Execute	Heap_Access,All_Reference
0165 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0166 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0167 0000       |    |		.XXX[0x1]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b       | k  |		.CONST	0x016b								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0001       |    |		.CONST	0x0001								; Number of locals
016b			BODY_0168:
016b			INIT_0168:
016b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
016c 0000 0000  |    |		.BLANK	0000[0x4]
0170 ; --------------------------------------------------------------------------------------
0170 ; SUBPROGRAM
0170 ; --------------------------------------------------------------------------------------
0170 0179       | y  |		.CONST	0x0179								; Address of begin
0171 0004       |    |		.CONST	0x0004								; Address of exception handler
0172 0002       |    |		.CONST	0x0002								; Number of locals
0173			INIT_0170:
0173 e248       | H  |		Load	0x1,0x48
0174 e5fe       |    |		Load	0x2,-0x2
0175 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0176 00d8       |    |		Load_Top	At_Offset_0
0177 0217       |    |		Execute	Heap_Access,All_Reference
0178 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0179			BODY_0170:
0179 e5fe       |    |		Load	0x2,-0x2
017a 00d9       |    |		Load_Top	At_Offset_1
017b 0217       |    |		Execute	Heap_Access,All_Reference
017c 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
017d 00d8       |    |		Load_Top	At_Offset_0
017e 0219       |    |		Execute	Heap_Access,All_Read
017f 00d8       |    |		Load_Top	At_Offset_0
0180 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0181 00d8       |    |		Load_Top	At_Offset_0
0182 0120       |    |		Execute	Any,Is_Value
0183 6803       |h   |		Jump_Zero	0x187
0184 e20f       |    |		Load	0x1,0xf
0185 0122       | "  |		Execute	Any,Make_Root_Type
0186 011e       |    |		Execute	Any,Convert
0187 e5fe       |    |		Load	0x2,-0x2
0188 e5ff       |    |		Load	0x2,-0x1
0189 0217       |    |		Execute	Heap_Access,All_Reference
018a 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
018b 8212       |    |		Call	0x1,0x12
018c 00d9       |    |		Load_Top	At_Offset_1
018d 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
018e 00d1       |    |		Pop_Control	Pop_Count_1
018f 00d8       |    |		Load_Top	At_Offset_0
0190 0219       |    |		Execute	Heap_Access,All_Read
0191 00d8       |    |		Load_Top	At_Offset_0
0192 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0193 e5fe       |    |		Load	0x2,-0x2
0194 e5ff       |    |		Load	0x2,-0x1
0195 0217       |    |		Execute	Heap_Access,All_Reference
0196 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0197 824f       | O  |		Call	0x1,0x4f
0198 00d9       |    |		Load_Top	At_Offset_1
0199 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
019a 00d1       |    |		Pop_Control	Pop_Count_1
019b 00d8       |    |		Load_Top	At_Offset_0
019c 0219       |    |		Execute	Heap_Access,All_Read
019d 00d8       |    |		Load_Top	At_Offset_0
019e 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
019f e5fe       |    |		Load	0x2,-0x2
01a0 e5ff       |    |		Load	0x2,-0x1
01a1 0217       |    |		Execute	Heap_Access,All_Reference
01a2 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
01a3 824f       | O  |		Call	0x1,0x4f
01a4 00d9       |    |		Load_Top	At_Offset_1
01a5 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
01a6 00d1       |    |		Pop_Control	Pop_Count_1
01a7 00db       |    |		Load_Top	At_Offset_3
01a8 0217       |    |		Execute	Heap_Access,All_Reference
01a9 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
01aa 00d9       |    |		Load_Top	At_Offset_1
01ab 0217       |    |		Execute	Heap_Access,All_Reference
01ac 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
01ad 00d8       |    |		Load_Top	At_Offset_0
01ae 0219       |    |		Execute	Heap_Access,All_Read
01af 00d8       |    |		Load_Top	At_Offset_0
01b0 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
01b1 e5fe       |    |		Load	0x2,-0x2
01b2 e5ff       |    |		Load	0x2,-0x1
01b3 0217       |    |		Execute	Heap_Access,All_Reference
01b4 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
01b5 824f       | O  |		Call	0x1,0x4f
01b6 00d9       |    |		Load_Top	At_Offset_1
01b7 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
01b8 00d1       |    |		Pop_Control	Pop_Count_1
01b9 00d8       |    |		Load_Top	At_Offset_0
01ba a5fd       |    |		Store_Unchecked	0x2,-0x3
01bb 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01bc 0000 0000  |    |		.BLANK	0000[0x4]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 00db       |    |		Load_Top	At_Offset_3
01c4 00db       |    |		Load_Top	At_Offset_3
01c5 0217       |    |		Execute	Heap_Access,All_Reference
01c6 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01c7 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01cb       |    |		.CONST	0x01cb								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0001       |    |		.CONST	0x0001								; Number of locals
01cb			BODY_01c8:
01cb			INIT_01c8:
01cb 00da       |    |		Load_Top	At_Offset_2
01cc 0217       |    |		Execute	Heap_Access,All_Reference
01cd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01ce 00d8       |    |		Load_Top	At_Offset_0
01cf 0120       |    |		Execute	Any,Is_Value
01d0 7002       |p   |		Jump_Nonzero	0x1d3
01d1 00d8       |    |		Load_Top	At_Offset_0
01d2 011e       |    |		Execute	Any,Convert
01d3 e20f       |    |		Load	0x1,0xf
01d4 0119       |    |		Execute	Any,Check_In_Formal_Type
01d5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01d6 0000 0000  |    |		.XXX[0x2]
01d8 ; --------------------------------------------------------------------------------------
01d8 ; SUBPROGRAM
01d8 ; --------------------------------------------------------------------------------------
01d8 01db       |    |		.CONST	0x01db								; Address of begin
01d9 0004       |    |		.CONST	0x0004								; Address of exception handler
01da 0001       |    |		.CONST	0x0001								; Number of locals
01db			BODY_01d8:
01db			INIT_01d8:
01db 00db       |    |		Load_Top	At_Offset_3
01dc e20e       |    |		Load	0x1,0xe
01dd 1c04       |    |		Execute_Immediate	Run_Utility,0x4
01de 00db       |    |		Load_Top	At_Offset_3
01df 0217       |    |		Execute	Heap_Access,All_Reference
01e0 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
01e1 01d7       |    |		Execute	Vector,Field_Read
01e2 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01e3 0000 0000  |    |		.BLANK	0000[0x5]
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 e5fd       |    |		Load	0x2,-0x3
01ec e5fe       |    |		Load	0x2,-0x2
01ed e20e       |    |		Load	0x1,0xe
01ee 1c04       |    |		Execute_Immediate	Run_Utility,0x4
01ef e5ff       |    |		Load	0x2,-0x1
01f0 0217       |    |		Execute	Heap_Access,All_Reference
01f1 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
01f2 01d6       |    |		Execute	Vector,Field_Write
01f3 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
01f4 0000 0000  |    |		.BLANK	0000[0x4]
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 0217       |    |		Execute	Heap_Access,All_Reference
01fd 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
01fe 0335       | 5  |		Declare_Variable	Array,Duplicate
01ff 00cd       |    |		Action	Spare6_Action
0200 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0201 0000 0000  |    |		.BLANK	0000[0x7]
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 020b       |    |		.CONST	0x020b								; Address of begin
0209 0004       |    |		.CONST	0x0004								; Address of exception handler
020a 0001       |    |		.CONST	0x0001								; Number of locals
020b			BODY_0208:
020b			INIT_0208:
020b 00db       |    |		Load_Top	At_Offset_3
020c 00db       |    |		Load_Top	At_Offset_3
020d 0217       |    |		Execute	Heap_Access,All_Reference
020e 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
020f 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 0233       | 3  |		.CONST	0x0233								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0006       |    |		.CONST	0x0006								; Number of locals
0213			INIT_0210:
0213 00da       |    |		Load_Top	At_Offset_2
0214 0217       |    |		Execute	Heap_Access,All_Reference
0215 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0216 8252       | R  |		Call	0x1,0x52
0217 00e3       |    |		Load_Encached	Natural_Cache
0218 03f1       |    |		Declare_Variable	Discrete,With_Value
0219 e5fd       |    |		Load	0x2,-0x3
021a 00e3       |    |		Load_Encached	Natural_Cache
021b 03f1       |    |		Declare_Variable	Discrete,With_Value
021c e21e       |    |		Load	0x1,0x1e
021d 0337       | 7  |		Declare_Variable	Array
021e 00d8       |    |		Load_Top	At_Offset_0
021f 0335       | 5  |		Declare_Variable	Array,Duplicate
0220 00cd       |    |		Action	Spare6_Action
0221 00d9       |    |		Load_Top	At_Offset_1
0222 01d9       |    |		Execute	Vector,Reverse_Bounds
0223 0263       | c  |		Execute	Discrete,Above_Bound
0224 7005       |p   |		Jump_Nonzero	0x22a
0225 4800       |H   |		Short_Literal	0x0
0226 00d9       |    |		Load_Top	At_Offset_1
0227 e405       |    |		Load	0x2,0x5
0228 01d6       |    |		Execute	Vector,Field_Write
0229 3ffb       |?   |		Loop_Increasing	0x225
022a 00d9       |    |		Load_Top	At_Offset_1
022b 01d4       |    |		Execute	Vector,Structure_Write
022c 4801       |H   |		Short_Literal	0x1
022d 00db       |    |		Load_Top	At_Offset_3
022e e24b       | K  |		Load	0x1,0x4b
022f 035b       | [  |		Declare_Type	Array,Constrained
0230 0337       | 7  |		Declare_Variable	Array
0231 029f 071b  |    |		Declare_Subprogram	INIT_0718,For_Call
0233			BODY_0210:
0233 00d9       |    |		Load_Top	At_Offset_1
0234 e5ff       |    |		Load	0x2,-0x1
0235 0217       |    |		Execute	Heap_Access,All_Reference
0236 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0237 e5ff       |    |		Load	0x2,-0x1
0238 8253       | S  |		Call	0x1,0x53
0239 00d1       |    |		Pop_Control	Pop_Count_1
023a 00db       |    |		Load_Top	At_Offset_3
023b e402       |    |		Load	0x2,0x2
023c 027d       | }  |		Execute	Discrete,Greater
023d 6802       |h   |		Jump_Zero	0x240
023e e402       |    |		Load	0x2,0x2
023f a403       |    |		Store_Unchecked	0x2,0x3
0240 00cf       |    |		Action	Mark_Auxiliary
0241 e403       |    |		Load	0x2,0x3
0242 e5fe       |    |		Load	0x2,-0x2
0243 0263       | c  |		Execute	Discrete,Above_Bound
0244 702e       |p.  |		Jump_Nonzero	0x273
0245 00cf       |    |		Action	Mark_Auxiliary
0246 e20e       |    |		Load	0x1,0xe
0247 0265       | e  |		Execute	Discrete,Reverse_Bounds
0248 0263       | c  |		Execute	Discrete,Above_Bound
0249 7026       |p&  |		Jump_Nonzero	0x270
024a 00d8       |    |		Load_Top	At_Offset_0
024b e20e       |    |		Load	0x1,0xe
024c 1c04       |    |		Execute_Immediate	Run_Utility,0x4
024d e409       |    |		Load	0x2,0x9
024e e405       |    |		Load	0x2,0x5
024f 01d5       |    |		Execute	Vector,Field_Reference
0250 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0251 0217       |    |		Execute	Heap_Access,All_Reference
0252 2607       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x7
0253 01d7       |    |		Execute	Vector,Field_Read
0254 821b       |    |		Call	0x1,0x1b
0255 01db       |    |		Execute	Vector,Length
0256 00d8       |    |		Load_Top	At_Offset_0
0257 00e2       |    |		Load_Encached	Integer_Cache
0258 0260       | `  |		Execute	Discrete,In_Type
0259 7001       |p   |		Jump_Nonzero	0x25b
025a 0801       |    |		Execute_Immediate	Raise,0x1
025b 00d9       |    |		Load_Top	At_Offset_1
025c e20e       |    |		Load	0x1,0xe
025d 1c04       |    |		Execute_Immediate	Run_Utility,0x4
025e e404       |    |		Load	0x2,0x4
025f 01d7       |    |		Execute	Vector,Field_Read
0260 8406       |    |		Call	0x2,0x6
0261 00d9       |    |		Load_Top	At_Offset_1
0262 e20e       |    |		Load	0x1,0xe
0263 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0264 e404       |    |		Load	0x2,0x4
0265 01d6       |    |		Execute	Vector,Field_Write
0266 00c8       |    |		Action	Pop_Auxiliary_Range
0267 00d9       |    |		Load_Top	At_Offset_1
0268 00d9       |    |		Load_Top	At_Offset_1
0269 027f       |    |		Execute	Discrete,Equal
026a 7004       |p   |		Jump_Nonzero	0x26f
026b e20e       |    |		Load	0x1,0xe
026c 0122       | "  |		Execute	Any,Make_Root_Type
026d 1c07       |    |		Execute_Immediate	Run_Utility,0x7
026e 7fdb       |    |		Jump	0x24a
026f 00d2       |    |		Pop_Control	Pop_Count_2
0270 00ce       |    |		Action	Pop_Auxiliary
0271 00c8       |    |		Action	Pop_Auxiliary_Range
0272 3fd2       |?   |		Loop_Increasing	0x245
0273 00ce       |    |		Action	Pop_Auxiliary
0274 00da       |    |		Load_Top	At_Offset_2
0275 e5ff       |    |		Load	0x2,-0x1
0276 8228       | (  |		Call	0x1,0x28
0277 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0278 ; --------------------------------------------------------------------------------------
0278 ; SUBPROGRAM
0278 ; --------------------------------------------------------------------------------------
0278 0287       |    |		.CONST	0x0287								; Address of begin
0279 0004       |    |		.CONST	0x0004								; Address of exception handler
027a 0002       |    |		.CONST	0x0002								; Number of locals
027b			INIT_0278:
027b 00db       |    |		Load_Top	At_Offset_3
027c 00d8       |    |		Load_Top	At_Offset_0
027d e245       | E  |		Load	0x1,0x45
027e 1c06       |    |		Execute_Immediate	Run_Utility,0x6
027f e246       | F  |		Load	0x1,0x46
0280 e5ff       |    |		Load	0x2,-0x1
0281 0217       |    |		Execute	Heap_Access,All_Reference
0282 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0283 039a       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Constraint
0284 00d8       |    |		Load_Top	At_Offset_0
0285 0217       |    |		Execute	Heap_Access,All_Reference
0286 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0287			BODY_0278:
0287 e5fe       |    |		Load	0x2,-0x2
0288 4602       |F   |		Jump_Case	0x3
0289 780c       |x   |		Jump	0x296								; case 0x0
028a 7815       |x   |		Jump	0x2a0								; case 0x1
028b 7800       |x   |		Jump	0x28c								; case 0x2
028c 00db       |    |		Load_Top	At_Offset_3
028d 0219       |    |		Execute	Heap_Access,All_Read
028e 00d8       |    |		Load_Top	At_Offset_0
028f 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0290 00da       |    |		Load_Top	At_Offset_2
0291 8250       | P  |		Call	0x1,0x50
0292 00d9       |    |		Load_Top	At_Offset_1
0293 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
0294 00d1       |    |		Pop_Control	Pop_Count_1
0295 7813       |x   |		Jump	0x2a9
0296 00db       |    |		Load_Top	At_Offset_3
0297 0219       |    |		Execute	Heap_Access,All_Read
0298 00d8       |    |		Load_Top	At_Offset_0
0299 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
029a 00da       |    |		Load_Top	At_Offset_2
029b 8250       | P  |		Call	0x1,0x50
029c 00d9       |    |		Load_Top	At_Offset_1
029d 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
029e 00d1       |    |		Pop_Control	Pop_Count_1
029f 7809       |x   |		Jump	0x2a9
02a0 00db       |    |		Load_Top	At_Offset_3
02a1 0219       |    |		Execute	Heap_Access,All_Read
02a2 00d8       |    |		Load_Top	At_Offset_0
02a3 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
02a4 00da       |    |		Load_Top	At_Offset_2
02a5 8250       | P  |		Call	0x1,0x50
02a6 00d9       |    |		Load_Top	At_Offset_1
02a7 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
02a8 00d1       |    |		Pop_Control	Pop_Count_1
02a9 00db       |    |		Load_Top	At_Offset_3
02aa e5fd       |    |		Load	0x2,-0x3
02ab 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
02ac 00d8       |    |		Load_Top	At_Offset_0
02ad e5fd       |    |		Load	0x2,-0x3
02ae 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02af 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02b0 ; --------------------------------------------------------------------------------------
02b0 ; SUBPROGRAM
02b0 ; --------------------------------------------------------------------------------------
02b0 02b3       |    |		.CONST	0x02b3								; Address of begin
02b1 0004       |    |		.CONST	0x0004								; Address of exception handler
02b2 0001       |    |		.CONST	0x0001								; Number of locals
02b3			BODY_02b0:
02b3			INIT_02b0:
02b3 00da       |    |		Load_Top	At_Offset_2
02b4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02b5 0217       |    |		Execute	Heap_Access,All_Reference
02b6 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
02b7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02b8 ; --------------------------------------------------------------------------------------
02b8 ; SUBPROGRAM
02b8 ; --------------------------------------------------------------------------------------
02b8 02c2       |    |		.CONST	0x02c2								; Address of begin
02b9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ba 0002       |    |		.CONST	0x0002								; Number of locals
02bb			INIT_02b8:
02bb 00db       |    |		Load_Top	At_Offset_3
02bc e242       | B  |		Load	0x1,0x42
02bd e5ff       |    |		Load	0x2,-0x1
02be 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02bf 0217       |    |		Execute	Heap_Access,All_Reference
02c0 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02c1 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
02c2			BODY_02b8:
02c2 00d8       |    |		Load_Top	At_Offset_0
02c3 e5ff       |    |		Load	0x2,-0x1
02c4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02c5 0217       |    |		Execute	Heap_Access,All_Reference
02c6 2a05       |*   |		Execute	Variant_Record,Field_Write,Variant,Direct,Field_Number 0x5
02c7 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02c8 ; --------------------------------------------------------------------------------------
02c8 ; SUBPROGRAM
02c8 ; --------------------------------------------------------------------------------------
02c8 02d2       |    |		.CONST	0x02d2								; Address of begin
02c9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ca 0002       |    |		.CONST	0x0002								; Number of locals
02cb			INIT_02c8:
02cb 00db       |    |		Load_Top	At_Offset_3
02cc e242       | B  |		Load	0x1,0x42
02cd e5ff       |    |		Load	0x2,-0x1
02ce 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02cf 0217       |    |		Execute	Heap_Access,All_Reference
02d0 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02d1 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
02d2			BODY_02c8:
02d2 00d8       |    |		Load_Top	At_Offset_0
02d3 e5fd       |    |		Load	0x2,-0x3
02d4 e20e       |    |		Load	0x1,0xe
02d5 1c04       |    |		Execute_Immediate	Run_Utility,0x4
02d6 e5ff       |    |		Load	0x2,-0x1
02d7 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02d8 0217       |    |		Execute	Heap_Access,All_Reference
02d9 2606       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x6
02da 01d6       |    |		Execute	Vector,Field_Write
02db 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
02dc 0000 0000  |    |		.BLANK	0000[0x4]
02e0 ; --------------------------------------------------------------------------------------
02e0 ; SUBPROGRAM
02e0 ; --------------------------------------------------------------------------------------
02e0 02e3       |    |		.CONST	0x02e3								; Address of begin
02e1 0004       |    |		.CONST	0x0004								; Address of exception handler
02e2 0001       |    |		.CONST	0x0001								; Number of locals
02e3			BODY_02e0:
02e3			INIT_02e0:
02e3 00db       |    |		Load_Top	At_Offset_3
02e4 00db       |    |		Load_Top	At_Offset_3
02e5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02e6 0217       |    |		Execute	Heap_Access,All_Reference
02e7 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
02e8 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02e9 0000 0000  |    |		.BLANK	0000[0x7]
02f0 ; --------------------------------------------------------------------------------------
02f0 ; SUBPROGRAM
02f0 ; --------------------------------------------------------------------------------------
02f0 02f3       |    |		.CONST	0x02f3								; Address of begin
02f1 0004       |    |		.CONST	0x0004								; Address of exception handler
02f2 0001       |    |		.CONST	0x0001								; Number of locals
02f3			BODY_02f0:
02f3			INIT_02f0:
02f3 00da       |    |		Load_Top	At_Offset_2
02f4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02f5 0217       |    |		Execute	Heap_Access,All_Reference
02f6 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
02f7 00d8       |    |		Load_Top	At_Offset_0
02f8 0120       |    |		Execute	Any,Is_Value
02f9 7002       |p   |		Jump_Nonzero	0x2fc
02fa 00d8       |    |		Load_Top	At_Offset_0
02fb 011e       |    |		Execute	Any,Convert
02fc e213       |    |		Load	0x1,0x13
02fd 0119       |    |		Execute	Any,Check_In_Formal_Type
02fe 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02ff 0000       |    |		.XXX[0x1]
0300 ; --------------------------------------------------------------------------------------
0300 ; SUBPROGRAM
0300 ; --------------------------------------------------------------------------------------
0300 0303       |    |		.CONST	0x0303								; Address of begin
0301 0004       |    |		.CONST	0x0004								; Address of exception handler
0302 0001       |    |		.CONST	0x0001								; Number of locals
0303			BODY_0300:
0303			INIT_0300:
0303 e5fd       |    |		Load	0x2,-0x3
0304 e5fe       |    |		Load	0x2,-0x2
0305 e20e       |    |		Load	0x1,0xe
0306 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0307 e5ff       |    |		Load	0x2,-0x1
0308 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0309 0217       |    |		Execute	Heap_Access,All_Reference
030a 2607       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x7
030b 01d6       |    |		Execute	Vector,Field_Write
030c 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
030d 0000 0000  |    |		.XXX[0x3]
030f 0000       |    |
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 00db       |    |		Load_Top	At_Offset_3
0314 e20e       |    |		Load	0x1,0xe
0315 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0316 00db       |    |		Load_Top	At_Offset_3
0317 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0318 0217       |    |		Execute	Heap_Access,All_Reference
0319 2607       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x7
031a 01d7       |    |		Execute	Vector,Field_Read
031b 00d8       |    |		Load_Top	At_Offset_0
031c 0120       |    |		Execute	Any,Is_Value
031d 7002       |p   |		Jump_Nonzero	0x320
031e 00d8       |    |		Load_Top	At_Offset_0
031f 011e       |    |		Execute	Any,Convert
0320 e217       |    |		Load	0x1,0x17
0321 0119       |    |		Execute	Any,Check_In_Formal_Type
0322 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0323 0000 0000  |    |		.BLANK	0000[0x5]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 032b       | +  |		.CONST	0x032b								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0001       |    |		.CONST	0x0001								; Number of locals
032b			BODY_0328:
032b			INIT_0328:
032b 00db       |    |		Load_Top	At_Offset_3
032c 00db       |    |		Load_Top	At_Offset_3
032d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
032e 0217       |    |		Execute	Heap_Access,All_Reference
032f 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
0330 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0331 0000 0000  |    |		.BLANK	0000[0x7]
0338 ; --------------------------------------------------------------------------------------
0338 ; SUBPROGRAM
0338 ; --------------------------------------------------------------------------------------
0338 033b       | ;  |		.CONST	0x033b								; Address of begin
0339 0004       |    |		.CONST	0x0004								; Address of exception handler
033a 0001       |    |		.CONST	0x0001								; Number of locals
033b			BODY_0338:
033b			INIT_0338:
033b 00da       |    |		Load_Top	At_Offset_2
033c 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
033d 0217       |    |		Execute	Heap_Access,All_Reference
033e 2c04       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
033f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0340 ; --------------------------------------------------------------------------------------
0340 ; SUBPROGRAM
0340 ; --------------------------------------------------------------------------------------
0340 034b       | K  |		.CONST	0x034b								; Address of begin
0341 0004       |    |		.CONST	0x0004								; Address of exception handler
0342 0005       |    |		.CONST	0x0005								; Number of locals
0343			INIT_0340:
0343 029f 072b  |   +|		Declare_Subprogram	INIT_0728,For_Call
0345 029f 075b  |   [|		Declare_Subprogram	INIT_0758,For_Call
0347 029f 076b  |   k|		Declare_Subprogram	INIT_0768,For_Call
0349 029f 07b3  |    |		Declare_Subprogram	INIT_07b0,For_Call
034b			BODY_0340:
034b e5ff       |    |		Load	0x2,-0x1
034c 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
034d 0217       |    |		Execute	Heap_Access,All_Reference
034e 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
034f 4602       |F   |		Jump_Case	0x3
0350 7813       |x   |		Jump	0x364								; case 0x0
0351 781a       |x   |		Jump	0x36c								; case 0x1
0352 7800       |x   |		Jump	0x353								; case 0x2
0353 e20e       |    |		Load	0x1,0xe
0354 026a       | j  |		Execute	Discrete,First
0355 00d8       |    |		Load_Top	At_Offset_0
0356 e20e       |    |		Load	0x1,0xe
0357 0260       | `  |		Execute	Discrete,In_Type
0358 7001       |p   |		Jump_Nonzero	0x35a
0359 0801       |    |		Execute_Immediate	Raise,0x1
035a e5ff       |    |		Load	0x2,-0x1
035b 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
035c 0217       |    |		Execute	Heap_Access,All_Reference
035d 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
035e e5ff       |    |		Load	0x2,-0x1
035f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0360 0217       |    |		Execute	Heap_Access,All_Reference
0361 2607       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x7
0362 8405       |    |		Call	0x2,0x5
0363 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0364 e5ff       |    |		Load	0x2,-0x1
0365 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0366 0217       |    |		Execute	Heap_Access,All_Reference
0367 2e05       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x5
0368 0217       |    |		Execute	Heap_Access,All_Reference
0369 0335       | 5  |		Declare_Variable	Array,Duplicate
036a 00cd       |    |		Action	Spare6_Action
036b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
036c e20e       |    |		Load	0x1,0xe
036d 026a       | j  |		Execute	Discrete,First
036e 00d8       |    |		Load_Top	At_Offset_0
036f e20e       |    |		Load	0x1,0xe
0370 0260       | `  |		Execute	Discrete,In_Type
0371 7001       |p   |		Jump_Nonzero	0x373
0372 0801       |    |		Execute_Immediate	Raise,0x1
0373 e5ff       |    |		Load	0x2,-0x1
0374 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0375 0217       |    |		Execute	Heap_Access,All_Reference
0376 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
0377 e5ff       |    |		Load	0x2,-0x1
0378 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0379 0217       |    |		Execute	Heap_Access,All_Reference
037a 2606       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x6
037b 8404       |    |		Call	0x2,0x4
037c 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
037d 0000 0000  |    |		.XXX[0x3]
037f 0000       |    |
0380 ; --------------------------------------------------------------------------------------
0380 ; SUBPROGRAM
0380 ; --------------------------------------------------------------------------------------
0380 0383       |    |		.CONST	0x0383								; Address of begin
0381 0004       |    |		.CONST	0x0004								; Address of exception handler
0382 0001       |    |		.CONST	0x0001								; Number of locals
0383			BODY_0380:
0383			INIT_0380:
0383 00da       |    |		Load_Top	At_Offset_2
0384 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0385 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0386 0000 0000  |    |		.XXX[0x2]
0388 ; --------------------------------------------------------------------------------------
0388 ; SUBPROGRAM
0388 ; --------------------------------------------------------------------------------------
0388 0392       |    |		.CONST	0x0392								; Address of begin
0389 03a6       |    |		.CONST	0x03a6								; Address of exception handler
038a 0002       |    |		.CONST	0x0002								; Number of locals
038b			INIT_0388:
038b e24a       | J  |		Load	0x1,0x4a
038c 0322       | "  |		Declare_Variable	Record
038d 4801       |H   |		Short_Literal	0x1
038e e5ff       |    |		Load	0x2,-0x1
038f 823b       | ;  |		Call	0x1,0x3b
0390 00d9       |    |		Load_Top	At_Offset_1
0391 017d       | }  |		Execute	Record,Structure_Write
0392			BODY_0388:
0392 00cf       |    |		Action	Mark_Auxiliary
0393 e5fe       |    |		Load	0x2,-0x2
0394 0aff       |    |		Execute_Immediate	Plus,-0x1
0395 4801       |H   |		Short_Literal	0x1
0396 0263       | c  |		Execute	Discrete,Above_Bound
0397 700a       |p   |		Jump_Nonzero	0x3a2
0398 00db       |    |		Load_Top	At_Offset_3
0399 823e       | >  |		Call	0x1,0x3e
039a 00d1       |    |		Pop_Control	Pop_Count_1
039b 00db       |    |		Load_Top	At_Offset_3
039c 823c       | <  |		Call	0x1,0x3c
039d 6802       |h   |		Jump_Zero	0x3a0
039e e003       |    |		Load	0x0,0x3
039f 0257       | W  |		Execute	Discrete,Raise
03a0 00c8       |    |		Action	Pop_Auxiliary_Range
03a1 3ff6       |?   |		Loop_Increasing	0x398
03a2 00ce       |    |		Action	Pop_Auxiliary
03a3 00d8       |    |		Load_Top	At_Offset_0
03a4 823d       | =  |		Call	0x1,0x3d
03a5 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
03a6			TRAP_0388:
03a6 0007       |    |		Action	Break_Optional
03a7 e003       |    |		Load	0x0,0x3
03a8 0257       | W  |		Execute	Discrete,Raise
03a9 0000 0000  |    |		.BLANK	0000[0x7]
03b0 ; --------------------------------------------------------------------------------------
03b0 ; SUBPROGRAM
03b0 ; --------------------------------------------------------------------------------------
03b0 03b5       |    |		.CONST	0x03b5								; Address of begin
03b1 0004       |    |		.CONST	0x0004								; Address of exception handler
03b2 0003       |    |		.CONST	0x0003								; Number of locals
03b3			INIT_03b0:
03b3 00e3       |    |		Load_Encached	Natural_Cache
03b4 00e3       |    |		Load_Encached	Natural_Cache
03b5			BODY_03b0:
03b5 00cf       |    |		Action	Mark_Auxiliary
03b6 e20e       |    |		Load	0x1,0xe
03b7 0265       | e  |		Execute	Discrete,Reverse_Bounds
03b8 0263       | c  |		Execute	Discrete,Above_Bound
03b9 7022       |p"  |		Jump_Nonzero	0x3dc
03ba 00e3       |    |		Load_Encached	Natural_Cache
03bb 00e3       |    |		Load_Encached	Natural_Cache
03bc 00da       |    |		Load_Top	At_Offset_2
03bd 00d8       |    |		Load_Top	At_Offset_0
03be e20e       |    |		Load	0x1,0xe
03bf 0260       | `  |		Execute	Discrete,In_Type
03c0 7001       |p   |		Jump_Nonzero	0x3c2
03c1 0801       |    |		Execute_Immediate	Raise,0x1
03c2 e5ff       |    |		Load	0x2,-0x1
03c3 8239       | 9  |		Call	0x1,0x39
03c4 c402       |    |		Store	0x2,0x2
03c5 c403       |    |		Store	0x2,0x3
03c6 e5fe       |    |		Load	0x2,-0x2
03c7 e402       |    |		Load	0x2,0x2
03c8 e403       |    |		Load	0x2,0x3
03c9 0262       | b  |		Execute	Discrete,In_Range
03ca 6807       |h   |		Jump_Zero	0x3d2
03cb 00d8       |    |		Load_Top	At_Offset_0
03cc 00d8       |    |		Load_Top	At_Offset_0
03cd e20e       |    |		Load	0x1,0xe
03ce 0260       | `  |		Execute	Discrete,In_Type
03cf 7001       |p   |		Jump_Nonzero	0x3d1
03d0 0801       |    |		Execute_Immediate	Raise,0x1
03d1 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
03d2 00c8       |    |		Action	Pop_Auxiliary_Range
03d3 00d9       |    |		Load_Top	At_Offset_1
03d4 00d9       |    |		Load_Top	At_Offset_1
03d5 027f       |    |		Execute	Discrete,Equal
03d6 7004       |p   |		Jump_Nonzero	0x3db
03d7 e20e       |    |		Load	0x1,0xe
03d8 0122       | "  |		Execute	Any,Make_Root_Type
03d9 1c07       |    |		Execute_Immediate	Run_Utility,0x7
03da 7fdf       |    |		Jump	0x3ba
03db 00d2       |    |		Pop_Control	Pop_Count_2
03dc 00ce       |    |		Action	Pop_Auxiliary
03dd e004       |    |		Load	0x0,0x4
03de 0257       | W  |		Execute	Discrete,Raise
03df 0000       |    |		.XXX[0x1]
03e0 ; --------------------------------------------------------------------------------------
03e0 ; SUBPROGRAM
03e0 ; --------------------------------------------------------------------------------------
03e0 03ef       |    |		.CONST	0x03ef								; Address of begin
03e1 0004       |    |		.CONST	0x0004								; Address of exception handler
03e2 0004       |    |		.CONST	0x0004								; Number of locals
03e3			INIT_03e0:
03e3 e24a       | J  |		Load	0x1,0x4a
03e4 0322       | "  |		Declare_Variable	Record
03e5 4801       |H   |		Short_Literal	0x1
03e6 e5ff       |    |		Load	0x2,-0x1
03e7 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
03e8 823b       | ;  |		Call	0x1,0x3b
03e9 00d9       |    |		Load_Top	At_Offset_1
03ea 017d       | }  |		Execute	Record,Structure_Write
03eb 00e3       |    |		Load_Encached	Natural_Cache
03ec 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
03ed 00e1       |    |		Load_Encached	Boolean_Cache
03ee 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
03ef			BODY_03e0:
03ef 00cf       |    |		Action	Mark_Auxiliary
03f0 00d9       |    |		Load_Top	At_Offset_1
03f1 7010       |p   |		Jump_Nonzero	0x402
03f2 00db       |    |		Load_Top	At_Offset_3
03f3 823c       | <  |		Call	0x1,0x3c
03f4 700d       |p   |		Jump_Nonzero	0x402
03f5 e5ff       |    |		Load	0x2,-0x1
03f6 e402       |    |		Load	0x2,0x2
03f7 823d       | =  |		Call	0x1,0x3d
03f8 017f       |    |		Execute	Record,Equal
03f9 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
03fa 00db       |    |		Load_Top	At_Offset_3
03fb 823e       | >  |		Call	0x1,0x3e
03fc 00d1       |    |		Pop_Control	Pop_Count_1
03fd 00da       |    |		Load_Top	At_Offset_2
03fe 0a01       |    |		Execute_Immediate	Plus,0x1
03ff 005b       | [  |		Store_Top	Discrete,At_Offset_3
0400 00c9       |    |		Action	Pop_Auxiliary_Loop
0401 7fee       |    |		Jump	0x3f0
0402 00ce       |    |		Action	Pop_Auxiliary
0403 00d8       |    |		Load_Top	At_Offset_0
0404 6803       |h   |		Jump_Zero	0x408
0405 00d9       |    |		Load_Top	At_Offset_1
0406 a5fe       |    |		Store_Unchecked	0x2,-0x2
0407 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0408 4800       |H   |		Short_Literal	0x0
0409 a5fe       |    |		Store_Unchecked	0x2,-0x2
040a e003       |    |		Load	0x0,0x3
040b 0257       | W  |		Execute	Discrete,Raise
040c 0000 0000  |    |		.BLANK	0000[0x4]
0410 ; --------------------------------------------------------------------------------------
0410 ; SUBPROGRAM
0410 ; --------------------------------------------------------------------------------------
0410 0417       |    |		.CONST	0x0417								; Address of begin
0411 0004       |    |		.CONST	0x0004								; Address of exception handler
0412 0003       |    |		.CONST	0x0003								; Number of locals
0413			INIT_0410:
0413 00e3       |    |		Load_Encached	Natural_Cache
0414 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
0415 00e3       |    |		Load_Encached	Natural_Cache
0416 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0417			BODY_0410:
0417 00cf       |    |		Action	Mark_Auxiliary
0418 e5fe       |    |		Load	0x2,-0x2
0419 e20e       |    |		Load	0x1,0xe
041a 026a       | j  |		Execute	Discrete,First
041b 0263       | c  |		Execute	Discrete,Above_Bound
041c 7031       |p1  |		Jump_Nonzero	0x44e
041d 00d8       |    |		Load_Top	At_Offset_0
041e e5fe       |    |		Load	0x2,-0x2
041f 027f       |    |		Execute	Discrete,Equal
0420 680e       |h   |		Jump_Zero	0x42f
0421 e402       |    |		Load	0x2,0x2
0422 a5fd       |    |		Store_Unchecked	0x2,-0x3
0423 e402       |    |		Load	0x2,0x2
0424 00d9       |    |		Load_Top	At_Offset_1
0425 e20e       |    |		Load	0x1,0xe
0426 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0427 e5ff       |    |		Load	0x2,-0x1
0428 0217       |    |		Execute	Heap_Access,All_Reference
0429 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
042a 01d7       |    |		Execute	Vector,Field_Read
042b 0273       | s  |		Execute	Discrete,Plus
042c 0aff       |    |		Execute_Immediate	Plus,-0x1
042d c5fc       |    |		Store	0x2,-0x4
042e 7815       |x   |		Jump	0x444
042f 00d8       |    |		Load_Top	At_Offset_0
0430 e20e       |    |		Load	0x1,0xe
0431 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0432 e5ff       |    |		Load	0x2,-0x1
0433 0217       |    |		Execute	Heap_Access,All_Reference
0434 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
0435 01d7       |    |		Execute	Vector,Field_Read
0436 680d       |h   |		Jump_Zero	0x444
0437 e402       |    |		Load	0x2,0x2
0438 00d9       |    |		Load_Top	At_Offset_1
0439 e20e       |    |		Load	0x1,0xe
043a 1c04       |    |		Execute_Immediate	Run_Utility,0x4
043b e5ff       |    |		Load	0x2,-0x1
043c 0217       |    |		Execute	Heap_Access,All_Reference
043d 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
043e 01d7       |    |		Execute	Vector,Field_Read
043f 0273       | s  |		Execute	Discrete,Plus
0440 e21c       |    |		Load	0x1,0x1c
0441 01db       |    |		Execute	Vector,Length
0442 0273       | s  |		Execute	Discrete,Plus
0443 c402       |    |		Store	0x2,0x2
0444 00c8       |    |		Action	Pop_Auxiliary_Range
0445 00d9       |    |		Load_Top	At_Offset_1
0446 00d9       |    |		Load_Top	At_Offset_1
0447 027f       |    |		Execute	Discrete,Equal
0448 7004       |p   |		Jump_Nonzero	0x44d
0449 e20e       |    |		Load	0x1,0xe
044a 0122       | "  |		Execute	Any,Make_Root_Type
044b 1c07       |    |		Execute_Immediate	Run_Utility,0x7
044c 7fd0       |    |		Jump	0x41d
044d 00d2       |    |		Pop_Control	Pop_Count_2
044e 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
044f 0000       |    |		.XXX[0x1]
0450 ; --------------------------------------------------------------------------------------
0450 ; SUBPROGRAM
0450 ; --------------------------------------------------------------------------------------
0450 045f       | _  |		.CONST	0x045f								; Address of begin
0451 0004       |    |		.CONST	0x0004								; Address of exception handler
0452 0002       |    |		.CONST	0x0002								; Number of locals
0453			INIT_0450:
0453 00db       |    |		Load_Top	At_Offset_3
0454 00d8       |    |		Load_Top	At_Offset_0
0455 e245       | E  |		Load	0x1,0x45
0456 1c06       |    |		Execute_Immediate	Run_Utility,0x6
0457 e246       | F  |		Load	0x1,0x46
0458 e5ff       |    |		Load	0x2,-0x1
0459 0217       |    |		Execute	Heap_Access,All_Reference
045a 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
045b 039a       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Constraint
045c 00d8       |    |		Load_Top	At_Offset_0
045d 0217       |    |		Execute	Heap_Access,All_Reference
045e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
045f			BODY_0450:
045f e5fe       |    |		Load	0x2,-0x2
0460 4602       |F   |		Jump_Case	0x3
0461 780d       |x   |		Jump	0x46f								; case 0x0
0462 7817       |x   |		Jump	0x47a								; case 0x1
0463 7800       |x   |		Jump	0x464								; case 0x2
0464 00db       |    |		Load_Top	At_Offset_3
0465 0219       |    |		Execute	Heap_Access,All_Read
0466 00d8       |    |		Load_Top	At_Offset_0
0467 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0468 e5fd       |    |		Load	0x2,-0x3
0469 00db       |    |		Load_Top	At_Offset_3
046a 8254       | T  |		Call	0x1,0x54
046b 00d9       |    |		Load_Top	At_Offset_1
046c 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
046d 00d1       |    |		Pop_Control	Pop_Count_1
046e 7815       |x   |		Jump	0x484
046f 00db       |    |		Load_Top	At_Offset_3
0470 0219       |    |		Execute	Heap_Access,All_Read
0471 00d8       |    |		Load_Top	At_Offset_0
0472 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0473 e5fd       |    |		Load	0x2,-0x3
0474 00db       |    |		Load_Top	At_Offset_3
0475 8254       | T  |		Call	0x1,0x54
0476 00d9       |    |		Load_Top	At_Offset_1
0477 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0478 00d1       |    |		Pop_Control	Pop_Count_1
0479 780a       |x   |		Jump	0x484
047a 00db       |    |		Load_Top	At_Offset_3
047b 0219       |    |		Execute	Heap_Access,All_Read
047c 00d8       |    |		Load_Top	At_Offset_0
047d 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
047e e5fd       |    |		Load	0x2,-0x3
047f 00db       |    |		Load_Top	At_Offset_3
0480 8254       | T  |		Call	0x1,0x54
0481 00d9       |    |		Load_Top	At_Offset_1
0482 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
0483 00d1       |    |		Pop_Control	Pop_Count_1
0484 00db       |    |		Load_Top	At_Offset_3
0485 e5fc       |    |		Load	0x2,-0x4
0486 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0487 00d8       |    |		Load_Top	At_Offset_0
0488 e5fc       |    |		Load	0x2,-0x4
0489 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
048a 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
048b 0000 0000  |    |		.BLANK	0000[0x5]
0490 ; --------------------------------------------------------------------------------------
0490 ; SUBPROGRAM
0490 ; --------------------------------------------------------------------------------------
0490 0497       |    |		.CONST	0x0497								; Address of begin
0491 0004       |    |		.CONST	0x0004								; Address of exception handler
0492 0002       |    |		.CONST	0x0002								; Number of locals
0493			INIT_0490:
0493 e24a       | J  |		Load	0x1,0x4a
0494 0322       | "  |		Declare_Variable	Record
0495 00d8       |    |		Load_Top	At_Offset_0
0496 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0497			BODY_0490:
0497 00db       |    |		Load_Top	At_Offset_3
0498 00d9       |    |		Load_Top	At_Offset_1
0499 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
049a 4800       |H   |		Short_Literal	0x0
049b 00d9       |    |		Load_Top	At_Offset_1
049c 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
049d e5fe       |    |		Load	0x2,-0x2
049e 00d9       |    |		Load_Top	At_Offset_1
049f 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
04a0 00db       |    |		Load_Top	At_Offset_3
04a1 0217       |    |		Execute	Heap_Access,All_Reference
04a2 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
04a3 6806       |h   |		Jump_Zero	0x4aa
04a4 00db       |    |		Load_Top	At_Offset_3
04a5 0217       |    |		Execute	Heap_Access,All_Reference
04a6 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
04a7 00d9       |    |		Load_Top	At_Offset_1
04a8 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
04a9 7814       |x   |		Jump	0x4be
04aa 00d8       |    |		Load_Top	At_Offset_0
04ab 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04ac 7009       |p   |		Jump_Nonzero	0x4b6
04ad 4801       |H   |		Short_Literal	0x1
04ae 00d9       |    |		Load_Top	At_Offset_1
04af 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
04b0 00db       |    |		Load_Top	At_Offset_3
04b1 0217       |    |		Execute	Heap_Access,All_Reference
04b2 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
04b3 00d9       |    |		Load_Top	At_Offset_1
04b4 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
04b5 7808       |x   |		Jump	0x4be
04b6 4802       |H   |		Short_Literal	0x2
04b7 00d9       |    |		Load_Top	At_Offset_1
04b8 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
04b9 00db       |    |		Load_Top	At_Offset_3
04ba 0217       |    |		Execute	Heap_Access,All_Reference
04bb 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
04bc 00d9       |    |		Load_Top	At_Offset_1
04bd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
04be 00d8       |    |		Load_Top	At_Offset_0
04bf 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
04c0 ; --------------------------------------------------------------------------------------
04c0 ; SUBPROGRAM
04c0 ; --------------------------------------------------------------------------------------
04c0 04c3       |    |		.CONST	0x04c3								; Address of begin
04c1 0004       |    |		.CONST	0x0004								; Address of exception handler
04c2 0001       |    |		.CONST	0x0001								; Number of locals
04c3			BODY_04c0:
04c3			INIT_04c0:
04c3 00da       |    |		Load_Top	At_Offset_2
04c4 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
04c5 0f02       |    |		Execute_Immediate	Equal,0x2
04c6 6804       |h   |		Jump_Zero	0x4cb
04c7 00da       |    |		Load_Top	At_Offset_2
04c8 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04c9 021d       |    |		Execute	Heap_Access,Is_Null
04ca 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
04cb 4800       |H   |		Short_Literal	0x0
04cc 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
04cd 0000 0000  |    |		.XXX[0x3]
04cf 0000       |    |
04d0 ; --------------------------------------------------------------------------------------
04d0 ; SUBPROGRAM
04d0 ; --------------------------------------------------------------------------------------
04d0 04d3       |    |		.CONST	0x04d3								; Address of begin
04d1 0004       |    |		.CONST	0x0004								; Address of exception handler
04d2 0001       |    |		.CONST	0x0001								; Number of locals
04d3			BODY_04d0:
04d3			INIT_04d0:
04d3 e249       | I  |		Load	0x1,0x49
04d4 0322       | "  |		Declare_Variable	Record
04d5 00db       |    |		Load_Top	At_Offset_3
04d6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
04d7 00d9       |    |		Load_Top	At_Offset_1
04d8 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
04d9 00db       |    |		Load_Top	At_Offset_3
04da 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04db 00d9       |    |		Load_Top	At_Offset_1
04dc 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
04dd 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
04de 0000 0000  |    |		.XXX[0x2]
04e0 ; --------------------------------------------------------------------------------------
04e0 ; SUBPROGRAM
04e0 ; --------------------------------------------------------------------------------------
04e0 04e3       |    |		.CONST	0x04e3								; Address of begin
04e1 0004       |    |		.CONST	0x0004								; Address of exception handler
04e2 0001       |    |		.CONST	0x0001								; Number of locals
04e3			BODY_04e0:
04e3			INIT_04e0:
04e3 00da       |    |		Load_Top	At_Offset_2
04e4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04e5 7001       |p   |		Jump_Nonzero	0x4e7
04e6 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
04e7 00da       |    |		Load_Top	At_Offset_2
04e8 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
04e9 00db       |    |		Load_Top	At_Offset_3
04ea 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04eb 0217       |    |		Execute	Heap_Access,All_Reference
04ec 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
04ed 8251       | Q  |		Call	0x1,0x51
04ee 00db       |    |		Load_Top	At_Offset_3
04ef 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
04f0 00da       |    |		Load_Top	At_Offset_2
04f1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
04f2 6801       |h   |		Jump_Zero	0x4f4
04f3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
04f4 00da       |    |		Load_Top	At_Offset_2
04f5 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
04f6 7010       |p   |		Jump_Nonzero	0x507
04f7 4801       |H   |		Short_Literal	0x1
04f8 00db       |    |		Load_Top	At_Offset_3
04f9 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
04fa 00da       |    |		Load_Top	At_Offset_2
04fb 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
04fc 00db       |    |		Load_Top	At_Offset_3
04fd 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
04fe 0217       |    |		Execute	Heap_Access,All_Reference
04ff 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
0500 8251       | Q  |		Call	0x1,0x51
0501 00db       |    |		Load_Top	At_Offset_3
0502 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0503 00da       |    |		Load_Top	At_Offset_2
0504 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0505 6801       |h   |		Jump_Zero	0x507
0506 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0507 00da       |    |		Load_Top	At_Offset_2
0508 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0509 0f01       |    |		Execute_Immediate	Equal,0x1
050a 680c       |h   |		Jump_Zero	0x517
050b 4802       |H   |		Short_Literal	0x2
050c 00db       |    |		Load_Top	At_Offset_3
050d 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
050e 00da       |    |		Load_Top	At_Offset_2
050f 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
0510 00db       |    |		Load_Top	At_Offset_3
0511 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0512 0217       |    |		Execute	Heap_Access,All_Reference
0513 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0514 8251       | Q  |		Call	0x1,0x51
0515 00db       |    |		Load_Top	At_Offset_3
0516 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0517 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0518 ; --------------------------------------------------------------------------------------
0518 ; SUBPROGRAM
0518 ; --------------------------------------------------------------------------------------
0518 051b       |    |		.CONST	0x051b								; Address of begin
0519 0004       |    |		.CONST	0x0004								; Address of exception handler
051a 0001       |    |		.CONST	0x0001								; Number of locals
051b			BODY_0518:
051b			INIT_0518:
051b 00da       |    |		Load_Top	At_Offset_2
051c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
051d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
051e 0000 0000  |    |		.XXX[0x2]
0520 ; --------------------------------------------------------------------------------------
0520 ; SUBPROGRAM
0520 ; --------------------------------------------------------------------------------------
0520 053e       | >  |		.CONST	0x053e								; Address of begin
0521 0004       |    |		.CONST	0x0004								; Address of exception handler
0522 000c       |    |		.CONST	0x000c								; Number of locals
0523			INIT_0520:
0523 a005       |    |		Store_Unchecked	0x0,0x5
0524 00c6       |    |		Action	Check_Subprogram_Elaborated
0525 e249       | I  |		Load	0x1,0x49
0526 00e4       |    |		Load_Encached	Positive_Cache
0527 e24b       | K  |		Load	0x1,0x4b
0528 4ffe       |O   |		Short_Literal	-0x2
0529 4802       |H   |		Short_Literal	0x2
052a 0099       |    |		Action	Reference_Dynamic
052b e006       |    |		Load	0x0,0x6
052c e007       |    |		Load	0x0,0x7
052d 4808       |H   |		Short_Literal	0x8
052e 0007       |    |		Action	Break_Optional
052f 00e2       |    |		Load_Encached	Integer_Cache
0530 e5fd       |    |		Load	0x2,-0x3
0531 0217       |    |		Execute	Heap_Access,All_Reference
0532 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0533 8252       | R  |		Call	0x1,0x52
0534 00e3       |    |		Load_Encached	Natural_Cache
0535 03f1       |    |		Declare_Variable	Discrete,With_Value
0536 e5fb       |    |		Load	0x2,-0x5
0537 00e3       |    |		Load_Encached	Natural_Cache
0538 03f1       |    |		Declare_Variable	Discrete,With_Value
0539 4801       |H   |		Short_Literal	0x1
053a 00da       |    |		Load_Top	At_Offset_2
053b e24b       | K  |		Load	0x1,0x4b
053c 035b       | [  |		Declare_Type	Array,Constrained
053d 0337       | 7  |		Declare_Variable	Array
053e			BODY_0520:
053e 00d8       |    |		Load_Top	At_Offset_0
053f e5fd       |    |		Load	0x2,-0x3
0540 0217       |    |		Execute	Heap_Access,All_Reference
0541 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0542 e5fd       |    |		Load	0x2,-0x3
0543 8253       | S  |		Call	0x1,0x53
0544 00d1       |    |		Pop_Control	Pop_Count_1
0545 00d9       |    |		Load_Top	At_Offset_1
0546 00db       |    |		Load_Top	At_Offset_3
0547 027d       | }  |		Execute	Discrete,Greater
0548 6802       |h   |		Jump_Zero	0x54b
0549 00da       |    |		Load_Top	At_Offset_2
054a 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
054b 00d8       |    |		Load_Top	At_Offset_0
054c e5fc       |    |		Load	0x2,-0x4
054d 00db       |    |		Load_Top	At_Offset_3
054e 00da       |    |		Load_Top	At_Offset_2
054f 035b       | [  |		Declare_Type	Array,Constrained
0550 00d0       |    |		Action	Swap_Control
0551 01cd       |    |		Execute	Vector,Slice_Reference
0552 e409       |    |		Load	0x2,0x9
0553 00d9       |    |		Load_Top	At_Offset_1
0554 e402       |    |		Load	0x2,0x2
0555 e403       |    |		Load	0x2,0x3
0556 e404       |    |		Load	0x2,0x4
0557 4805       |H   |		Short_Literal	0x5
0558 4802       |H   |		Short_Literal	0x2
0559 0099       |    |		Action	Reference_Dynamic
055a 4806       |H   |		Short_Literal	0x6
055b 4802       |H   |		Short_Literal	0x2
055c 0099       |    |		Action	Reference_Dynamic
055d 8005       |    |		Call	0x0,0x5
055e 00d1       |    |		Pop_Control	Pop_Count_1
055f c409       |    |		Store	0x2,0x9
0560 00d1       |    |		Pop_Control	Pop_Count_1
0561 e246       | F  |		Load	0x1,0x46
0562 e5fd       |    |		Load	0x2,-0x3
0563 0217       |    |		Execute	Heap_Access,All_Reference
0564 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
0565 00cf       |    |		Action	Mark_Auxiliary
0566 00d9       |    |		Load_Top	At_Offset_1
0567 01d9       |    |		Execute	Vector,Reverse_Bounds
0568 0263       | c  |		Execute	Discrete,Above_Bound
0569 7015       |p   |		Jump_Nonzero	0x57f
056a e246       | F  |		Load	0x1,0x46
056b 00d9       |    |		Load_Top	At_Offset_1
056c e40c       |    |		Load	0x2,0xc
056d 01d5       |    |		Execute	Vector,Field_Reference
056e 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
056f 0217       |    |		Execute	Heap_Access,All_Reference
0570 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0571 e5fd       |    |		Load	0x2,-0x3
0572 0219       |    |		Execute	Heap_Access,All_Read
0573 00d8       |    |		Load_Top	At_Offset_0
0574 3c05       |<   |		Execute	Record,Field_Read,Field_Number 0x5
0575 00da       |    |		Load_Top	At_Offset_2
0576 e40c       |    |		Load	0x2,0xc
0577 01d5       |    |		Execute	Vector,Field_Reference
0578 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0579 8250       | P  |		Call	0x1,0x50
057a 00d9       |    |		Load_Top	At_Offset_1
057b 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
057c 00d1       |    |		Pop_Control	Pop_Count_1
057d 00c8       |    |		Action	Pop_Auxiliary_Range
057e 3feb       |?   |		Loop_Increasing	0x56a
057f 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0580 ; --------------------------------------------------------------------------------------
0580 ; SUBPROGRAM
0580 ; --------------------------------------------------------------------------------------
0580 0583       |    |		.CONST	0x0583								; Address of begin
0581 0004       |    |		.CONST	0x0004								; Address of exception handler
0582 0001       |    |		.CONST	0x0001								; Number of locals
0583			BODY_0580:
0583			INIT_0580:
0583 00d1       |    |		Pop_Control	Pop_Count_1
0584 00da       |    |		Load_Top	At_Offset_2
0585 01dc       |    |		Execute	Vector,Last
0586 00db       |    |		Load_Top	At_Offset_3
0587 01dd       |    |		Execute	Vector,First
0588 0263       | c  |		Execute	Discrete,Above_Bound
0589 700a       |p   |		Jump_Nonzero	0x594
058a 00d8       |    |		Load_Top	At_Offset_0
058b e5ff       |    |		Load	0x2,-0x1
058c 01d5       |    |		Execute	Vector,Field_Reference
058d 0125       | %  |		Execute	Any,Set_Constraint
058e 00d8       |    |		Load_Top	At_Offset_0
058f e5ff       |    |		Load	0x2,-0x1
0590 01d5       |    |		Execute	Vector,Field_Reference
0591 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0592 0a01       |    |		Execute_Immediate	Plus,0x1
0593 7ff4       |    |		Jump	0x588
0594 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0595 0000 0000  |    |		.XXX[0x3]
0597 0000       |    |
0598 ; --------------------------------------------------------------------------------------
0598 ; SUBPROGRAM
0598 ; --------------------------------------------------------------------------------------
0598 059b       |    |		.CONST	0x059b								; Address of begin
0599 0004       |    |		.CONST	0x0004								; Address of exception handler
059a 0001       |    |		.CONST	0x0001								; Number of locals
059b			BODY_0598:
059b			INIT_0598:
059b 00da       |    |		Load_Top	At_Offset_2
059c 6807       |h   |		Jump_Zero	0x5a4
059d 00da       |    |		Load_Top	At_Offset_2
059e 0217       |    |		Execute	Heap_Access,All_Reference
059f e242       | B  |		Load	0x1,0x42
05a0 e5fe       |    |		Load	0x2,-0x2
05a1 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
05a2 a5fd       |    |		Store_Unchecked	0x2,-0x3
05a3 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
05a4 e242       | B  |		Load	0x1,0x42
05a5 a5fd       |    |		Store_Unchecked	0x2,-0x3
05a6 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
05a7 0000       |    |		.XXX[0x1]
05a8 ; --------------------------------------------------------------------------------------
05a8 ; SUBPROGRAM
05a8 ; --------------------------------------------------------------------------------------
05a8 05ab       |    |		.CONST	0x05ab								; Address of begin
05a9 0004       |    |		.CONST	0x0004								; Address of exception handler
05aa 0001       |    |		.CONST	0x0001								; Number of locals
05ab			BODY_05a8:
05ab			INIT_05a8:
05ab 00cf       |    |		Action	Mark_Auxiliary
05ac e20e       |    |		Load	0x1,0xe
05ad 0265       | e  |		Execute	Discrete,Reverse_Bounds
05ae 0263       | c  |		Execute	Discrete,Above_Bound
05af 701c       |p   |		Jump_Nonzero	0x5cc
05b0 e5fd       |    |		Load	0x2,-0x3
05b1 00d9       |    |		Load_Top	At_Offset_1
05b2 e20e       |    |		Load	0x1,0xe
05b3 1c04       |    |		Execute_Immediate	Run_Utility,0x4
05b4 00d8       |    |		Load_Top	At_Offset_0
05b5 00da       |    |		Load_Top	At_Offset_2
05b6 01d7       |    |		Execute	Vector,Field_Read
05b7 e5fe       |    |		Load	0x2,-0x2
05b8 e404       |    |		Load	0x2,0x4
05b9 e20e       |    |		Load	0x1,0xe
05ba 1c04       |    |		Execute_Immediate	Run_Utility,0x4
05bb e5ff       |    |		Load	0x2,-0x1
05bc 01d7       |    |		Execute	Vector,Field_Read
05bd 824c       | L  |		Call	0x1,0x4c
05be 00d9       |    |		Load_Top	At_Offset_1
05bf 00db       |    |		Load_Top	At_Offset_3
05c0 01d6       |    |		Execute	Vector,Field_Write
05c1 00d2       |    |		Pop_Control	Pop_Count_2
05c2 00c8       |    |		Action	Pop_Auxiliary_Range
05c3 00d9       |    |		Load_Top	At_Offset_1
05c4 00d9       |    |		Load_Top	At_Offset_1
05c5 027f       |    |		Execute	Discrete,Equal
05c6 7004       |p   |		Jump_Nonzero	0x5cb
05c7 e20e       |    |		Load	0x1,0xe
05c8 0122       | "  |		Execute	Any,Make_Root_Type
05c9 1c07       |    |		Execute_Immediate	Run_Utility,0x7
05ca 7fe5       |    |		Jump	0x5b0
05cb 00d2       |    |		Pop_Control	Pop_Count_2
05cc 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
05cd 0000 0000  |    |		.XXX[0x3]
05cf 0000       |    |
05d0 ; --------------------------------------------------------------------------------------
05d0 ; SUBPROGRAM
05d0 ; --------------------------------------------------------------------------------------
05d0 05d3       |    |		.CONST	0x05d3								; Address of begin
05d1 0004       |    |		.CONST	0x0004								; Address of exception handler
05d2 0001       |    |		.CONST	0x0001								; Number of locals
05d3			BODY_05d0:
05d3			INIT_05d0:
05d3 00cf       |    |		Action	Mark_Auxiliary
05d4 e20e       |    |		Load	0x1,0xe
05d5 0265       | e  |		Execute	Discrete,Reverse_Bounds
05d6 0263       | c  |		Execute	Discrete,Above_Bound
05d7 7022       |p"  |		Jump_Nonzero	0x5fa
05d8 e5fd       |    |		Load	0x2,-0x3
05d9 00d9       |    |		Load_Top	At_Offset_1
05da e20e       |    |		Load	0x1,0xe
05db 1c04       |    |		Execute_Immediate	Run_Utility,0x4
05dc 00d8       |    |		Load_Top	At_Offset_0
05dd 00da       |    |		Load_Top	At_Offset_2
05de 01d7       |    |		Execute	Vector,Field_Read
05df 00d8       |    |		Load_Top	At_Offset_0
05e0 0120       |    |		Execute	Any,Is_Value
05e1 6803       |h   |		Jump_Zero	0x5e5
05e2 e217       |    |		Load	0x1,0x17
05e3 0122       | "  |		Execute	Any,Make_Root_Type
05e4 011e       |    |		Execute	Any,Convert
05e5 e5fe       |    |		Load	0x2,-0x2
05e6 e404       |    |		Load	0x2,0x4
05e7 e20e       |    |		Load	0x1,0xe
05e8 1c04       |    |		Execute_Immediate	Run_Utility,0x4
05e9 e5ff       |    |		Load	0x2,-0x1
05ea 01d7       |    |		Execute	Vector,Field_Read
05eb 821a       |    |		Call	0x1,0x1a
05ec 00d9       |    |		Load_Top	At_Offset_1
05ed 00db       |    |		Load_Top	At_Offset_3
05ee 01d6       |    |		Execute	Vector,Field_Write
05ef 00d2       |    |		Pop_Control	Pop_Count_2
05f0 00c8       |    |		Action	Pop_Auxiliary_Range
05f1 00d9       |    |		Load_Top	At_Offset_1
05f2 00d9       |    |		Load_Top	At_Offset_1
05f3 027f       |    |		Execute	Discrete,Equal
05f4 7004       |p   |		Jump_Nonzero	0x5f9
05f5 e20e       |    |		Load	0x1,0xe
05f6 0122       | "  |		Execute	Any,Make_Root_Type
05f7 1c07       |    |		Execute_Immediate	Run_Utility,0x7
05f8 7fdf       |    |		Jump	0x5d8
05f9 00d2       |    |		Pop_Control	Pop_Count_2
05fa 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
05fb 0000 0000  |    |		.BLANK	0000[0x5]
0600 ; --------------------------------------------------------------------------------------
0600 ; SUBPROGRAM
0600 ; --------------------------------------------------------------------------------------
0600 0605       |    |		.CONST	0x0605								; Address of begin
0601 0004       |    |		.CONST	0x0004								; Address of exception handler
0602 0002       |    |		.CONST	0x0002								; Number of locals
0603			INIT_0600:
0603 e246       | F  |		Load	0x1,0x46
0604 0007       |    |		Action	Break_Optional
0605			BODY_0600:
0605 00db       |    |		Load_Top	At_Offset_3
0606 685d       |h]  |		Jump_Zero	0x664
0607 00db       |    |		Load_Top	At_Offset_3
0608 0217       |    |		Execute	Heap_Access,All_Reference
0609 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
060a 00d8       |    |		Load_Top	At_Offset_0
060b e245       | E  |		Load	0x1,0x45
060c 1c06       |    |		Execute_Immediate	Run_Utility,0x6
060d e246       | F  |		Load	0x1,0x46
060e e5fe       |    |		Load	0x2,-0x2
060f 039a       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Constraint
0610 00d8       |    |		Load_Top	At_Offset_0
0611 0217       |    |		Execute	Heap_Access,All_Reference
0612 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0613 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0614 00d8       |    |		Load_Top	At_Offset_0
0615 0219       |    |		Execute	Heap_Access,All_Read
0616 00d8       |    |		Load_Top	At_Offset_0
0617 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0618 00d8       |    |		Load_Top	At_Offset_0
0619 0120       |    |		Execute	Any,Is_Value
061a 6803       |h   |		Jump_Zero	0x61e
061b e213       |    |		Load	0x1,0x13
061c 0122       | "  |		Execute	Any,Make_Root_Type
061d 011e       |    |		Execute	Any,Convert
061e e5fe       |    |		Load	0x2,-0x2
061f e5ff       |    |		Load	0x2,-0x1
0620 0217       |    |		Execute	Heap_Access,All_Reference
0621 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0622 8216       |    |		Call	0x1,0x16
0623 00d9       |    |		Load_Top	At_Offset_1
0624 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0625 00d1       |    |		Pop_Control	Pop_Count_1
0626 00db       |    |		Load_Top	At_Offset_3
0627 0217       |    |		Execute	Heap_Access,All_Reference
0628 2c04       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
0629 00d9       |    |		Load_Top	At_Offset_1
062a 0217       |    |		Execute	Heap_Access,All_Reference
062b 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
062c 00d8       |    |		Load_Top	At_Offset_0
062d 0219       |    |		Execute	Heap_Access,All_Read
062e 00d8       |    |		Load_Top	At_Offset_0
062f 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0630 e5fe       |    |		Load	0x2,-0x2
0631 e5ff       |    |		Load	0x2,-0x1
0632 0217       |    |		Execute	Heap_Access,All_Reference
0633 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0634 824f       | O  |		Call	0x1,0x4f
0635 00d9       |    |		Load_Top	At_Offset_1
0636 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0637 00d1       |    |		Pop_Control	Pop_Count_1
0638 00db       |    |		Load_Top	At_Offset_3
0639 0217       |    |		Execute	Heap_Access,All_Reference
063a 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
063b 4602       |F   |		Jump_Case	0x3
063c 780d       |x   |		Jump	0x64a								; case 0x0
063d 7819       |x   |		Jump	0x657								; case 0x1
063e 7800       |x   |		Jump	0x63f								; case 0x2
063f 00d8       |    |		Load_Top	At_Offset_0
0640 0219       |    |		Execute	Heap_Access,All_Read
0641 2e07       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x7
0642 00d8       |    |		Load_Top	At_Offset_0
0643 e5fe       |    |		Load	0x2,-0x2
0644 e5ff       |    |		Load	0x2,-0x1
0645 0217       |    |		Execute	Heap_Access,All_Reference
0646 2607       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x7
0647 824e       | N  |		Call	0x1,0x4e
0648 00d2       |    |		Pop_Control	Pop_Count_2
0649 7817       |x   |		Jump	0x661
064a 00d8       |    |		Load_Top	At_Offset_0
064b 0219       |    |		Execute	Heap_Access,All_Read
064c 00d8       |    |		Load_Top	At_Offset_0
064d 2e05       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x5
064e e5fe       |    |		Load	0x2,-0x2
064f e5ff       |    |		Load	0x2,-0x1
0650 0217       |    |		Execute	Heap_Access,All_Reference
0651 2e05       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x5
0652 824c       | L  |		Call	0x1,0x4c
0653 00d9       |    |		Load_Top	At_Offset_1
0654 2a05       |*   |		Execute	Variant_Record,Field_Write,Variant,Direct,Field_Number 0x5
0655 00d1       |    |		Pop_Control	Pop_Count_1
0656 780a       |x   |		Jump	0x661
0657 00d8       |    |		Load_Top	At_Offset_0
0658 0219       |    |		Execute	Heap_Access,All_Read
0659 2e06       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x6
065a 00d8       |    |		Load_Top	At_Offset_0
065b e5fe       |    |		Load	0x2,-0x2
065c e5ff       |    |		Load	0x2,-0x1
065d 0217       |    |		Execute	Heap_Access,All_Reference
065e 2606       |&   |		Execute	Variant_Record,Field_Reference,Variant,Direct,Field_Number 0x6
065f 824d       | M  |		Call	0x1,0x4d
0660 00d2       |    |		Pop_Control	Pop_Count_2
0661 00d8       |    |		Load_Top	At_Offset_0
0662 a5fd       |    |		Store_Unchecked	0x2,-0x3
0663 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0664 e246       | F  |		Load	0x1,0x46
0665 a5fd       |    |		Store_Unchecked	0x2,-0x3
0666 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0667 0000       |    |		.XXX[0x1]
0668 ; --------------------------------------------------------------------------------------
0668 ; SUBPROGRAM
0668 ; --------------------------------------------------------------------------------------
0668 066e       | n  |		.CONST	0x066e								; Address of begin
0669 0004       |    |		.CONST	0x0004								; Address of exception handler
066a 0002       |    |		.CONST	0x0002								; Number of locals
066b			INIT_0668:
066b e246       | F  |		Load	0x1,0x46
066c e5fe       |    |		Load	0x2,-0x2
066d 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
066e			BODY_0668:
066e 00d8       |    |		Load_Top	At_Offset_0
066f 7003       |p   |		Jump_Nonzero	0x673
0670 00db       |    |		Load_Top	At_Offset_3
0671 a5fe       |    |		Store_Unchecked	0x2,-0x2
0672 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0673 00cf       |    |		Action	Mark_Auxiliary
0674 7805       |x   |		Jump	0x67a
0675 00d9       |    |		Load_Top	At_Offset_1
0676 0217       |    |		Execute	Heap_Access,All_Reference
0677 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0678 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0679 00c9       |    |		Action	Pop_Auxiliary_Loop
067a 00d9       |    |		Load_Top	At_Offset_1
067b 0217       |    |		Execute	Heap_Access,All_Reference
067c 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
067d 77f7       |w   |		Jump_Nonzero	0x675
067e 00ce       |    |		Action	Pop_Auxiliary
067f 00db       |    |		Load_Top	At_Offset_3
0680 00d9       |    |		Load_Top	At_Offset_1
0681 0217       |    |		Execute	Heap_Access,All_Reference
0682 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0683 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0684 0000 0000  |    |		.BLANK	0000[0x4]
0688 ; --------------------------------------------------------------------------------------
0688 ; SUBPROGRAM
0688 ; --------------------------------------------------------------------------------------
0688 068e       |    |		.CONST	0x068e								; Address of begin
0689 0004       |    |		.CONST	0x0004								; Address of exception handler
068a 0002       |    |		.CONST	0x0002								; Number of locals
068b			INIT_0688:
068b e246       | F  |		Load	0x1,0x46
068c 00db       |    |		Load_Top	At_Offset_3
068d 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
068e			BODY_0688:
068e 00cf       |    |		Action	Mark_Auxiliary
068f 00d9       |    |		Load_Top	At_Offset_1
0690 680c       |h   |		Jump_Zero	0x69d
0691 e5fe       |    |		Load	0x2,-0x2
0692 680a       |h   |		Jump_Zero	0x69d
0693 00d9       |    |		Load_Top	At_Offset_1
0694 0217       |    |		Execute	Heap_Access,All_Reference
0695 2c04       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
0696 7006       |p   |		Jump_Nonzero	0x69d
0697 00d9       |    |		Load_Top	At_Offset_1
0698 0217       |    |		Execute	Heap_Access,All_Reference
0699 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
069a 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
069b 00c9       |    |		Action	Pop_Auxiliary_Loop
069c 7ff2       |    |		Jump	0x68f
069d 00ce       |    |		Action	Pop_Auxiliary
069e 00d8       |    |		Load_Top	At_Offset_0
069f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
06a0 ; --------------------------------------------------------------------------------------
06a0 ; SUBPROGRAM
06a0 ; --------------------------------------------------------------------------------------
06a0 06a8       |    |		.CONST	0x06a8								; Address of begin
06a1 0004       |    |		.CONST	0x0004								; Address of exception handler
06a2 0003       |    |		.CONST	0x0003								; Number of locals
06a3			INIT_06a0:
06a3 00e3       |    |		Load_Encached	Natural_Cache
06a4 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
06a5 e246       | F  |		Load	0x1,0x46
06a6 e5ff       |    |		Load	0x2,-0x1
06a7 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
06a8			BODY_06a0:
06a8 00cf       |    |		Action	Mark_Auxiliary
06a9 7808       |x   |		Jump	0x6b2
06aa 00da       |    |		Load_Top	At_Offset_2
06ab 0a01       |    |		Execute_Immediate	Plus,0x1
06ac 005b       | [  |		Store_Top	Discrete,At_Offset_3
06ad 00d9       |    |		Load_Top	At_Offset_1
06ae 0217       |    |		Execute	Heap_Access,All_Reference
06af 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
06b0 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
06b1 00c9       |    |		Action	Pop_Auxiliary_Loop
06b2 00d9       |    |		Load_Top	At_Offset_1
06b3 77f6       |w   |		Jump_Nonzero	0x6aa
06b4 00ce       |    |		Action	Pop_Auxiliary
06b5 00d9       |    |		Load_Top	At_Offset_1
06b6 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
06b7 0000       |    |		.XXX[0x1]
06b8 ; --------------------------------------------------------------------------------------
06b8 ; SUBPROGRAM
06b8 ; --------------------------------------------------------------------------------------
06b8 06c2       |    |		.CONST	0x06c2								; Address of begin
06b9 0004       |    |		.CONST	0x0004								; Address of exception handler
06ba 0003       |    |		.CONST	0x0003								; Number of locals
06bb			INIT_06b8:
06bb e246       | F  |		Load	0x1,0x46
06bc e5fe       |    |		Load	0x2,-0x2
06bd 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
06be e5fd       |    |		Load	0x2,-0x3
06bf 01dd       |    |		Execute	Vector,First
06c0 00e4       |    |		Load_Encached	Positive_Cache
06c1 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
06c2			BODY_06b8:
06c2 00cf       |    |		Action	Mark_Auxiliary
06c3 00d9       |    |		Load_Top	At_Offset_1
06c4 e5fd       |    |		Load	0x2,-0x3
06c5 01dc       |    |		Execute	Vector,Last
06c6 027d       | }  |		Execute	Discrete,Greater
06c7 7013       |p   |		Jump_Nonzero	0x6db
06c8 e5ff       |    |		Load	0x2,-0x1
06c9 00da       |    |		Load_Top	At_Offset_2
06ca e5fd       |    |		Load	0x2,-0x3
06cb 01d5       |    |		Execute	Vector,Field_Reference
06cc 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
06cd 00da       |    |		Load_Top	At_Offset_2
06ce 00da       |    |		Load_Top	At_Offset_2
06cf e5fd       |    |		Load	0x2,-0x3
06d0 01d5       |    |		Execute	Vector,Field_Reference
06d1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
06d2 00da       |    |		Load_Top	At_Offset_2
06d3 0217       |    |		Execute	Heap_Access,All_Reference
06d4 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
06d5 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
06d6 00d9       |    |		Load_Top	At_Offset_1
06d7 0a01       |    |		Execute_Immediate	Plus,0x1
06d8 005a       | Z  |		Store_Top	Discrete,At_Offset_2
06d9 00c9       |    |		Action	Pop_Auxiliary_Loop
06da 7fe8       |    |		Jump	0x6c3
06db 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
06dc 0000 0000  |    |		.BLANK	0000[0x4]
06e0 ; --------------------------------------------------------------------------------------
06e0 ; SUBPROGRAM
06e0 ; --------------------------------------------------------------------------------------
06e0 06e8       |    |		.CONST	0x06e8								; Address of begin
06e1 0004       |    |		.CONST	0x0004								; Address of exception handler
06e2 0003       |    |		.CONST	0x0003								; Number of locals
06e3			INIT_06e0:
06e3 e246       | F  |		Load	0x1,0x46
06e4 e5fd       |    |		Load	0x2,-0x3
06e5 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
06e6 00e3       |    |		Load_Encached	Natural_Cache
06e7 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
06e8			BODY_06e0:
06e8 00d9       |    |		Load_Top	At_Offset_1
06e9 7003       |p   |		Jump_Nonzero	0x6ed
06ea e5ff       |    |		Load	0x2,-0x1
06eb a5fd       |    |		Store_Unchecked	0x2,-0x3
06ec 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
06ed e5fe       |    |		Load	0x2,-0x2
06ee 7007       |p   |		Jump_Nonzero	0x6f6
06ef e5fd       |    |		Load	0x2,-0x3
06f0 e5ff       |    |		Load	0x2,-0x1
06f1 0217       |    |		Execute	Heap_Access,All_Reference
06f2 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
06f3 e5ff       |    |		Load	0x2,-0x1
06f4 a5fd       |    |		Store_Unchecked	0x2,-0x3
06f5 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
06f6 00cf       |    |		Action	Mark_Auxiliary
06f7 780c       |x   |		Jump	0x704
06f8 00da       |    |		Load_Top	At_Offset_2
06f9 0217       |    |		Execute	Heap_Access,All_Reference
06fa 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
06fb 680c       |h   |		Jump_Zero	0x708
06fc 00d9       |    |		Load_Top	At_Offset_1
06fd 0a01       |    |		Execute_Immediate	Plus,0x1
06fe 005a       | Z  |		Store_Top	Discrete,At_Offset_2
06ff 00da       |    |		Load_Top	At_Offset_2
0700 0217       |    |		Execute	Heap_Access,All_Reference
0701 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0702 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0703 00c9       |    |		Action	Pop_Auxiliary_Loop
0704 00d9       |    |		Load_Top	At_Offset_1
0705 e5fe       |    |		Load	0x2,-0x2
0706 027c       | |  |		Execute	Discrete,Less
0707 77f0       |w   |		Jump_Nonzero	0x6f8
0708 00ce       |    |		Action	Pop_Auxiliary
0709 00d9       |    |		Load_Top	At_Offset_1
070a 0217       |    |		Execute	Heap_Access,All_Reference
070b 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
070c e5ff       |    |		Load	0x2,-0x1
070d 0217       |    |		Execute	Heap_Access,All_Reference
070e 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
070f e5ff       |    |		Load	0x2,-0x1
0710 00da       |    |		Load_Top	At_Offset_2
0711 0217       |    |		Execute	Heap_Access,All_Reference
0712 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
0713 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0714 0000 0000  |    |		.BLANK	0000[0x4]
0718 ; --------------------------------------------------------------------------------------
0718 ; SUBPROGRAM
0718 ; --------------------------------------------------------------------------------------
0718 071b       |    |		.CONST	0x071b								; Address of begin
0719 0004       |    |		.CONST	0x0004								; Address of exception handler
071a 0001       |    |		.CONST	0x0001								; Number of locals
071b			BODY_0718:
071b			INIT_0718:
071b 00da       |    |		Load_Top	At_Offset_2
071c e7fe       |    |		Load	0x3,-0x2
071d 027c       | |  |		Execute	Discrete,Less
071e 6802       |h   |		Jump_Zero	0x721
071f 00db       |    |		Load_Top	At_Offset_3
0720 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0721 00da       |    |		Load_Top	At_Offset_2
0722 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0723 0000 0000  |    |		.BLANK	0000[0x5]
0728 ; --------------------------------------------------------------------------------------
0728 ; SUBPROGRAM
0728 ; --------------------------------------------------------------------------------------
0728 072b       | +  |		.CONST	0x072b								; Address of begin
0729 0004       |    |		.CONST	0x0004								; Address of exception handler
072a 0001       |    |		.CONST	0x0001								; Number of locals
072b			BODY_0728:
072b			INIT_0728:
072b 00da       |    |		Load_Top	At_Offset_2
072c 01db       |    |		Execute	Vector,Length
072d e7fe       |    |		Load	0x3,-0x2
072e 027a       | z  |		Execute	Discrete,Less_Equal
072f 6815       |h   |		Jump_Zero	0x745
0730 00da       |    |		Load_Top	At_Offset_2
0731 4801       |H   |		Short_Literal	0x1
0732 e7fe       |    |		Load	0x3,-0x2
0733 e7ff       |    |		Load	0x3,-0x1
0734 01db       |    |		Execute	Vector,Length
0735 0272       | r  |		Execute	Discrete,Minus
0736 00e9       |    |		Load_Encached	String_Cache
0737 035b       | [  |		Declare_Type	Array,Constrained
0738 0337       | 7  |		Declare_Variable	Array
0739 00d8       |    |		Load_Top	At_Offset_0
073a 01dc       |    |		Execute	Vector,Last
073b 4801       |H   |		Short_Literal	0x1
073c 0263       | c  |		Execute	Discrete,Above_Bound
073d 7005       |p   |		Jump_Nonzero	0x743
073e 4820       |H   |		Short_Literal	0x20
073f 00d9       |    |		Load_Top	At_Offset_1
0740 e603       |    |		Load	0x3,0x3
0741 01d6       |    |		Execute	Vector,Field_Write
0742 3ffb       |?   |		Loop_Increasing	0x73e
0743 01cc       |    |		Execute	Vector,Catenate
0744 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0745 0092 08b8  |    |		Action	Push_String_Extended,0x8b8					; "...."
0747 00db       |    |		Load_Top	At_Offset_3
0748 01dc       |    |		Execute	Vector,Last
0749 e7fe       |    |		Load	0x3,-0x2
074a 0272       | r  |		Execute	Discrete,Minus
074b 0a05       |    |		Execute_Immediate	Plus,0x5
074c 00d8       |    |		Load_Top	At_Offset_0
074d 00e2       |    |		Load_Encached	Integer_Cache
074e 0260       | `  |		Execute	Discrete,In_Type
074f 7001       |p   |		Jump_Nonzero	0x751
0750 0801       |    |		Execute_Immediate	Raise,0x1
0751 e7ff       |    |		Load	0x3,-0x1
0752 01dc       |    |		Execute	Vector,Last
0753 e7ff       |    |		Load	0x3,-0x1
0754 01cf       |    |		Execute	Vector,Slice_Read
0755 01cc       |    |		Execute	Vector,Catenate
0756 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0757 0000       |    |		.XXX[0x1]
0758 ; --------------------------------------------------------------------------------------
0758 ; SUBPROGRAM
0758 ; --------------------------------------------------------------------------------------
0758 075b       | [  |		.CONST	0x075b								; Address of begin
0759 0004       |    |		.CONST	0x0004								; Address of exception handler
075a 0001       |    |		.CONST	0x0001								; Number of locals
075b			BODY_0758:
075b			INIT_0758:
075b 00da       |    |		Load_Top	At_Offset_2
075c 7002       |p   |		Jump_Nonzero	0x75f
075d 00ea       |    |		Load_Encached	Null_String_Cache
075e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
075f 00da       |    |		Load_Top	At_Offset_2
0760 0217       |    |		Execute	Heap_Access,All_Reference
0761 0335       | 5  |		Declare_Variable	Array,Duplicate
0762 00cd       |    |		Action	Spare6_Action
0763 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0764 0000 0000  |    |		.BLANK	0000[0x4]
0768 ; --------------------------------------------------------------------------------------
0768 ; SUBPROGRAM
0768 ; --------------------------------------------------------------------------------------
0768 076b       | k  |		.CONST	0x076b								; Address of begin
0769 0004       |    |		.CONST	0x0004								; Address of exception handler
076a 0001       |    |		.CONST	0x0001								; Number of locals
076b			BODY_0768:
076b			INIT_0768:
076b e7fd       |    |		Load	0x3,-0x3
076c e20e       |    |		Load	0x1,0xe
076d 0269       | i  |		Execute	Discrete,Last
076e 027f       |    |		Execute	Discrete,Equal
076f 680d       |h   |		Jump_Zero	0x77d
0770 e7fd       |    |		Load	0x3,-0x3
0771 e20e       |    |		Load	0x1,0xe
0772 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0773 e7fe       |    |		Load	0x3,-0x2
0774 01d7       |    |		Execute	Vector,Field_Read
0775 e7fd       |    |		Load	0x3,-0x3
0776 e20e       |    |		Load	0x1,0xe
0777 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0778 e7ff       |    |		Load	0x3,-0x1
0779 01d7       |    |		Execute	Vector,Field_Read
077a 8403       |    |		Call	0x2,0x3
077b 8402       |    |		Call	0x2,0x2
077c 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
077d e7fd       |    |		Load	0x3,-0x3
077e e20e       |    |		Load	0x1,0xe
077f 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0780 e7fe       |    |		Load	0x3,-0x2
0781 01d7       |    |		Execute	Vector,Field_Read
0782 681c       |h   |		Jump_Zero	0x79f
0783 e7fd       |    |		Load	0x3,-0x3
0784 e20e       |    |		Load	0x1,0xe
0785 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0786 e7fe       |    |		Load	0x3,-0x2
0787 01d7       |    |		Execute	Vector,Field_Read
0788 e7fd       |    |		Load	0x3,-0x3
0789 e20e       |    |		Load	0x1,0xe
078a 1c04       |    |		Execute_Immediate	Run_Utility,0x4
078b e7ff       |    |		Load	0x3,-0x1
078c 01d7       |    |		Execute	Vector,Field_Read
078d 8403       |    |		Call	0x2,0x3
078e 8402       |    |		Call	0x2,0x2
078f e21c       |    |		Load	0x1,0x1c
0790 01cc       |    |		Execute	Vector,Catenate
0791 e7fd       |    |		Load	0x3,-0x3
0792 e20e       |    |		Load	0x1,0xe
0793 0122       | "  |		Execute	Any,Make_Root_Type
0794 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0795 00d8       |    |		Load_Top	At_Offset_0
0796 e20e       |    |		Load	0x1,0xe
0797 0260       | `  |		Execute	Discrete,In_Type
0798 7001       |p   |		Jump_Nonzero	0x79a
0799 0801       |    |		Execute_Immediate	Raise,0x1
079a e7fe       |    |		Load	0x3,-0x2
079b e7ff       |    |		Load	0x3,-0x1
079c 8404       |    |		Call	0x2,0x4
079d 01cc       |    |		Execute	Vector,Catenate
079e 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
079f e7fd       |    |		Load	0x3,-0x3
07a0 e20e       |    |		Load	0x1,0xe
07a1 0122       | "  |		Execute	Any,Make_Root_Type
07a2 1c07       |    |		Execute_Immediate	Run_Utility,0x7
07a3 00d8       |    |		Load_Top	At_Offset_0
07a4 e20e       |    |		Load	0x1,0xe
07a5 0260       | `  |		Execute	Discrete,In_Type
07a6 7001       |p   |		Jump_Nonzero	0x7a8
07a7 0801       |    |		Execute_Immediate	Raise,0x1
07a8 e7fe       |    |		Load	0x3,-0x2
07a9 e7ff       |    |		Load	0x3,-0x1
07aa 8404       |    |		Call	0x2,0x4
07ab 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
07ac 0000 0000  |    |		.BLANK	0000[0x4]
07b0 ; --------------------------------------------------------------------------------------
07b0 ; SUBPROGRAM
07b0 ; --------------------------------------------------------------------------------------
07b0 07b3       |    |		.CONST	0x07b3								; Address of begin
07b1 0004       |    |		.CONST	0x0004								; Address of exception handler
07b2 0001       |    |		.CONST	0x0001								; Number of locals
07b3			BODY_07b0:
07b3			INIT_07b0:
07b3 e7fd       |    |		Load	0x3,-0x3
07b4 e20e       |    |		Load	0x1,0xe
07b5 0269       | i  |		Execute	Discrete,Last
07b6 027f       |    |		Execute	Discrete,Equal
07b7 680d       |h   |		Jump_Zero	0x7c5
07b8 e7fd       |    |		Load	0x3,-0x3
07b9 e20e       |    |		Load	0x1,0xe
07ba 1c04       |    |		Execute_Immediate	Run_Utility,0x4
07bb e7fe       |    |		Load	0x3,-0x2
07bc 01d7       |    |		Execute	Vector,Field_Read
07bd e7fd       |    |		Load	0x3,-0x3
07be e20e       |    |		Load	0x1,0xe
07bf 1c04       |    |		Execute_Immediate	Run_Utility,0x4
07c0 e7ff       |    |		Load	0x3,-0x1
07c1 01d7       |    |		Execute	Vector,Field_Read
07c2 821b       |    |		Call	0x1,0x1b
07c3 8402       |    |		Call	0x2,0x2
07c4 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
07c5 e7fd       |    |		Load	0x3,-0x3
07c6 e20e       |    |		Load	0x1,0xe
07c7 1c04       |    |		Execute_Immediate	Run_Utility,0x4
07c8 e7fe       |    |		Load	0x3,-0x2
07c9 01d7       |    |		Execute	Vector,Field_Read
07ca 681c       |h   |		Jump_Zero	0x7e7
07cb e7fd       |    |		Load	0x3,-0x3
07cc e20e       |    |		Load	0x1,0xe
07cd 1c04       |    |		Execute_Immediate	Run_Utility,0x4
07ce e7fe       |    |		Load	0x3,-0x2
07cf 01d7       |    |		Execute	Vector,Field_Read
07d0 e7fd       |    |		Load	0x3,-0x3
07d1 e20e       |    |		Load	0x1,0xe
07d2 1c04       |    |		Execute_Immediate	Run_Utility,0x4
07d3 e7ff       |    |		Load	0x3,-0x1
07d4 01d7       |    |		Execute	Vector,Field_Read
07d5 821b       |    |		Call	0x1,0x1b
07d6 8402       |    |		Call	0x2,0x2
07d7 e21c       |    |		Load	0x1,0x1c
07d8 01cc       |    |		Execute	Vector,Catenate
07d9 e7fd       |    |		Load	0x3,-0x3
07da e20e       |    |		Load	0x1,0xe
07db 0122       | "  |		Execute	Any,Make_Root_Type
07dc 1c07       |    |		Execute_Immediate	Run_Utility,0x7
07dd 00d8       |    |		Load_Top	At_Offset_0
07de e20e       |    |		Load	0x1,0xe
07df 0260       | `  |		Execute	Discrete,In_Type
07e0 7001       |p   |		Jump_Nonzero	0x7e2
07e1 0801       |    |		Execute_Immediate	Raise,0x1
07e2 e7fe       |    |		Load	0x3,-0x2
07e3 e7ff       |    |		Load	0x3,-0x1
07e4 8405       |    |		Call	0x2,0x5
07e5 01cc       |    |		Execute	Vector,Catenate
07e6 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
07e7 e7fd       |    |		Load	0x3,-0x3
07e8 e20e       |    |		Load	0x1,0xe
07e9 0122       | "  |		Execute	Any,Make_Root_Type
07ea 1c07       |    |		Execute_Immediate	Run_Utility,0x7
07eb 00d8       |    |		Load_Top	At_Offset_0
07ec e20e       |    |		Load	0x1,0xe
07ed 0260       | `  |		Execute	Discrete,In_Type
07ee 7001       |p   |		Jump_Nonzero	0x7f0
07ef 0801       |    |		Execute_Immediate	Raise,0x1
07f0 e7fe       |    |		Load	0x3,-0x2
07f1 e7ff       |    |		Load	0x3,-0x1
07f2 8405       |    |		Call	0x2,0x5
07f3 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
07f4 0000 0000  |    |		.BLANK	0000[0x4]
07f8 ; --------------------------------------------------------------------------------------
07f8 ; SUBPROGRAM
07f8 ; SUBPROGRAM
07f8 ; --------------------------------------------------------------------------------------
07f8 07fb       |    |		.CONST	0x07fb								; Address of begin
07f9 0004       |    |		.CONST	0x0004								; Address of exception handler
07fa 0001       |    |		.CONST	0x0001								; Number of locals
07fb			BODY_07f8:
07fb			BODY_07f8:
07fb			INIT_07f8:
07fb			INIT_07f8:
07fb 4609       |F   |		Jump_Case	0xa
07fc 7809       |x   |		Jump	0x806								; case 0x0
07fd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
07fe 783d       |x=  |		Jump	0x83c								; case 0x2
07ff 7840       |x@  |		Jump	0x840								; case 0x3
0800 7845       |xE  |		Jump	0x846								; case 0x4
0801 784f       |xO  |		Jump	0x851								; case 0x5
0802 7858       |xX  |		Jump	0x85b								; case 0x6
0803 7862       |xb  |		Jump	0x866								; case 0x7
0804 786f       |xo  |		Jump	0x874								; case 0x8
0805 7875       |xu  |		Jump	0x87b								; case 0x9
0806 00da       |    |		Load_Top	At_Offset_2
0807 016c       | l  |		Execute	Variant_Record,Is_Constrained
0808 7009       |p   |		Jump_Nonzero	0x812
0809 00cf       |    |		Action	Mark_Auxiliary
080a 4802       |H   |		Short_Literal	0x2
080b e5ff       |    |		Load	0x2,-0x1
080c 1c08       |    |		Execute_Immediate	Run_Utility,0x8
080d 00d8       |    |		Load_Top	At_Offset_0
080e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
080f c5ff       |    |		Store	0x2,-0x1
0810 00ce       |    |		Action	Pop_Auxiliary
0811 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0812 00da       |    |		Load_Top	At_Offset_2
0813 2202       |"   |		Execute	Variant_Record,Field_Constrain,Field_Number 0x2
0814 e214       |    |		Load	0x1,0x14
0815 00db       |    |		Load_Top	At_Offset_3
0816 00d9       |    |		Load_Top	At_Offset_1
0817 00d9       |    |		Load_Top	At_Offset_1
0818 2302       |#   |		Execute	Variant_Record,Field_Type,Field_Number 0x2
0819 0119       |    |		Execute	Any,Check_In_Formal_Type
081a 00d1       |    |		Pop_Control	Pop_Count_1
081b 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
081c 4801       |H   |		Short_Literal	0x1
081d 00db       |    |		Load_Top	At_Offset_3
081e 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
081f 00da       |    |		Load_Top	At_Offset_2
0820 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0821 4602       |F   |		Jump_Case	0x3
0822 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
0823 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
0824 7800       |x   |		Jump	0x825								; case 0x2
0825 e245       | E  |		Load	0x1,0x45
0826 2307       |#   |		Execute	Variant_Record,Field_Type,Field_Number 0x7
0827 0337       | 7  |		Declare_Variable	Array
0828 e245       | E  |		Load	0x1,0x45
0829 2307       |#   |		Execute	Variant_Record,Field_Type,Field_Number 0x7
082a 01d9       |    |		Execute	Vector,Reverse_Bounds
082b 0263       | c  |		Execute	Discrete,Above_Bound
082c 7007       |p   |		Jump_Nonzero	0x834
082d e218       |    |		Load	0x1,0x18
082e e217       |    |		Load	0x1,0x17
082f 0119       |    |		Execute	Any,Check_In_Formal_Type
0830 00d9       |    |		Load_Top	At_Offset_1
0831 e402       |    |		Load	0x2,0x2
0832 01d6       |    |		Execute	Vector,Field_Write
0833 3ff9       |?   |		Loop_Increasing	0x82d
0834 00db       |    |		Load_Top	At_Offset_3
0835 00d9       |    |		Load_Top	At_Offset_1
0836 00d9       |    |		Load_Top	At_Offset_1
0837 2307       |#   |		Execute	Variant_Record,Field_Type,Field_Number 0x7
0838 0119       |    |		Execute	Any,Check_In_Formal_Type
0839 00d1       |    |		Pop_Control	Pop_Count_1
083a 2a07       |*   |		Execute	Variant_Record,Field_Write,Variant,Direct,Field_Number 0x7
083b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
083c 4801       |H   |		Short_Literal	0x1
083d 4807       |H   |		Short_Literal	0x7
083e 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
083f 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0840 e5fd       |    |		Load	0x2,-0x3
0841 00db       |    |		Load_Top	At_Offset_3
0842 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0843 e5fe       |    |		Load	0x2,-0x2
0844 0306       |    |		Complete_Type	Variant_Record,By_Renaming
0845 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
0846 4801       |H   |		Short_Literal	0x1
0847 4807       |H   |		Short_Literal	0x7
0848 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
0849 e5fe       |    |		Load	0x2,-0x2
084a 00d8       |    |		Load_Top	At_Offset_0
084b e5ff       |    |		Load	0x2,-0x1
084c 1c06       |    |		Execute_Immediate	Run_Utility,0x6
084d e5ff       |    |		Load	0x2,-0x1
084e 00db       |    |		Load_Top	At_Offset_3
084f 0305       |    |		Complete_Type	Variant_Record,By_Constraining_Incomplete
0850 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0851 4801       |H   |		Short_Literal	0x1
0852 00db       |    |		Load_Top	At_Offset_3
0853 0169       | i  |		Execute	Variant_Record,Read_Discriminant_Constraint
0854 4602       |F   |		Jump_Case	0x3
0855 7802       |x   |		Jump	0x858								; case 0x0
0856 7801       |x   |		Jump	0x858								; case 0x1
0857 7800       |x   |		Jump	0x858								; case 0x2
0858 e5ff       |    |		Load	0x2,-0x1
0859 0304       |    |		Complete_Type	Variant_Record,By_Completing_Constraint
085a 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
085b 00db       |    |		Load_Top	At_Offset_3
085c 4602       |F   |		Jump_Case	0x3
085d 7804       |x   |		Jump	0x862								; case 0x0
085e 7805       |x   |		Jump	0x864								; case 0x1
085f 7800       |x   |		Jump	0x860								; case 0x2
0860 4803       |H   |		Short_Literal	0x3
0861 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0862 4801       |H   |		Short_Literal	0x1
0863 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0864 4802       |H   |		Short_Literal	0x2
0865 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0866 00db       |    |		Load_Top	At_Offset_3
0867 e5fe       |    |		Load	0x2,-0x2
0868 4602       |F   |		Jump_Case	0x3
0869 7804       |x   |		Jump	0x86e								; case 0x0
086a 7805       |x   |		Jump	0x870								; case 0x1
086b 7800       |x   |		Jump	0x86c								; case 0x2
086c 4803       |H   |		Short_Literal	0x3
086d 7803       |x   |		Jump	0x871
086e 4801       |H   |		Short_Literal	0x1
086f 7801       |x   |		Jump	0x871
0870 4802       |H   |		Short_Literal	0x2
0871 e5ff       |    |		Load	0x2,-0x1
0872 031b       |    |		Declare_Type	Variant_Record,Constrained
0873 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0874 00db       |    |		Load_Top	At_Offset_3
0875 e5fe       |    |		Load	0x2,-0x2
0876 e5ff       |    |		Load	0x2,-0x1
0877 1c06       |    |		Execute_Immediate	Run_Utility,0x6
0878 e5ff       |    |		Load	0x2,-0x1
0879 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
087a 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
087b 4802       |H   |		Short_Literal	0x2
087c 00db       |    |		Load_Top	At_Offset_3
087d 1c07       |    |		Execute_Immediate	Run_Utility,0x7
087e 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
087f 0000       |    |		.XXX[0x1]
0880 ; --------------------------------------------------------------------------------------
0880 ; SUBPROGRAM
0880 ; --------------------------------------------------------------------------------------
0880 0883       |    |		.CONST	0x0883								; Address of begin
0881 0004       |    |		.CONST	0x0004								; Address of exception handler
0882 0001       |    |		.CONST	0x0001								; Number of locals
0883			BODY_0880:
0883			INIT_0880:
0883 4601       |F   |		Jump_Case	0x2
0884 7801       |x   |		Jump	0x886								; case 0x0
0885 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
0886 00da       |    |		Load_Top	At_Offset_2
0887 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0888 0125       | %  |		Execute	Any,Set_Constraint
0889 e210       |    |		Load	0x1,0x10
088a 00db       |    |		Load_Top	At_Offset_3
088b 00d9       |    |		Load_Top	At_Offset_1
088c 00d9       |    |		Load_Top	At_Offset_1
088d 3001       |0   |		Execute	Record,Field_Type,Field_Number 0x1
088e 0119       |    |		Execute	Any,Check_In_Formal_Type
088f 00d1       |    |		Pop_Control	Pop_Count_1
0890 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0891 e247       | G  |		Load	0x1,0x47
0892 3004       |0   |		Execute	Record,Field_Type,Field_Number 0x4
0893 0337       | 7  |		Declare_Variable	Array
0894 e247       | G  |		Load	0x1,0x47
0895 3004       |0   |		Execute	Record,Field_Type,Field_Number 0x4
0896 01d9       |    |		Execute	Vector,Reverse_Bounds
0897 0263       | c  |		Execute	Discrete,Above_Bound
0898 7005       |p   |		Jump_Nonzero	0x89e
0899 4800       |H   |		Short_Literal	0x0
089a 00d9       |    |		Load_Top	At_Offset_1
089b e402       |    |		Load	0x2,0x2
089c 01d6       |    |		Execute	Vector,Field_Write
089d 3ffb       |?   |		Loop_Increasing	0x899
089e 00db       |    |		Load_Top	At_Offset_3
089f 00d9       |    |		Load_Top	At_Offset_1
08a0 00d9       |    |		Load_Top	At_Offset_1
08a1 3004       |0   |		Execute	Record,Field_Type,Field_Number 0x4
08a2 0119       |    |		Execute	Any,Check_In_Formal_Type
08a3 00d1       |    |		Pop_Control	Pop_Count_1
08a4 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
08a5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
08a6 0000 0000  |    |		.XXX[0x2]
08a8 ; --------------------------------------------------------------------------------------
08a8 ; SUBPROGRAM
08a8 ; --------------------------------------------------------------------------------------
08a8 08ab       |    |		.CONST	0x08ab								; Address of begin
08a9 0004       |    |		.CONST	0x0004								; Address of exception handler
08aa 0001       |    |		.CONST	0x0001								; Number of locals
08ab			BODY_08a8:
08ab			INIT_08a8:
08ab 4601       |F   |		Jump_Case	0x2
08ac 7801       |x   |		Jump	0x8ae								; case 0x0
08ad 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
08ae 4800       |H   |		Short_Literal	0x0
08af 00db       |    |		Load_Top	At_Offset_3
08b0 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
08b1 4801       |H   |		Short_Literal	0x1
08b2 00db       |    |		Load_Top	At_Offset_3
08b3 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
08b4 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
08b5 ; --------------------------------------------------------------------------------------
08b5 ; STRING TABLE
08b5 ; --------------------------------------------------------------------------------------
08b5 000a       |    |		.STRTAB	0x000a->0x08ba							; "TABLE_TITLE"
08b6 0013       |    |		.STRTAB	0x0013->0x08bf							; "COLUMN_TITLE"
08b7 001d       |    |		.STRTAB	0x001d->0x08c5							; "USER_DATA"
08b8 0024       | $  |		.STRTAB	0x0024->0x08ca							; "...."
08b9 0026       | &  |		.STREND 0x0026->0x08cc
08ba 5441 424c  |TABL|		.STRTAB_STRINGS
08cc 0000 0000  |    |		.BLANK	0000[0x4]
08d0 ; --------------------------------------------------------------------------------------
08d0 ; Debug Table
08d0 ; --------------------------------------------------------------------------------------
08d0 0004 0009  |    |		.DEBUG4	0x0004,0x0009,0x720a,0x0000,0x0001,0x0000
08d6 0000 0000  |    |		.BLANK	0000[0x12a]