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

⟦a5ff2d841⟧

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

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 09a8       |    |		.CONST	0x09a8								; 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 8006       |    |		.CONST	0x8006								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 007f       |    |		.CONST	0x007f								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 002c       | ,  |		.CONST	0x002c								; Number of locals
000b			INIT_0008:
000b 00bf       |    |		Action	Accept_Activation
000c e001       |    |		Load	0x0,0x1
000d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
000e e001       |    |		Load	0x0,0x1
000f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0010 011e       |    |		Execute	Any,Convert
0011 00ec       |    |		Load_Encached	Diana_Tree_Cache
0012 00ec       |    |		Load_Encached	Diana_Tree_Cache
0013 e002       |    |		Load	0x0,0x2
0014 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0015 e003       |    |		Load	0x0,0x3
0016 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0017 00ec       |    |		Load_Encached	Diana_Tree_Cache
0018 0092 0854  |   T|		Action	Push_String_Extended,0x854					; "Incremental operations are not allowed in coded units"
001a 00ec       |    |		Load_Encached	Diana_Tree_Cache
001b 4802       |H   |		Short_Literal	0x2
001c e001       |    |		Load	0x0,0x1
001d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
001e e001       |    |		Load	0x0,0x1
001f 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0020 e001       |    |		Load	0x0,0x1
0021 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0022 011e       |    |		Execute	Any,Convert
0023 029d 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call
0025 029d 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Outer_Call
0027 029d 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Outer_Call
0029 029d 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call
002b 029d 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call
002d 029d 019b  |    |		Declare_Subprogram	INIT_0198,For_Outer_Call
002f 029d 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call
0031 029d 021b  |    |		Declare_Subprogram	INIT_0218,For_Outer_Call
0033 029d 02a3  |    |		Declare_Subprogram	INIT_02a0,For_Outer_Call
0035 029d 0373  |   s|		Declare_Subprogram	INIT_0370,For_Outer_Call
0037 029d 0463  |   c|		Declare_Subprogram	INIT_0460,For_Outer_Call
0039 029d 052b  |   +|		Declare_Subprogram	INIT_0528,For_Outer_Call
003b 029d 05db  |    |		Declare_Subprogram	INIT_05d8,For_Outer_Call
003d 029d 05e3  |    |		Declare_Subprogram	INIT_05e0,For_Outer_Call
003f 029d 05eb  |    |		Declare_Subprogram	INIT_05e8,For_Outer_Call
0041 029d 05f3  |    |		Declare_Subprogram	INIT_05f0,For_Outer_Call
0043 029d 05fb  |    |		Declare_Subprogram	INIT_05f8,For_Outer_Call
0045 029d 0603  |    |		Declare_Subprogram	INIT_0600,For_Outer_Call
0047 029d 060b  |    |		Declare_Subprogram	INIT_0608,For_Outer_Call
0049 029d 0613  |    |		Declare_Subprogram	INIT_0610,For_Outer_Call
004b 029d 061b  |    |		Declare_Subprogram	INIT_0618,For_Outer_Call
004d 029d 0623  |   #|		Declare_Subprogram	INIT_0620,For_Outer_Call
004f 029d 062b  |   +|		Declare_Subprogram	INIT_0628,For_Outer_Call
0051 029d 0633  |   3|		Declare_Subprogram	INIT_0630,For_Outer_Call
0053 029d 063b  |   ;|		Declare_Subprogram	INIT_0638,For_Outer_Call
0055 029d 0643  |   C|		Declare_Subprogram	INIT_0640,For_Outer_Call
0057 029d 064b  |   K|		Declare_Subprogram	INIT_0648,For_Outer_Call
0059 029d 0653  |   S|		Declare_Subprogram	INIT_0650,For_Outer_Call
005b 029d 065b  |   [|		Declare_Subprogram	INIT_0658,For_Outer_Call
005d e004       |    |		Load	0x0,0x4
005e e005       |    |		Load	0x0,0x5
005f 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
0060 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
0061 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0062 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
0063 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
0064 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
0065 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
0066 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
0067 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
0068 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0069 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
006a 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
006b 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
006c 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
006d 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
006e 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
006f 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
0070 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
0071 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
0072 1d28       | (  |		Execute_Immediate	Reference_Lex_1,0x28
0073 1d29       | )  |		Execute_Immediate	Reference_Lex_1,0x29
0074 1d2a       | *  |		Execute_Immediate	Reference_Lex_1,0x2a
0075 1d2b       | +  |		Execute_Immediate	Reference_Lex_1,0x2b
0076 e006       |    |		Load	0x0,0x6
0077 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0078 e007       |    |		Load	0x0,0x7
0079 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
007a 1b33       | 3  |		Execute	Package,Field_Read,Field_Number 0x33
007b 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
007c 0387       |    |		Declare_Variable	Package
007d 00d8       |    |		Load_Top	At_Offset_0
007e 020f       |    |		Execute	Module,Activate
007f			BODY_0008:
007f 00bc       |    |		Action	Signal_Activated
0080 00bb       |    |		Action	Signal_Completion
0081 0000 0000  |    |		.BLANK	0000[0x7]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008d       |    |		.CONST	0x008d								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0002       |    |		.CONST	0x0002								; Number of locals
008b			INIT_0088:
008b e008       |    |		Load	0x0,0x8
008c 1b1a       |    |		Execute	Package,Field_Read,Field_Number 0x1a
008d			BODY_0088:
008d 00db       |    |		Load_Top	At_Offset_3
008e 7002       |p   |		Jump_Nonzero	0x91
008f 4800       |H   |		Short_Literal	0x0
0090 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0091 00db       |    |		Load_Top	At_Offset_3
0092 e009       |    |		Load	0x0,0x9
0093 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
0094 e009       |    |		Load	0x0,0x9
0095 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
0096 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0097 00d8       |    |		Load_Top	At_Offset_0
0098 460b       |F   |		Jump_Case	0xc
0099 780b       |x   |		Jump	0xa5								; case 0x0
009a 780a       |x   |		Jump	0xa5								; case 0x1
009b 7809       |x   |		Jump	0xa5								; case 0x2
009c 7808       |x   |		Jump	0xa5								; case 0x3
009d 7807       |x   |		Jump	0xa5								; case 0x4
009e 780a       |x   |		Jump	0xa9								; case 0x5
009f 7807       |x   |		Jump	0xa7								; case 0x6
00a0 7808       |x   |		Jump	0xa9								; case 0x7
00a1 7809       |x   |		Jump	0xab								; case 0x8
00a2 7802       |x   |		Jump	0xa5								; case 0x9
00a3 7801       |x   |		Jump	0xa5								; case 0xa
00a4 7800       |x   |		Jump	0xa5								; case 0xb
00a5 4800       |H   |		Short_Literal	0x0
00a6 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00a7 4801       |H   |		Short_Literal	0x1
00a8 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00a9 4802       |H   |		Short_Literal	0x2
00aa 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00ab 4804       |H   |		Short_Literal	0x4
00ac 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00ad 0000 0000  |    |		.XXX[0x3]
00af 0000       |    |
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00b3       |    |		.CONST	0x00b3								; Address of begin
00b1 0004       |    |		.CONST	0x0004								; Address of exception handler
00b2 0001       |    |		.CONST	0x0001								; Number of locals
00b3			BODY_00b0:
00b3			INIT_00b0:
00b3 4801       |H   |		Short_Literal	0x1
00b4 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00b5 0000 0000  |    |		.XXX[0x3]
00b7 0000       |    |
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00cb       |    |		.CONST	0x00cb								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0005       |    |		.CONST	0x0005								; Number of locals
00bb			INIT_00b8:
00bb e00a       |    |		Load	0x0,0xa
00bc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00bd e00a       |    |		Load	0x0,0xa
00be 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
00bf 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00c0 e00a       |    |		Load	0x0,0xa
00c1 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00c2 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00c3 02c7       |    |		Declare_Variable	Any
00c4 00d8       |    |		Load_Top	At_Offset_0
00c5 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c6 e00a       |    |		Load	0x0,0xa
00c7 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
00c8 02c7       |    |		Declare_Variable	Any
00c9 00d8       |    |		Load_Top	At_Offset_0
00ca 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00cb			BODY_00b8:
00cb e008       |    |		Load	0x0,0x8
00cc 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
00cd 4801       |H   |		Short_Literal	0x1
00ce 0092 0855  |   U|		Action	Push_String_Extended,0x855					; "Entering Current_Phase"
00d0 e00b       |    |		Load	0x0,0xb
00d1 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
00d2 e20d       |    |		Load	0x1,0xd
00d3 c5fa       |    |		Store	0x2,-0x6
00d4 e00a       |    |		Load	0x0,0xa
00d5 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00d6 00da       |    |		Load_Top	At_Offset_2
00d7 0120       |    |		Execute	Any,Is_Value
00d8 6804       |h   |		Jump_Zero	0xdd
00d9 e00a       |    |		Load	0x0,0xa
00da 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00db 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00dc 7801       |x   |		Jump	0xde
00dd 00da       |    |		Load_Top	At_Offset_2
00de e5fe       |    |		Load	0x2,-0x2
00df e00a       |    |		Load	0x0,0xa
00e0 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00e1 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
00e2 c404       |    |		Store	0x2,0x4
00e3 c402       |    |		Store	0x2,0x2
00e4 00db       |    |		Load_Top	At_Offset_3
00e5 680a       |h   |		Jump_Zero	0xf0
00e6 e008       |    |		Load	0x0,0x8
00e7 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
00e8 4801       |H   |		Short_Literal	0x1
00e9 0092 0856  |   V|		Action	Push_String_Extended,0x856					; "Unable to get coding phase"
00eb e00b       |    |		Load	0x0,0xb
00ec 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
00ed 4800       |H   |		Short_Literal	0x0
00ee a5fb       |    |		Store_Unchecked	0x2,-0x5
00ef 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
00f0 e00a       |    |		Load	0x0,0xa
00f1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00f2 e00a       |    |		Load	0x0,0xa
00f3 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
00f4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00f5 6036       |`6  |		Indirect_Literal	Discrete,0x12c,{0x00000000, 0x00004000}
00f6 e00c       |    |		Load	0x0,0xc
00f7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00f8 4800       |H   |		Short_Literal	0x0
00f9 e404       |    |		Load	0x2,0x4
00fa e00a       |    |		Load	0x0,0xa
00fb 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
00fc 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
00fd c403       |    |		Store	0x2,0x3
00fe c402       |    |		Store	0x2,0x2
00ff 00d9       |    |		Load_Top	At_Offset_1
0100 e00a       |    |		Load	0x0,0xa
0101 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0102 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0103 c405       |    |		Store	0x2,0x5
0104 00db       |    |		Load_Top	At_Offset_3
0105 680f       |h   |		Jump_Zero	0x115
0106 4800       |H   |		Short_Literal	0x0
0107 a5fb       |    |		Store_Unchecked	0x2,-0x5
0108 e008       |    |		Load	0x0,0x8
0109 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
010a 4806       |H   |		Short_Literal	0x6
010b 0092 0857  |   W|		Action	Push_String_Extended,0x857					; "Unable to retrieve unit state for "
010d 00db       |    |		Load_Top	At_Offset_3
010e e00a       |    |		Load	0x0,0xa
010f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0110 183b       | ;  |		Execute	Package,Field_Execute,Field_Number 0x3b
0111 01cc       |    |		Execute	Vector,Catenate
0112 e00b       |    |		Load	0x0,0xb
0113 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0114 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0115 00da       |    |		Load_Top	At_Offset_2
0116 4604       |F   |		Jump_Case	0x5
0117 780e       |x   |		Jump	0x126								; case 0x0
0118 780d       |x   |		Jump	0x126								; case 0x1
0119 7809       |x   |		Jump	0x123								; case 0x2
011a 7805       |x   |		Jump	0x120								; case 0x3
011b 7800       |x   |		Jump	0x11c								; case 0x4
011c e5ff       |    |		Load	0x2,-0x1
011d 8210       |    |		Call	0x1,0x10
011e a5fb       |    |		Store_Unchecked	0x2,-0x5
011f 7808       |x   |		Jump	0x128
0120 4800       |H   |		Short_Literal	0x0
0121 a5fb       |    |		Store_Unchecked	0x2,-0x5
0122 7805       |x   |		Jump	0x128
0123 4fff       |O   |		Short_Literal	-0x1
0124 a5fb       |    |		Store_Unchecked	0x2,-0x5
0125 7802       |x   |		Jump	0x128
0126 4800       |H   |		Short_Literal	0x0
0127 a5fb       |    |		Store_Unchecked	0x2,-0x5
0128 e20d       |    |		Load	0x1,0xd
0129 c5fa       |    |		Store	0x2,-0x6
012a 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
012b 0000       |    |		.XXX[0x1]
012c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0139       | 9  |		.CONST	0x0139								; Address of begin
0131 0004       |    |		.CONST	0x0004								; Address of exception handler
0132 0003       |    |		.CONST	0x0003								; Number of locals
0133			INIT_0130:
0133 00da       |    |		Load_Top	At_Offset_2
0134 e00a       |    |		Load	0x0,0xa
0135 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0136 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0137 00e3       |    |		Load_Encached	Natural_Cache
0138 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0139			BODY_0130:
0139 4800       |H   |		Short_Literal	0x0
013a 00da       |    |		Load_Top	At_Offset_2
013b 482e       |H.  |		Short_Literal	0x2e
013c e00d       |    |		Load	0x0,0xd
013d 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
013e 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
013f 00d8       |    |		Load_Top	At_Offset_0
0140 7002       |p   |		Jump_Nonzero	0x143
0141 4800       |H   |		Short_Literal	0x0
0142 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0143 4801       |H   |		Short_Literal	0x1
0144 00da       |    |		Load_Top	At_Offset_2
0145 01dd       |    |		Execute	Vector,First
0146 00da       |    |		Load_Top	At_Offset_2
0147 0aff       |    |		Execute_Immediate	Plus,-0x1
0148 e402       |    |		Load	0x2,0x2
0149 01cf       |    |		Execute	Vector,Slice_Read
014a 0092 0858  |   X|		Action	Push_String_Extended,0x858					; "!Targets"
014c e00d       |    |		Load	0x0,0xd
014d 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
014e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
014f 0000       |    |		.XXX[0x1]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 015e       | ^  |		.CONST	0x015e								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0003       |    |		.CONST	0x0003								; Number of locals
0153			INIT_0150:
0153 e00a       |    |		Load	0x0,0xa
0154 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0155 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0156 02c7       |    |		Declare_Variable	Any
0157 00d8       |    |		Load_Top	At_Offset_0
0158 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0159 e00a       |    |		Load	0x0,0xa
015a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
015b 02c7       |    |		Declare_Variable	Any
015c 00d8       |    |		Load_Top	At_Offset_0
015d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
015e			BODY_0150:
015e e00a       |    |		Load	0x0,0xa
015f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0160 00da       |    |		Load_Top	At_Offset_2
0161 0120       |    |		Execute	Any,Is_Value
0162 6804       |h   |		Jump_Zero	0x167
0163 e00a       |    |		Load	0x0,0xa
0164 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
0165 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0166 7801       |x   |		Jump	0x168
0167 00da       |    |		Load_Top	At_Offset_2
0168 e5ff       |    |		Load	0x2,-0x1
0169 e00a       |    |		Load	0x0,0xa
016a 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
016b 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
016c c402       |    |		Store	0x2,0x2
016d c5fd       |    |		Store	0x2,-0x3
016e e5fd       |    |		Load	0x2,-0x3
016f 6818       |h   |		Jump_Zero	0x188
0170 e008       |    |		Load	0x0,0x8
0171 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0172 4807       |H   |		Short_Literal	0x7
0173 0092 0859  |   Y|		Action	Push_String_Extended,0x859					; "Error while obtaining enclosing world for unit "
0175 e5ff       |    |		Load	0x2,-0x1
0176 e00a       |    |		Load	0x0,0xa
0177 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0178 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0179 01cc       |    |		Execute	Vector,Catenate
017a 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
017c 01cc       |    |		Execute	Vector,Catenate
017d e5fd       |    |		Load	0x2,-0x3
017e e00a       |    |		Load	0x0,0xa
017f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0180 011c       |    |		Execute	Any,Convert_Unchecked
0181 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0182 01cc       |    |		Execute	Vector,Catenate
0183 e00b       |    |		Load	0x0,0xb
0184 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0185 4800       |H   |		Short_Literal	0x0
0186 a5fe       |    |		Store_Unchecked	0x2,-0x2
0187 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0188 00d9       |    |		Load_Top	At_Offset_1
0189 e00a       |    |		Load	0x0,0xa
018a 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
018b 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
018c c403       |    |		Store	0x2,0x3
018d 00d8       |    |		Load_Top	At_Offset_0
018e e00a       |    |		Load	0x0,0xa
018f 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
0190 e00e       |    |		Load	0x0,0xe
0191 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
0192 027f       |    |		Execute	Discrete,Equal
0193 a5fe       |    |		Store_Unchecked	0x2,-0x2
0194 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0195 0000 0000  |    |		.XXX[0x3]
0197 0000       |    |
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 01a1       |    |		.CONST	0x01a1								; Address of begin
0199 0004       |    |		.CONST	0x0004								; Address of exception handler
019a 0002       |    |		.CONST	0x0002								; Number of locals
019b			INIT_0198:
019b e007       |    |		Load	0x0,0x7
019c 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
019d 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
019e 02c7       |    |		Declare_Variable	Any
019f 00db       |    |		Load_Top	At_Offset_3
01a0 a402       |    |		Store_Unchecked	0x2,0x2
01a1			BODY_0198:
01a1 00cf       |    |		Action	Mark_Auxiliary
01a2 780f       |x   |		Jump	0x1b2
01a3 00d9       |    |		Load_Top	At_Offset_1
01a4 e007       |    |		Load	0x0,0x7
01a5 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01a6 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01a7 e5fe       |    |		Load	0x2,-0x2
01a8 012f       | /  |		Execute	Any,Equal
01a9 6802       |h   |		Jump_Zero	0x1ac
01aa 4801       |H   |		Short_Literal	0x1
01ab 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01ac 00d9       |    |		Load_Top	At_Offset_1
01ad e007       |    |		Load	0x0,0x7
01ae 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01af 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
01b0 c402       |    |		Store	0x2,0x2
01b1 00c9       |    |		Action	Pop_Auxiliary_Loop
01b2 00d9       |    |		Load_Top	At_Offset_1
01b3 e007       |    |		Load	0x0,0x7
01b4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01b5 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01b6 012f       | /  |		Execute	Any,Equal
01b7 6feb       |o   |		Jump_Zero	0x1a3
01b8 00ce       |    |		Action	Pop_Auxiliary
01b9 4800       |H   |		Short_Literal	0x0
01ba 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01bb 0000 0000  |    |		.BLANK	0000[0x5]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01d9       |    |		.CONST	0x01d9								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0006       |    |		.CONST	0x0006								; Number of locals
01c3			INIT_01c0:
01c3 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
01c4 02c7       |    |		Declare_Variable	Any
01c5 00db       |    |		Load_Top	At_Offset_3
01c6 00eb       |    |		Load_Encached	Diana_Cache
01c7 18bb       |    |		Execute	Package,Field_Execute,Field_Number 0xbb
01c8 00eb       |    |		Load_Encached	Diana_Cache
01c9 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
01ca a402       |    |		Store_Unchecked	0x2,0x2
01cb 00ec       |    |		Load_Encached	Diana_Tree_Cache
01cc 02c7       |    |		Declare_Variable	Any
01cd 00d8       |    |		Load_Top	At_Offset_0
01ce 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01cf 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
01d0 02c7       |    |		Declare_Variable	Any
01d1 00d8       |    |		Load_Top	At_Offset_0
01d2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d3 00ec       |    |		Load_Encached	Diana_Tree_Cache
01d4 02c7       |    |		Declare_Variable	Any
01d5 00d8       |    |		Load_Top	At_Offset_0
01d6 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d7 029f 0683  |    |		Declare_Subprogram	INIT_0680,For_Call
01d9			BODY_01c0:
01d9 00cf       |    |		Action	Mark_Auxiliary
01da 7836       |x6  |		Jump	0x211
01db e402       |    |		Load	0x2,0x2
01dc 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
01dd c403       |    |		Store	0x2,0x3
01de e402       |    |		Load	0x2,0x2
01df 0217       |    |		Execute	Heap_Access,All_Reference
01e0 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01e1 c402       |    |		Store	0x2,0x2
01e2 e403       |    |		Load	0x2,0x3
01e3 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
01e4 0f85       |    |		Execute_Immediate	Equal,-0x7b
01e5 682a       |h*  |		Jump_Zero	0x210
01e6 e403       |    |		Load	0x2,0x3
01e7 00eb       |    |		Load_Encached	Diana_Cache
01e8 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
01e9 c404       |    |		Store	0x2,0x4
01ea 00cf       |    |		Action	Mark_Auxiliary
01eb 7821       |x!  |		Jump	0x20d
01ec 8406       |    |		Call	0x2,0x6
01ed e404       |    |		Load	0x2,0x4
01ee 0217       |    |		Execute	Heap_Access,All_Reference
01ef 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01f0 c404       |    |		Store	0x2,0x4
01f1 00db       |    |		Load_Top	At_Offset_3
01f2 6819       |h   |		Jump_Zero	0x20c
01f3 00db       |    |		Load_Top	At_Offset_3
01f4 4974       |It  |		Short_Literal	0x174
01f5 00eb       |    |		Load_Encached	Diana_Cache
01f6 0098       |    |		Execute	Package,Field_Read_Dynamic
01f7 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
01f8 c405       |    |		Store	0x2,0x5
01f9 00db       |    |		Load_Top	At_Offset_3
01fa e5fe       |    |		Load	0x2,-0x2
01fb 8214       |    |		Call	0x1,0x14
01fc 700f       |p   |		Jump_Nonzero	0x20c
01fd e5fe       |    |		Load	0x2,-0x2
01fe e007       |    |		Load	0x0,0x7
01ff 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0200 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0201 4800       |H   |		Short_Literal	0x0
0202 4801       |H   |		Short_Literal	0x1
0203 e405       |    |		Load	0x2,0x5
0204 e007       |    |		Load	0x0,0x7
0205 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0206 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0207 c5fe       |    |		Store	0x2,-0x2
0208 e5fe       |    |		Load	0x2,-0x2
0209 e405       |    |		Load	0x2,0x5
020a 8215       |    |		Call	0x1,0x15
020b c5fe       |    |		Store	0x2,-0x2
020c 00c9       |    |		Action	Pop_Auxiliary_Loop
020d e404       |    |		Load	0x2,0x4
020e 77dd       |w   |		Jump_Nonzero	0x1ec
020f 00ce       |    |		Action	Pop_Auxiliary
0210 00c9       |    |		Action	Pop_Auxiliary_Loop
0211 e402       |    |		Load	0x2,0x2
0212 77c8       |w   |		Jump_Nonzero	0x1db
0213 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0214 0000 0000  |    |		.BLANK	0000[0x4]
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 022f       | /  |		.CONST	0x022f								; Address of begin
0219 0004       |    |		.CONST	0x0004								; Address of exception handler
021a 0005       |    |		.CONST	0x0005								; Number of locals
021b			INIT_0218:
021b e00a       |    |		Load	0x0,0xa
021c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
021d 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
021e 02c7       |    |		Declare_Variable	Any
021f 00d8       |    |		Load_Top	At_Offset_0
0220 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0221 e00a       |    |		Load	0x0,0xa
0222 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0223 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0224 02c7       |    |		Declare_Variable	Any
0225 00d8       |    |		Load_Top	At_Offset_0
0226 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0227 e00a       |    |		Load	0x0,0xa
0228 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0229 e00a       |    |		Load	0x0,0xa
022a 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
022b 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
022c 02c7       |    |		Declare_Variable	Any
022d 00d8       |    |		Load_Top	At_Offset_0
022e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
022f			BODY_0218:
022f e00a       |    |		Load	0x0,0xa
0230 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0231 e402       |    |		Load	0x2,0x2
0232 0120       |    |		Execute	Any,Is_Value
0233 6804       |h   |		Jump_Zero	0x238
0234 e00a       |    |		Load	0x0,0xa
0235 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0236 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0237 7801       |x   |		Jump	0x239
0238 e402       |    |		Load	0x2,0x2
0239 605e       |`^  |		Indirect_Literal	Discrete,0x298,{0x00000000, 0x00004000}
023a e00c       |    |		Load	0x0,0xc
023b 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
023c e5ff       |    |		Load	0x2,-0x1
023d e00a       |    |		Load	0x0,0xa
023e 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
023f 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0240 c402       |    |		Store	0x2,0x2
0241 005a       | Z  |		Store_Top	Discrete,At_Offset_2
0242 00d9       |    |		Load_Top	At_Offset_1
0243 6816       |h   |		Jump_Zero	0x25a
0244 e008       |    |		Load	0x0,0x8
0245 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0246 4806       |H   |		Short_Literal	0x6
0247 0092 085b  |   [|		Action	Push_String_Extended,0x85b					; "Error getting spec for unit "
0249 e5fe       |    |		Load	0x2,-0x2
024a e00a       |    |		Load	0x0,0xa
024b 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
024c 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
024d 01cc       |    |		Execute	Vector,Catenate
024e 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0250 01cc       |    |		Execute	Vector,Catenate
0251 e404       |    |		Load	0x2,0x4
0252 e00a       |    |		Load	0x0,0xa
0253 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0254 011c       |    |		Execute	Any,Convert_Unchecked
0255 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0256 01cc       |    |		Execute	Vector,Catenate
0257 e00b       |    |		Load	0x0,0xb
0258 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0259 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
025a e00a       |    |		Load	0x0,0xa
025b 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
025c 00d9       |    |		Load_Top	At_Offset_1
025d 0120       |    |		Execute	Any,Is_Value
025e 6804       |h   |		Jump_Zero	0x263
025f e00a       |    |		Load	0x0,0xa
0260 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0261 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0262 7801       |x   |		Jump	0x264
0263 00d9       |    |		Load_Top	At_Offset_1
0264 e403       |    |		Load	0x2,0x3
0265 0120       |    |		Execute	Any,Is_Value
0266 6804       |h   |		Jump_Zero	0x26b
0267 e00a       |    |		Load	0x0,0xa
0268 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0269 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
026a 7801       |x   |		Jump	0x26c
026b e403       |    |		Load	0x2,0x3
026c 602b       |`+  |		Indirect_Literal	Discrete,0x298,{0x00000000, 0x00004000}
026d 4801       |H   |		Short_Literal	0x1
026e 4800       |H   |		Short_Literal	0x0
026f 4800       |H   |		Short_Literal	0x0
0270 e00c       |    |		Load	0x0,0xc
0271 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0272 4801       |H   |		Short_Literal	0x1
0273 e402       |    |		Load	0x2,0x2
0274 e00a       |    |		Load	0x0,0xa
0275 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0276 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
0277 c403       |    |		Store	0x2,0x3
0278 c405       |    |		Store	0x2,0x5
0279 005a       | Z  |		Store_Top	Discrete,At_Offset_2
027a 00d9       |    |		Load_Top	At_Offset_1
027b 6816       |h   |		Jump_Zero	0x292
027c e008       |    |		Load	0x0,0x8
027d 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
027e 4806       |H   |		Short_Literal	0x6
027f 0092 085c  |   \|		Action	Push_String_Extended,0x85c					; "Error while obtaining Diana tree for object "
0281 e5fe       |    |		Load	0x2,-0x2
0282 e00a       |    |		Load	0x0,0xa
0283 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0284 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0285 01cc       |    |		Execute	Vector,Catenate
0286 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0288 01cc       |    |		Execute	Vector,Catenate
0289 e404       |    |		Load	0x2,0x4
028a e00a       |    |		Load	0x0,0xa
028b 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
028c 011c       |    |		Execute	Any,Convert_Unchecked
028d 1c01       |    |		Execute_Immediate	Run_Utility,0x1
028e 01cc       |    |		Execute	Vector,Catenate
028f e00b       |    |		Load	0x0,0xb
0290 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0291 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0292 00da       |    |		Load_Top	At_Offset_2
0293 c5fc       |    |		Store	0x2,-0x4
0294 4801       |H   |		Short_Literal	0x1
0295 a5fd       |    |		Store_Unchecked	0x2,-0x3
0296 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0297 0000       |    |		.XXX[0x1]
0298 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
029c 0000 0000  |    |		.BLANK	0000[0x4]
02a0 ; --------------------------------------------------------------------------------------
02a0 ; SUBPROGRAM
02a0 ; --------------------------------------------------------------------------------------
02a0 02dd       |    |		.CONST	0x02dd								; Address of begin
02a1 0004       |    |		.CONST	0x0004								; Address of exception handler
02a2 000e       |    |		.CONST	0x000e								; Number of locals
02a3			INIT_02a0:
02a3 e00a       |    |		Load	0x0,0xa
02a4 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02a6 02c7       |    |		Declare_Variable	Any
02a7 00d8       |    |		Load_Top	At_Offset_0
02a8 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02a9 e00a       |    |		Load	0x0,0xa
02aa 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02ab 02c7       |    |		Declare_Variable	Any
02ac 00d8       |    |		Load_Top	At_Offset_0
02ad 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02ae e00a       |    |		Load	0x0,0xa
02af 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02b0 e007       |    |		Load	0x0,0x7
02b1 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
02b2 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
02b3 02c7       |    |		Declare_Variable	Any
02b4 e007       |    |		Load	0x0,0x7
02b5 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
02b6 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
02b7 a405       |    |		Store_Unchecked	0x2,0x5
02b8 00e1       |    |		Load_Encached	Boolean_Cache
02b9 00ec       |    |		Load_Encached	Diana_Tree_Cache
02ba 02c7       |    |		Declare_Variable	Any
02bb 00d8       |    |		Load_Top	At_Offset_0
02bc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02bd e00a       |    |		Load	0x0,0xa
02be 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02bf 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02c0 02c7       |    |		Declare_Variable	Any
02c1 00d8       |    |		Load_Top	At_Offset_0
02c2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02c3 e00a       |    |		Load	0x0,0xa
02c4 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02c5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02c6 02c7       |    |		Declare_Variable	Any
02c7 00d8       |    |		Load_Top	At_Offset_0
02c8 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02c9 e00a       |    |		Load	0x0,0xa
02ca 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02cb 02c7       |    |		Declare_Variable	Any
02cc 00d8       |    |		Load_Top	At_Offset_0
02cd 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02ce e00a       |    |		Load	0x0,0xa
02cf 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02d0 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02d1 02c7       |    |		Declare_Variable	Any
02d2 00d8       |    |		Load_Top	At_Offset_0
02d3 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02d4 e00a       |    |		Load	0x0,0xa
02d5 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
02d6 0322       | "  |		Declare_Variable	Record
02d7 00d8       |    |		Load_Top	At_Offset_0
02d8 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02d9 e009       |    |		Load	0x0,0x9
02da 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02db 029f 06ab  |    |		Declare_Subprogram	INIT_06a8,For_Call
02dd			BODY_02a0:
02dd e00a       |    |		Load	0x0,0xa
02de 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02df e402       |    |		Load	0x2,0x2
02e0 0120       |    |		Execute	Any,Is_Value
02e1 6804       |h   |		Jump_Zero	0x2e6
02e2 e00a       |    |		Load	0x0,0xa
02e3 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02e4 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02e5 7801       |x   |		Jump	0x2e7
02e6 e402       |    |		Load	0x2,0x2
02e7 e5fe       |    |		Load	0x2,-0x2
02e8 e00a       |    |		Load	0x0,0xa
02e9 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02ea 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
02eb c402       |    |		Store	0x2,0x2
02ec c404       |    |		Store	0x2,0x4
02ed e404       |    |		Load	0x2,0x4
02ee 6819       |h   |		Jump_Zero	0x308
02ef e008       |    |		Load	0x0,0x8
02f0 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02f1 4807       |H   |		Short_Literal	0x7
02f2 0092 085d  |   ]|		Action	Push_String_Extended,0x85d					; "Error while obtaining object for unit "
02f4 e5fe       |    |		Load	0x2,-0x2
02f5 e00a       |    |		Load	0x0,0xa
02f6 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02f7 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
02f8 01cc       |    |		Execute	Vector,Catenate
02f9 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
02fb 01cc       |    |		Execute	Vector,Catenate
02fc e404       |    |		Load	0x2,0x4
02fd e00a       |    |		Load	0x0,0xa
02fe 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02ff 011c       |    |		Execute	Any,Convert_Unchecked
0300 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0301 01cc       |    |		Execute	Vector,Catenate
0302 e00b       |    |		Load	0x0,0xb
0303 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0304 e007       |    |		Load	0x0,0x7
0305 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0306 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0307 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0308 e402       |    |		Load	0x2,0x2
0309 e00a       |    |		Load	0x0,0xa
030a 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
030b 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
030c c403       |    |		Store	0x2,0x3
030d e403       |    |		Load	0x2,0x3
030e 8212       |    |		Call	0x1,0x12
030f 6802       |h   |		Jump_Zero	0x312
0310 e405       |    |		Load	0x2,0x5
0311 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0312 e404       |    |		Load	0x2,0x4
0313 00e1       |    |		Load_Encached	Boolean_Cache
0314 e403       |    |		Load	0x2,0x3
0315 8213       |    |		Call	0x1,0x13
0316 c406       |    |		Store	0x2,0x6
0317 c404       |    |		Store	0x2,0x4
0318 e404       |    |		Load	0x2,0x4
0319 6817       |h   |		Jump_Zero	0x331
031a e008       |    |		Load	0x0,0x8
031b 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
031c 4807       |H   |		Short_Literal	0x7
031d 0092 0859  |   Y|		Action	Push_String_Extended,0x859					; "Error while obtaining enclosing world for unit "
031f e403       |    |		Load	0x2,0x3
0320 e00a       |    |		Load	0x0,0xa
0321 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0322 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0323 01cc       |    |		Execute	Vector,Catenate
0324 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0326 01cc       |    |		Execute	Vector,Catenate
0327 e404       |    |		Load	0x2,0x4
0328 e00a       |    |		Load	0x0,0xa
0329 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
032a 011c       |    |		Execute	Any,Convert_Unchecked
032b 1c01       |    |		Execute_Immediate	Run_Utility,0x1
032c 01cc       |    |		Execute	Vector,Catenate
032d e00b       |    |		Load	0x0,0xb
032e 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
032f e405       |    |		Load	0x2,0x5
0330 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0331 e406       |    |		Load	0x2,0x6
0332 6806       |h   |		Jump_Zero	0x339
0333 e405       |    |		Load	0x2,0x5
0334 e5fe       |    |		Load	0x2,-0x2
0335 8215       |    |		Call	0x1,0x15
0336 c405       |    |		Store	0x2,0x5
0337 e405       |    |		Load	0x2,0x5
0338 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0339 e008       |    |		Load	0x0,0x8
033a 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
033b 4801       |H   |		Short_Literal	0x1
033c 0092 085e  |   ^|		Action	Push_String_Extended,0x85e					; "Acquiring Prerequisites for:  "
033e e403       |    |		Load	0x2,0x3
033f e00a       |    |		Load	0x0,0xa
0340 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0341 1841       | A  |		Execute	Package,Field_Execute,Field_Number 0x41
0342 01cc       |    |		Execute	Vector,Catenate
0343 e00b       |    |		Load	0x0,0xb
0344 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0345 e00a       |    |		Load	0x0,0xa
0346 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0347 00db       |    |		Load_Top	At_Offset_3
0348 674f       |gO  |		Indirect_Literal	Discrete,0x298,{0x00000000, 0x00004000}
0349 e00c       |    |		Load	0x0,0xc
034a 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
034b e403       |    |		Load	0x2,0x3
034c e00a       |    |		Load	0x0,0xa
034d 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
034e 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
034f 00d1       |    |		Pop_Control	Pop_Count_1
0350 c404       |    |		Store	0x2,0x4
0351 e404       |    |		Load	0x2,0x4
0352 6819       |h   |		Jump_Zero	0x36c
0353 e008       |    |		Load	0x0,0x8
0354 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0355 4807       |H   |		Short_Literal	0x7
0356 0092 085f  |   _|		Action	Push_String_Extended,0x85f					; "Error while obtaining target key for unit "
0358 e403       |    |		Load	0x2,0x3
0359 e00a       |    |		Load	0x0,0xa
035a 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
035b 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
035c 01cc       |    |		Execute	Vector,Catenate
035d 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
035f 01cc       |    |		Execute	Vector,Catenate
0360 e404       |    |		Load	0x2,0x4
0361 e00a       |    |		Load	0x0,0xa
0362 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0363 011c       |    |		Execute	Any,Convert_Unchecked
0364 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0365 01cc       |    |		Execute	Vector,Catenate
0366 e00b       |    |		Load	0x0,0xb
0367 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0368 e007       |    |		Load	0x0,0x7
0369 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
036a 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
036b 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
036c 840e       |    |		Call	0x2,0xe
036d e405       |    |		Load	0x2,0x5
036e 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
036f 0000       |    |		.XXX[0x1]
0370 ; --------------------------------------------------------------------------------------
0370 ; SUBPROGRAM
0370 ; --------------------------------------------------------------------------------------
0370 039c       |    |		.CONST	0x039c								; Address of begin
0371 0438       | 8  |		.CONST	0x0438								; Address of exception handler
0372 0011       |    |		.CONST	0x0011								; Number of locals
0373			INIT_0370:
0373 e00a       |    |		Load	0x0,0xa
0374 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0375 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0376 02c7       |    |		Declare_Variable	Any
0377 00d8       |    |		Load_Top	At_Offset_0
0378 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0379 e00a       |    |		Load	0x0,0xa
037a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
037b 02c7       |    |		Declare_Variable	Any
037c 00d8       |    |		Load_Top	At_Offset_0
037d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
037e e00a       |    |		Load	0x0,0xa
037f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0380 e009       |    |		Load	0x0,0x9
0381 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0382 e00a       |    |		Load	0x0,0xa
0383 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
0384 0322       | "  |		Declare_Variable	Record
0385 00d8       |    |		Load_Top	At_Offset_0
0386 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0387 00e1       |    |		Load_Encached	Boolean_Cache
0388 00e1       |    |		Load_Encached	Boolean_Cache
0389 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
038a 029f 0743  |   C|		Declare_Subprogram	INIT_0740,For_Call
038c e00f       |    |		Load	0x0,0xf
038d 190d       |    |		Execute	Package,Field_Reference,Field_Number 0xd
038e 00c6       |    |		Action	Check_Subprogram_Elaborated
038f 00e1       |    |		Load_Encached	Boolean_Cache
0390 4809       |H   |		Short_Literal	0x9
0391 4802       |H   |		Short_Literal	0x2
0392 0099       |    |		Action	Reference_Dynamic
0393 e010       |    |		Load	0x0,0x10
0394 e011       |    |		Load	0x0,0x11
0395 480e       |H   |		Short_Literal	0xe
0396 029f 0753  |   S|		Declare_Subprogram	INIT_0750,For_Call
0398 029f 077b  |   {|		Declare_Subprogram	INIT_0778,For_Call
039a 029f 079b  |    |		Declare_Subprogram	INIT_0798,For_Call
039c			BODY_0370:
039c e00a       |    |		Load	0x0,0xa
039d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
039e e402       |    |		Load	0x2,0x2
039f 0120       |    |		Execute	Any,Is_Value
03a0 6804       |h   |		Jump_Zero	0x3a5
03a1 e00a       |    |		Load	0x0,0xa
03a2 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
03a3 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
03a4 7801       |x   |		Jump	0x3a6
03a5 e402       |    |		Load	0x2,0x2
03a6 e5fe       |    |		Load	0x2,-0x2
03a7 e00a       |    |		Load	0x0,0xa
03a8 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
03a9 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
03aa c402       |    |		Store	0x2,0x2
03ab c404       |    |		Store	0x2,0x4
03ac e404       |    |		Load	0x2,0x4
03ad 6802       |h   |		Jump_Zero	0x3b0
03ae 840f       |    |		Call	0x2,0xf
03af 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
03b0 e5fe       |    |		Load	0x2,-0x2
03b1 e00a       |    |		Load	0x0,0xa
03b2 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
03b3 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
03b4 7002       |p   |		Jump_Nonzero	0x3b7
03b5 8410       |    |		Call	0x2,0x10
03b6 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
03b7 e402       |    |		Load	0x2,0x2
03b8 e00a       |    |		Load	0x0,0xa
03b9 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
03ba 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
03bb c403       |    |		Store	0x2,0x3
03bc e403       |    |		Load	0x2,0x3
03bd 8212       |    |		Call	0x1,0x12
03be 6801       |h   |		Jump_Zero	0x3c0
03bf 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
03c0 e404       |    |		Load	0x2,0x4
03c1 00e1       |    |		Load_Encached	Boolean_Cache
03c2 e403       |    |		Load	0x2,0x3
03c3 8213       |    |		Call	0x1,0x13
03c4 c407       |    |		Store	0x2,0x7
03c5 c404       |    |		Store	0x2,0x4
03c6 e404       |    |		Load	0x2,0x4
03c7 681e       |h   |		Jump_Zero	0x3e6
03c8 00ec       |    |		Load_Encached	Diana_Tree_Cache
03c9 00ec       |    |		Load_Encached	Diana_Tree_Cache
03ca e002       |    |		Load	0x0,0x2
03cb 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03cc e003       |    |		Load	0x0,0x3
03cd 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03ce 00ec       |    |		Load_Encached	Diana_Tree_Cache
03cf 0092 0859  |   Y|		Action	Push_String_Extended,0x859					; "Error while obtaining enclosing world for unit "
03d1 e403       |    |		Load	0x2,0x3
03d2 e00a       |    |		Load	0x0,0xa
03d3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
03d4 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
03d5 01cc       |    |		Execute	Vector,Catenate
03d6 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
03d8 01cc       |    |		Execute	Vector,Catenate
03d9 e404       |    |		Load	0x2,0x4
03da e00a       |    |		Load	0x0,0xa
03db 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
03dc 011c       |    |		Execute	Any,Convert_Unchecked
03dd 1c01       |    |		Execute_Immediate	Run_Utility,0x1
03de 01cc       |    |		Execute	Vector,Catenate
03df 00ec       |    |		Load_Encached	Diana_Tree_Cache
03e0 4802       |H   |		Short_Literal	0x2
03e1 e001       |    |		Load	0x0,0x1
03e2 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03e3 e001       |    |		Load	0x0,0x1
03e4 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
03e5 c5f9       |    |		Store	0x2,-0x7
03e6 e407       |    |		Load	0x2,0x7
03e7 6801       |h   |		Jump_Zero	0x3e9
03e8 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
03e9 e408       |    |		Load	0x2,0x8
03ea e5fe       |    |		Load	0x2,-0x2
03eb e40a       |    |		Load	0x2,0xa
03ec 480b       |H   |		Short_Literal	0xb
03ed 4802       |H   |		Short_Literal	0x2
03ee 0099       |    |		Action	Reference_Dynamic
03ef 480c       |H   |		Short_Literal	0xc
03f0 4802       |H   |		Short_Literal	0x2
03f1 0099       |    |		Action	Reference_Dynamic
03f2 e00f       |    |		Load	0x0,0xf
03f3 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
03f4 c408       |    |		Store	0x2,0x8
03f5 e008       |    |		Load	0x0,0x8
03f6 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
03f7 4801       |H   |		Short_Literal	0x1
03f8 0092 0860  |   `|		Action	Push_String_Extended,0x860					; "Promoting:  "
03fa e403       |    |		Load	0x2,0x3
03fb e00a       |    |		Load	0x0,0xa
03fc 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
03fd 1841       | A  |		Execute	Package,Field_Execute,Field_Number 0x41
03fe 01cc       |    |		Execute	Vector,Catenate
03ff e00b       |    |		Load	0x0,0xb
0400 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0401 e00a       |    |		Load	0x0,0xa
0402 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0403 e406       |    |		Load	0x2,0x6
0404 6053       |`S  |		Indirect_Literal	Discrete,0x458,{0x00000000, 0x00004000}
0405 e00c       |    |		Load	0x0,0xc
0406 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0407 e403       |    |		Load	0x2,0x3
0408 e00a       |    |		Load	0x0,0xa
0409 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
040a 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
040b 00d1       |    |		Pop_Control	Pop_Count_1
040c c404       |    |		Store	0x2,0x4
040d e404       |    |		Load	0x2,0x4
040e 681f       |h   |		Jump_Zero	0x42e
040f 00ec       |    |		Load_Encached	Diana_Tree_Cache
0410 00ec       |    |		Load_Encached	Diana_Tree_Cache
0411 e002       |    |		Load	0x0,0x2
0412 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0413 e003       |    |		Load	0x0,0x3
0414 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0415 00ec       |    |		Load_Encached	Diana_Tree_Cache
0416 0092 085f  |   _|		Action	Push_String_Extended,0x85f					; "Error while obtaining target key for unit "
0418 e403       |    |		Load	0x2,0x3
0419 e00a       |    |		Load	0x0,0xa
041a 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
041b 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
041c 01cc       |    |		Execute	Vector,Catenate
041d 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
041f 01cc       |    |		Execute	Vector,Catenate
0420 e404       |    |		Load	0x2,0x4
0421 e00a       |    |		Load	0x0,0xa
0422 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0423 011c       |    |		Execute	Any,Convert_Unchecked
0424 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0425 01cc       |    |		Execute	Vector,Catenate
0426 00ec       |    |		Load_Encached	Diana_Tree_Cache
0427 4802       |H   |		Short_Literal	0x2
0428 e001       |    |		Load	0x0,0x1
0429 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
042a e001       |    |		Load	0x0,0x1
042b 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
042c c5f9       |    |		Store	0x2,-0x7
042d 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
042e 8411       |    |		Call	0x2,0x11
042f e405       |    |		Load	0x2,0x5
0430 6806       |h   |		Jump_Zero	0x437
0431 e001       |    |		Load	0x0,0x1
0432 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0433 e405       |    |		Load	0x2,0x5
0434 e012       |    |		Load	0x0,0x12
0435 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0436 c5f9       |    |		Store	0x2,-0x7
0437 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0438			TRAP_0370:
0438 e013       |    |		Load	0x0,0x13
0439 010f       |    |		Execute	Exception,Equal
043a 6819       |h   |		Jump_Zero	0x454
043b 00ec       |    |		Load_Encached	Diana_Tree_Cache
043c 00ec       |    |		Load_Encached	Diana_Tree_Cache
043d e002       |    |		Load	0x0,0x2
043e 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
043f e003       |    |		Load	0x0,0x3
0440 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0441 00ec       |    |		Load_Encached	Diana_Tree_Cache
0442 0092 0861  |   a|		Action	Push_String_Extended,0x861					; "Ada unit "
0444 e403       |    |		Load	0x2,0x3
0445 e00a       |    |		Load	0x0,0xa
0446 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0447 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0448 01cc       |    |		Execute	Vector,Catenate
0449 0092 0862  |   b|		Action	Push_String_Extended,0x862					; " has nonterminals"
044b 01cc       |    |		Execute	Vector,Catenate
044c 00ec       |    |		Load_Encached	Diana_Tree_Cache
044d 4802       |H   |		Short_Literal	0x2
044e e001       |    |		Load	0x0,0x1
044f 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0450 e001       |    |		Load	0x0,0x1
0451 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0452 c5f9       |    |		Store	0x2,-0x7
0453 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0454 0100       |    |		Execute	Exception,Raise
0455 0000 0000  |    |		.XXX[0x3]
0457 0000       |    |
0458 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
045c 0000 0000  |    |		.BLANK	0000[0x4]
0460 ; --------------------------------------------------------------------------------------
0460 ; SUBPROGRAM
0460 ; --------------------------------------------------------------------------------------
0460 0497       |    |		.CONST	0x0497								; Address of begin
0461 0004       |    |		.CONST	0x0004								; Address of exception handler
0462 000d       |    |		.CONST	0x000d								; Number of locals
0463			INIT_0460:
0463 e00a       |    |		Load	0x0,0xa
0464 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0465 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0466 02c7       |    |		Declare_Variable	Any
0467 00d8       |    |		Load_Top	At_Offset_0
0468 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0469 e00a       |    |		Load	0x0,0xa
046a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
046b 02c7       |    |		Declare_Variable	Any
046c 00d8       |    |		Load_Top	At_Offset_0
046d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
046e e00a       |    |		Load	0x0,0xa
046f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0470 00ec       |    |		Load_Encached	Diana_Tree_Cache
0471 02c7       |    |		Declare_Variable	Any
0472 00d8       |    |		Load_Top	At_Offset_0
0473 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0474 e00a       |    |		Load	0x0,0xa
0475 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0476 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0477 02c7       |    |		Declare_Variable	Any
0478 00d8       |    |		Load_Top	At_Offset_0
0479 1c00       |    |		Execute_Immediate	Run_Utility,0x0
047a e00a       |    |		Load	0x0,0xa
047b 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
047c 02c7       |    |		Declare_Variable	Any
047d 00d8       |    |		Load_Top	At_Offset_0
047e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
047f e00a       |    |		Load	0x0,0xa
0480 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0481 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0482 02c7       |    |		Declare_Variable	Any
0483 00d8       |    |		Load_Top	At_Offset_0
0484 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0485 e00a       |    |		Load	0x0,0xa
0486 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
0487 0322       | "  |		Declare_Variable	Record
0488 00d8       |    |		Load_Top	At_Offset_0
0489 1c00       |    |		Execute_Immediate	Run_Utility,0x0
048a e007       |    |		Load	0x0,0x7
048b 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
048c 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
048d 02c7       |    |		Declare_Variable	Any
048e e007       |    |		Load	0x0,0x7
048f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0490 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0491 a40a       |    |		Store_Unchecked	0x2,0xa
0492 00e1       |    |		Load_Encached	Boolean_Cache
0493 e009       |    |		Load	0x0,0x9
0494 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0495 029f 07c3  |    |		Declare_Subprogram	INIT_07c0,For_Call
0497			BODY_0460:
0497 e00a       |    |		Load	0x0,0xa
0498 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0499 e402       |    |		Load	0x2,0x2
049a 0120       |    |		Execute	Any,Is_Value
049b 6804       |h   |		Jump_Zero	0x4a0
049c e00a       |    |		Load	0x0,0xa
049d 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
049e 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
049f 7801       |x   |		Jump	0x4a1
04a0 e402       |    |		Load	0x2,0x2
04a1 e5fe       |    |		Load	0x2,-0x2
04a2 e00a       |    |		Load	0x0,0xa
04a3 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
04a4 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
04a5 c402       |    |		Store	0x2,0x2
04a6 c404       |    |		Store	0x2,0x4
04a7 e404       |    |		Load	0x2,0x4
04a8 6819       |h   |		Jump_Zero	0x4c2
04a9 e008       |    |		Load	0x0,0x8
04aa 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
04ab 4807       |H   |		Short_Literal	0x7
04ac 0092 085d  |   ]|		Action	Push_String_Extended,0x85d					; "Error while obtaining object for unit "
04ae e5fe       |    |		Load	0x2,-0x2
04af e00a       |    |		Load	0x0,0xa
04b0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
04b1 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
04b2 01cc       |    |		Execute	Vector,Catenate
04b3 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
04b5 01cc       |    |		Execute	Vector,Catenate
04b6 e404       |    |		Load	0x2,0x4
04b7 e00a       |    |		Load	0x0,0xa
04b8 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
04b9 011c       |    |		Execute	Any,Convert_Unchecked
04ba 1c01       |    |		Execute_Immediate	Run_Utility,0x1
04bb 01cc       |    |		Execute	Vector,Catenate
04bc e00b       |    |		Load	0x0,0xb
04bd 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
04be e007       |    |		Load	0x0,0x7
04bf 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
04c0 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
04c1 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
04c2 e402       |    |		Load	0x2,0x2
04c3 e00a       |    |		Load	0x0,0xa
04c4 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
04c5 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
04c6 c403       |    |		Store	0x2,0x3
04c7 e403       |    |		Load	0x2,0x3
04c8 8212       |    |		Call	0x1,0x12
04c9 6802       |h   |		Jump_Zero	0x4cc
04ca 00db       |    |		Load_Top	At_Offset_3
04cb 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
04cc e404       |    |		Load	0x2,0x4
04cd 00e1       |    |		Load_Encached	Boolean_Cache
04ce e403       |    |		Load	0x2,0x3
04cf 8213       |    |		Call	0x1,0x13
04d0 c40b       |    |		Store	0x2,0xb
04d1 c404       |    |		Store	0x2,0x4
04d2 e404       |    |		Load	0x2,0x4
04d3 6815       |h   |		Jump_Zero	0x4e9
04d4 e008       |    |		Load	0x0,0x8
04d5 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
04d6 4807       |H   |		Short_Literal	0x7
04d7 0092 0859  |   Y|		Action	Push_String_Extended,0x859					; "Error while obtaining enclosing world for unit "
04d9 e403       |    |		Load	0x2,0x3
04da e00a       |    |		Load	0x0,0xa
04db 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
04dc 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
04dd 01cc       |    |		Execute	Vector,Catenate
04de 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
04e0 01cc       |    |		Execute	Vector,Catenate
04e1 e404       |    |		Load	0x2,0x4
04e2 e00a       |    |		Load	0x0,0xa
04e3 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
04e4 011c       |    |		Execute	Any,Convert_Unchecked
04e5 1c01       |    |		Execute_Immediate	Run_Utility,0x1
04e6 01cc       |    |		Execute	Vector,Catenate
04e7 e00b       |    |		Load	0x0,0xb
04e8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
04e9 00da       |    |		Load_Top	At_Offset_2
04ea 6802       |h   |		Jump_Zero	0x4ed
04eb 00db       |    |		Load_Top	At_Offset_3
04ec 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
04ed e008       |    |		Load	0x0,0x8
04ee 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
04ef 4801       |H   |		Short_Literal	0x1
04f0 0092 0863  |   c|		Action	Push_String_Extended,0x863					; "Acquiring Demotion_Effects for:  "
04f2 e403       |    |		Load	0x2,0x3
04f3 e00a       |    |		Load	0x0,0xa
04f4 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
04f5 1841       | A  |		Execute	Package,Field_Execute,Field_Number 0x41
04f6 01cc       |    |		Execute	Vector,Catenate
04f7 e00b       |    |		Load	0x0,0xb
04f8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
04f9 e00a       |    |		Load	0x0,0xa
04fa 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
04fb e409       |    |		Load	0x2,0x9
04fc 675b       |g[  |		Indirect_Literal	Discrete,0x458,{0x00000000, 0x00004000}
04fd e00c       |    |		Load	0x0,0xc
04fe 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
04ff e403       |    |		Load	0x2,0x3
0500 e00a       |    |		Load	0x0,0xa
0501 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
0502 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
0503 00d1       |    |		Pop_Control	Pop_Count_1
0504 c404       |    |		Store	0x2,0x4
0505 e404       |    |		Load	0x2,0x4
0506 6819       |h   |		Jump_Zero	0x520
0507 e008       |    |		Load	0x0,0x8
0508 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0509 4807       |H   |		Short_Literal	0x7
050a 0092 085f  |   _|		Action	Push_String_Extended,0x85f					; "Error while obtaining target key for unit "
050c e403       |    |		Load	0x2,0x3
050d e00a       |    |		Load	0x0,0xa
050e 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
050f 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0510 01cc       |    |		Execute	Vector,Catenate
0511 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0513 01cc       |    |		Execute	Vector,Catenate
0514 e404       |    |		Load	0x2,0x4
0515 e00a       |    |		Load	0x0,0xa
0516 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0517 011c       |    |		Execute	Any,Convert_Unchecked
0518 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0519 01cc       |    |		Execute	Vector,Catenate
051a e00b       |    |		Load	0x0,0xb
051b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
051c e007       |    |		Load	0x0,0x7
051d 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
051e 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
051f 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0520 840d       |    |		Call	0x2,0xd
0521 00db       |    |		Load_Top	At_Offset_3
0522 4406       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x6
0523 0000 0000  |    |		.BLANK	0000[0x5]
0528 ; --------------------------------------------------------------------------------------
0528 ; SUBPROGRAM
0528 ; --------------------------------------------------------------------------------------
0528 0542       | B  |		.CONST	0x0542								; Address of begin
0529 0004       |    |		.CONST	0x0004								; Address of exception handler
052a 0008       |    |		.CONST	0x0008								; Number of locals
052b			INIT_0528:
052b e00a       |    |		Load	0x0,0xa
052c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
052d 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
052e 02c7       |    |		Declare_Variable	Any
052f 00d8       |    |		Load_Top	At_Offset_0
0530 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0531 e00a       |    |		Load	0x0,0xa
0532 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0533 02c7       |    |		Declare_Variable	Any
0534 00d8       |    |		Load_Top	At_Offset_0
0535 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0536 e00a       |    |		Load	0x0,0xa
0537 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0538 e009       |    |		Load	0x0,0x9
0539 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
053a 00e1       |    |		Load_Encached	Boolean_Cache
053b e00a       |    |		Load	0x0,0xa
053c 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
053d 0322       | "  |		Declare_Variable	Record
053e 00d8       |    |		Load_Top	At_Offset_0
053f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0540 029f 0833  |   3|		Declare_Subprogram	INIT_0830,For_Call
0542			BODY_0528:
0542 e00a       |    |		Load	0x0,0xa
0543 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0544 e402       |    |		Load	0x2,0x2
0545 0120       |    |		Execute	Any,Is_Value
0546 6804       |h   |		Jump_Zero	0x54b
0547 e00a       |    |		Load	0x0,0xa
0548 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0549 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
054a 7801       |x   |		Jump	0x54c
054b e402       |    |		Load	0x2,0x2
054c e5fe       |    |		Load	0x2,-0x2
054d e00a       |    |		Load	0x0,0xa
054e 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
054f 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0550 c402       |    |		Store	0x2,0x2
0551 c404       |    |		Store	0x2,0x4
0552 e404       |    |		Load	0x2,0x4
0553 6802       |h   |		Jump_Zero	0x556
0554 8408       |    |		Call	0x2,0x8
0555 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0556 e402       |    |		Load	0x2,0x2
0557 e00a       |    |		Load	0x0,0xa
0558 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0559 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
055a c403       |    |		Store	0x2,0x3
055b e403       |    |		Load	0x2,0x3
055c 8212       |    |		Call	0x1,0x12
055d 6801       |h   |		Jump_Zero	0x55f
055e 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
055f e404       |    |		Load	0x2,0x4
0560 00e1       |    |		Load_Encached	Boolean_Cache
0561 e403       |    |		Load	0x2,0x3
0562 8213       |    |		Call	0x1,0x13
0563 c406       |    |		Store	0x2,0x6
0564 c404       |    |		Store	0x2,0x4
0565 e404       |    |		Load	0x2,0x4
0566 681e       |h   |		Jump_Zero	0x585
0567 00ec       |    |		Load_Encached	Diana_Tree_Cache
0568 00ec       |    |		Load_Encached	Diana_Tree_Cache
0569 e002       |    |		Load	0x0,0x2
056a 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
056b e003       |    |		Load	0x0,0x3
056c 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
056d 00ec       |    |		Load_Encached	Diana_Tree_Cache
056e 0092 0859  |   Y|		Action	Push_String_Extended,0x859					; "Error while obtaining enclosing world for unit "
0570 e403       |    |		Load	0x2,0x3
0571 e00a       |    |		Load	0x0,0xa
0572 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0573 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0574 01cc       |    |		Execute	Vector,Catenate
0575 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0577 01cc       |    |		Execute	Vector,Catenate
0578 e404       |    |		Load	0x2,0x4
0579 e00a       |    |		Load	0x0,0xa
057a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
057b 011c       |    |		Execute	Any,Convert_Unchecked
057c 1c01       |    |		Execute_Immediate	Run_Utility,0x1
057d 01cc       |    |		Execute	Vector,Catenate
057e 00ec       |    |		Load_Encached	Diana_Tree_Cache
057f 4802       |H   |		Short_Literal	0x2
0580 e001       |    |		Load	0x0,0x1
0581 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0582 e001       |    |		Load	0x0,0x1
0583 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0584 c5f9       |    |		Store	0x2,-0x7
0585 00da       |    |		Load_Top	At_Offset_2
0586 6801       |h   |		Jump_Zero	0x588
0587 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0588 e008       |    |		Load	0x0,0x8
0589 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
058a 4801       |H   |		Short_Literal	0x1
058b 0092 0864  |   d|		Action	Push_String_Extended,0x864					; "Demoting:  "
058d e403       |    |		Load	0x2,0x3
058e e00a       |    |		Load	0x0,0xa
058f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0590 1841       | A  |		Execute	Package,Field_Execute,Field_Number 0x41
0591 01cc       |    |		Execute	Vector,Catenate
0592 e00b       |    |		Load	0x0,0xb
0593 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0594 e00a       |    |		Load	0x0,0xa
0595 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0596 00da       |    |		Load_Top	At_Offset_2
0597 603c       |`<  |		Indirect_Literal	Discrete,0x5d4,{0x00000000, 0x00004000}
0598 e00c       |    |		Load	0x0,0xc
0599 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
059a e403       |    |		Load	0x2,0x3
059b e00a       |    |		Load	0x0,0xa
059c 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
059d 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
059e 00d1       |    |		Pop_Control	Pop_Count_1
059f c404       |    |		Store	0x2,0x4
05a0 e404       |    |		Load	0x2,0x4
05a1 681f       |h   |		Jump_Zero	0x5c1
05a2 00ec       |    |		Load_Encached	Diana_Tree_Cache
05a3 00ec       |    |		Load_Encached	Diana_Tree_Cache
05a4 e002       |    |		Load	0x0,0x2
05a5 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
05a6 e003       |    |		Load	0x0,0x3
05a7 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
05a8 00ec       |    |		Load_Encached	Diana_Tree_Cache
05a9 0092 085f  |   _|		Action	Push_String_Extended,0x85f					; "Error while obtaining target key for unit "
05ab e403       |    |		Load	0x2,0x3
05ac e00a       |    |		Load	0x0,0xa
05ad 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
05ae 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
05af 01cc       |    |		Execute	Vector,Catenate
05b0 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
05b2 01cc       |    |		Execute	Vector,Catenate
05b3 e404       |    |		Load	0x2,0x4
05b4 e00a       |    |		Load	0x0,0xa
05b5 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
05b6 011c       |    |		Execute	Any,Convert_Unchecked
05b7 1c01       |    |		Execute_Immediate	Run_Utility,0x1
05b8 01cc       |    |		Execute	Vector,Catenate
05b9 00ec       |    |		Load_Encached	Diana_Tree_Cache
05ba 4802       |H   |		Short_Literal	0x2
05bb e001       |    |		Load	0x0,0x1
05bc 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
05bd e001       |    |		Load	0x0,0x1
05be 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
05bf c5f9       |    |		Store	0x2,-0x7
05c0 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
05c1 e009       |    |		Load	0x0,0x9
05c2 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
05c3 e008       |    |		Load	0x0,0x8
05c4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
05c5 00db       |    |		Load_Top	At_Offset_3
05c6 e403       |    |		Load	0x2,0x3
05c7 e014       |    |		Load	0x0,0x14
05c8 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
05c9 c405       |    |		Store	0x2,0x5
05ca 00db       |    |		Load_Top	At_Offset_3
05cb 6806       |h   |		Jump_Zero	0x5d2
05cc e001       |    |		Load	0x0,0x1
05cd 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
05ce e405       |    |		Load	0x2,0x5
05cf e012       |    |		Load	0x0,0x12
05d0 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
05d1 c5f9       |    |		Store	0x2,-0x7
05d2 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
05d3 0000       |    |		.XXX[0x1]
05d4 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
05d8 ; --------------------------------------------------------------------------------------
05d8 ; SUBPROGRAM
05d8 ; --------------------------------------------------------------------------------------
05d8 05db       |    |		.CONST	0x05db								; Address of begin
05d9 0004       |    |		.CONST	0x0004								; Address of exception handler
05da 0001       |    |		.CONST	0x0001								; Number of locals
05db			BODY_05d8:
05db			INIT_05d8:
05db e20e       |    |		Load	0x1,0xe
05dc c5f8       |    |		Store	0x2,-0x8
05dd 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
05de 0000 0000  |    |		.XXX[0x2]
05e0 ; --------------------------------------------------------------------------------------
05e0 ; SUBPROGRAM
05e0 ; --------------------------------------------------------------------------------------
05e0 05e3       |    |		.CONST	0x05e3								; Address of begin
05e1 0004       |    |		.CONST	0x0004								; Address of exception handler
05e2 0001       |    |		.CONST	0x0001								; Number of locals
05e3			BODY_05e0:
05e3			INIT_05e0:
05e3 e20e       |    |		Load	0x1,0xe
05e4 c5f8       |    |		Store	0x2,-0x8
05e5 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
05e6 0000 0000  |    |		.XXX[0x2]
05e8 ; --------------------------------------------------------------------------------------
05e8 ; SUBPROGRAM
05e8 ; --------------------------------------------------------------------------------------
05e8 05eb       |    |		.CONST	0x05eb								; Address of begin
05e9 0004       |    |		.CONST	0x0004								; Address of exception handler
05ea 0001       |    |		.CONST	0x0001								; Number of locals
05eb			BODY_05e8:
05eb			INIT_05e8:
05eb e007       |    |		Load	0x0,0x7
05ec 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
05ed 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
05ee 4407       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x7
05ef 0000       |    |		.XXX[0x1]
05f0 ; --------------------------------------------------------------------------------------
05f0 ; SUBPROGRAM
05f0 ; --------------------------------------------------------------------------------------
05f0 05f3       |    |		.CONST	0x05f3								; Address of begin
05f1 0004       |    |		.CONST	0x0004								; Address of exception handler
05f2 0001       |    |		.CONST	0x0001								; Number of locals
05f3			BODY_05f0:
05f3			INIT_05f0:
05f3 e007       |    |		Load	0x0,0x7
05f4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
05f5 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
05f6 4407       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x7
05f7 0000       |    |		.XXX[0x1]
05f8 ; --------------------------------------------------------------------------------------
05f8 ; SUBPROGRAM
05f8 ; --------------------------------------------------------------------------------------
05f8 05fb       |    |		.CONST	0x05fb								; Address of begin
05f9 0004       |    |		.CONST	0x0004								; Address of exception handler
05fa 0001       |    |		.CONST	0x0001								; Number of locals
05fb			BODY_05f8:
05fb			INIT_05f8:
05fb e20e       |    |		Load	0x1,0xe
05fc c5f8       |    |		Store	0x2,-0x8
05fd 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
05fe 0000 0000  |    |		.XXX[0x2]
0600 ; --------------------------------------------------------------------------------------
0600 ; SUBPROGRAM
0600 ; --------------------------------------------------------------------------------------
0600 0603       |    |		.CONST	0x0603								; Address of begin
0601 0004       |    |		.CONST	0x0004								; Address of exception handler
0602 0001       |    |		.CONST	0x0001								; Number of locals
0603			BODY_0600:
0603			INIT_0600:
0603 e007       |    |		Load	0x0,0x7
0604 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0605 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0606 4407       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x7
0607 0000       |    |		.XXX[0x1]
0608 ; --------------------------------------------------------------------------------------
0608 ; SUBPROGRAM
0608 ; --------------------------------------------------------------------------------------
0608 060b       |    |		.CONST	0x060b								; Address of begin
0609 0004       |    |		.CONST	0x0004								; Address of exception handler
060a 0001       |    |		.CONST	0x0001								; Number of locals
060b			BODY_0608:
060b			INIT_0608:
060b e20e       |    |		Load	0x1,0xe
060c c5f8       |    |		Store	0x2,-0x8
060d 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
060e 0000 0000  |    |		.XXX[0x2]
0610 ; --------------------------------------------------------------------------------------
0610 ; SUBPROGRAM
0610 ; --------------------------------------------------------------------------------------
0610 0613       |    |		.CONST	0x0613								; Address of begin
0611 0004       |    |		.CONST	0x0004								; Address of exception handler
0612 0001       |    |		.CONST	0x0001								; Number of locals
0613			BODY_0610:
0613			INIT_0610:
0613 e20e       |    |		Load	0x1,0xe
0614 c5f8       |    |		Store	0x2,-0x8
0615 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
0616 0000 0000  |    |		.XXX[0x2]
0618 ; --------------------------------------------------------------------------------------
0618 ; SUBPROGRAM
0618 ; --------------------------------------------------------------------------------------
0618 061b       |    |		.CONST	0x061b								; Address of begin
0619 0004       |    |		.CONST	0x0004								; Address of exception handler
061a 0001       |    |		.CONST	0x0001								; Number of locals
061b			BODY_0618:
061b			INIT_0618:
061b 4801       |H   |		Short_Literal	0x1
061c 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
061d 0000 0000  |    |		.XXX[0x3]
061f 0000       |    |
0620 ; --------------------------------------------------------------------------------------
0620 ; SUBPROGRAM
0620 ; --------------------------------------------------------------------------------------
0620 0623       | #  |		.CONST	0x0623								; Address of begin
0621 0004       |    |		.CONST	0x0004								; Address of exception handler
0622 0001       |    |		.CONST	0x0001								; Number of locals
0623			BODY_0620:
0623			INIT_0620:
0623 e20d       |    |		Load	0x1,0xd
0624 c5f8       |    |		Store	0x2,-0x8
0625 4508       |E   |		Exit_Suprogram	New_Top_Offset 0x8
0626 0000 0000  |    |		.XXX[0x2]
0628 ; --------------------------------------------------------------------------------------
0628 ; SUBPROGRAM
0628 ; --------------------------------------------------------------------------------------
0628 062b       | +  |		.CONST	0x062b								; Address of begin
0629 0004       |    |		.CONST	0x0004								; Address of exception handler
062a 0001       |    |		.CONST	0x0001								; Number of locals
062b			BODY_0628:
062b			INIT_0628:
062b 00ea       |    |		Load_Encached	Null_String_Cache
062c 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
062d 0000 0000  |    |		.XXX[0x3]
062f 0000       |    |
0630 ; --------------------------------------------------------------------------------------
0630 ; SUBPROGRAM
0630 ; --------------------------------------------------------------------------------------
0630 0633       | 3  |		.CONST	0x0633								; Address of begin
0631 0004       |    |		.CONST	0x0004								; Address of exception handler
0632 0001       |    |		.CONST	0x0001								; Number of locals
0633			BODY_0630:
0633			INIT_0630:
0633 00ea       |    |		Load_Encached	Null_String_Cache
0634 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0635 0000 0000  |    |		.XXX[0x3]
0637 0000       |    |
0638 ; --------------------------------------------------------------------------------------
0638 ; SUBPROGRAM
0638 ; --------------------------------------------------------------------------------------
0638 063b       | ;  |		.CONST	0x063b								; Address of begin
0639 0004       |    |		.CONST	0x0004								; Address of exception handler
063a 0001       |    |		.CONST	0x0001								; Number of locals
063b			BODY_0638:
063b			INIT_0638:
063b 4820       |H   |		Short_Literal	0x20
063c 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
063d 0000 0000  |    |		.XXX[0x3]
063f 0000       |    |
0640 ; --------------------------------------------------------------------------------------
0640 ; SUBPROGRAM
0640 ; --------------------------------------------------------------------------------------
0640 0643       | C  |		.CONST	0x0643								; Address of begin
0641 0004       |    |		.CONST	0x0004								; Address of exception handler
0642 0001       |    |		.CONST	0x0001								; Number of locals
0643			BODY_0640:
0643			INIT_0640:
0643 4801       |H   |		Short_Literal	0x1
0644 4405       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x5
0645 0000 0000  |    |		.XXX[0x3]
0647 0000       |    |
0648 ; --------------------------------------------------------------------------------------
0648 ; SUBPROGRAM
0648 ; --------------------------------------------------------------------------------------
0648 064b       | K  |		.CONST	0x064b								; Address of begin
0649 0004       |    |		.CONST	0x0004								; Address of exception handler
064a 0001       |    |		.CONST	0x0001								; Number of locals
064b			BODY_0648:
064b			INIT_0648:
064b e20d       |    |		Load	0x1,0xd
064c c5f4       |    |		Store	0x2,-0xc
064d 450c       |E   |		Exit_Suprogram	New_Top_Offset 0xc
064e 0000 0000  |    |		.XXX[0x2]
0650 ; --------------------------------------------------------------------------------------
0650 ; SUBPROGRAM
0650 ; --------------------------------------------------------------------------------------
0650 0653       | S  |		.CONST	0x0653								; Address of begin
0651 0004       |    |		.CONST	0x0004								; Address of exception handler
0652 0001       |    |		.CONST	0x0001								; Number of locals
0653			BODY_0650:
0653			INIT_0650:
0653 e20d       |    |		Load	0x1,0xd
0654 c5f4       |    |		Store	0x2,-0xc
0655 450c       |E   |		Exit_Suprogram	New_Top_Offset 0xc
0656 0000 0000  |    |		.XXX[0x2]
0658 ; --------------------------------------------------------------------------------------
0658 ; SUBPROGRAM
0658 ; --------------------------------------------------------------------------------------
0658 065b       | [  |		.CONST	0x065b								; Address of begin
0659 0004       |    |		.CONST	0x0004								; Address of exception handler
065a 0001       |    |		.CONST	0x0001								; Number of locals
065b			BODY_0658:
065b			INIT_0658:
065b e5fd       |    |		Load	0x2,-0x3
065c 6810       |h   |		Jump_Zero	0x66d
065d 00da       |    |		Load_Top	At_Offset_2
065e 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
065f e5fe       |    |		Load	0x2,-0x2
0660 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
0661 027f       |    |		Execute	Discrete,Equal
0662 6808       |h   |		Jump_Zero	0x66b
0663 00da       |    |		Load_Top	At_Offset_2
0664 3c06       |<   |		Execute	Record,Field_Read,Field_Number 0x6
0665 e5fe       |    |		Load	0x2,-0x2
0666 3c06       |<   |		Execute	Record,Field_Read,Field_Number 0x6
0667 027f       |    |		Execute	Discrete,Equal
0668 6802       |h   |		Jump_Zero	0x66b
0669 4803       |H   |		Short_Literal	0x3
066a 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
066b 4800       |H   |		Short_Literal	0x0
066c 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
066d 00da       |    |		Load_Top	At_Offset_2
066e 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
066f e5fe       |    |		Load	0x2,-0x2
0670 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
0671 027f       |    |		Execute	Discrete,Equal
0672 6808       |h   |		Jump_Zero	0x67b
0673 00da       |    |		Load_Top	At_Offset_2
0674 3c06       |<   |		Execute	Record,Field_Read,Field_Number 0x6
0675 e5fe       |    |		Load	0x2,-0x2
0676 3c06       |<   |		Execute	Record,Field_Read,Field_Number 0x6
0677 027f       |    |		Execute	Discrete,Equal
0678 6802       |h   |		Jump_Zero	0x67b
0679 4803       |H   |		Short_Literal	0x3
067a 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
067b 4801       |H   |		Short_Literal	0x1
067c 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
067d 0000 0000  |    |		.XXX[0x3]
067f 0000       |    |
0680 ; --------------------------------------------------------------------------------------
0680 ; SUBPROGRAM
0680 ; --------------------------------------------------------------------------------------
0680 0683       |    |		.CONST	0x0683								; Address of begin
0681 0689       |    |		.CONST	0x0689								; Address of exception handler
0682 0001       |    |		.CONST	0x0001								; Number of locals
0683			BODY_0680:
0683			INIT_0680:
0683 e404       |    |		Load	0x2,0x4
0684 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0685 00eb       |    |		Load_Encached	Diana_Cache
0686 18fa       |    |		Execute	Package,Field_Execute,Field_Number 0xfa
0687 c405       |    |		Store	0x2,0x5
0688 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0689			TRAP_0680:
0689 0007       |    |		Action	Break_Optional
068a e008       |    |		Load	0x0,0x8
068b 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
068c 4808       |H   |		Short_Literal	0x8
068d 0092 0865  |   e|		Action	Push_String_Extended,0x865					; "Bad 'with' encountered during closure computation for unit "
068f e5ff       |    |		Load	0x2,-0x1
0690 e00a       |    |		Load	0x0,0xa
0691 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0692 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
0693 01cc       |    |		Execute	Vector,Catenate
0694 0092 0866  |   f|		Action	Push_String_Extended,0x866					; ".  Raised exception "
0696 01cc       |    |		Execute	Vector,Catenate
0697 e015       |    |		Load	0x0,0x15
0698 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
0699 01cc       |    |		Execute	Vector,Catenate
069a e00b       |    |		Load	0x0,0xb
069b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
069c e007       |    |		Load	0x0,0x7
069d 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
069e 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
069f c5fe       |    |		Store	0x2,-0x2
06a0 00cc       |    |		Action	Pop_Block
06a1 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
06a2 0000 0000  |    |		.BLANK	0000[0x6]
06a8 ; --------------------------------------------------------------------------------------
06a8 ; SUBPROGRAM
06a8 ; --------------------------------------------------------------------------------------
06a8 06b3       |    |		.CONST	0x06b3								; Address of begin
06a9 0725       | %  |		.CONST	0x0725								; Address of exception handler
06aa 0003       |    |		.CONST	0x0003								; Number of locals
06ab			INIT_06a8:
06ab e008       |    |		Load	0x0,0x8
06ac 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
06ad e40c       |    |		Load	0x2,0xc
06ae e403       |    |		Load	0x2,0x3
06af e014       |    |		Load	0x0,0x14
06b0 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
06b1 00e1       |    |		Load_Encached	Boolean_Cache
06b2 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
06b3			BODY_06a8:
06b3 00cf       |    |		Action	Mark_Auxiliary
06b4 00da       |    |		Load_Top	At_Offset_2
06b5 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
06b6 4801       |H   |		Short_Literal	0x1
06b7 0263       | c  |		Execute	Discrete,Above_Bound
06b8 706b       |pk  |		Jump_Nonzero	0x724
06b9 e009       |    |		Load	0x0,0x9
06ba 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
06bb e40a       |    |		Load	0x2,0xa
06bc 0120       |    |		Execute	Any,Is_Value
06bd 6803       |h   |		Jump_Zero	0x6c1
06be e00a       |    |		Load	0x0,0xa
06bf 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
06c0 7801       |x   |		Jump	0x6c2
06c1 e40a       |    |		Load	0x2,0xa
06c2 00da       |    |		Load_Top	At_Offset_2
06c3 e602       |    |		Load	0x3,0x2
06c4 2503       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x3
06c5 01d7       |    |		Execute	Vector,Field_Read
06c6 e014       |    |		Load	0x0,0x14
06c7 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
06c8 c40a       |    |		Store	0x2,0xa
06c9 c40d       |    |		Store	0x2,0xd
06ca e40a       |    |		Load	0x2,0xa
06cb e403       |    |		Load	0x2,0x3
06cc 012e       | .  |		Execute	Any,Not_Equal
06cd 6854       |hT  |		Jump_Zero	0x722
06ce e40a       |    |		Load	0x2,0xa
06cf e00a       |    |		Load	0x0,0xa
06d0 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
06d1 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
06d2 c409       |    |		Store	0x2,0x9
06d3 e00a       |    |		Load	0x0,0xa
06d4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
06d5 e40b       |    |		Load	0x2,0xb
06d6 0120       |    |		Execute	Any,Is_Value
06d7 6804       |h   |		Jump_Zero	0x6dc
06d8 e00a       |    |		Load	0x0,0xa
06d9 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
06da 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
06db 7801       |x   |		Jump	0x6dd
06dc e40b       |    |		Load	0x2,0xb
06dd e407       |    |		Load	0x2,0x7
06de 0120       |    |		Execute	Any,Is_Value
06df 6804       |h   |		Jump_Zero	0x6e4
06e0 e00a       |    |		Load	0x0,0xa
06e1 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
06e2 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
06e3 7801       |x   |		Jump	0x6e5
06e4 e407       |    |		Load	0x2,0x7
06e5 6056       |`V  |		Indirect_Literal	Discrete,0x73c,{0x00000000, 0x00004000}
06e6 4801       |H   |		Short_Literal	0x1
06e7 4800       |H   |		Short_Literal	0x0
06e8 4800       |H   |		Short_Literal	0x0
06e9 e00c       |    |		Load	0x0,0xc
06ea 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
06eb 4800       |H   |		Short_Literal	0x0
06ec e409       |    |		Load	0x2,0x9
06ed e00a       |    |		Load	0x0,0xa
06ee 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
06ef 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
06f0 c407       |    |		Store	0x2,0x7
06f1 c40b       |    |		Store	0x2,0xb
06f2 c404       |    |		Store	0x2,0x4
06f3 e404       |    |		Load	0x2,0x4
06f4 6816       |h   |		Jump_Zero	0x70b
06f5 e008       |    |		Load	0x0,0x8
06f6 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
06f7 4806       |H   |		Short_Literal	0x6
06f8 0092 085c  |   \|		Action	Push_String_Extended,0x85c					; "Error while obtaining Diana tree for object "
06fa e40a       |    |		Load	0x2,0xa
06fb e00a       |    |		Load	0x0,0xa
06fc 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
06fd 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
06fe 01cc       |    |		Execute	Vector,Catenate
06ff 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0701 01cc       |    |		Execute	Vector,Catenate
0702 e404       |    |		Load	0x2,0x4
0703 e00a       |    |		Load	0x0,0xa
0704 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0705 011c       |    |		Execute	Any,Convert_Unchecked
0706 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0707 01cc       |    |		Execute	Vector,Catenate
0708 e00b       |    |		Load	0x0,0xb
0709 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
070a 7817       |x   |		Jump	0x722
070b e407       |    |		Load	0x2,0x7
070c e00a       |    |		Load	0x0,0xa
070d 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
070e 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
070f 7007       |p   |		Jump_Nonzero	0x717
0710 e407       |    |		Load	0x2,0x7
0711 e603       |    |		Load	0x3,0x3
0712 e40a       |    |		Load	0x2,0xa
0713 e409       |    |		Load	0x2,0x9
0714 8216       |    |		Call	0x1,0x16
0715 c603       |    |		Store	0x3,0x3
0716 c407       |    |		Store	0x2,0x7
0717 e405       |    |		Load	0x2,0x5
0718 e007       |    |		Load	0x0,0x7
0719 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
071a 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
071b e603       |    |		Load	0x3,0x3
071c e5fd       |    |		Load	0x2,-0x3
071d e407       |    |		Load	0x2,0x7
071e e007       |    |		Load	0x0,0x7
071f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0720 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0721 c405       |    |		Store	0x2,0x5
0722 00c8       |    |		Action	Pop_Auxiliary_Range
0723 3f95       |?   |		Loop_Increasing	0x6b9
0724 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0725			TRAP_06a8:
0725 0007       |    |		Action	Break_Optional
0726 e008       |    |		Load	0x0,0x8
0727 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0728 4801       |H   |		Short_Literal	0x1
0729 0092 0867  |   g|		Action	Push_String_Extended,0x867					; "Promotion_Prereqs: "
072b 4800       |H   |		Short_Literal	0x0
072c 4801       |H   |		Short_Literal	0x1
072d e016       |    |		Load	0x0,0x16
072e 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
072f 01cc       |    |		Execute	Vector,Catenate
0730 0092 0868  |   h|		Action	Push_String_Extended,0x868					; " raised.  At location "
0732 01cc       |    |		Execute	Vector,Catenate
0733 4800       |H   |		Short_Literal	0x0
0734 4801       |H   |		Short_Literal	0x1
0735 e016       |    |		Load	0x0,0x16
0736 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
0737 01cc       |    |		Execute	Vector,Catenate
0738 e00b       |    |		Load	0x0,0xb
0739 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
073a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
073b 0000       |    |		.XXX[0x1]
073c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0740 ; --------------------------------------------------------------------------------------
0740 ; SUBPROGRAM
0740 ; --------------------------------------------------------------------------------------
0740 0743       | C  |		.CONST	0x0743								; Address of begin
0741 0004       |    |		.CONST	0x0004								; Address of exception handler
0742 0001       |    |		.CONST	0x0001								; Number of locals
0743			BODY_0740:
0743			INIT_0740:
0743 00da       |    |		Load_Top	At_Offset_2
0744 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0745 0fab       |    |		Execute_Immediate	Equal,-0x55
0746 6802       |h   |		Jump_Zero	0x749
0747 e013       |    |		Load	0x0,0x13
0748 0257       | W  |		Execute	Discrete,Raise
0749 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
074a 0000 0000  |    |		.BLANK	0000[0x6]
0750 ; --------------------------------------------------------------------------------------
0750 ; SUBPROGRAM
0750 ; --------------------------------------------------------------------------------------
0750 0764       | d  |		.CONST	0x0764								; Address of begin
0751 0004       |    |		.CONST	0x0004								; Address of exception handler
0752 0002       |    |		.CONST	0x0002								; Number of locals
0753			INIT_0750:
0753 0092 085d  |   ]|		Action	Push_String_Extended,0x85d					; "Error while obtaining object for unit "
0755 e5fe       |    |		Load	0x2,-0x2
0756 e00a       |    |		Load	0x0,0xa
0757 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0758 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
0759 01cc       |    |		Execute	Vector,Catenate
075a 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
075c 01cc       |    |		Execute	Vector,Catenate
075d e404       |    |		Load	0x2,0x4
075e e00a       |    |		Load	0x0,0xa
075f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0760 011c       |    |		Execute	Any,Convert_Unchecked
0761 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0762 01cc       |    |		Execute	Vector,Catenate
0763 0007       |    |		Action	Break_Optional
0764			BODY_0750:
0764 00ec       |    |		Load_Encached	Diana_Tree_Cache
0765 00ec       |    |		Load_Encached	Diana_Tree_Cache
0766 e002       |    |		Load	0x0,0x2
0767 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0768 e003       |    |		Load	0x0,0x3
0769 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
076a 00ec       |    |		Load_Encached	Diana_Tree_Cache
076b e602       |    |		Load	0x3,0x2
076c 00ec       |    |		Load_Encached	Diana_Tree_Cache
076d 4802       |H   |		Short_Literal	0x2
076e e001       |    |		Load	0x0,0x1
076f 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0770 e001       |    |		Load	0x0,0x1
0771 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0772 c5f9       |    |		Store	0x2,-0x7
0773 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0774 0000 0000  |    |		.BLANK	0000[0x4]
0778 ; --------------------------------------------------------------------------------------
0778 ; SUBPROGRAM
0778 ; --------------------------------------------------------------------------------------
0778 0783       |    |		.CONST	0x0783								; Address of begin
0779 0004       |    |		.CONST	0x0004								; Address of exception handler
077a 0002       |    |		.CONST	0x0002								; Number of locals
077b			INIT_0778:
077b e5fe       |    |		Load	0x2,-0x2
077c e00a       |    |		Load	0x0,0xa
077d 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
077e 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
077f 0092 0869  |   i|		Action	Push_String_Extended,0x869					; " must be Installed before it can be Coded."
0781 01cc       |    |		Execute	Vector,Catenate
0782 0007       |    |		Action	Break_Optional
0783			BODY_0778:
0783 00ec       |    |		Load_Encached	Diana_Tree_Cache
0784 00ec       |    |		Load_Encached	Diana_Tree_Cache
0785 e002       |    |		Load	0x0,0x2
0786 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0787 e003       |    |		Load	0x0,0x3
0788 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0789 00ec       |    |		Load_Encached	Diana_Tree_Cache
078a e602       |    |		Load	0x3,0x2
078b 00ec       |    |		Load_Encached	Diana_Tree_Cache
078c 4802       |H   |		Short_Literal	0x2
078d e001       |    |		Load	0x0,0x1
078e 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
078f e001       |    |		Load	0x0,0x1
0790 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0791 c5f9       |    |		Store	0x2,-0x7
0792 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0793 0000 0000  |    |		.BLANK	0000[0x5]
0798 ; --------------------------------------------------------------------------------------
0798 ; SUBPROGRAM
0798 ; --------------------------------------------------------------------------------------
0798 079b       |    |		.CONST	0x079b								; Address of begin
0799 07a5       |    |		.CONST	0x07a5								; Address of exception handler
079a 0001       |    |		.CONST	0x0001								; Number of locals
079b			BODY_0798:
079b			INIT_0798:
079b e009       |    |		Load	0x0,0x9
079c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
079d e008       |    |		Load	0x0,0x8
079e 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
079f e406       |    |		Load	0x2,0x6
07a0 e403       |    |		Load	0x2,0x3
07a1 e014       |    |		Load	0x0,0x14
07a2 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
07a3 c405       |    |		Store	0x2,0x5
07a4 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07a5			TRAP_0798:
07a5 0007       |    |		Action	Break_Optional
07a6 e008       |    |		Load	0x0,0x8
07a7 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
07a8 4801       |H   |		Short_Literal	0x1
07a9 0092 086a  |   j|		Action	Push_String_Extended,0x86a					; "Promote: "
07ab 4800       |H   |		Short_Literal	0x0
07ac 4801       |H   |		Short_Literal	0x1
07ad e016       |    |		Load	0x0,0x16
07ae 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
07af 01cc       |    |		Execute	Vector,Catenate
07b0 0092 0868  |   h|		Action	Push_String_Extended,0x868					; " raised.  At location "
07b2 01cc       |    |		Execute	Vector,Catenate
07b3 4800       |H   |		Short_Literal	0x0
07b4 4801       |H   |		Short_Literal	0x1
07b5 e016       |    |		Load	0x0,0x16
07b6 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
07b7 01cc       |    |		Execute	Vector,Catenate
07b8 e00b       |    |		Load	0x0,0xb
07b9 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
07ba 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07bb 0000 0000  |    |		.BLANK	0000[0x5]
07c0 ; --------------------------------------------------------------------------------------
07c0 ; SUBPROGRAM
07c0 ; --------------------------------------------------------------------------------------
07c0 07c9       |    |		.CONST	0x07c9								; Address of begin
07c1 0004       |    |		.CONST	0x0004								; Address of exception handler
07c2 0002       |    |		.CONST	0x0002								; Number of locals
07c3			INIT_07c0:
07c3 e008       |    |		Load	0x0,0x8
07c4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
07c5 e409       |    |		Load	0x2,0x9
07c6 e403       |    |		Load	0x2,0x3
07c7 e014       |    |		Load	0x0,0x14
07c8 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
07c9			BODY_07c0:
07c9 00cf       |    |		Action	Mark_Auxiliary
07ca 00d9       |    |		Load_Top	At_Offset_1
07cb 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
07cc 4801       |H   |		Short_Literal	0x1
07cd 0263       | c  |		Execute	Discrete,Above_Bound
07ce 705b       |p[  |		Jump_Nonzero	0x82a
07cf e009       |    |		Load	0x0,0x9
07d0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
07d1 e407       |    |		Load	0x2,0x7
07d2 0120       |    |		Execute	Any,Is_Value
07d3 6803       |h   |		Jump_Zero	0x7d7
07d4 e00a       |    |		Load	0x0,0xa
07d5 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
07d6 7801       |x   |		Jump	0x7d8
07d7 e407       |    |		Load	0x2,0x7
07d8 00da       |    |		Load_Top	At_Offset_2
07d9 e602       |    |		Load	0x3,0x2
07da 2503       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x3
07db 01d7       |    |		Execute	Vector,Field_Read
07dc e014       |    |		Load	0x0,0x14
07dd 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
07de c407       |    |		Store	0x2,0x7
07df c40c       |    |		Store	0x2,0xc
07e0 e407       |    |		Load	0x2,0x7
07e1 e00a       |    |		Load	0x0,0xa
07e2 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
07e3 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
07e4 c406       |    |		Store	0x2,0x6
07e5 e00a       |    |		Load	0x0,0xa
07e6 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
07e7 e408       |    |		Load	0x2,0x8
07e8 0120       |    |		Execute	Any,Is_Value
07e9 6804       |h   |		Jump_Zero	0x7ee
07ea e00a       |    |		Load	0x0,0xa
07eb 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
07ec 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
07ed 7801       |x   |		Jump	0x7ef
07ee e408       |    |		Load	0x2,0x8
07ef e405       |    |		Load	0x2,0x5
07f0 0120       |    |		Execute	Any,Is_Value
07f1 6804       |h   |		Jump_Zero	0x7f6
07f2 e00a       |    |		Load	0x0,0xa
07f3 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
07f4 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
07f5 7801       |x   |		Jump	0x7f7
07f6 e405       |    |		Load	0x2,0x5
07f7 6034       |`4  |		Indirect_Literal	Discrete,0x82c,{0x00000000, 0x00004000}
07f8 4801       |H   |		Short_Literal	0x1
07f9 4800       |H   |		Short_Literal	0x0
07fa 4800       |H   |		Short_Literal	0x0
07fb e00c       |    |		Load	0x0,0xc
07fc 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
07fd 4800       |H   |		Short_Literal	0x0
07fe e406       |    |		Load	0x2,0x6
07ff e00a       |    |		Load	0x0,0xa
0800 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0801 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
0802 c405       |    |		Store	0x2,0x5
0803 c408       |    |		Store	0x2,0x8
0804 c404       |    |		Store	0x2,0x4
0805 e404       |    |		Load	0x2,0x4
0806 6816       |h   |		Jump_Zero	0x81d
0807 e008       |    |		Load	0x0,0x8
0808 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0809 4806       |H   |		Short_Literal	0x6
080a 0092 085c  |   \|		Action	Push_String_Extended,0x85c					; "Error while obtaining Diana tree for object "
080c e407       |    |		Load	0x2,0x7
080d e00a       |    |		Load	0x0,0xa
080e 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
080f 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0810 01cc       |    |		Execute	Vector,Catenate
0811 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
0813 01cc       |    |		Execute	Vector,Catenate
0814 e404       |    |		Load	0x2,0x4
0815 e00a       |    |		Load	0x0,0xa
0816 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0817 011c       |    |		Execute	Any,Convert_Unchecked
0818 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0819 01cc       |    |		Execute	Vector,Catenate
081a e00b       |    |		Load	0x0,0xb
081b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
081c 780b       |x   |		Jump	0x828
081d e40a       |    |		Load	0x2,0xa
081e e007       |    |		Load	0x0,0x7
081f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0820 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0821 4800       |H   |		Short_Literal	0x0
0822 e5fd       |    |		Load	0x2,-0x3
0823 e405       |    |		Load	0x2,0x5
0824 e007       |    |		Load	0x0,0x7
0825 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0826 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0827 c40a       |    |		Store	0x2,0xa
0828 00c8       |    |		Action	Pop_Auxiliary_Range
0829 3fa5       |?   |		Loop_Increasing	0x7cf
082a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
082b 0000       |    |		.XXX[0x1]
082c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0830 ; --------------------------------------------------------------------------------------
0830 ; SUBPROGRAM
0830 ; --------------------------------------------------------------------------------------
0830 0844       | D  |		.CONST	0x0844								; Address of begin
0831 0004       |    |		.CONST	0x0004								; Address of exception handler
0832 0002       |    |		.CONST	0x0002								; Number of locals
0833			INIT_0830:
0833 0092 085d  |   ]|		Action	Push_String_Extended,0x85d					; "Error while obtaining object for unit "
0835 e5fe       |    |		Load	0x2,-0x2
0836 e00a       |    |		Load	0x0,0xa
0837 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0838 183d       | =  |		Execute	Package,Field_Execute,Field_Number 0x3d
0839 01cc       |    |		Execute	Vector,Catenate
083a 0092 085a  |   Z|		Action	Push_String_Extended,0x85a					; " - "
083c 01cc       |    |		Execute	Vector,Catenate
083d e404       |    |		Load	0x2,0x4
083e e00a       |    |		Load	0x0,0xa
083f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0840 011c       |    |		Execute	Any,Convert_Unchecked
0841 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0842 01cc       |    |		Execute	Vector,Catenate
0843 0007       |    |		Action	Break_Optional
0844			BODY_0830:
0844 00ec       |    |		Load_Encached	Diana_Tree_Cache
0845 00ec       |    |		Load_Encached	Diana_Tree_Cache
0846 e002       |    |		Load	0x0,0x2
0847 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0848 e003       |    |		Load	0x0,0x3
0849 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
084a 00ec       |    |		Load_Encached	Diana_Tree_Cache
084b e602       |    |		Load	0x3,0x2
084c 00ec       |    |		Load_Encached	Diana_Tree_Cache
084d 4802       |H   |		Short_Literal	0x2
084e e001       |    |		Load	0x0,0x1
084f 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0850 e001       |    |		Load	0x0,0x1
0851 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0852 c5f9       |    |		Store	0x2,-0x7
0853 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0854 ; --------------------------------------------------------------------------------------
0854 ; STRING TABLE
0854 ; --------------------------------------------------------------------------------------
0854 0030       | 0  |		.STRTAB	0x0030->0x086c							; "Incremental operations are not allowed in coded units"
0855 0063       | c  |		.STRTAB	0x0063->0x0886							; "Entering Current_Phase"
0856 0077       | w  |		.STRTAB	0x0077->0x0891							; "Unable to get coding phase"
0857 008f       |    |		.STRTAB	0x008f->0x089e							; "Unable to retrieve unit state for "
0858 00af       |    |		.STRTAB	0x00af->0x08af							; "!Targets"
0859 00b5       |    |		.STRTAB	0x00b5->0x08b3							; "Error while obtaining enclosing world for unit "
085a 00e2       |    |		.STRTAB	0x00e2->0x08cb							; " - "
085b 00e3       |    |		.STRTAB	0x00e3->0x08cc							; "Error getting spec for unit "
085c 00fd       |    |		.STRTAB	0x00fd->0x08da							; "Error while obtaining Diana tree for object "
085d 0127       | '  |		.STRTAB	0x0127->0x08f0							; "Error while obtaining object for unit "
085e 014b       | K  |		.STRTAB	0x014b->0x0903							; "Acquiring Prerequisites for:  "
085f 0167       | g  |		.STRTAB	0x0167->0x0912							; "Error while obtaining target key for unit "
0860 018f       |    |		.STRTAB	0x018f->0x0927							; "Promoting:  "
0861 0199       |    |		.STRTAB	0x0199->0x092d							; "Ada unit "
0862 01a0       |    |		.STRTAB	0x01a0->0x0932							; " has nonterminals"
0863 01af       |    |		.STRTAB	0x01af->0x093a							; "Acquiring Demotion_Effects for:  "
0864 01ce       |    |		.STRTAB	0x01ce->0x094b							; "Demoting:  "
0865 01d7       |    |		.STRTAB	0x01d7->0x0950							; "Bad 'with' encountered during closure computation for unit "
0866 0210       |    |		.STRTAB	0x0210->0x096e							; ".  Raised exception "
0867 0222       | "  |		.STRTAB	0x0222->0x0978							; "Promotion_Prereqs: "
0868 0233       | 3  |		.STRTAB	0x0233->0x0981							; " raised.  At location "
0869 0247       | G  |		.STRTAB	0x0247->0x098c							; " must be Installed before it can be Coded."
086a 026f       | o  |		.STRTAB	0x026f->0x09a1							; "Promote: "
086b 0276       | v  |		.STREND 0x0276->0x09a6
086c 496e 6372  |Incr|		.STRTAB_STRINGS
09a6 0000 0000  |    |		.XXX[0x2]
09a8 ; --------------------------------------------------------------------------------------
09a8 ; Debug Table
09a8 ; --------------------------------------------------------------------------------------
09a8 0004 000c  |    |		.DEBUG4	0x0004,0x000c,0x2f8b,0x0000,0x0001,0x0000
09ae 0000 0000  |    |		.BLANK	0000[0x52]