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

⟦762a42847⟧

    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 09f0       |    |		.CONST	0x09f0								; 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 00c7       |    |		.CONST	0x00c7								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 003a       | :  |		.CONST	0x003a								; Number of locals
000b			INIT_0008:
000b 029a 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call,Visible,Unelaborated
000d 029a 010b  |    |		Declare_Subprogram	INIT_0108,For_Outer_Call,Visible,Unelaborated
000f 029a 011b  |    |		Declare_Subprogram	INIT_0118,For_Outer_Call,Visible,Unelaborated
0011 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated
0013 029a 0183  |    |		Declare_Subprogram	INIT_0180,For_Outer_Call,Visible,Unelaborated
0015 4801       |H   |		Short_Literal	0x1
0016 480a       |H   |		Short_Literal	0xa
0017 00e5       |    |		Load_Encached	Long_Integer_Cache
0018 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
0019 4800       |H   |		Short_Literal	0x0
001a 4801       |H   |		Short_Literal	0x1
001b 029f 019b  |    |		Declare_Subprogram	INIT_0198,For_Call
001d 03fe       |    |		Declare_Type	Discrete,Defined,Visible
001e 00d8       |    |		Load_Top	At_Offset_0
001f 00ed       |    |		Load_Encached	Diana_Symbol_Rep_Cache
0020 029f 0823  |   #|		Declare_Subprogram	INIT_0820,For_Call
0022 4802       |H   |		Short_Literal	0x2
0023 032e       | .  |		Declare_Type	Record,Defined,Visible
0024 00da       |    |		Load_Top	At_Offset_2
0025 0266       | f  |		Execute	Discrete,Bounds
0026 00da       |    |		Load_Top	At_Offset_2
0027 029f 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Call
0029 4801       |H   |		Short_Literal	0x1
002a 0351       | Q  |		Declare_Type	Array,Defined,Visible,Bounds_With_Object
002b 00db       |    |		Load_Top	At_Offset_3
002c 0266       | f  |		Execute	Discrete,Bounds
002d 00ec       |    |		Load_Encached	Diana_Tree_Cache
002e 029f 01db  |    |		Declare_Subprogram	INIT_01d8,For_Call
0030 4801       |H   |		Short_Literal	0x1
0031 0351       | Q  |		Declare_Type	Array,Defined,Visible,Bounds_With_Object
0032 029a 01f3  |    |		Declare_Subprogram	INIT_01f0,For_Outer_Call,Visible,Unelaborated
0034 029a 0213  |    |		Declare_Subprogram	INIT_0210,For_Outer_Call,Visible,Unelaborated
0036 029a 0233  |   3|		Declare_Subprogram	INIT_0230,For_Outer_Call,Visible,Unelaborated
0038 029a 0253  |   S|		Declare_Subprogram	INIT_0250,For_Outer_Call,Visible,Unelaborated
003a 029a 0273  |   s|		Declare_Subprogram	INIT_0270,For_Outer_Call,Visible,Unelaborated
003c 029a 02b3  |    |		Declare_Subprogram	INIT_02b0,For_Outer_Call,Visible,Unelaborated
003e 029a 02d3  |    |		Declare_Subprogram	INIT_02d0,For_Outer_Call,Visible,Unelaborated
0040 029a 02e3  |    |		Declare_Subprogram	INIT_02e0,For_Outer_Call,Visible,Unelaborated
0042 029a 0323  |   #|		Declare_Subprogram	INIT_0320,For_Outer_Call,Visible,Unelaborated
0044 029a 033b  |   ;|		Declare_Subprogram	INIT_0338,For_Outer_Call,Visible,Unelaborated
0046 029a 0373  |   s|		Declare_Subprogram	INIT_0370,For_Outer_Call,Visible,Unelaborated
0048 029a 03a3  |    |		Declare_Subprogram	INIT_03a0,For_Outer_Call,Visible,Unelaborated
004a 029a 03b3  |    |		Declare_Subprogram	INIT_03b0,For_Outer_Call,Visible,Unelaborated
004c 029a 03d3  |    |		Declare_Subprogram	INIT_03d0,For_Outer_Call,Visible,Unelaborated
004e 029a 03fb  |    |		Declare_Subprogram	INIT_03f8,For_Outer_Call,Visible,Unelaborated
0050 029a 042b  |   +|		Declare_Subprogram	INIT_0428,For_Outer_Call,Visible,Unelaborated
0052 029a 045b  |   [|		Declare_Subprogram	INIT_0458,For_Outer_Call,Visible,Unelaborated
0054 029a 0473  |   s|		Declare_Subprogram	INIT_0470,For_Outer_Call,Visible,Unelaborated
0056 029a 0483  |    |		Declare_Subprogram	INIT_0480,For_Outer_Call,Visible,Unelaborated
0058 029a 04b3  |    |		Declare_Subprogram	INIT_04b0,For_Outer_Call,Visible,Unelaborated
005a 029a 04c3  |    |		Declare_Subprogram	INIT_04c0,For_Outer_Call,Visible,Unelaborated
005c 029a 04d3  |    |		Declare_Subprogram	INIT_04d0,For_Outer_Call,Visible,Unelaborated
005e 029a 04e3  |    |		Declare_Subprogram	INIT_04e0,For_Outer_Call,Visible,Unelaborated
0060 029a 04f3  |    |		Declare_Subprogram	INIT_04f0,For_Outer_Call,Visible,Unelaborated
0062 029a 0503  |    |		Declare_Subprogram	INIT_0500,For_Outer_Call,Visible,Unelaborated
0064 029a 0513  |    |		Declare_Subprogram	INIT_0510,For_Outer_Call,Visible,Unelaborated
0066 029a 0523  |   #|		Declare_Subprogram	INIT_0520,For_Outer_Call,Visible,Unelaborated
0068 029a 0563  |   c|		Declare_Subprogram	INIT_0560,For_Outer_Call,Visible,Unelaborated
006a 029a 0583  |    |		Declare_Subprogram	INIT_0580,For_Outer_Call,Visible,Unelaborated
006c 00bf       |    |		Action	Accept_Activation
006d 0092 0837  |   7|		Action	Push_String_Extended,0x837					; "Semantics.Reject_Bad_Lrm_Pragmas"
006f 0092 0838  |   8|		Action	Push_String_Extended,0x838					; "Semantics.Reject_Bad_Rational_Pragmas"
0071 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
0072 00c7       |    |		Action	Elaborate_Subprogram
0073 029b 059b  |    |		Declare_Subprogram	INIT_0598,For_Outer_Call,Unelaborated
0075 1d36       | 6  |		Execute_Immediate	Reference_Lex_1,0x36
0076 00c7       |    |		Action	Elaborate_Subprogram
0077 1d32       | 2  |		Execute_Immediate	Reference_Lex_1,0x32
0078 00c7       |    |		Action	Elaborate_Subprogram
0079 1d33       | 3  |		Execute_Immediate	Reference_Lex_1,0x33
007a 00c7       |    |		Action	Elaborate_Subprogram
007b 029d 05d3  |    |		Declare_Subprogram	INIT_05d0,For_Outer_Call
007d 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
007e 00c7       |    |		Action	Elaborate_Subprogram
007f 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe
0080 00c7       |    |		Action	Elaborate_Subprogram
0081 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
0082 00c7       |    |		Action	Elaborate_Subprogram
0083 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
0084 00c7       |    |		Action	Elaborate_Subprogram
0085 029b 05f3  |    |		Declare_Subprogram	INIT_05f0,For_Outer_Call,Unelaborated
0087 029b 06c3  |    |		Declare_Subprogram	INIT_06c0,For_Outer_Call,Unelaborated
0089 029b 06f3  |    |		Declare_Subprogram	INIT_06f0,For_Outer_Call,Unelaborated
008b 1d38       | 8  |		Execute_Immediate	Reference_Lex_1,0x38
008c 00c7       |    |		Action	Elaborate_Subprogram
008d 1d39       | 9  |		Execute_Immediate	Reference_Lex_1,0x39
008e 00c7       |    |		Action	Elaborate_Subprogram
008f 1d3a       | :  |		Execute_Immediate	Reference_Lex_1,0x3a
0090 00c7       |    |		Action	Elaborate_Subprogram
0091 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0092 00c7       |    |		Action	Elaborate_Subprogram
0093 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
0094 00c7       |    |		Action	Elaborate_Subprogram
0095 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
0096 00c7       |    |		Action	Elaborate_Subprogram
0097 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
0098 00c7       |    |		Action	Elaborate_Subprogram
0099 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
009a 00c7       |    |		Action	Elaborate_Subprogram
009b 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
009c 00c7       |    |		Action	Elaborate_Subprogram
009d 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
009e 00c7       |    |		Action	Elaborate_Subprogram
009f 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
00a0 00c7       |    |		Action	Elaborate_Subprogram
00a1 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
00a2 00c7       |    |		Action	Elaborate_Subprogram
00a3 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
00a4 00c7       |    |		Action	Elaborate_Subprogram
00a5 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
00a6 00c7       |    |		Action	Elaborate_Subprogram
00a7 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
00a8 00c7       |    |		Action	Elaborate_Subprogram
00a9 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00aa 00c7       |    |		Action	Elaborate_Subprogram
00ab 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
00ac 00c7       |    |		Action	Elaborate_Subprogram
00ad 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
00ae 00c7       |    |		Action	Elaborate_Subprogram
00af 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
00b0 00c7       |    |		Action	Elaborate_Subprogram
00b1 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
00b2 00c7       |    |		Action	Elaborate_Subprogram
00b3 1d28       | (  |		Execute_Immediate	Reference_Lex_1,0x28
00b4 00c7       |    |		Action	Elaborate_Subprogram
00b5 1d29       | )  |		Execute_Immediate	Reference_Lex_1,0x29
00b6 00c7       |    |		Action	Elaborate_Subprogram
00b7 1d2a       | *  |		Execute_Immediate	Reference_Lex_1,0x2a
00b8 00c7       |    |		Action	Elaborate_Subprogram
00b9 1d2b       | +  |		Execute_Immediate	Reference_Lex_1,0x2b
00ba 00c7       |    |		Action	Elaborate_Subprogram
00bb 1d2c       | ,  |		Execute_Immediate	Reference_Lex_1,0x2c
00bc 00c7       |    |		Action	Elaborate_Subprogram
00bd 1d2d       | -  |		Execute_Immediate	Reference_Lex_1,0x2d
00be 00c7       |    |		Action	Elaborate_Subprogram
00bf 1d2e       | .  |		Execute_Immediate	Reference_Lex_1,0x2e
00c0 00c7       |    |		Action	Elaborate_Subprogram
00c1 1d2f       | /  |		Execute_Immediate	Reference_Lex_1,0x2f
00c2 00c7       |    |		Action	Elaborate_Subprogram
00c3 1d30       | 0  |		Execute_Immediate	Reference_Lex_1,0x30
00c4 00c7       |    |		Action	Elaborate_Subprogram
00c5 1d31       | 1  |		Execute_Immediate	Reference_Lex_1,0x31
00c6 00c7       |    |		Action	Elaborate_Subprogram
00c7			BODY_0008:
00c7 00bc       |    |		Action	Signal_Activated
00c8 00bb       |    |		Action	Signal_Completion
00c9 0000 0000  |    |		.BLANK	0000[0x7]
00d0 ; --------------------------------------------------------------------------------------
00d0 ; SUBPROGRAM
00d0 ; --------------------------------------------------------------------------------------
00d0 00e3       |    |		.CONST	0x00e3								; Address of begin
00d1 0004       |    |		.CONST	0x0004								; Address of exception handler
00d2 0004       |    |		.CONST	0x0004								; Number of locals
00d3			INIT_00d0:
00d3 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
00d4 02c7       |    |		Declare_Variable	Any
00d5 00db       |    |		Load_Top	At_Offset_3
00d6 00eb       |    |		Load_Encached	Diana_Cache
00d7 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
00d8 00eb       |    |		Load_Encached	Diana_Cache
00d9 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
00da a402       |    |		Store_Unchecked	0x2,0x2
00db 00ec       |    |		Load_Encached	Diana_Tree_Cache
00dc 02c7       |    |		Declare_Variable	Any
00dd 00d8       |    |		Load_Top	At_Offset_0
00de 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00df 00ec       |    |		Load_Encached	Diana_Tree_Cache
00e0 02c7       |    |		Declare_Variable	Any
00e1 00ec       |    |		Load_Encached	Diana_Tree_Cache
00e2 a404       |    |		Store_Unchecked	0x2,0x4
00e3			BODY_00d0:
00e3 00cf       |    |		Action	Mark_Auxiliary
00e4 7819       |x   |		Jump	0xfe
00e5 00db       |    |		Load_Top	At_Offset_3
00e6 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
00e7 c403       |    |		Store	0x2,0x3
00e8 00da       |    |		Load_Top	At_Offset_2
00e9 e5ff       |    |		Load	0x2,-0x1
00ea 012f       | /  |		Execute	Any,Equal
00eb 7014       |p   |		Jump_Nonzero	0x100
00ec 00da       |    |		Load_Top	At_Offset_2
00ed 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
00ee 0f40       | @  |		Execute_Immediate	Equal,0x40
00ef 6807       |h   |		Jump_Zero	0xf7
00f0 e5fe       |    |		Load	0x2,-0x2
00f1 7005       |p   |		Jump_Nonzero	0xf7
00f2 00da       |    |		Load_Top	At_Offset_2
00f3 49a1       |I   |		Short_Literal	0x1a1
00f4 00eb       |    |		Load_Encached	Diana_Cache
00f5 0096       |    |		Execute	Package,Entry
00f6 6802       |h   |		Jump_Zero	0xf9
00f7 00da       |    |		Load_Top	At_Offset_2
00f8 c404       |    |		Store	0x2,0x4
00f9 00db       |    |		Load_Top	At_Offset_3
00fa 0217       |    |		Execute	Heap_Access,All_Reference
00fb 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00fc c402       |    |		Store	0x2,0x2
00fd 00c9       |    |		Action	Pop_Auxiliary_Loop
00fe 00db       |    |		Load_Top	At_Offset_3
00ff 77e5       |w   |		Jump_Nonzero	0xe5
0100 00ce       |    |		Action	Pop_Auxiliary
0101 00d8       |    |		Load_Top	At_Offset_0
0102 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0103 0000 0000  |    |		.BLANK	0000[0x5]
0108 ; --------------------------------------------------------------------------------------
0108 ; SUBPROGRAM
0108 ; --------------------------------------------------------------------------------------
0108 010b       |    |		.CONST	0x010b								; Address of begin
0109 0004       |    |		.CONST	0x0004								; Address of exception handler
010a 0001       |    |		.CONST	0x0001								; Number of locals
010b			BODY_0108:
010b			INIT_0108:
010b 00db       |    |		Load_Top	At_Offset_3
010c 00db       |    |		Load_Top	At_Offset_3
010d 820f       |    |		Call	0x1,0xf
010e 021d       |    |		Execute	Heap_Access,Is_Null
010f 0f00       |    |		Execute_Immediate	Equal,0x0
0110 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0111 0000 0000  |    |		.BLANK	0000[0x7]
0118 ; --------------------------------------------------------------------------------------
0118 ; SUBPROGRAM
0118 ; --------------------------------------------------------------------------------------
0118 012f       | /  |		.CONST	0x012f								; Address of begin
0119 0004       |    |		.CONST	0x0004								; Address of exception handler
011a 000d       |    |		.CONST	0x000d								; Number of locals
011b			INIT_0118:
011b 1d36       | 6  |		Execute_Immediate	Reference_Lex_1,0x36
011c 00c6       |    |		Action	Check_Subprogram_Elaborated
011d 00ef       |    |		Load_Encached	Diana_Sequence_Cache
011e 00ec       |    |		Load_Encached	Diana_Tree_Cache
011f 00e9       |    |		Load_Encached	String_Cache
0120 00ec       |    |		Load_Encached	Diana_Tree_Cache
0121 e5fe       |    |		Load	0x2,-0x2
0122 0335       | 5  |		Declare_Variable	Array,Duplicate
0123 00cd       |    |		Action	Spare6_Action
0124 00eb       |    |		Load_Encached	Diana_Cache
0125 1964       | d  |		Execute	Package,Field_Reference,Field_Number 0x64
0126 00eb       |    |		Load_Encached	Diana_Cache
0127 1965       | e  |		Execute	Package,Field_Reference,Field_Number 0x65
0128 00eb       |    |		Load_Encached	Diana_Cache
0129 1966       | f  |		Execute	Package,Field_Reference,Field_Number 0x66
012a 1d37       | 7  |		Execute_Immediate	Reference_Lex_1,0x37
012b e001       |    |		Load	0x0,0x1
012c e002       |    |		Load	0x0,0x2
012d 480d       |H   |		Short_Literal	0xd
012e 0007       |    |		Action	Break_Optional
012f			BODY_0118:
012f e5ff       |    |		Load	0x2,-0x1
0130 e003       |    |		Load	0x0,0x3
0131 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0132 e402       |    |		Load	0x2,0x2
0133 e403       |    |		Load	0x2,0x3
0134 e404       |    |		Load	0x2,0x4
0135 e405       |    |		Load	0x2,0x5
0136 e406       |    |		Load	0x2,0x6
0137 4807       |H   |		Short_Literal	0x7
0138 4802       |H   |		Short_Literal	0x2
0139 0099       |    |		Action	Reference_Dynamic
013a 4808       |H   |		Short_Literal	0x8
013b 4802       |H   |		Short_Literal	0x2
013c 0099       |    |		Action	Reference_Dynamic
013d 4809       |H   |		Short_Literal	0x9
013e 4802       |H   |		Short_Literal	0x2
013f 0099       |    |		Action	Reference_Dynamic
0140 480a       |H   |		Short_Literal	0xa
0141 4802       |H   |		Short_Literal	0x2
0142 0099       |    |		Action	Reference_Dynamic
0143 480b       |H   |		Short_Literal	0xb
0144 4802       |H   |		Short_Literal	0x2
0145 0099       |    |		Action	Reference_Dynamic
0146 8236       | 6  |		Call	0x1,0x36
0147 00ec       |    |		Load_Encached	Diana_Tree_Cache
0148 011d       |    |		Execute	Any,Convert_To_Formal
0149 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
014a 0000 0000  |    |		.BLANK	0000[0x6]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0167       | g  |		.CONST	0x0167								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 000d       |    |		.CONST	0x000d								; Number of locals
0153			INIT_0150:
0153 1d36       | 6  |		Execute_Immediate	Reference_Lex_1,0x36
0154 00c6       |    |		Action	Check_Subprogram_Elaborated
0155 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
0156 00ec       |    |		Load_Encached	Diana_Tree_Cache
0157 00e9       |    |		Load_Encached	String_Cache
0158 00ec       |    |		Load_Encached	Diana_Tree_Cache
0159 e5fe       |    |		Load	0x2,-0x2
015a 0335       | 5  |		Declare_Variable	Array,Duplicate
015b 00cd       |    |		Action	Spare6_Action
015c 00eb       |    |		Load_Encached	Diana_Cache
015d 1958       | X  |		Execute	Package,Field_Reference,Field_Number 0x58
015e 00eb       |    |		Load_Encached	Diana_Cache
015f 1959       | Y  |		Execute	Package,Field_Reference,Field_Number 0x59
0160 00eb       |    |		Load_Encached	Diana_Cache
0161 195a       | Z  |		Execute	Package,Field_Reference,Field_Number 0x5a
0162 1d37       | 7  |		Execute_Immediate	Reference_Lex_1,0x37
0163 e004       |    |		Load	0x0,0x4
0164 e005       |    |		Load	0x0,0x5
0165 480d       |H   |		Short_Literal	0xd
0166 0007       |    |		Action	Break_Optional
0167			BODY_0150:
0167 e5ff       |    |		Load	0x2,-0x1
0168 e402       |    |		Load	0x2,0x2
0169 e403       |    |		Load	0x2,0x3
016a e404       |    |		Load	0x2,0x4
016b e405       |    |		Load	0x2,0x5
016c e406       |    |		Load	0x2,0x6
016d 4807       |H   |		Short_Literal	0x7
016e 4802       |H   |		Short_Literal	0x2
016f 0099       |    |		Action	Reference_Dynamic
0170 4808       |H   |		Short_Literal	0x8
0171 4802       |H   |		Short_Literal	0x2
0172 0099       |    |		Action	Reference_Dynamic
0173 4809       |H   |		Short_Literal	0x9
0174 4802       |H   |		Short_Literal	0x2
0175 0099       |    |		Action	Reference_Dynamic
0176 480a       |H   |		Short_Literal	0xa
0177 4802       |H   |		Short_Literal	0x2
0178 0099       |    |		Action	Reference_Dynamic
0179 480b       |H   |		Short_Literal	0xb
017a 4802       |H   |		Short_Literal	0x2
017b 0099       |    |		Action	Reference_Dynamic
017c 8236       | 6  |		Call	0x1,0x36
017d 00ec       |    |		Load_Encached	Diana_Tree_Cache
017e 011d       |    |		Execute	Any,Convert_To_Formal
017f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 0183       |    |		.CONST	0x0183								; Address of begin
0181 0004       |    |		.CONST	0x0004								; Address of exception handler
0182 0001       |    |		.CONST	0x0001								; Number of locals
0183			BODY_0180:
0183			INIT_0180:
0183 00da       |    |		Load_Top	At_Offset_2
0184 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0185 0f17       |    |		Execute_Immediate	Equal,0x17
0186 6808       |h   |		Jump_Zero	0x18f
0187 00da       |    |		Load_Top	At_Offset_2
0188 00eb       |    |		Load_Encached	Diana_Cache
0189 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
018a 00eb       |    |		Load_Encached	Diana_Cache
018b 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
018c e5fe       |    |		Load	0x2,-0x2
018d 01df       |    |		Execute	Vector,Equal
018e 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
018f 4800       |H   |		Short_Literal	0x0
0190 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0191 0000 0000  |    |		.BLANK	0000[0x7]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 019b       |    |		.CONST	0x019b								; Address of begin
0199 0004       |    |		.CONST	0x0004								; Address of exception handler
019a 0001       |    |		.CONST	0x0001								; Number of locals
019b			BODY_0198:
019b			INIT_0198:
019b 4607       |F   |		Jump_Case	0x8
019c 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
019d 7806       |x   |		Jump	0x1a4								; case 0x1
019e 7809       |x   |		Jump	0x1a8								; case 0x2
019f 780d       |x   |		Jump	0x1ad								; case 0x3
01a0 7810       |x   |		Jump	0x1b1								; case 0x4
01a1 7811       |x   |		Jump	0x1b3								; case 0x5
01a2 7812       |x   |		Jump	0x1b5								; case 0x6
01a3 7815       |x   |		Jump	0x1b9								; case 0x7
01a4 00da       |    |		Load_Top	At_Offset_2
01a5 0091 0835  |   5|		Action	Push_String_Extended_Indexed,0x835				; "REQUIRED"
01a7 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
01a8 00db       |    |		Load_Top	At_Offset_3
01a9 00db       |    |		Load_Top	At_Offset_3
01aa 00e0       |    |		Load_Encached	Standard_Cache
01ab 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
01ac 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01ad 00da       |    |		Load_Top	At_Offset_2
01ae 00e0       |    |		Load_Encached	Standard_Cache
01af 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
01b0 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
01b1 00db       |    |		Load_Top	At_Offset_3
01b2 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01b3 00db       |    |		Load_Top	At_Offset_3
01b4 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01b5 e213       |    |		Load	0x1,0x13
01b6 00dc       |    |		Load_Top	At_Offset_4
01b7 0267       | g  |		Execute	Discrete,Predecessor
01b8 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01b9 e213       |    |		Load	0x1,0x13
01ba 00dc       |    |		Load_Top	At_Offset_4
01bb 0268       | h  |		Execute	Discrete,Successor
01bc 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01bd 0000 0000  |    |		.XXX[0x3]
01bf 0000       |    |
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 00d1       |    |		Pop_Control	Pop_Count_1
01c4 00da       |    |		Load_Top	At_Offset_2
01c5 01dc       |    |		Execute	Vector,Last
01c6 00db       |    |		Load_Top	At_Offset_3
01c7 01dd       |    |		Execute	Vector,First
01c8 0263       | c  |		Execute	Discrete,Above_Bound
01c9 7006       |p   |		Jump_Nonzero	0x1d0
01ca 00d8       |    |		Load_Top	At_Offset_0
01cb e5ff       |    |		Load	0x2,-0x1
01cc 01d5       |    |		Execute	Vector,Field_Reference
01cd 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01ce 0a01       |    |		Execute_Immediate	Plus,0x1
01cf 7ff8       |    |		Jump	0x1c8
01d0 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
01d1 0000 0000  |    |		.BLANK	0000[0x7]
01d8 ; --------------------------------------------------------------------------------------
01d8 ; SUBPROGRAM
01d8 ; --------------------------------------------------------------------------------------
01d8 01db       |    |		.CONST	0x01db								; Address of begin
01d9 0004       |    |		.CONST	0x0004								; Address of exception handler
01da 0001       |    |		.CONST	0x0001								; Number of locals
01db			BODY_01d8:
01db			INIT_01d8:
01db 00d1       |    |		Pop_Control	Pop_Count_1
01dc 00da       |    |		Load_Top	At_Offset_2
01dd 01dc       |    |		Execute	Vector,Last
01de 00db       |    |		Load_Top	At_Offset_3
01df 01dd       |    |		Execute	Vector,First
01e0 0263       | c  |		Execute	Discrete,Above_Bound
01e1 700a       |p   |		Jump_Nonzero	0x1ec
01e2 00d8       |    |		Load_Top	At_Offset_0
01e3 e5ff       |    |		Load	0x2,-0x1
01e4 01d5       |    |		Execute	Vector,Field_Reference
01e5 0125       | %  |		Execute	Any,Set_Constraint
01e6 00d8       |    |		Load_Top	At_Offset_0
01e7 e5ff       |    |		Load	0x2,-0x1
01e8 01d5       |    |		Execute	Vector,Field_Reference
01e9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01ea 0a01       |    |		Execute_Immediate	Plus,0x1
01eb 7ff4       |    |		Jump	0x1e0
01ec 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
01ed 0000 0000  |    |		.XXX[0x3]
01ef 0000       |    |
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 01fe       |    |		.CONST	0x01fe								; Address of begin
01f1 0004       |    |		.CONST	0x0004								; Address of exception handler
01f2 0006       |    |		.CONST	0x0006								; Number of locals
01f3			INIT_01f0:
01f3 029f 073b  |   ;|		Declare_Subprogram	INIT_0738,For_Call
01f5 1d38       | 8  |		Execute_Immediate	Reference_Lex_1,0x38
01f6 00c6       |    |		Action	Check_Subprogram_Elaborated
01f7 4802       |H   |		Short_Literal	0x2
01f8 4802       |H   |		Short_Literal	0x2
01f9 0099       |    |		Action	Reference_Dynamic
01fa e006       |    |		Load	0x0,0x6
01fb e007       |    |		Load	0x0,0x7
01fc 4806       |H   |		Short_Literal	0x6
01fd 0007       |    |		Action	Break_Optional
01fe			BODY_01f0:
01fe 00e1       |    |		Load_Encached	Boolean_Cache
01ff e5fa       |    |		Load	0x2,-0x6
0200 e5fb       |    |		Load	0x2,-0x5
0201 e5fc       |    |		Load	0x2,-0x4
0202 e5fd       |    |		Load	0x2,-0x3
0203 e5fe       |    |		Load	0x2,-0x2
0204 4803       |H   |		Short_Literal	0x3
0205 4802       |H   |		Short_Literal	0x2
0206 0099       |    |		Action	Reference_Dynamic
0207 4804       |H   |		Short_Literal	0x4
0208 4802       |H   |		Short_Literal	0x2
0209 0099       |    |		Action	Reference_Dynamic
020a 8238       | 8  |		Call	0x1,0x38
020b 00d1       |    |		Pop_Control	Pop_Count_1
020c c5f9       |    |		Store	0x2,-0x7
020d 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
020e 0000 0000  |    |		.XXX[0x2]
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 021e       |    |		.CONST	0x021e								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0006       |    |		.CONST	0x0006								; Number of locals
0213			INIT_0210:
0213 029f 074b  |   K|		Declare_Subprogram	INIT_0748,For_Call
0215 1d38       | 8  |		Execute_Immediate	Reference_Lex_1,0x38
0216 00c6       |    |		Action	Check_Subprogram_Elaborated
0217 4802       |H   |		Short_Literal	0x2
0218 4802       |H   |		Short_Literal	0x2
0219 0099       |    |		Action	Reference_Dynamic
021a e008       |    |		Load	0x0,0x8
021b e009       |    |		Load	0x0,0x9
021c 4806       |H   |		Short_Literal	0x6
021d 0007       |    |		Action	Break_Optional
021e			BODY_0210:
021e 00e1       |    |		Load_Encached	Boolean_Cache
021f e5fb       |    |		Load	0x2,-0x5
0220 e5fc       |    |		Load	0x2,-0x4
0221 e5fd       |    |		Load	0x2,-0x3
0222 e5fe       |    |		Load	0x2,-0x2
0223 e5ff       |    |		Load	0x2,-0x1
0224 4803       |H   |		Short_Literal	0x3
0225 4802       |H   |		Short_Literal	0x2
0226 0099       |    |		Action	Reference_Dynamic
0227 4804       |H   |		Short_Literal	0x4
0228 4802       |H   |		Short_Literal	0x2
0229 0099       |    |		Action	Reference_Dynamic
022a 8238       | 8  |		Call	0x1,0x38
022b 00d1       |    |		Pop_Control	Pop_Count_1
022c c5fa       |    |		Store	0x2,-0x6
022d 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
022e 0000 0000  |    |		.XXX[0x2]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 023e       | >  |		.CONST	0x023e								; Address of begin
0231 0004       |    |		.CONST	0x0004								; Address of exception handler
0232 0006       |    |		.CONST	0x0006								; Number of locals
0233			INIT_0230:
0233 029f 0753  |   S|		Declare_Subprogram	INIT_0750,For_Call
0235 1d39       | 9  |		Execute_Immediate	Reference_Lex_1,0x39
0236 00c6       |    |		Action	Check_Subprogram_Elaborated
0237 4802       |H   |		Short_Literal	0x2
0238 4802       |H   |		Short_Literal	0x2
0239 0099       |    |		Action	Reference_Dynamic
023a e00a       |    |		Load	0x0,0xa
023b e00b       |    |		Load	0x0,0xb
023c 4806       |H   |		Short_Literal	0x6
023d 0007       |    |		Action	Break_Optional
023e			BODY_0230:
023e e5fd       |    |		Load	0x2,-0x3
023f e5fe       |    |		Load	0x2,-0x2
0240 4803       |H   |		Short_Literal	0x3
0241 4802       |H   |		Short_Literal	0x2
0242 0099       |    |		Action	Reference_Dynamic
0243 4804       |H   |		Short_Literal	0x4
0244 4802       |H   |		Short_Literal	0x2
0245 0099       |    |		Action	Reference_Dynamic
0246 8239       | 9  |		Call	0x1,0x39
0247 00ec       |    |		Load_Encached	Diana_Tree_Cache
0248 011d       |    |		Execute	Any,Convert_To_Formal
0249 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
024a 0000 0000  |    |		.BLANK	0000[0x6]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 025e       | ^  |		.CONST	0x025e								; Address of begin
0251 0004       |    |		.CONST	0x0004								; Address of exception handler
0252 0006       |    |		.CONST	0x0006								; Number of locals
0253			INIT_0250:
0253 029f 0763  |   c|		Declare_Subprogram	INIT_0760,For_Call
0255 1d39       | 9  |		Execute_Immediate	Reference_Lex_1,0x39
0256 00c6       |    |		Action	Check_Subprogram_Elaborated
0257 4802       |H   |		Short_Literal	0x2
0258 4802       |H   |		Short_Literal	0x2
0259 0099       |    |		Action	Reference_Dynamic
025a e00c       |    |		Load	0x0,0xc
025b e00d       |    |		Load	0x0,0xd
025c 4806       |H   |		Short_Literal	0x6
025d 0007       |    |		Action	Break_Optional
025e			BODY_0250:
025e e5fe       |    |		Load	0x2,-0x2
025f e5ff       |    |		Load	0x2,-0x1
0260 4803       |H   |		Short_Literal	0x3
0261 4802       |H   |		Short_Literal	0x2
0262 0099       |    |		Action	Reference_Dynamic
0263 4804       |H   |		Short_Literal	0x4
0264 4802       |H   |		Short_Literal	0x2
0265 0099       |    |		Action	Reference_Dynamic
0266 8239       | 9  |		Call	0x1,0x39
0267 00ec       |    |		Load_Encached	Diana_Tree_Cache
0268 011d       |    |		Execute	Any,Convert_To_Formal
0269 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
026a 0000 0000  |    |		.BLANK	0000[0x6]
0270 ; --------------------------------------------------------------------------------------
0270 ; SUBPROGRAM
0270 ; --------------------------------------------------------------------------------------
0270 0288       |    |		.CONST	0x0288								; Address of begin
0271 0004       |    |		.CONST	0x0004								; Address of exception handler
0272 0009       |    |		.CONST	0x0009								; Number of locals
0273			INIT_0270:
0273 00ec       |    |		Load_Encached	Diana_Tree_Cache
0274 02c7       |    |		Declare_Variable	Any
0275 00d8       |    |		Load_Top	At_Offset_0
0276 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0277 00e1       |    |		Load_Encached	Boolean_Cache
0278 00eb       |    |		Load_Encached	Diana_Cache
0279 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
027a 02c7       |    |		Declare_Variable	Any
027b 00d8       |    |		Load_Top	At_Offset_0
027c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
027d 029f 076b  |   k|		Declare_Subprogram	INIT_0768,For_Call
027f 1d3a       | :  |		Execute_Immediate	Reference_Lex_1,0x3a
0280 00c6       |    |		Action	Check_Subprogram_Elaborated
0281 4805       |H   |		Short_Literal	0x5
0282 4802       |H   |		Short_Literal	0x2
0283 0099       |    |		Action	Reference_Dynamic
0284 e00e       |    |		Load	0x0,0xe
0285 e00f       |    |		Load	0x0,0xf
0286 4809       |H   |		Short_Literal	0x9
0287 0007       |    |		Action	Break_Optional
0288			BODY_0270:
0288 e5fd       |    |		Load	0x2,-0x3
0289 e5fe       |    |		Load	0x2,-0x2
028a 4806       |H   |		Short_Literal	0x6
028b 4802       |H   |		Short_Literal	0x2
028c 0099       |    |		Action	Reference_Dynamic
028d 4807       |H   |		Short_Literal	0x7
028e 4802       |H   |		Short_Literal	0x2
028f 0099       |    |		Action	Reference_Dynamic
0290 823a       | :  |		Call	0x1,0x3a
0291 c402       |    |		Store	0x2,0x2
0292 e010       |    |		Load	0x0,0x10
0293 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0294 e402       |    |		Load	0x2,0x2
0295 e5ff       |    |		Load	0x2,-0x1
0296 e011       |    |		Load	0x0,0x11
0297 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0298 1b17       |    |		Execute	Package,Field_Read,Field_Number 0x17
0299 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
029a e404       |    |		Load	0x2,0x4
029b 0120       |    |		Execute	Any,Is_Value
029c 6803       |h   |		Jump_Zero	0x2a0
029d 00eb       |    |		Load_Encached	Diana_Cache
029e 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
029f 7801       |x   |		Jump	0x2a1
02a0 e404       |    |		Load	0x2,0x4
02a1 00e1       |    |		Load_Encached	Boolean_Cache
02a2 e402       |    |		Load	0x2,0x2
02a3 e012       |    |		Load	0x0,0x12
02a4 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
02a5 c403       |    |		Store	0x2,0x3
02a6 c404       |    |		Store	0x2,0x4
02a7 e404       |    |		Load	0x2,0x4
02a8 e402       |    |		Load	0x2,0x2
02a9 4954       |IT  |		Short_Literal	0x154
02aa 00eb       |    |		Load_Encached	Diana_Cache
02ab 0096       |    |		Execute	Package,Entry
02ac e402       |    |		Load	0x2,0x2
02ad 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
02ae 0000 0000  |    |		.XXX[0x2]
02b0 ; --------------------------------------------------------------------------------------
02b0 ; SUBPROGRAM
02b0 ; --------------------------------------------------------------------------------------
02b0 02be       |    |		.CONST	0x02be								; Address of begin
02b1 0004       |    |		.CONST	0x0004								; Address of exception handler
02b2 0006       |    |		.CONST	0x0006								; Number of locals
02b3			INIT_02b0:
02b3 029f 077b  |   {|		Declare_Subprogram	INIT_0778,For_Call
02b5 1d3a       | :  |		Execute_Immediate	Reference_Lex_1,0x3a
02b6 00c6       |    |		Action	Check_Subprogram_Elaborated
02b7 4802       |H   |		Short_Literal	0x2
02b8 4802       |H   |		Short_Literal	0x2
02b9 0099       |    |		Action	Reference_Dynamic
02ba e013       |    |		Load	0x0,0x13
02bb e014       |    |		Load	0x0,0x14
02bc 4806       |H   |		Short_Literal	0x6
02bd 0007       |    |		Action	Break_Optional
02be			BODY_02b0:
02be e5fe       |    |		Load	0x2,-0x2
02bf e5ff       |    |		Load	0x2,-0x1
02c0 4803       |H   |		Short_Literal	0x3
02c1 4802       |H   |		Short_Literal	0x2
02c2 0099       |    |		Action	Reference_Dynamic
02c3 4804       |H   |		Short_Literal	0x4
02c4 4802       |H   |		Short_Literal	0x2
02c5 0099       |    |		Action	Reference_Dynamic
02c6 823a       | :  |		Call	0x1,0x3a
02c7 00ec       |    |		Load_Encached	Diana_Tree_Cache
02c8 011d       |    |		Execute	Any,Convert_To_Formal
02c9 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02ca 0000 0000  |    |		.BLANK	0000[0x6]
02d0 ; --------------------------------------------------------------------------------------
02d0 ; SUBPROGRAM
02d0 ; --------------------------------------------------------------------------------------
02d0 02da       |    |		.CONST	0x02da								; Address of begin
02d1 0004       |    |		.CONST	0x0004								; Address of exception handler
02d2 0002       |    |		.CONST	0x0002								; Number of locals
02d3			INIT_02d0:
02d3 00da       |    |		Load_Top	At_Offset_2
02d4 00eb       |    |		Load_Encached	Diana_Cache
02d5 18d9       |    |		Execute	Package,Field_Execute,Field_Number 0xd9
02d6 00eb       |    |		Load_Encached	Diana_Cache
02d7 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
02d8 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
02d9 011e       |    |		Execute	Any,Convert
02da			BODY_02d0:
02da 00d8       |    |		Load_Top	At_Offset_0
02db 4975       |Iu  |		Short_Literal	0x175
02dc 00eb       |    |		Load_Encached	Diana_Cache
02dd 0098       |    |		Execute	Package,Field_Read_Dynamic
02de 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02df 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02e0 ; --------------------------------------------------------------------------------------
02e0 ; SUBPROGRAM
02e0 ; --------------------------------------------------------------------------------------
02e0 02fb       |    |		.CONST	0x02fb								; Address of begin
02e1 031a       |    |		.CONST	0x031a								; Address of exception handler
02e2 000e       |    |		.CONST	0x000e								; Number of locals
02e3			INIT_02e0:
02e3 029f 0783  |    |		Declare_Subprogram	INIT_0780,For_Call
02e5 1d36       | 6  |		Execute_Immediate	Reference_Lex_1,0x36
02e6 00c6       |    |		Action	Check_Subprogram_Elaborated
02e7 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
02e8 00ec       |    |		Load_Encached	Diana_Tree_Cache
02e9 00e9       |    |		Load_Encached	String_Cache
02ea 00ec       |    |		Load_Encached	Diana_Tree_Cache
02eb e5ff       |    |		Load	0x2,-0x1
02ec 0335       | 5  |		Declare_Variable	Array,Duplicate
02ed 00cd       |    |		Action	Spare6_Action
02ee 00eb       |    |		Load_Encached	Diana_Cache
02ef 1958       | X  |		Execute	Package,Field_Reference,Field_Number 0x58
02f0 00eb       |    |		Load_Encached	Diana_Cache
02f1 1959       | Y  |		Execute	Package,Field_Reference,Field_Number 0x59
02f2 00eb       |    |		Load_Encached	Diana_Cache
02f3 195a       | Z  |		Execute	Package,Field_Reference,Field_Number 0x5a
02f4 4802       |H   |		Short_Literal	0x2
02f5 4802       |H   |		Short_Literal	0x2
02f6 0099       |    |		Action	Reference_Dynamic
02f7 e015       |    |		Load	0x0,0x15
02f8 e016       |    |		Load	0x0,0x16
02f9 480e       |H   |		Short_Literal	0xe
02fa 0007       |    |		Action	Break_Optional
02fb			BODY_02e0:
02fb e5fe       |    |		Load	0x2,-0x2
02fc 00eb       |    |		Load_Encached	Diana_Cache
02fd 18d9       |    |		Execute	Package,Field_Execute,Field_Number 0xd9
02fe 00eb       |    |		Load_Encached	Diana_Cache
02ff 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
0300 e403       |    |		Load	0x2,0x3
0301 e404       |    |		Load	0x2,0x4
0302 e405       |    |		Load	0x2,0x5
0303 e406       |    |		Load	0x2,0x6
0304 e407       |    |		Load	0x2,0x7
0305 4808       |H   |		Short_Literal	0x8
0306 4802       |H   |		Short_Literal	0x2
0307 0099       |    |		Action	Reference_Dynamic
0308 4809       |H   |		Short_Literal	0x9
0309 4802       |H   |		Short_Literal	0x2
030a 0099       |    |		Action	Reference_Dynamic
030b 480a       |H   |		Short_Literal	0xa
030c 4802       |H   |		Short_Literal	0x2
030d 0099       |    |		Action	Reference_Dynamic
030e 480b       |H   |		Short_Literal	0xb
030f 4802       |H   |		Short_Literal	0x2
0310 0099       |    |		Action	Reference_Dynamic
0311 480c       |H   |		Short_Literal	0xc
0312 4802       |H   |		Short_Literal	0x2
0313 0099       |    |		Action	Reference_Dynamic
0314 8236       | 6  |		Call	0x1,0x36
0315 00eb       |    |		Load_Encached	Diana_Cache
0316 18b2       |    |		Execute	Package,Field_Execute,Field_Number 0xb2
0317 00ec       |    |		Load_Encached	Diana_Tree_Cache
0318 011d       |    |		Execute	Any,Convert_To_Formal
0319 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
031a			TRAP_02e0:
031a 0007       |    |		Action	Break_Optional
031b 00ec       |    |		Load_Encached	Diana_Tree_Cache
031c 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
031d 0000 0000  |    |		.XXX[0x3]
031f 0000       |    |
0320 ; --------------------------------------------------------------------------------------
0320 ; SUBPROGRAM
0320 ; --------------------------------------------------------------------------------------
0320 0327       | '  |		.CONST	0x0327								; Address of begin
0321 0004       |    |		.CONST	0x0004								; Address of exception handler
0322 0002       |    |		.CONST	0x0002								; Number of locals
0323			INIT_0320:
0323 00db       |    |		Load_Top	At_Offset_3
0324 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0325 0f0b       |    |		Execute_Immediate	Equal,0xb
0326 0007       |    |		Action	Break_Optional
0327			BODY_0320:
0327 00d8       |    |		Load_Top	At_Offset_0
0328 7007       |p   |		Jump_Nonzero	0x330
0329 4801       |H   |		Short_Literal	0x1
032a 00ec       |    |		Load_Encached	Diana_Tree_Cache
032b 0092 0839  |   9|		Action	Push_String_Extended,0x839					; " is not a string literal"
032d e5fe       |    |		Load	0x2,-0x2
032e e5ff       |    |		Load	0x2,-0x1
032f 8231       | 1  |		Call	0x1,0x31
0330 00d8       |    |		Load_Top	At_Offset_0
0331 a5fd       |    |		Store_Unchecked	0x2,-0x3
0332 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0333 0000 0000  |    |		.BLANK	0000[0x5]
0338 ; --------------------------------------------------------------------------------------
0338 ; SUBPROGRAM
0338 ; --------------------------------------------------------------------------------------
0338 0343       | C  |		.CONST	0x0343								; Address of begin
0339 0004       |    |		.CONST	0x0004								; Address of exception handler
033a 0004       |    |		.CONST	0x0004								; Number of locals
033b			INIT_0338:
033b 00e1       |    |		Load_Encached	Boolean_Cache
033c 00eb       |    |		Load_Encached	Diana_Cache
033d 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
033e 02c7       |    |		Declare_Variable	Any
033f 00d8       |    |		Load_Top	At_Offset_0
0340 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0341 029f 079b  |    |		Declare_Subprogram	INIT_0798,For_Call
0343			BODY_0338:
0343 e5fc       |    |		Load	0x2,-0x4
0344 e5ff       |    |		Load	0x2,-0x1
0345 e011       |    |		Load	0x0,0x11
0346 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0347 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0348 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
0349 c5fc       |    |		Store	0x2,-0x4
034a 00d9       |    |		Load_Top	At_Offset_1
034b 0120       |    |		Execute	Any,Is_Value
034c 6803       |h   |		Jump_Zero	0x350
034d 00eb       |    |		Load_Encached	Diana_Cache
034e 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
034f 7801       |x   |		Jump	0x351
0350 00d9       |    |		Load_Top	At_Offset_1
0351 00e1       |    |		Load_Encached	Boolean_Cache
0352 e5fc       |    |		Load	0x2,-0x4
0353 e012       |    |		Load	0x0,0x12
0354 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
0355 c402       |    |		Store	0x2,0x2
0356 c403       |    |		Store	0x2,0x3
0357 00da       |    |		Load_Top	At_Offset_2
0358 6804       |h   |		Jump_Zero	0x35d
0359 00d9       |    |		Load_Top	At_Offset_1
035a 00eb       |    |		Load_Encached	Diana_Cache
035b 18a5       |    |		Execute	Package,Field_Execute,Field_Number 0xa5
035c 700a       |p   |		Jump_Nonzero	0x367
035d 4801       |H   |		Short_Literal	0x1
035e 00ec       |    |		Load_Encached	Diana_Tree_Cache
035f 0092 083a  |   :|		Action	Push_String_Extended,0x83a					; " is not a static integer expression"
0361 e5fc       |    |		Load	0x2,-0x4
0362 e5ff       |    |		Load	0x2,-0x1
0363 8231       | 1  |		Call	0x1,0x31
0364 4800       |H   |		Short_Literal	0x0
0365 a5fb       |    |		Store_Unchecked	0x2,-0x5
0366 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0367 8404       |    |		Call	0x2,0x4
0368 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0369 0000 0000  |    |		.BLANK	0000[0x7]
0370 ; --------------------------------------------------------------------------------------
0370 ; SUBPROGRAM
0370 ; --------------------------------------------------------------------------------------
0370 0379       | y  |		.CONST	0x0379								; Address of begin
0371 0004       |    |		.CONST	0x0004								; Address of exception handler
0372 0003       |    |		.CONST	0x0003								; Number of locals
0373			INIT_0370:
0373 00e1       |    |		Load_Encached	Boolean_Cache
0374 00eb       |    |		Load_Encached	Diana_Cache
0375 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
0376 02c7       |    |		Declare_Variable	Any
0377 00d8       |    |		Load_Top	At_Offset_0
0378 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0379			BODY_0370:
0379 e5fd       |    |		Load	0x2,-0x3
037a e5fe       |    |		Load	0x2,-0x2
037b e5ff       |    |		Load	0x2,-0x1
037c e011       |    |		Load	0x0,0x11
037d 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
037e 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
037f 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0380 c5fd       |    |		Store	0x2,-0x3
0381 00d8       |    |		Load_Top	At_Offset_0
0382 0120       |    |		Execute	Any,Is_Value
0383 6803       |h   |		Jump_Zero	0x387
0384 00eb       |    |		Load_Encached	Diana_Cache
0385 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
0386 7801       |x   |		Jump	0x388
0387 00d8       |    |		Load_Top	At_Offset_0
0388 00e1       |    |		Load_Encached	Boolean_Cache
0389 e5fd       |    |		Load	0x2,-0x3
038a e012       |    |		Load	0x0,0x12
038b 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
038c 005b       | [  |		Store_Top	Discrete,At_Offset_3
038d c403       |    |		Store	0x2,0x3
038e 00d9       |    |		Load_Top	At_Offset_1
038f 700a       |p   |		Jump_Nonzero	0x39a
0390 4801       |H   |		Short_Literal	0x1
0391 00ec       |    |		Load_Encached	Diana_Tree_Cache
0392 0092 083b  |   ;|		Action	Push_String_Extended,0x83b					; " is not static"
0394 e5fd       |    |		Load	0x2,-0x3
0395 e5ff       |    |		Load	0x2,-0x1
0396 8231       | 1  |		Call	0x1,0x31
0397 4800       |H   |		Short_Literal	0x0
0398 a5fc       |    |		Store_Unchecked	0x2,-0x4
0399 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
039a 4801       |H   |		Short_Literal	0x1
039b a5fc       |    |		Store_Unchecked	0x2,-0x4
039c 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
039d 0000 0000  |    |		.XXX[0x3]
039f 0000       |    |
03a0 ; --------------------------------------------------------------------------------------
03a0 ; SUBPROGRAM
03a0 ; --------------------------------------------------------------------------------------
03a0 03a3       |    |		.CONST	0x03a3								; Address of begin
03a1 03a9       |    |		.CONST	0x03a9								; Address of exception handler
03a2 0001       |    |		.CONST	0x0001								; Number of locals
03a3			BODY_03a0:
03a3			INIT_03a0:
03a3 00da       |    |		Load_Top	At_Offset_2
03a4 00eb       |    |		Load_Encached	Diana_Cache
03a5 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
03a6 00eb       |    |		Load_Encached	Diana_Cache
03a7 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
03a8 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03a9			TRAP_03a0:
03a9 0007       |    |		Action	Break_Optional
03aa 00ea       |    |		Load_Encached	Null_String_Cache
03ab 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03ac 0000 0000  |    |		.BLANK	0000[0x4]
03b0 ; --------------------------------------------------------------------------------------
03b0 ; SUBPROGRAM
03b0 ; --------------------------------------------------------------------------------------
03b0 03ba       |    |		.CONST	0x03ba								; Address of begin
03b1 0004       |    |		.CONST	0x0004								; Address of exception handler
03b2 0002       |    |		.CONST	0x0002								; Number of locals
03b3			INIT_03b0:
03b3 00eb       |    |		Load_Encached	Diana_Cache
03b4 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
03b5 02c7       |    |		Declare_Variable	Any
03b6 00db       |    |		Load_Top	At_Offset_3
03b7 00eb       |    |		Load_Encached	Diana_Cache
03b8 18f5       |    |		Execute	Package,Field_Execute,Field_Number 0xf5
03b9 a402       |    |		Store_Unchecked	0x2,0x2
03ba			BODY_03b0:
03ba 00d8       |    |		Load_Top	At_Offset_0
03bb 00eb       |    |		Load_Encached	Diana_Cache
03bc 18a5       |    |		Execute	Package,Field_Execute,Field_Number 0xa5
03bd 6809       |h   |		Jump_Zero	0x3c7
03be 00d8       |    |		Load_Top	At_Offset_0
03bf 00eb       |    |		Load_Encached	Diana_Cache
03c0 189f       |    |		Execute	Package,Field_Execute,Field_Number 0x9f
03c1 00d8       |    |		Load_Top	At_Offset_0
03c2 00e1       |    |		Load_Encached	Boolean_Cache
03c3 0260       | `  |		Execute	Discrete,In_Type
03c4 7001       |p   |		Jump_Nonzero	0x3c6
03c5 0801       |    |		Execute_Immediate	Raise,0x1
03c6 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
03c7 e5fe       |    |		Load	0x2,-0x2
03c8 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
03c9 0000 0000  |    |		.BLANK	0000[0x7]
03d0 ; --------------------------------------------------------------------------------------
03d0 ; SUBPROGRAM
03d0 ; --------------------------------------------------------------------------------------
03d0 03db       |    |		.CONST	0x03db								; Address of begin
03d1 0004       |    |		.CONST	0x0004								; Address of exception handler
03d2 0003       |    |		.CONST	0x0003								; Number of locals
03d3			INIT_03d0:
03d3 00eb       |    |		Load_Encached	Diana_Cache
03d4 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
03d5 02c7       |    |		Declare_Variable	Any
03d6 00db       |    |		Load_Top	At_Offset_3
03d7 00eb       |    |		Load_Encached	Diana_Cache
03d8 18f5       |    |		Execute	Package,Field_Execute,Field_Number 0xf5
03d9 a402       |    |		Store_Unchecked	0x2,0x2
03da 00e5       |    |		Load_Encached	Long_Integer_Cache
03db			BODY_03d0:
03db 00d9       |    |		Load_Top	At_Offset_1
03dc 00eb       |    |		Load_Encached	Diana_Cache
03dd 18a5       |    |		Execute	Package,Field_Execute,Field_Number 0xa5
03de 6812       |h   |		Jump_Zero	0x3f1
03df 00d9       |    |		Load_Top	At_Offset_1
03e0 00eb       |    |		Load_Encached	Diana_Cache
03e1 189f       |    |		Execute	Package,Field_Execute,Field_Number 0x9f
03e2 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
03e3 00d8       |    |		Load_Top	At_Offset_0
03e4 e5fe       |    |		Load	0x2,-0x2
03e5 027c       | |  |		Execute	Discrete,Less
03e6 6802       |h   |		Jump_Zero	0x3e9
03e7 e5fe       |    |		Load	0x2,-0x2
03e8 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
03e9 00d8       |    |		Load_Top	At_Offset_0
03ea e5fc       |    |		Load	0x2,-0x4
03eb 027d       | }  |		Execute	Discrete,Greater
03ec 6802       |h   |		Jump_Zero	0x3ef
03ed e5fc       |    |		Load	0x2,-0x4
03ee 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
03ef 00d8       |    |		Load_Top	At_Offset_0
03f0 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
03f1 e5fd       |    |		Load	0x2,-0x3
03f2 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
03f3 0000 0000  |    |		.BLANK	0000[0x5]
03f8 ; --------------------------------------------------------------------------------------
03f8 ; SUBPROGRAM
03f8 ; --------------------------------------------------------------------------------------
03f8 0405       |    |		.CONST	0x0405								; Address of begin
03f9 0004       |    |		.CONST	0x0004								; Address of exception handler
03fa 0003       |    |		.CONST	0x0003								; Number of locals
03fb			INIT_03f8:
03fb 00ec       |    |		Load_Encached	Diana_Tree_Cache
03fc 02c7       |    |		Declare_Variable	Any
03fd 00db       |    |		Load_Top	At_Offset_3
03fe 00eb       |    |		Load_Encached	Diana_Cache
03ff 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
0400 a402       |    |		Store_Unchecked	0x2,0x2
0401 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
0402 02c7       |    |		Declare_Variable	Any
0403 00d8       |    |		Load_Top	At_Offset_0
0404 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0405			BODY_03f8:
0405 00d9       |    |		Load_Top	At_Offset_1
0406 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0407 0f84       |    |		Execute_Immediate	Equal,-0x7c
0408 681b       |h   |		Jump_Zero	0x424
0409 00d9       |    |		Load_Top	At_Offset_1
040a 00eb       |    |		Load_Encached	Diana_Cache
040b 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
040c c403       |    |		Store	0x2,0x3
040d 00cf       |    |		Action	Mark_Auxiliary
040e 7812       |x   |		Jump	0x421
040f 00d9       |    |		Load_Top	At_Offset_1
0410 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0411 c402       |    |		Store	0x2,0x2
0412 00da       |    |		Load_Top	At_Offset_2
0413 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0414 0f40       | @  |		Execute_Immediate	Equal,0x40
0415 680d       |h   |		Jump_Zero	0x423
0416 00da       |    |		Load_Top	At_Offset_2
0417 e5ff       |    |		Load	0x2,-0x1
0418 012f       | /  |		Execute	Any,Equal
0419 6802       |h   |		Jump_Zero	0x41c
041a 4801       |H   |		Short_Literal	0x1
041b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
041c 00d9       |    |		Load_Top	At_Offset_1
041d 0217       |    |		Execute	Heap_Access,All_Reference
041e 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
041f c403       |    |		Store	0x2,0x3
0420 00c9       |    |		Action	Pop_Auxiliary_Loop
0421 00d9       |    |		Load_Top	At_Offset_1
0422 77ec       |w   |		Jump_Nonzero	0x40f
0423 00ce       |    |		Action	Pop_Auxiliary
0424 4800       |H   |		Short_Literal	0x0
0425 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0426 0000 0000  |    |		.XXX[0x2]
0428 ; --------------------------------------------------------------------------------------
0428 ; SUBPROGRAM
0428 ; --------------------------------------------------------------------------------------
0428 0435       | 5  |		.CONST	0x0435								; Address of begin
0429 0004       |    |		.CONST	0x0004								; Address of exception handler
042a 0003       |    |		.CONST	0x0003								; Number of locals
042b			INIT_0428:
042b 00ec       |    |		Load_Encached	Diana_Tree_Cache
042c 02c7       |    |		Declare_Variable	Any
042d 00db       |    |		Load_Top	At_Offset_3
042e 00eb       |    |		Load_Encached	Diana_Cache
042f 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
0430 a402       |    |		Store_Unchecked	0x2,0x2
0431 00ec       |    |		Load_Encached	Diana_Tree_Cache
0432 02c7       |    |		Declare_Variable	Any
0433 00d8       |    |		Load_Top	At_Offset_0
0434 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0435			BODY_0428:
0435 00d9       |    |		Load_Top	At_Offset_1
0436 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0437 0f84       |    |		Execute_Immediate	Equal,-0x7c
0438 6817       |h   |		Jump_Zero	0x450
0439 00d9       |    |		Load_Top	At_Offset_1
043a 00eb       |    |		Load_Encached	Diana_Cache
043b 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
043c c403       |    |		Store	0x2,0x3
043d 00d8       |    |		Load_Top	At_Offset_0
043e 6811       |h   |		Jump_Zero	0x450
043f 00d8       |    |		Load_Top	At_Offset_0
0440 00eb       |    |		Load_Encached	Diana_Cache
0441 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
0442 c402       |    |		Store	0x2,0x2
0443 00d9       |    |		Load_Top	At_Offset_1
0444 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0445 0fa3       |    |		Execute_Immediate	Equal,-0x5d
0446 6807       |h   |		Jump_Zero	0x44e
0447 00d9       |    |		Load_Top	At_Offset_1
0448 00eb       |    |		Load_Encached	Diana_Cache
0449 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
044a 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
044b 00d9       |    |		Load_Top	At_Offset_1
044c 012f       | /  |		Execute	Any,Equal
044d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
044e 4800       |H   |		Short_Literal	0x0
044f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0450 4800       |H   |		Short_Literal	0x0
0451 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0452 0000 0000  |    |		.BLANK	0000[0x6]
0458 ; --------------------------------------------------------------------------------------
0458 ; SUBPROGRAM
0458 ; --------------------------------------------------------------------------------------
0458 045d       | ]  |		.CONST	0x045d								; Address of begin
0459 0004       |    |		.CONST	0x0004								; Address of exception handler
045a 0002       |    |		.CONST	0x0002								; Number of locals
045b			INIT_0458:
045b 029f 07d3  |    |		Declare_Subprogram	INIT_07d0,For_Call
045d			BODY_0458:
045d e5fe       |    |		Load	0x2,-0x2
045e 8226       | &  |		Call	0x1,0x26
045f 6803       |h   |		Jump_Zero	0x463
0460 e5fe       |    |		Load	0x2,-0x2
0461 8225       | %  |		Call	0x1,0x25
0462 7801       |x   |		Jump	0x464
0463 4800       |H   |		Short_Literal	0x0
0464 7007       |p   |		Jump_Nonzero	0x46c
0465 00ec       |    |		Load_Encached	Diana_Tree_Cache
0466 0092 083c  |   <|		Action	Push_String_Extended,0x83c					; " is not at the head of the compilation"
0468 e5fe       |    |		Load	0x2,-0x2
0469 8402       |    |		Call	0x2,0x2
046a 4800       |H   |		Short_Literal	0x0
046b 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
046c 4801       |H   |		Short_Literal	0x1
046d 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
046e 0000 0000  |    |		.XXX[0x2]
0470 ; --------------------------------------------------------------------------------------
0470 ; SUBPROGRAM
0470 ; --------------------------------------------------------------------------------------
0470 0473       | s  |		.CONST	0x0473								; Address of begin
0471 0004       |    |		.CONST	0x0004								; Address of exception handler
0472 0001       |    |		.CONST	0x0001								; Number of locals
0473			BODY_0470:
0473			INIT_0470:
0473 00da       |    |		Load_Top	At_Offset_2
0474 8226       | &  |		Call	0x1,0x26
0475 6803       |h   |		Jump_Zero	0x479
0476 00da       |    |		Load_Top	At_Offset_2
0477 8225       | %  |		Call	0x1,0x25
0478 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0479 4800       |H   |		Short_Literal	0x0
047a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
047b 0000 0000  |    |		.BLANK	0000[0x5]
0480 ; --------------------------------------------------------------------------------------
0480 ; SUBPROGRAM
0480 ; --------------------------------------------------------------------------------------
0480 048f       |    |		.CONST	0x048f								; Address of begin
0481 0004       |    |		.CONST	0x0004								; Address of exception handler
0482 0003       |    |		.CONST	0x0003								; Number of locals
0483			INIT_0480:
0483 00ec       |    |		Load_Encached	Diana_Tree_Cache
0484 02c7       |    |		Declare_Variable	Any
0485 00db       |    |		Load_Top	At_Offset_3
0486 00eb       |    |		Load_Encached	Diana_Cache
0487 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
0488 a402       |    |		Store_Unchecked	0x2,0x2
0489 00ec       |    |		Load_Encached	Diana_Tree_Cache
048a 02c7       |    |		Declare_Variable	Any
048b 00d9       |    |		Load_Top	At_Offset_1
048c 00eb       |    |		Load_Encached	Diana_Cache
048d 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
048e a403       |    |		Store_Unchecked	0x2,0x3
048f			BODY_0480:
048f 00d8       |    |		Load_Top	At_Offset_0
0490 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0491 0f7c       | |  |		Execute_Immediate	Equal,0x7c
0492 6814       |h   |		Jump_Zero	0x4a7
0493 00d8       |    |		Load_Top	At_Offset_0
0494 00eb       |    |		Load_Encached	Diana_Cache
0495 18bd       |    |		Execute	Package,Field_Execute,Field_Number 0xbd
0496 00da       |    |		Load_Top	At_Offset_2
0497 012f       | /  |		Execute	Any,Equal
0498 680c       |h   |		Jump_Zero	0x4a5
0499 e5fe       |    |		Load	0x2,-0x2
049a 0f34       | 4  |		Execute_Immediate	Equal,0x34
049b 7007       |p   |		Jump_Nonzero	0x4a3
049c 00d8       |    |		Load_Top	At_Offset_0
049d 00eb       |    |		Load_Encached	Diana_Cache
049e 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
049f 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
04a0 e5fe       |    |		Load	0x2,-0x2
04a1 027f       |    |		Execute	Discrete,Equal
04a2 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
04a3 4801       |H   |		Short_Literal	0x1
04a4 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
04a5 4800       |H   |		Short_Literal	0x0
04a6 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
04a7 4800       |H   |		Short_Literal	0x0
04a8 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
04a9 0000 0000  |    |		.BLANK	0000[0x7]
04b0 ; --------------------------------------------------------------------------------------
04b0 ; SUBPROGRAM
04b0 ; --------------------------------------------------------------------------------------
04b0 04b3       |    |		.CONST	0x04b3								; Address of begin
04b1 0004       |    |		.CONST	0x0004								; Address of exception handler
04b2 0001       |    |		.CONST	0x0001								; Number of locals
04b3			BODY_04b0:
04b3			INIT_04b0:
04b3 4801       |H   |		Short_Literal	0x1
04b4 00ec       |    |		Load_Encached	Diana_Tree_Cache
04b5 0092 083d  |   =|		Action	Push_String_Extended,0x83d					; " is not allowed at this place"
04b7 e5fe       |    |		Load	0x2,-0x2
04b8 e5ff       |    |		Load	0x2,-0x1
04b9 8231       | 1  |		Call	0x1,0x31
04ba 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
04bb 0000 0000  |    |		.BLANK	0000[0x5]
04c0 ; --------------------------------------------------------------------------------------
04c0 ; SUBPROGRAM
04c0 ; --------------------------------------------------------------------------------------
04c0 04c3       |    |		.CONST	0x04c3								; Address of begin
04c1 0004       |    |		.CONST	0x0004								; Address of exception handler
04c2 0001       |    |		.CONST	0x0001								; Number of locals
04c3			BODY_04c0:
04c3			INIT_04c0:
04c3 4801       |H   |		Short_Literal	0x1
04c4 00ec       |    |		Load_Encached	Diana_Tree_Cache
04c5 0092 083e  |   >|		Action	Push_String_Extended,0x83e					; " has too many arguments"
04c7 e5fe       |    |		Load	0x2,-0x2
04c8 e5ff       |    |		Load	0x2,-0x1
04c9 8231       | 1  |		Call	0x1,0x31
04ca 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
04cb 0000 0000  |    |		.BLANK	0000[0x5]
04d0 ; --------------------------------------------------------------------------------------
04d0 ; SUBPROGRAM
04d0 ; --------------------------------------------------------------------------------------
04d0 04d3       |    |		.CONST	0x04d3								; Address of begin
04d1 0004       |    |		.CONST	0x0004								; Address of exception handler
04d2 0001       |    |		.CONST	0x0001								; Number of locals
04d3			BODY_04d0:
04d3			INIT_04d0:
04d3 4801       |H   |		Short_Literal	0x1
04d4 00ec       |    |		Load_Encached	Diana_Tree_Cache
04d5 0092 083f  |   ?|		Action	Push_String_Extended,0x83f					; " does not follow a library procedure"
04d7 e5fe       |    |		Load	0x2,-0x2
04d8 e5ff       |    |		Load	0x2,-0x1
04d9 8231       | 1  |		Call	0x1,0x31
04da 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
04db 0000 0000  |    |		.BLANK	0000[0x5]
04e0 ; --------------------------------------------------------------------------------------
04e0 ; SUBPROGRAM
04e0 ; --------------------------------------------------------------------------------------
04e0 04e3       |    |		.CONST	0x04e3								; Address of begin
04e1 0004       |    |		.CONST	0x0004								; Address of exception handler
04e2 0001       |    |		.CONST	0x0001								; Number of locals
04e3			BODY_04e0:
04e3			INIT_04e0:
04e3 4801       |H   |		Short_Literal	0x1
04e4 00ec       |    |		Load_Encached	Diana_Tree_Cache
04e5 0092 0840  |   @|		Action	Push_String_Extended,0x840					; " does not denote anything"
04e7 e5fe       |    |		Load	0x2,-0x2
04e8 e5ff       |    |		Load	0x2,-0x1
04e9 8231       | 1  |		Call	0x1,0x31
04ea 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
04eb 0000 0000  |    |		.BLANK	0000[0x5]
04f0 ; --------------------------------------------------------------------------------------
04f0 ; SUBPROGRAM
04f0 ; --------------------------------------------------------------------------------------
04f0 04f3       |    |		.CONST	0x04f3								; Address of begin
04f1 0004       |    |		.CONST	0x0004								; Address of exception handler
04f2 0001       |    |		.CONST	0x0001								; Number of locals
04f3			BODY_04f0:
04f3			INIT_04f0:
04f3 4801       |H   |		Short_Literal	0x1
04f4 00ec       |    |		Load_Encached	Diana_Tree_Cache
04f5 0092 0841  |   A|		Action	Push_String_Extended,0x841					; " does not denote a type"
04f7 e5fe       |    |		Load	0x2,-0x2
04f8 e5ff       |    |		Load	0x2,-0x1
04f9 8231       | 1  |		Call	0x1,0x31
04fa 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
04fb 0000 0000  |    |		.BLANK	0000[0x5]
0500 ; --------------------------------------------------------------------------------------
0500 ; SUBPROGRAM
0500 ; --------------------------------------------------------------------------------------
0500 0503       |    |		.CONST	0x0503								; Address of begin
0501 0004       |    |		.CONST	0x0004								; Address of exception handler
0502 0001       |    |		.CONST	0x0001								; Number of locals
0503			BODY_0500:
0503			INIT_0500:
0503 4801       |H   |		Short_Literal	0x1
0504 00ec       |    |		Load_Encached	Diana_Tree_Cache
0505 0092 0842  |   B|		Action	Push_String_Extended,0x842					; " does not denote a subprogram"
0507 e5fe       |    |		Load	0x2,-0x2
0508 e5ff       |    |		Load	0x2,-0x1
0509 8231       | 1  |		Call	0x1,0x31
050a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
050b 0000 0000  |    |		.BLANK	0000[0x5]
0510 ; --------------------------------------------------------------------------------------
0510 ; SUBPROGRAM
0510 ; --------------------------------------------------------------------------------------
0510 0513       |    |		.CONST	0x0513								; Address of begin
0511 0004       |    |		.CONST	0x0004								; Address of exception handler
0512 0001       |    |		.CONST	0x0001								; Number of locals
0513			BODY_0510:
0513			INIT_0510:
0513 4801       |H   |		Short_Literal	0x1
0514 00ec       |    |		Load_Encached	Diana_Tree_Cache
0515 0092 0843  |   C|		Action	Push_String_Extended,0x843					; " does not denote an object"
0517 e5fe       |    |		Load	0x2,-0x2
0518 e5ff       |    |		Load	0x2,-0x1
0519 8231       | 1  |		Call	0x1,0x31
051a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
051b 0000 0000  |    |		.BLANK	0000[0x5]
0520 ; --------------------------------------------------------------------------------------
0520 ; SUBPROGRAM
0520 ; --------------------------------------------------------------------------------------
0520 0524       | $  |		.CONST	0x0524								; Address of begin
0521 0004       |    |		.CONST	0x0004								; Address of exception handler
0522 0002       |    |		.CONST	0x0002								; Number of locals
0523			INIT_0520:
0523 00e1       |    |		Load_Encached	Boolean_Cache
0524			BODY_0520:
0524 e5fb       |    |		Load	0x2,-0x5
0525 6804       |h   |		Jump_Zero	0x52a
0526 00db       |    |		Load_Top	At_Offset_3
0527 8233       | 3  |		Call	0x1,0x33
0528 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0529 7803       |x   |		Jump	0x52d
052a 00db       |    |		Load_Top	At_Offset_3
052b 8232       | 2  |		Call	0x1,0x32
052c 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
052d 00d8       |    |		Load_Top	At_Offset_0
052e 6815       |h   |		Jump_Zero	0x544
052f e5fc       |    |		Load	0x2,-0x4
0530 7009       |p   |		Jump_Nonzero	0x53a
0531 00ea       |    |		Load_Encached	Null_String_Cache
0532 e5fd       |    |		Load	0x2,-0x3
0533 e5fe       |    |		Load	0x2,-0x2
0534 e5ff       |    |		Load	0x2,-0x1
0535 e011       |    |		Load	0x0,0x11
0536 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0537 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
0538 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0539 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
053a 00ea       |    |		Load_Encached	Null_String_Cache
053b e5fc       |    |		Load	0x2,-0x4
053c e5fd       |    |		Load	0x2,-0x3
053d e5fe       |    |		Load	0x2,-0x2
053e e5ff       |    |		Load	0x2,-0x1
053f e011       |    |		Load	0x0,0x11
0540 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0541 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
0542 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0543 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0544 e5fc       |    |		Load	0x2,-0x4
0545 7009       |p   |		Jump_Nonzero	0x54f
0546 00ea       |    |		Load_Encached	Null_String_Cache
0547 e5fd       |    |		Load	0x2,-0x3
0548 e5fe       |    |		Load	0x2,-0x2
0549 e5ff       |    |		Load	0x2,-0x1
054a e011       |    |		Load	0x0,0x11
054b 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
054c 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
054d 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
054e 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
054f 00ea       |    |		Load_Encached	Null_String_Cache
0550 e5fc       |    |		Load	0x2,-0x4
0551 e5fd       |    |		Load	0x2,-0x3
0552 e5fe       |    |		Load	0x2,-0x2
0553 e5ff       |    |		Load	0x2,-0x1
0554 e011       |    |		Load	0x0,0x11
0555 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0556 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
0557 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0558 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0559 0000 0000  |    |		.BLANK	0000[0x7]
0560 ; --------------------------------------------------------------------------------------
0560 ; SUBPROGRAM
0560 ; --------------------------------------------------------------------------------------
0560 0563       | c  |		.CONST	0x0563								; Address of begin
0561 056f       | o  |		.CONST	0x056f								; Address of exception handler
0562 0001       |    |		.CONST	0x0001								; Number of locals
0563			BODY_0560:
0563			INIT_0560:
0563 6014       |`   |		Indirect_Literal	Discrete,0x578,{0x00000000, 0x00004000}
0564 e017       |    |		Load	0x0,0x17
0565 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0566 e234       | 4  |		Load	0x1,0x34
0567 e5ff       |    |		Load	0x2,-0x1
0568 e011       |    |		Load	0x0,0x11
0569 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
056a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
056b 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
056c e018       |    |		Load	0x0,0x18
056d 1842       | B  |		Execute	Package,Field_Execute,Field_Number 0x42
056e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
056f			TRAP_0560:
056f e018       |    |		Load	0x0,0x18
0570 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0571 010f       |    |		Execute	Exception,Equal
0572 6802       |h   |		Jump_Zero	0x575
0573 4801       |H   |		Short_Literal	0x1
0574 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0575 0100       |    |		Execute	Exception,Raise
0576 0000 0000  |    |		.XXX[0x2]
0578 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
057c 0000 0000  |    |		.BLANK	0000[0x4]
0580 ; --------------------------------------------------------------------------------------
0580 ; SUBPROGRAM
0580 ; --------------------------------------------------------------------------------------
0580 0583       |    |		.CONST	0x0583								; Address of begin
0581 058f       |    |		.CONST	0x058f								; Address of exception handler
0582 0001       |    |		.CONST	0x0001								; Number of locals
0583			BODY_0580:
0583			INIT_0580:
0583 67f4       |g   |		Indirect_Literal	Discrete,0x578,{0x00000000, 0x00004000}
0584 e017       |    |		Load	0x0,0x17
0585 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0586 e235       | 5  |		Load	0x1,0x35
0587 e5ff       |    |		Load	0x2,-0x1
0588 e011       |    |		Load	0x0,0x11
0589 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
058a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
058b 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
058c e018       |    |		Load	0x0,0x18
058d 1842       | B  |		Execute	Package,Field_Execute,Field_Number 0x42
058e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
058f			TRAP_0580:
058f e018       |    |		Load	0x0,0x18
0590 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0591 010f       |    |		Execute	Exception,Equal
0592 6802       |h   |		Jump_Zero	0x595
0593 4801       |H   |		Short_Literal	0x1
0594 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0595 0100       |    |		Execute	Exception,Raise
0596 0000 0000  |    |		.XXX[0x2]
0598 ; --------------------------------------------------------------------------------------
0598 ; SUBPROGRAM
0598 ; --------------------------------------------------------------------------------------
0598 05a3       |    |		.CONST	0x05a3								; Address of begin
0599 0004       |    |		.CONST	0x0004								; Address of exception handler
059a 0003       |    |		.CONST	0x0003								; Number of locals
059b			INIT_0598:
059b e5f6       |    |		Load	0x2,-0xa
059c 02c7       |    |		Declare_Variable	Any
059d e5f5       |    |		Load	0x2,-0xb
059e c402       |    |		Store	0x2,0x2
059f e5f7       |    |		Load	0x2,-0x9
05a0 02c7       |    |		Declare_Variable	Any
05a1 00d8       |    |		Load_Top	At_Offset_0
05a2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
05a3			BODY_0598:
05a3 00cf       |    |		Action	Mark_Auxiliary
05a4 7817       |x   |		Jump	0x5bc
05a5 00da       |    |		Load_Top	At_Offset_2
05a6 e5f6       |    |		Load	0x2,-0xa
05a7 0119       |    |		Execute	Any,Check_In_Formal_Type
05a8 85fc       |    |		Call	0x2,-0x4
05a9 c403       |    |		Store	0x2,0x3
05aa e5fa       |    |		Load	0x2,-0x6
05ab e5f8       |    |		Load	0x2,-0x8
05ac 0119       |    |		Execute	Any,Check_In_Formal_Type
05ad 00da       |    |		Load_Top	At_Offset_2
05ae e5f7       |    |		Load	0x2,-0x9
05af 0119       |    |		Execute	Any,Check_In_Formal_Type
05b0 85fe       |    |		Call	0x2,-0x2
05b1 6804       |h   |		Jump_Zero	0x5b6
05b2 00d9       |    |		Load_Top	At_Offset_1
05b3 e5f7       |    |		Load	0x2,-0x9
05b4 0119       |    |		Execute	Any,Check_In_Formal_Type
05b5 440b       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0xb
05b6 00da       |    |		Load_Top	At_Offset_2
05b7 e5f6       |    |		Load	0x2,-0xa
05b8 0119       |    |		Execute	Any,Check_In_Formal_Type
05b9 85fd       |    |		Call	0x2,-0x3
05ba c402       |    |		Store	0x2,0x2
05bb 00c9       |    |		Action	Pop_Auxiliary_Loop
05bc 00da       |    |		Load_Top	At_Offset_2
05bd e5f6       |    |		Load	0x2,-0xa
05be 0119       |    |		Execute	Any,Check_In_Formal_Type
05bf 85fb       |    |		Call	0x2,-0x5
05c0 6fe4       |o   |		Jump_Zero	0x5a5
05c1 00ce       |    |		Action	Pop_Auxiliary
05c2 e5f9       |    |		Load	0x2,-0x7
05c3 00d8       |    |		Load_Top	At_Offset_0
05c4 0120       |    |		Execute	Any,Is_Value
05c5 7002       |p   |		Jump_Nonzero	0x5c8
05c6 00d8       |    |		Load_Top	At_Offset_0
05c7 011e       |    |		Execute	Any,Convert
05c8 e5f7       |    |		Load	0x2,-0x9
05c9 0119       |    |		Execute	Any,Check_In_Formal_Type
05ca 440b       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0xb
05cb 0000 0000  |    |		.BLANK	0000[0x5]
05d0 ; --------------------------------------------------------------------------------------
05d0 ; SUBPROGRAM
05d0 ; --------------------------------------------------------------------------------------
05d0 05d3       |    |		.CONST	0x05d3								; Address of begin
05d1 0004       |    |		.CONST	0x0004								; Address of exception handler
05d2 0001       |    |		.CONST	0x0001								; Number of locals
05d3			BODY_05d0:
05d3			INIT_05d0:
05d3 00da       |    |		Load_Top	At_Offset_2
05d4 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
05d5 0f40       | @  |		Execute_Immediate	Equal,0x40
05d6 6810       |h   |		Jump_Zero	0x5e7
05d7 00da       |    |		Load_Top	At_Offset_2
05d8 e003       |    |		Load	0x0,0x3
05d9 18a7       |    |		Execute	Package,Field_Execute,Field_Number 0xa7
05da 700a       |p   |		Jump_Nonzero	0x5e5
05db 00da       |    |		Load_Top	At_Offset_2
05dc 00eb       |    |		Load_Encached	Diana_Cache
05dd 18cf       |    |		Execute	Package,Field_Execute,Field_Number 0xcf
05de 00eb       |    |		Load_Encached	Diana_Cache
05df 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
05e0 00eb       |    |		Load_Encached	Diana_Cache
05e1 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
05e2 e5fe       |    |		Load	0x2,-0x2
05e3 01df       |    |		Execute	Vector,Equal
05e4 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
05e5 4800       |H   |		Short_Literal	0x0
05e6 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
05e7 4800       |H   |		Short_Literal	0x0
05e8 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
05e9 0000 0000  |    |		.BLANK	0000[0x7]
05f0 ; --------------------------------------------------------------------------------------
05f0 ; SUBPROGRAM
05f0 ; --------------------------------------------------------------------------------------
05f0 0620       |    |		.CONST	0x0620								; Address of begin
05f1 0004       |    |		.CONST	0x0004								; Address of exception handler
05f2 0008       |    |		.CONST	0x0008								; Number of locals
05f3			INIT_05f0:
05f3 e5f9       |    |		Load	0x2,-0x7
05f4 01da       |    |		Execute	Vector,Bounds
05f5 e216       |    |		Load	0x1,0x16
05f6 035b       | [  |		Declare_Type	Array,Constrained
05f7 0337       | 7  |		Declare_Variable	Array
05f8 e5f9       |    |		Load	0x2,-0x7
05f9 01da       |    |		Execute	Vector,Bounds
05fa e216       |    |		Load	0x1,0x16
05fb 035b       | [  |		Declare_Type	Array,Constrained
05fc 0337       | 7  |		Declare_Variable	Array
05fd 00d8       |    |		Load_Top	At_Offset_0
05fe 01d9       |    |		Execute	Vector,Reverse_Bounds
05ff 0263       | c  |		Execute	Discrete,Above_Bound
0600 7007       |p   |		Jump_Nonzero	0x608
0601 00ec       |    |		Load_Encached	Diana_Tree_Cache
0602 00ec       |    |		Load_Encached	Diana_Tree_Cache
0603 0119       |    |		Execute	Any,Check_In_Formal_Type
0604 00d9       |    |		Load_Top	At_Offset_1
0605 e403       |    |		Load	0x2,0x3
0606 01d6       |    |		Execute	Vector,Field_Write
0607 3ff9       |?   |		Loop_Increasing	0x601
0608 00d9       |    |		Load_Top	At_Offset_1
0609 01d4       |    |		Execute	Vector,Structure_Write
060a 00d8       |    |		Load_Top	At_Offset_0
060b 01dd       |    |		Execute	Vector,First
060c e212       |    |		Load	0x1,0x12
060d 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
060e e212       |    |		Load	0x1,0x12
060f 060a       |    |		Execute_Immediate	Set_Value_Unchecked,0xa
0610 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
0611 02c7       |    |		Declare_Variable	Any
0612 e5fd       |    |		Load	0x2,-0x3
0613 00eb       |    |		Load_Encached	Diana_Cache
0614 18d9       |    |		Execute	Package,Field_Execute,Field_Number 0xd9
0615 00eb       |    |		Load_Encached	Diana_Cache
0616 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
0617 a405       |    |		Store_Unchecked	0x2,0x5
0618 00ec       |    |		Load_Encached	Diana_Tree_Cache
0619 02c7       |    |		Declare_Variable	Any
061a 00d8       |    |		Load_Top	At_Offset_0
061b 1c00       |    |		Execute_Immediate	Run_Utility,0x0
061c 00e1       |    |		Load_Encached	Boolean_Cache
061d 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
061e 029f 07e3  |    |		Declare_Subprogram	INIT_07e0,For_Call
0620			BODY_05f0:
0620 4801       |H   |		Short_Literal	0x1
0621 a5f8       |    |		Store_Unchecked	0x2,-0x8
0622 e5f9       |    |		Load	0x2,-0x7
0623 01db       |    |		Execute	Vector,Length
0624 e5fc       |    |		Load	0x2,-0x4
0625 01db       |    |		Execute	Vector,Length
0626 027c       | |  |		Execute	Discrete,Less
0627 6801       |h   |		Jump_Zero	0x629
0628 08e0       |    |		Execute_Immediate	Raise,0xe0
0629 00cf       |    |		Action	Mark_Auxiliary
062a 7877       |xw  |		Jump	0x6a2
062b e5fb       |    |		Load	0x2,-0x5
062c 0f00       |    |		Execute_Immediate	Equal,0x0
062d e403       |    |		Load	0x2,0x3
062e e402       |    |		Load	0x2,0x2
062f 01dc       |    |		Execute	Vector,Last
0630 027d       | }  |		Execute	Discrete,Greater
0631 0279       | y  |		Execute	Discrete,And
0632 680b       |h   |		Jump_Zero	0x63e
0633 00ec       |    |		Load_Encached	Diana_Tree_Cache
0634 0092 083e  |   >|		Action	Push_String_Extended,0x83e					; " has too many arguments"
0636 e5fd       |    |		Load	0x2,-0x3
0637 85fe       |    |		Call	0x2,-0x2
0638 4800       |H   |		Short_Literal	0x0
0639 a5f8       |    |		Store_Unchecked	0x2,-0x8
063a e402       |    |		Load	0x2,0x2
063b e5f9       |    |		Load	0x2,-0x7
063c 01d4       |    |		Execute	Vector,Structure_Write
063d 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
063e e405       |    |		Load	0x2,0x5
063f 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0640 c406       |    |		Store	0x2,0x6
0641 00db       |    |		Load_Top	At_Offset_3
0642 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0643 0fa9       |    |		Execute_Immediate	Equal,-0x57
0644 683e       |h>  |		Jump_Zero	0x683
0645 4801       |H   |		Short_Literal	0x1
0646 0053       | S  |		Store_Top_Uncheched	Discrete,At_Offset_3
0647 e403       |    |		Load	0x2,0x3
0648 a404       |    |		Store_Unchecked	0x2,0x4
0649 00cf       |    |		Action	Mark_Auxiliary
064a e404       |    |		Load	0x2,0x4
064b e5fc       |    |		Load	0x2,-0x4
064c 01d5       |    |		Execute	Vector,Field_Reference
064d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
064e e406       |    |		Load	0x2,0x6
064f 00eb       |    |		Load_Encached	Diana_Cache
0650 18bf       |    |		Execute	Package,Field_Execute,Field_Number 0xbf
0651 00eb       |    |		Load_Encached	Diana_Cache
0652 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
0653 00eb       |    |		Load_Encached	Diana_Cache
0654 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
0655 6813       |h   |		Jump_Zero	0x669
0656 e404       |    |		Load	0x2,0x4
0657 e402       |    |		Load	0x2,0x2
0658 01d7       |    |		Execute	Vector,Field_Read
0659 7007       |p   |		Jump_Nonzero	0x661
065a e406       |    |		Load	0x2,0x6
065b 00eb       |    |		Load_Encached	Diana_Cache
065c 18b2       |    |		Execute	Package,Field_Execute,Field_Number 0xb2
065d e404       |    |		Load	0x2,0x4
065e e402       |    |		Load	0x2,0x2
065f 01d6       |    |		Execute	Vector,Field_Write
0660 7820       |x   |		Jump	0x681
0661 00ec       |    |		Load_Encached	Diana_Tree_Cache
0662 0092 0844  |   D|		Action	Push_String_Extended,0x844					; " respecifies a previously named argument"
0664 e406       |    |		Load	0x2,0x6
0665 85fe       |    |		Call	0x2,-0x2
0666 4800       |H   |		Short_Literal	0x0
0667 a5f8       |    |		Store_Unchecked	0x2,-0x8
0668 7818       |x   |		Jump	0x681
0669 e404       |    |		Load	0x2,0x4
066a e5fc       |    |		Load	0x2,-0x4
066b 01dc       |    |		Execute	Vector,Last
066c 027f       |    |		Execute	Discrete,Equal
066d 680e       |h   |		Jump_Zero	0x67c
066e e5fb       |    |		Load	0x2,-0x5
066f 7011       |p   |		Jump_Nonzero	0x681
0670 e5fd       |    |		Load	0x2,-0x3
0671 00eb       |    |		Load_Encached	Diana_Cache
0672 18cf       |    |		Execute	Package,Field_Execute,Field_Number 0xcf
0673 0092 0845  |   E|		Action	Push_String_Extended,0x845					; " as argument name not defined for pragma "
0675 e406       |    |		Load	0x2,0x6
0676 00eb       |    |		Load_Encached	Diana_Cache
0677 18bf       |    |		Execute	Package,Field_Execute,Field_Number 0xbf
0678 85fe       |    |		Call	0x2,-0x2
0679 4800       |H   |		Short_Literal	0x0
067a a5f8       |    |		Store_Unchecked	0x2,-0x8
067b 7805       |x   |		Jump	0x681
067c e404       |    |		Load	0x2,0x4
067d 0a01       |    |		Execute_Immediate	Plus,0x1
067e c404       |    |		Store	0x2,0x4
067f 00c9       |    |		Action	Pop_Auxiliary_Loop
0680 7fc9       |    |		Jump	0x64a
0681 00ce       |    |		Action	Pop_Auxiliary
0682 781a       |x   |		Jump	0x69d
0683 e5fa       |    |		Load	0x2,-0x6
0684 7008       |p   |		Jump_Nonzero	0x68d
0685 00ec       |    |		Load_Encached	Diana_Tree_Cache
0686 0092 0846  |   F|		Action	Push_String_Extended,0x846					; " is positional argument which is not allowed here"
0688 e406       |    |		Load	0x2,0x6
0689 85fe       |    |		Call	0x2,-0x2
068a 4800       |H   |		Short_Literal	0x0
068b a5f8       |    |		Store_Unchecked	0x2,-0x8
068c 7810       |x   |		Jump	0x69d
068d 00da       |    |		Load_Top	At_Offset_2
068e 6807       |h   |		Jump_Zero	0x696
068f 00ec       |    |		Load_Encached	Diana_Tree_Cache
0690 0092 0847  |   G|		Action	Push_String_Extended,0x847					; " positional argument follows named associations"
0692 e406       |    |		Load	0x2,0x6
0693 85fe       |    |		Call	0x2,-0x2
0694 4800       |H   |		Short_Literal	0x0
0695 a5f8       |    |		Store_Unchecked	0x2,-0x8
0696 00db       |    |		Load_Top	At_Offset_3
0697 e403       |    |		Load	0x2,0x3
0698 e402       |    |		Load	0x2,0x2
0699 01d6       |    |		Execute	Vector,Field_Write
069a e403       |    |		Load	0x2,0x3
069b 0a01       |    |		Execute_Immediate	Plus,0x1
069c c403       |    |		Store	0x2,0x3
069d e405       |    |		Load	0x2,0x5
069e 0217       |    |		Execute	Heap_Access,All_Reference
069f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
06a0 c405       |    |		Store	0x2,0x5
06a1 00c9       |    |		Action	Pop_Auxiliary_Loop
06a2 e405       |    |		Load	0x2,0x5
06a3 7787       |w   |		Jump_Nonzero	0x62b
06a4 00c9       |    |		Action	Pop_Auxiliary_Loop
06a5 e5fc       |    |		Load	0x2,-0x4
06a6 01d9       |    |		Execute	Vector,Reverse_Bounds
06a7 0263       | c  |		Execute	Discrete,Above_Bound
06a8 700c       |p   |		Jump_Nonzero	0x6b5
06a9 00d8       |    |		Load_Top	At_Offset_0
06aa e5fc       |    |		Load	0x2,-0x4
06ab 01d5       |    |		Execute	Vector,Field_Reference
06ac 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
06ad 7005       |p   |		Jump_Nonzero	0x6b3
06ae 00d8       |    |		Load_Top	At_Offset_0
06af e402       |    |		Load	0x2,0x2
06b0 01d7       |    |		Execute	Vector,Field_Read
06b1 7001       |p   |		Jump_Nonzero	0x6b3
06b2 8408       |    |		Call	0x2,0x8
06b3 00c8       |    |		Action	Pop_Auxiliary_Range
06b4 3ff4       |?   |		Loop_Increasing	0x6a9
06b5 00ce       |    |		Action	Pop_Auxiliary
06b6 e402       |    |		Load	0x2,0x2
06b7 e5f9       |    |		Load	0x2,-0x7
06b8 01d4       |    |		Execute	Vector,Structure_Write
06b9 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
06ba 0000 0000  |    |		.BLANK	0000[0x6]
06c0 ; --------------------------------------------------------------------------------------
06c0 ; SUBPROGRAM
06c0 ; --------------------------------------------------------------------------------------
06c0 06cd       |    |		.CONST	0x06cd								; Address of begin
06c1 0004       |    |		.CONST	0x0004								; Address of exception handler
06c2 0003       |    |		.CONST	0x0003								; Number of locals
06c3			INIT_06c0:
06c3 00ee       |    |		Load_Encached	Diana_Seq_Type_Cache
06c4 02c7       |    |		Declare_Variable	Any
06c5 e5fd       |    |		Load	0x2,-0x3
06c6 00eb       |    |		Load_Encached	Diana_Cache
06c7 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
06c8 a402       |    |		Store_Unchecked	0x2,0x2
06c9 00ec       |    |		Load_Encached	Diana_Tree_Cache
06ca 02c7       |    |		Declare_Variable	Any
06cb 00d8       |    |		Load_Top	At_Offset_0
06cc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
06cd			BODY_06c0:
06cd 00d9       |    |		Load_Top	At_Offset_1
06ce 4975       |Iu  |		Short_Literal	0x175
06cf 00eb       |    |		Load_Encached	Diana_Cache
06d0 0098       |    |		Execute	Package,Field_Read_Dynamic
06d1 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
06d2 6814       |h   |		Jump_Zero	0x6e7
06d3 00d9       |    |		Load_Top	At_Offset_1
06d4 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
06d5 c403       |    |		Store	0x2,0x3
06d6 00d8       |    |		Load_Top	At_Offset_0
06d7 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
06d8 0fa9       |    |		Execute_Immediate	Equal,-0x57
06d9 7002       |p   |		Jump_Nonzero	0x6dc
06da 00d8       |    |		Load_Top	At_Offset_0
06db 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
06dc 00ec       |    |		Load_Encached	Diana_Tree_Cache
06dd 0092 0848  |   H|		Action	Push_String_Extended,0x848					; " argument used named notation"
06df e5fc       |    |		Load	0x2,-0x4
06e0 00eb       |    |		Load_Encached	Diana_Cache
06e1 18cf       |    |		Execute	Package,Field_Execute,Field_Number 0xcf
06e2 85fe       |    |		Call	0x2,-0x2
06e3 00d8       |    |		Load_Top	At_Offset_0
06e4 00eb       |    |		Load_Encached	Diana_Cache
06e5 18b2       |    |		Execute	Package,Field_Execute,Field_Number 0xb2
06e6 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
06e7 00ec       |    |		Load_Encached	Diana_Tree_Cache
06e8 0092 0849  |   I|		Action	Push_String_Extended,0x849					; " requires exactly one argument"
06ea e5fc       |    |		Load	0x2,-0x4
06eb 00eb       |    |		Load_Encached	Diana_Cache
06ec 18cf       |    |		Execute	Package,Field_Execute,Field_Number 0xcf
06ed 85fe       |    |		Call	0x2,-0x2
06ee 00ec       |    |		Load_Encached	Diana_Tree_Cache
06ef 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
06f0 ; --------------------------------------------------------------------------------------
06f0 ; SUBPROGRAM
06f0 ; --------------------------------------------------------------------------------------
06f0 0706       |    |		.CONST	0x0706								; Address of begin
06f1 0004       |    |		.CONST	0x0004								; Address of exception handler
06f2 0008       |    |		.CONST	0x0008								; Number of locals
06f3			INIT_06f0:
06f3 00ec       |    |		Load_Encached	Diana_Tree_Cache
06f4 02c7       |    |		Declare_Variable	Any
06f5 00d8       |    |		Load_Top	At_Offset_0
06f6 1c00       |    |		Execute_Immediate	Run_Utility,0x0
06f7 00e1       |    |		Load_Encached	Boolean_Cache
06f8 00eb       |    |		Load_Encached	Diana_Cache
06f9 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
06fa 02c7       |    |		Declare_Variable	Any
06fb 00d8       |    |		Load_Top	At_Offset_0
06fc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
06fd 1d39       | 9  |		Execute_Immediate	Reference_Lex_1,0x39
06fe 00c6       |    |		Action	Check_Subprogram_Elaborated
06ff 4ffe       |O   |		Short_Literal	-0x2
0700 4802       |H   |		Short_Literal	0x2
0701 0099       |    |		Action	Reference_Dynamic
0702 e019       |    |		Load	0x0,0x19
0703 e01a       |    |		Load	0x0,0x1a
0704 4808       |H   |		Short_Literal	0x8
0705 0007       |    |		Action	Break_Optional
0706			BODY_06f0:
0706 e5fc       |    |		Load	0x2,-0x4
0707 e5fd       |    |		Load	0x2,-0x3
0708 4805       |H   |		Short_Literal	0x5
0709 4802       |H   |		Short_Literal	0x2
070a 0099       |    |		Action	Reference_Dynamic
070b 4806       |H   |		Short_Literal	0x6
070c 4802       |H   |		Short_Literal	0x2
070d 0099       |    |		Action	Reference_Dynamic
070e 8239       | 9  |		Call	0x1,0x39
070f c402       |    |		Store	0x2,0x2
0710 e402       |    |		Load	0x2,0x2
0711 7001       |p   |		Jump_Nonzero	0x713
0712 781d       |x   |		Jump	0x730
0713 e404       |    |		Load	0x2,0x4
0714 0120       |    |		Execute	Any,Is_Value
0715 6803       |h   |		Jump_Zero	0x719
0716 00eb       |    |		Load_Encached	Diana_Cache
0717 1b96       |    |		Execute	Package,Field_Read,Field_Number 0x96
0718 7801       |x   |		Jump	0x71a
0719 e404       |    |		Load	0x2,0x4
071a 00e1       |    |		Load_Encached	Boolean_Cache
071b e402       |    |		Load	0x2,0x2
071c e012       |    |		Load	0x0,0x12
071d 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
071e c403       |    |		Store	0x2,0x3
071f c404       |    |		Store	0x2,0x4
0720 e402       |    |		Load	0x2,0x2
0721 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0722 0f08       |    |		Execute_Immediate	Equal,0x8
0723 6804       |h   |		Jump_Zero	0x728
0724 e404       |    |		Load	0x2,0x4
0725 00eb       |    |		Load_Encached	Diana_Cache
0726 18a5       |    |		Execute	Package,Field_Execute,Field_Number 0xa5
0727 7006       |p   |		Jump_Nonzero	0x72e
0728 00ec       |    |		Load_Encached	Diana_Tree_Cache
0729 0092 084a  |   J|		Action	Push_String_Extended,0x84a					; " is not an integer literal"
072b e402       |    |		Load	0x2,0x2
072c 85fe       |    |		Call	0x2,-0x2
072d 7802       |x   |		Jump	0x730
072e e402       |    |		Load	0x2,0x2
072f 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0730 00ec       |    |		Load_Encached	Diana_Tree_Cache
0731 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0732 0000 0000  |    |		.BLANK	0000[0x6]
0738 ; --------------------------------------------------------------------------------------
0738 ; SUBPROGRAM
0738 ; --------------------------------------------------------------------------------------
0738 073b       | ;  |		.CONST	0x073b								; Address of begin
0739 0004       |    |		.CONST	0x0004								; Address of exception handler
073a 0001       |    |		.CONST	0x0001								; Number of locals
073b			BODY_0738:
073b			INIT_0738:
073b 4801       |H   |		Short_Literal	0x1
073c e7fd       |    |		Load	0x3,-0x3
073d e7fe       |    |		Load	0x3,-0x2
073e e7ff       |    |		Load	0x3,-0x1
073f e5ff       |    |		Load	0x2,-0x1
0740 8231       | 1  |		Call	0x1,0x31
0741 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0742 0000 0000  |    |		.BLANK	0000[0x6]
0748 ; --------------------------------------------------------------------------------------
0748 ; SUBPROGRAM
0748 ; --------------------------------------------------------------------------------------
0748 074b       | K  |		.CONST	0x074b								; Address of begin
0749 0004       |    |		.CONST	0x0004								; Address of exception handler
074a 0001       |    |		.CONST	0x0001								; Number of locals
074b			BODY_0748:
074b			INIT_0748:
074b 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
074c 0000 0000  |    |		.BLANK	0000[0x4]
0750 ; --------------------------------------------------------------------------------------
0750 ; SUBPROGRAM
0750 ; --------------------------------------------------------------------------------------
0750 0753       | S  |		.CONST	0x0753								; Address of begin
0751 0004       |    |		.CONST	0x0004								; Address of exception handler
0752 0001       |    |		.CONST	0x0001								; Number of locals
0753			BODY_0750:
0753			INIT_0750:
0753 4801       |H   |		Short_Literal	0x1
0754 e7fd       |    |		Load	0x3,-0x3
0755 e7fe       |    |		Load	0x3,-0x2
0756 e7ff       |    |		Load	0x3,-0x1
0757 e5ff       |    |		Load	0x2,-0x1
0758 8231       | 1  |		Call	0x1,0x31
0759 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
075a 0000 0000  |    |		.BLANK	0000[0x6]
0760 ; --------------------------------------------------------------------------------------
0760 ; SUBPROGRAM
0760 ; --------------------------------------------------------------------------------------
0760 0763       | c  |		.CONST	0x0763								; Address of begin
0761 0004       |    |		.CONST	0x0004								; Address of exception handler
0762 0001       |    |		.CONST	0x0001								; Number of locals
0763			BODY_0760:
0763			INIT_0760:
0763 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0764 0000 0000  |    |		.BLANK	0000[0x4]
0768 ; --------------------------------------------------------------------------------------
0768 ; SUBPROGRAM
0768 ; --------------------------------------------------------------------------------------
0768 076b       | k  |		.CONST	0x076b								; Address of begin
0769 0004       |    |		.CONST	0x0004								; Address of exception handler
076a 0001       |    |		.CONST	0x0001								; Number of locals
076b			BODY_0768:
076b			INIT_0768:
076b 4801       |H   |		Short_Literal	0x1
076c e7fd       |    |		Load	0x3,-0x3
076d e7fe       |    |		Load	0x3,-0x2
076e e7ff       |    |		Load	0x3,-0x1
076f e5ff       |    |		Load	0x2,-0x1
0770 8231       | 1  |		Call	0x1,0x31
0771 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0772 0000 0000  |    |		.BLANK	0000[0x6]
0778 ; --------------------------------------------------------------------------------------
0778 ; SUBPROGRAM
0778 ; --------------------------------------------------------------------------------------
0778 077b       | {  |		.CONST	0x077b								; Address of begin
0779 0004       |    |		.CONST	0x0004								; Address of exception handler
077a 0001       |    |		.CONST	0x0001								; Number of locals
077b			BODY_0778:
077b			INIT_0778:
077b 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
077c 0000 0000  |    |		.BLANK	0000[0x4]
0780 ; --------------------------------------------------------------------------------------
0780 ; SUBPROGRAM
0780 ; --------------------------------------------------------------------------------------
0780 0783       |    |		.CONST	0x0783								; Address of begin
0781 0004       |    |		.CONST	0x0004								; Address of exception handler
0782 0001       |    |		.CONST	0x0001								; Number of locals
0783			BODY_0780:
0783			INIT_0780:
0783 00da       |    |		Load_Top	At_Offset_2
0784 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0785 0fa9       |    |		Execute_Immediate	Equal,-0x57
0786 680a       |h   |		Jump_Zero	0x791
0787 00da       |    |		Load_Top	At_Offset_2
0788 00eb       |    |		Load_Encached	Diana_Cache
0789 18bf       |    |		Execute	Package,Field_Execute,Field_Number 0xbf
078a 00eb       |    |		Load_Encached	Diana_Cache
078b 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
078c 00eb       |    |		Load_Encached	Diana_Cache
078d 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
078e e7fe       |    |		Load	0x3,-0x2
078f 01df       |    |		Execute	Vector,Equal
0790 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0791 4800       |H   |		Short_Literal	0x0
0792 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0793 0000 0000  |    |		.BLANK	0000[0x5]
0798 ; --------------------------------------------------------------------------------------
0798 ; SUBPROGRAM
0798 ; --------------------------------------------------------------------------------------
0798 07a0       |    |		.CONST	0x07a0								; Address of begin
0799 0004       |    |		.CONST	0x0004								; Address of exception handler
079a 0003       |    |		.CONST	0x0003								; Number of locals
079b			INIT_0798:
079b e403       |    |		Load	0x2,0x3
079c 00eb       |    |		Load_Encached	Diana_Cache
079d 189f       |    |		Execute	Package,Field_Execute,Field_Number 0x9f
079e 029f 080b  |    |		Declare_Subprogram	INIT_0808,For_Call
07a0			BODY_0798:
07a0 00d9       |    |		Load_Top	At_Offset_1
07a1 e5fe       |    |		Load	0x2,-0x2
07a2 027c       | |  |		Execute	Discrete,Less
07a3 6812       |h   |		Jump_Zero	0x7b6
07a4 4801       |H   |		Short_Literal	0x1
07a5 00ec       |    |		Load_Encached	Diana_Tree_Cache
07a6 0092 084b  |   K|		Action	Push_String_Extended,0x84b					; " is below "
07a8 e5fe       |    |		Load	0x2,-0x2
07a9 00e0       |    |		Load_Encached	Standard_Cache
07aa 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
07ab 8603       |    |		Call	0x3,0x3
07ac 01cc       |    |		Execute	Vector,Catenate
07ad 0092 084c  |   L|		Action	Push_String_Extended,0x84c					; ", the minimum acceptable value for this target"
07af 01cc       |    |		Execute	Vector,Catenate
07b0 e5fc       |    |		Load	0x2,-0x4
07b1 e5ff       |    |		Load	0x2,-0x1
07b2 8231       | 1  |		Call	0x1,0x31
07b3 4800       |H   |		Short_Literal	0x0
07b4 a5fb       |    |		Store_Unchecked	0x2,-0x5
07b5 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07b6 00d9       |    |		Load_Top	At_Offset_1
07b7 e5fd       |    |		Load	0x2,-0x3
07b8 027d       | }  |		Execute	Discrete,Greater
07b9 6812       |h   |		Jump_Zero	0x7cc
07ba 4801       |H   |		Short_Literal	0x1
07bb 00ec       |    |		Load_Encached	Diana_Tree_Cache
07bc 0092 084d  |   M|		Action	Push_String_Extended,0x84d					; " is above "
07be e5fd       |    |		Load	0x2,-0x3
07bf 00e0       |    |		Load_Encached	Standard_Cache
07c0 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
07c1 8603       |    |		Call	0x3,0x3
07c2 01cc       |    |		Execute	Vector,Catenate
07c3 0092 084e  |   N|		Action	Push_String_Extended,0x84e					; ", the maximum acceptable value for this target"
07c5 01cc       |    |		Execute	Vector,Catenate
07c6 e5fc       |    |		Load	0x2,-0x4
07c7 e5ff       |    |		Load	0x2,-0x1
07c8 8231       | 1  |		Call	0x1,0x31
07c9 4800       |H   |		Short_Literal	0x0
07ca a5fb       |    |		Store_Unchecked	0x2,-0x5
07cb 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07cc 4801       |H   |		Short_Literal	0x1
07cd a5fb       |    |		Store_Unchecked	0x2,-0x5
07ce 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07cf 0000       |    |		.XXX[0x1]
07d0 ; --------------------------------------------------------------------------------------
07d0 ; SUBPROGRAM
07d0 ; --------------------------------------------------------------------------------------
07d0 07d3       |    |		.CONST	0x07d3								; Address of begin
07d1 0004       |    |		.CONST	0x0004								; Address of exception handler
07d2 0001       |    |		.CONST	0x0001								; Number of locals
07d3			BODY_07d0:
07d3			INIT_07d0:
07d3 4801       |H   |		Short_Literal	0x1
07d4 e7fd       |    |		Load	0x3,-0x3
07d5 e7fe       |    |		Load	0x3,-0x2
07d6 e7ff       |    |		Load	0x3,-0x1
07d7 e5ff       |    |		Load	0x2,-0x1
07d8 8231       | 1  |		Call	0x1,0x31
07d9 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
07da 0000 0000  |    |		.BLANK	0000[0x6]
07e0 ; --------------------------------------------------------------------------------------
07e0 ; SUBPROGRAM
07e0 ; --------------------------------------------------------------------------------------
07e0 07e9       |    |		.CONST	0x07e9								; Address of begin
07e1 0004       |    |		.CONST	0x0004								; Address of exception handler
07e2 0002       |    |		.CONST	0x0002								; Number of locals
07e3			INIT_07e0:
07e3 e40b       |    |		Load	0x2,0xb
07e4 e5fc       |    |		Load	0x2,-0x4
07e5 01d5       |    |		Execute	Vector,Field_Reference
07e6 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
07e7 00eb       |    |		Load_Encached	Diana_Cache
07e8 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
07e9			BODY_07e0:
07e9 00d8       |    |		Load_Top	At_Offset_0
07ea 01db       |    |		Execute	Vector,Length
07eb 700c       |p   |		Jump_Nonzero	0x7f8
07ec 00ec       |    |		Load_Encached	Diana_Tree_Cache
07ed 0092 084f  |   O|		Action	Push_String_Extended,0x84f					; " specifies no value for argument #"
07ef e40b       |    |		Load	0x2,0xb
07f0 00e0       |    |		Load_Encached	Standard_Cache
07f1 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
07f2 01cc       |    |		Execute	Vector,Catenate
07f3 e5fd       |    |		Load	0x2,-0x3
07f4 85fe       |    |		Call	0x2,-0x2
07f5 4800       |H   |		Short_Literal	0x0
07f6 a5f8       |    |		Store_Unchecked	0x2,-0x8
07f7 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
07f8 00ec       |    |		Load_Encached	Diana_Tree_Cache
07f9 0092 0850  |   P|		Action	Push_String_Extended,0x850					; " specifies no value for "
07fb 00da       |    |		Load_Top	At_Offset_2
07fc 01cc       |    |		Execute	Vector,Catenate
07fd e5fd       |    |		Load	0x2,-0x3
07fe 85fe       |    |		Call	0x2,-0x2
07ff 4800       |H   |		Short_Literal	0x0
0800 a5f8       |    |		Store_Unchecked	0x2,-0x8
0801 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0802 0000 0000  |    |		.BLANK	0000[0x6]
0808 ; --------------------------------------------------------------------------------------
0808 ; SUBPROGRAM
0808 ; --------------------------------------------------------------------------------------
0808 080b       |    |		.CONST	0x080b								; Address of begin
0809 0004       |    |		.CONST	0x0004								; Address of exception handler
080a 0001       |    |		.CONST	0x0001								; Number of locals
080b			BODY_0808:
080b			INIT_0808:
080b 00cf       |    |		Action	Mark_Auxiliary
080c 00db       |    |		Load_Top	At_Offset_3
080d 01d9       |    |		Execute	Vector,Reverse_Bounds
080e 0263       | c  |		Execute	Discrete,Above_Bound
080f 700d       |p   |		Jump_Nonzero	0x81d
0810 00d8       |    |		Load_Top	At_Offset_0
0811 e9ff       |    |		Load	0x4,-0x1
0812 01d7       |    |		Execute	Vector,Field_Read
0813 0e20       |    |		Execute_Immediate	Not_Equal,0x20
0814 6806       |h   |		Jump_Zero	0x81b
0815 00d8       |    |		Load_Top	At_Offset_0
0816 e9ff       |    |		Load	0x4,-0x1
0817 01dc       |    |		Execute	Vector,Last
0818 e9ff       |    |		Load	0x4,-0x1
0819 01cf       |    |		Execute	Vector,Slice_Read
081a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
081b 00c8       |    |		Action	Pop_Auxiliary_Range
081c 3ff3       |?   |		Loop_Increasing	0x810
081d 00ce       |    |		Action	Pop_Auxiliary
081e 00ea       |    |		Load_Encached	Null_String_Cache
081f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0820 ; --------------------------------------------------------------------------------------
0820 ; SUBPROGRAM
0820 ; --------------------------------------------------------------------------------------
0820 0823       | #  |		.CONST	0x0823								; Address of begin
0821 0004       |    |		.CONST	0x0004								; Address of exception handler
0822 0001       |    |		.CONST	0x0001								; Number of locals
0823			BODY_0820:
0823			INIT_0820:
0823 4608       |F   |		Jump_Case	0x9
0824 7808       |x   |		Jump	0x82d								; case 0x0
0825 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
0826 780d       |x   |		Jump	0x834								; case 0x2
0827 780c       |x   |		Jump	0x834								; case 0x3
0828 780b       |x   |		Jump	0x834								; case 0x4
0829 780a       |x   |		Jump	0x834								; case 0x5
082a 7809       |x   |		Jump	0x834								; case 0x6
082b 7808       |x   |		Jump	0x834								; case 0x7
082c 7807       |x   |		Jump	0x834								; case 0x8
082d 00da       |    |		Load_Top	At_Offset_2
082e 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
082f 0125       | %  |		Execute	Any,Set_Constraint
0830 00da       |    |		Load_Top	At_Offset_2
0831 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0832 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0833 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0834 0869       | i  |		Execute_Immediate	Raise,0x69
0835 ; --------------------------------------------------------------------------------------
0835 ; STRING TABLE
0835 ; --------------------------------------------------------------------------------------
0835 003a       | :  |		.STRTAB	0x003a->0x0852							; "REQUIRED"
0836 0040       | @  |		.STRTAB	0x0040->0x0856							; "OPTIONAL"
0837 0046       | F  |		.STRTAB	0x0046->0x085a							; "Semantics.Reject_Bad_Lrm_Pragmas"
0838 0064       | d  |		.STRTAB	0x0064->0x086a							; "Semantics.Reject_Bad_Rational_Pragmas"
0839 0087       |    |		.STRTAB	0x0087->0x087c							; " is not a string literal"
083a 009d       |    |		.STRTAB	0x009d->0x0888							; " is not a static integer expression"
083b 00be       |    |		.STRTAB	0x00be->0x089a							; " is not static"
083c 00ca       |    |		.STRTAB	0x00ca->0x08a1							; " is not at the head of the compilation"
083d 00ee       |    |		.STRTAB	0x00ee->0x08b4							; " is not allowed at this place"
083e 0109       |    |		.STRTAB	0x0109->0x08c2							; " has too many arguments"
083f 011e       |    |		.STRTAB	0x011e->0x08ce							; " does not follow a library procedure"
0840 0140       | @  |		.STRTAB	0x0140->0x08e0							; " does not denote anything"
0841 0157       | W  |		.STRTAB	0x0157->0x08ec							; " does not denote a type"
0842 016c       | l  |		.STRTAB	0x016c->0x08f8							; " does not denote a subprogram"
0843 0187       |    |		.STRTAB	0x0187->0x0906							; " does not denote an object"
0844 019f       |    |		.STRTAB	0x019f->0x0913							; " respecifies a previously named argument"
0845 01c5       |    |		.STRTAB	0x01c5->0x0927							; " as argument name not defined for pragma "
0846 01ec       |    |		.STRTAB	0x01ec->0x093c							; " is positional argument which is not allowed here"
0847 021b       |    |		.STRTAB	0x021b->0x0954							; " positional argument follows named associations"
0848 0248       | H  |		.STRTAB	0x0248->0x096c							; " argument used named notation"
0849 0263       | c  |		.STRTAB	0x0263->0x097a							; " requires exactly one argument"
084a 027f       |    |		.STRTAB	0x027f->0x0989							; " is not an integer literal"
084b 0297       |    |		.STRTAB	0x0297->0x0996							; " is below "
084c 029f       |    |		.STRTAB	0x029f->0x099b							; ", the minimum acceptable value for this target"
084d 02cb       |    |		.STRTAB	0x02cb->0x09b2							; " is above "
084e 02d3       |    |		.STRTAB	0x02d3->0x09b7							; ", the maximum acceptable value for this target"
084f 02ff       |    |		.STRTAB	0x02ff->0x09ce							; " specifies no value for argument #"
0850 031f       |    |		.STRTAB	0x031f->0x09df							; " specifies no value for "
0851 0335       | 5  |		.STREND 0x0335->0x09eb
0852 5245 5155  |REQU|		.STRTAB_STRINGS
09ec 0000 0000  |    |		.BLANK	0000[0x4]
09f0 ; --------------------------------------------------------------------------------------
09f0 ; Debug Table
09f0 ; --------------------------------------------------------------------------------------
09f0 0004 000c  |    |		.DEBUG4	0x0004,0x000c,0x0010,0x0000,0x0001,0x0000
09f6 0000 0000  |    |		.XXX[0xa]
09f8 0001 0404  |    |
09fa 0000 0700  |    |
09fc 8000 0000  |    |
09fe 0000 0000  |    |