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

⟦f86dd2765⟧

    Length: 3072 (0xc00)
    Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0d2ce3

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 0430       | 0  |		.CONST	0x0430								; 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 8002       |    |		.CONST	0x8002								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0085       |    |		.CONST	0x0085								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0020       |    |		.CONST	0x0020								; Number of locals
000b			INIT_0008:
000b e001       |    |		Load	0x0,0x1
000c 0129       | )  |		Execute	Any,Make_Visible
000d e002       |    |		Load	0x0,0x2
000e 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
000f 0129       | )  |		Execute	Any,Make_Visible
0010 e003       |    |		Load	0x0,0x3
0011 e004       |    |		Load	0x0,0x4
0012 00da       |    |		Load_Top	At_Offset_2
0013 e002       |    |		Load	0x0,0x2
0014 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
0015 487f       |H   |		Short_Literal	0x7f
0016 e005       |    |		Load	0x0,0x5
0017 0386       |    |		Declare_Variable	Package,Visible
0018 00d8       |    |		Load_Top	At_Offset_0
0019 020f       |    |		Execute	Module,Activate
001a 00d8       |    |		Load_Top	At_Offset_0
001b 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
001c 0129       | )  |		Execute	Any,Make_Visible
001d 4800       |H   |		Short_Literal	0x0
001e 4806       |H   |		Short_Literal	0x6
001f 00e1       |    |		Load_Encached	Boolean_Cache
0020 02a0       |    |		Declare_Subprogram	Null_Subprogram
0021 4801       |H   |		Short_Literal	0x1
0022 035e       | ^  |		Declare_Type	Array,Defined,Visible
0023 00d8       |    |		Load_Top	At_Offset_0
0024 0336       | 6  |		Declare_Variable	Array,Visible
0025 00d8       |    |		Load_Top	At_Offset_0
0026 0335       | 5  |		Declare_Variable	Array,Duplicate
0027 00cd       |    |		Action	Spare6_Action
0028 4806       |H   |		Short_Literal	0x6
0029 4800       |H   |		Short_Literal	0x0
002a 4801       |H   |		Short_Literal	0x1
002b 00d9       |    |		Load_Top	At_Offset_1
002c e213       |    |		Load	0x1,0x13
002d 01d6       |    |		Execute	Vector,Field_Write
002e 3ffb       |?   |		Loop_Increasing	0x2a
002f 00d9       |    |		Load_Top	At_Offset_1
0030 01d4       |    |		Execute	Vector,Structure_Write
0031 00d9       |    |		Load_Top	At_Offset_1
0032 0337       | 7  |		Declare_Variable	Array
0033 4801       |H   |		Short_Literal	0x1
0034 4806       |H   |		Short_Literal	0x6
0035 00da       |    |		Load_Top	At_Offset_2
0036 01d6       |    |		Execute	Vector,Field_Write
0037 4805       |H   |		Short_Literal	0x5
0038 4800       |H   |		Short_Literal	0x0
0039 4800       |H   |		Short_Literal	0x0
003a 00d9       |    |		Load_Top	At_Offset_1
003b e213       |    |		Load	0x1,0x13
003c 01d6       |    |		Execute	Vector,Field_Write
003d 3ffb       |?   |		Loop_Increasing	0x39
003e 00da       |    |		Load_Top	At_Offset_2
003f 01c3       |    |		Execute	Vector,Check_In_Type
0040 0129       | )  |		Execute	Any,Make_Visible
0041 00da       |    |		Load_Top	At_Offset_2
0042 0337       | 7  |		Declare_Variable	Array
0043 4801       |H   |		Short_Literal	0x1
0044 4801       |H   |		Short_Literal	0x1
0045 00da       |    |		Load_Top	At_Offset_2
0046 01d6       |    |		Execute	Vector,Field_Write
0047 4801       |H   |		Short_Literal	0x1
0048 4802       |H   |		Short_Literal	0x2
0049 00da       |    |		Load_Top	At_Offset_2
004a 01d6       |    |		Execute	Vector,Field_Write
004b 4801       |H   |		Short_Literal	0x1
004c 4803       |H   |		Short_Literal	0x3
004d 00da       |    |		Load_Top	At_Offset_2
004e 01d6       |    |		Execute	Vector,Field_Write
004f 4800       |H   |		Short_Literal	0x0
0050 4800       |H   |		Short_Literal	0x0
0051 00da       |    |		Load_Top	At_Offset_2
0052 01d6       |    |		Execute	Vector,Field_Write
0053 4806       |H   |		Short_Literal	0x6
0054 4804       |H   |		Short_Literal	0x4
0055 4800       |H   |		Short_Literal	0x0
0056 00d9       |    |		Load_Top	At_Offset_1
0057 e214       |    |		Load	0x1,0x14
0058 01d6       |    |		Execute	Vector,Field_Write
0059 3ffb       |?   |		Loop_Increasing	0x55
005a 00db       |    |		Load_Top	At_Offset_3
005b 01c3       |    |		Execute	Vector,Check_In_Type
005c 0129       | )  |		Execute	Any,Make_Visible
005d 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated
005f 029a 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Outer_Call,Visible,Unelaborated
0061 029a 0143  |   C|		Declare_Subprogram	INIT_0140,For_Outer_Call,Visible,Unelaborated
0063 00bf       |    |		Action	Accept_Activation
0064 e006       |    |		Load	0x0,0x6
0065 e007       |    |		Load	0x0,0x7
0066 e008       |    |		Load	0x0,0x8
0067 1b1a       |    |		Execute	Package,Field_Read,Field_Number 0x1a
0068 e008       |    |		Load	0x0,0x8
0069 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
006a e009       |    |		Load	0x0,0x9
006b 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
006c 0387       |    |		Declare_Variable	Package
006d 00d8       |    |		Load_Top	At_Offset_0
006e 020f       |    |		Execute	Module,Activate
006f a00a       |    |		Store_Unchecked	0x0,0xa
0070 00c6       |    |		Action	Check_Subprogram_Elaborated
0071 e002       |    |		Load	0x0,0x2
0072 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0073 e008       |    |		Load	0x0,0x8
0074 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0075 e00b       |    |		Load	0x0,0xb
0076 e00c       |    |		Load	0x0,0xc
0077 4800       |H   |		Short_Literal	0x0
0078 0007       |    |		Action	Break_Optional
0079 029d 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call
007b 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
007c 00c7       |    |		Action	Elaborate_Subprogram
007d 029d 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call
007f 029d 0203  |    |		Declare_Subprogram	INIT_0200,For_Outer_Call
0081 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0082 00c7       |    |		Action	Elaborate_Subprogram
0083 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0084 00c7       |    |		Action	Elaborate_Subprogram
0085			BODY_0008:
0085 00bc       |    |		Action	Signal_Activated
0086 00bb       |    |		Action	Signal_Completion
0087 0000       |    |		.XXX[0x1]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 009b       |    |		.CONST	0x009b								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0008       |    |		.CONST	0x0008								; Number of locals
008b			INIT_0088:
008b 029f 0233  |   3|		Declare_Subprogram	INIT_0230,For_Call
008d 029f 023b  |   ;|		Declare_Subprogram	INIT_0238,For_Call
008f 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0090 00c6       |    |		Action	Check_Subprogram_Elaborated
0091 4802       |H   |		Short_Literal	0x2
0092 4802       |H   |		Short_Literal	0x2
0093 0099       |    |		Action	Reference_Dynamic
0094 4803       |H   |		Short_Literal	0x3
0095 4802       |H   |		Short_Literal	0x2
0096 0099       |    |		Action	Reference_Dynamic
0097 e00d       |    |		Load	0x0,0xd
0098 e00e       |    |		Load	0x0,0xe
0099 4808       |H   |		Short_Literal	0x8
009a 0007       |    |		Action	Break_Optional
009b			BODY_0088:
009b e5fd       |    |		Load	0x2,-0x3
009c e5fe       |    |		Load	0x2,-0x2
009d e5ff       |    |		Load	0x2,-0x1
009e 4804       |H   |		Short_Literal	0x4
009f 4802       |H   |		Short_Literal	0x2
00a0 0099       |    |		Action	Reference_Dynamic
00a1 4805       |H   |		Short_Literal	0x5
00a2 4802       |H   |		Short_Literal	0x2
00a3 0099       |    |		Action	Reference_Dynamic
00a4 4806       |H   |		Short_Literal	0x6
00a5 4802       |H   |		Short_Literal	0x2
00a6 0099       |    |		Action	Reference_Dynamic
00a7 8216       |    |		Call	0x1,0x16
00a8 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
00a9 0000 0000  |    |		.BLANK	0000[0x7]
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00c5       |    |		.CONST	0x00c5								; Address of begin
00b1 0004       |    |		.CONST	0x0004								; Address of exception handler
00b2 0007       |    |		.CONST	0x0007								; Number of locals
00b3			INIT_00b0:
00b3 00ec       |    |		Load_Encached	Diana_Tree_Cache
00b4 e002       |    |		Load	0x0,0x2
00b5 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00b6 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00b7 02c7       |    |		Declare_Variable	Any
00b8 00d8       |    |		Load_Top	At_Offset_0
00b9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00ba e002       |    |		Load	0x0,0x2
00bb 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00bc e002       |    |		Load	0x0,0x2
00bd 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
00be 02ff       |    |		Declare_Variable	Variant_Record
00bf 00d8       |    |		Load_Top	At_Offset_0
00c0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c1 029f 024b  |   K|		Declare_Subprogram	INIT_0248,For_Call
00c3 029f 0343  |   C|		Declare_Subprogram	INIT_0340,For_Call
00c5			BODY_00b0:
00c5 e5fc       |    |		Load	0x2,-0x4
00c6 e002       |    |		Load	0x0,0x2
00c7 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00c8 e00f       |    |		Load	0x0,0xf
00c9 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00ca 027f       |    |		Execute	Discrete,Equal
00cb 7007       |p   |		Jump_Nonzero	0xd3
00cc e5fc       |    |		Load	0x2,-0x4
00cd e002       |    |		Load	0x0,0x2
00ce 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00cf e00f       |    |		Load	0x0,0xf
00d0 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00d1 027f       |    |		Execute	Discrete,Equal
00d2 681a       |h   |		Jump_Zero	0xed
00d3 e5fc       |    |		Load	0x2,-0x4
00d4 821f       |    |		Call	0x1,0x1f
00d5 00db       |    |		Load_Top	At_Offset_3
00d6 016d       | m  |		Execute	Variant_Record,Structure_Write
00d7 00da       |    |		Load_Top	At_Offset_2
00d8 e002       |    |		Load	0x0,0x2
00d9 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00da 7011       |p   |		Jump_Nonzero	0xec
00db 00cf       |    |		Action	Mark_Auxiliary
00dc 4806       |H   |		Short_Literal	0x6
00dd 4800       |H   |		Short_Literal	0x0
00de 0007       |    |		Action	Break_Optional
00df 00d8       |    |		Load_Top	At_Offset_0
00e0 e5fb       |    |		Load	0x2,-0x5
00e1 01d7       |    |		Execute	Vector,Field_Read
00e2 6806       |h   |		Jump_Zero	0xe9
00e3 e5fa       |    |		Load	0x2,-0x6
00e4 e405       |    |		Load	0x2,0x5
00e5 e5fc       |    |		Load	0x2,-0x4
00e6 e5fb       |    |		Load	0x2,-0x5
00e7 e40a       |    |		Load	0x2,0xa
00e8 8407       |    |		Call	0x2,0x7
00e9 00c8       |    |		Action	Pop_Auxiliary_Range
00ea 3ff4       |?   |		Loop_Increasing	0xdf
00eb 00ce       |    |		Action	Pop_Auxiliary
00ec 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00ed e5fc       |    |		Load	0x2,-0x4
00ee e002       |    |		Load	0x0,0x2
00ef 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00f0 7008       |p   |		Jump_Nonzero	0xf9
00f1 e002       |    |		Load	0x0,0x2
00f2 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00f3 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
00f4 e5fc       |    |		Load	0x2,-0x4
00f5 e002       |    |		Load	0x0,0x2
00f6 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00f7 012e       | .  |		Execute	Any,Not_Equal
00f8 6801       |h   |		Jump_Zero	0xfa
00f9 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00fa e002       |    |		Load	0x0,0x2
00fb 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00fc e403       |    |		Load	0x2,0x3
00fd 0120       |    |		Execute	Any,Is_Value
00fe 6804       |h   |		Jump_Zero	0x103
00ff e002       |    |		Load	0x0,0x2
0100 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0101 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0102 7801       |x   |		Jump	0x104
0103 e403       |    |		Load	0x2,0x3
0104 e002       |    |		Load	0x0,0x2
0105 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0106 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0107 6030       |`0  |		Indirect_Literal	Discrete,0x138,{0x00000000, 0x00004000}
0108 4801       |H   |		Short_Literal	0x1
0109 4800       |H   |		Short_Literal	0x0
010a 4800       |H   |		Short_Literal	0x0
010b e5fa       |    |		Load	0x2,-0x6
010c 4801       |H   |		Short_Literal	0x1
010d e5fc       |    |		Load	0x2,-0x4
010e e002       |    |		Load	0x0,0x2
010f 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0110 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0111 e002       |    |		Load	0x0,0x2
0112 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0113 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
0114 c402       |    |		Store	0x2,0x2
0115 c403       |    |		Store	0x2,0x3
0116 c404       |    |		Store	0x2,0x4
0117 00db       |    |		Load_Top	At_Offset_3
0118 680a       |h   |		Jump_Zero	0x123
0119 4800       |H   |		Short_Literal	0x0
011a 0092 03d0  |    |		Action	Push_String_Extended,0x3d0					; "Couldn't open ada unit "
011c e5fc       |    |		Load	0x2,-0x4
011d e002       |    |		Load	0x0,0x2
011e 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
011f 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0120 01cc       |    |		Execute	Vector,Catenate
0121 821e       |    |		Call	0x1,0x1e
0122 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0123 00cf       |    |		Action	Mark_Auxiliary
0124 4806       |H   |		Short_Literal	0x6
0125 4800       |H   |		Short_Literal	0x0
0126 0007       |    |		Action	Break_Optional
0127 00d8       |    |		Load_Top	At_Offset_0
0128 e5fb       |    |		Load	0x2,-0x5
0129 01d7       |    |		Execute	Vector,Field_Read
012a 6806       |h   |		Jump_Zero	0x131
012b e5fa       |    |		Load	0x2,-0x6
012c e5fc       |    |		Load	0x2,-0x4
012d e5fb       |    |		Load	0x2,-0x5
012e 00db       |    |		Load_Top	At_Offset_3
012f e402       |    |		Load	0x2,0x2
0130 8406       |    |		Call	0x2,0x6
0131 00c8       |    |		Action	Pop_Auxiliary_Range
0132 3ff4       |?   |		Loop_Increasing	0x127
0133 00ce       |    |		Action	Pop_Auxiliary
0134 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0135 0000 0000  |    |		.XXX[0x3]
0137 0000       |    |
0138 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
013c 0000 0000  |    |		.BLANK	0000[0x4]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0151       | Q  |		.CONST	0x0151								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0005       |    |		.CONST	0x0005								; Number of locals
0143			INIT_0140:
0143 e002       |    |		Load	0x0,0x2
0144 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0145 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
0146 02c7       |    |		Declare_Variable	Any
0147 00d8       |    |		Load_Top	At_Offset_0
0148 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0149 e002       |    |		Load	0x0,0x2
014a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
014b e20e       |    |		Load	0x1,0xe
014c 02c7       |    |		Declare_Variable	Any
014d 00d8       |    |		Load_Top	At_Offset_0
014e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
014f 029f 03c3  |    |		Declare_Subprogram	INIT_03c0,For_Call
0151			BODY_0140:
0151 8405       |    |		Call	0x2,0x5
0152 e5fc       |    |		Load	0x2,-0x4
0153 e5fd       |    |		Load	0x2,-0x3
0154 85fe       |    |		Call	0x2,-0x2
0155 e002       |    |		Load	0x0,0x2
0156 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0157 e402       |    |		Load	0x2,0x2
0158 0120       |    |		Execute	Any,Is_Value
0159 6804       |h   |		Jump_Zero	0x15e
015a e002       |    |		Load	0x0,0x2
015b 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
015c 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
015d 7801       |x   |		Jump	0x15f
015e e402       |    |		Load	0x2,0x2
015f 67d8       |g   |		Indirect_Literal	Discrete,0x138,{0x00000000, 0x00004000}
0160 e5fc       |    |		Load	0x2,-0x4
0161 e5fd       |    |		Load	0x2,-0x3
0162 e002       |    |		Load	0x0,0x2
0163 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0164 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0165 e002       |    |		Load	0x0,0x2
0166 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0167 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0168 c402       |    |		Store	0x2,0x2
0169 005b       | [  |		Store_Top	Discrete,At_Offset_3
016a 00da       |    |		Load_Top	At_Offset_2
016b 6818       |h   |		Jump_Zero	0x184
016c 00da       |    |		Load_Top	At_Offset_2
016d 0e08       |    |		Execute_Immediate	Not_Equal,0x8
016e 6814       |h   |		Jump_Zero	0x183
016f 4800       |H   |		Short_Literal	0x0
0170 e5fb       |    |		Load	0x2,-0x5
0171 0092 03d1  |    |		Action	Push_String_Extended,0x3d1					; " "
0173 01cc       |    |		Execute	Vector,Catenate
0174 e403       |    |		Load	0x2,0x3
0175 e002       |    |		Load	0x0,0x2
0176 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0177 011c       |    |		Execute	Any,Convert_Unchecked
0178 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0179 01cc       |    |		Execute	Vector,Catenate
017a 0092 03d2  |    |		Action	Push_String_Extended,0x3d2					; " returned traversing "
017c 01cc       |    |		Execute	Vector,Catenate
017d e5fd       |    |		Load	0x2,-0x3
017e e002       |    |		Load	0x0,0x2
017f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0180 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0181 01cc       |    |		Execute	Vector,Catenate
0182 821e       |    |		Call	0x1,0x1e
0183 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0184 00cf       |    |		Action	Mark_Auxiliary
0185 781e       |x   |		Jump	0x1a4
0186 e402       |    |		Load	0x2,0x2
0187 e002       |    |		Load	0x0,0x2
0188 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0189 1834       | 4  |		Execute	Package,Field_Execute,Field_Number 0x34
018a c404       |    |		Store	0x2,0x4
018b 00da       |    |		Load_Top	At_Offset_2
018c e002       |    |		Load	0x0,0x2
018d 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
018e 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
018f 680b       |h   |		Jump_Zero	0x19b
0190 e5fb       |    |		Load	0x2,-0x5
0191 e5fc       |    |		Load	0x2,-0x4
0192 e404       |    |		Load	0x2,0x4
0193 4ffe       |O   |		Short_Literal	-0x2
0194 4802       |H   |		Short_Literal	0x2
0195 0099       |    |		Action	Reference_Dynamic
0196 4fff       |O   |		Short_Literal	-0x1
0197 4802       |H   |		Short_Literal	0x2
0198 0099       |    |		Action	Reference_Dynamic
0199 8217       |    |		Call	0x1,0x17
019a 7803       |x   |		Jump	0x19e
019b e5fc       |    |		Load	0x2,-0x4
019c 00db       |    |		Load_Top	At_Offset_3
019d 85fe       |    |		Call	0x2,-0x2
019e e402       |    |		Load	0x2,0x2
019f e002       |    |		Load	0x0,0x2
01a0 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01a1 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
01a2 c402       |    |		Store	0x2,0x2
01a3 00c9       |    |		Action	Pop_Auxiliary_Loop
01a4 e402       |    |		Load	0x2,0x2
01a5 e002       |    |		Load	0x0,0x2
01a6 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01a7 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
01a8 6fdd       |o   |		Jump_Zero	0x186
01a9 00ce       |    |		Action	Pop_Auxiliary
01aa 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
01ab 0000 0000  |    |		.BLANK	0000[0x5]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01b3       |    |		.CONST	0x01b3								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0001       |    |		.CONST	0x0001								; Number of locals
01b3			BODY_01b0:
01b3			INIT_01b0:
01b3 e010       |    |		Load	0x0,0x10
01b4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01b5 4807       |H   |		Short_Literal	0x7
01b6 e5ff       |    |		Load	0x2,-0x1
01b7 e011       |    |		Load	0x0,0x11
01b8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01b9 00db       |    |		Load_Top	At_Offset_3
01ba 6802       |h   |		Jump_Zero	0x1bd
01bb e20d       |    |		Load	0x1,0xd
01bc 0257       | W  |		Execute	Discrete,Raise
01bd 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01be 0000 0000  |    |		.XXX[0x2]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01d0       |    |		.CONST	0x01d0								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0005       |    |		.CONST	0x0005								; Number of locals
01c3			INIT_01c0:
01c3 e002       |    |		Load	0x0,0x2
01c4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01c5 02ff       |    |		Declare_Variable	Variant_Record
01c6 00d8       |    |		Load_Top	At_Offset_0
01c7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01c8 e002       |    |		Load	0x0,0x2
01c9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ca 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01cb e002       |    |		Load	0x0,0x2
01cc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01cd e002       |    |		Load	0x0,0x2
01ce 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01cf 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01d0			BODY_01c0:
01d0 e002       |    |		Load	0x0,0x2
01d1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d2 e002       |    |		Load	0x0,0x2
01d3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d4 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01d5 6022       |`"  |		Indirect_Literal	Discrete,0x1f8,{0x00000000, 0x00004000}
01d6 e012       |    |		Load	0x0,0x12
01d7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01d8 4800       |H   |		Short_Literal	0x0
01d9 e5ff       |    |		Load	0x2,-0x1
01da e002       |    |		Load	0x0,0x2
01db 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01dc 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01dd 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
01de 005a       | Z  |		Store_Top	Discrete,At_Offset_2
01df e002       |    |		Load	0x0,0x2
01e0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01e1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01e2 e402       |    |		Load	0x2,0x2
01e3 6014       |`   |		Indirect_Literal	Discrete,0x1f8,{0x00000000, 0x00004000}
01e4 e012       |    |		Load	0x0,0x12
01e5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01e6 4800       |H   |		Short_Literal	0x0
01e7 e405       |    |		Load	0x2,0x5
01e8 0092 03d3  |    |		Action	Push_String_Extended,0x3d3					; "?.code_database"
01ea e002       |    |		Load	0x0,0x2
01eb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ec 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
01ed 00d1       |    |		Pop_Control	Pop_Count_1
01ee 005b       | [  |		Store_Top	Discrete,At_Offset_3
01ef 00d9       |    |		Load_Top	At_Offset_1
01f0 7002       |p   |		Jump_Nonzero	0x1f3
01f1 00da       |    |		Load_Top	At_Offset_2
01f2 6803       |h   |		Jump_Zero	0x1f6
01f3 e002       |    |		Load	0x0,0x2
01f4 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
01f5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01f6 00db       |    |		Load_Top	At_Offset_3
01f7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01f8 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
01fc 0000 0000  |    |		.BLANK	0000[0x4]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 020c       |    |		.CONST	0x020c								; Address of begin
0201 0004       |    |		.CONST	0x0004								; Address of exception handler
0202 0006       |    |		.CONST	0x0006								; Number of locals
0203			INIT_0200:
0203 e008       |    |		Load	0x0,0x8
0204 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
0205 e013       |    |		Load	0x0,0x13
0206 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
0207 e009       |    |		Load	0x0,0x9
0208 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0209 e008       |    |		Load	0x0,0x8
020a 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
020b 00ec       |    |		Load_Encached	Diana_Tree_Cache
020c			BODY_0200:
020c e008       |    |		Load	0x0,0x8
020d 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
020e e008       |    |		Load	0x0,0x8
020f 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
0210 4801       |H   |		Short_Literal	0x1
0211 e5fe       |    |		Load	0x2,-0x2
0212 e5ff       |    |		Load	0x2,-0x1
0213 e008       |    |		Load	0x0,0x8
0214 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0215 c402       |    |		Store	0x2,0x2
0216 005a       | Z  |		Store_Top	Discrete,At_Offset_2
0217 00d9       |    |		Load_Top	At_Offset_1
0218 6802       |h   |		Jump_Zero	0x21b
0219 00ec       |    |		Load_Encached	Diana_Tree_Cache
021a 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
021b e402       |    |		Load	0x2,0x2
021c e218       |    |		Load	0x1,0x18
021d 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
021e a403       |    |		Store_Unchecked	0x2,0x3
021f e402       |    |		Load	0x2,0x2
0220 e218       |    |		Load	0x1,0x18
0221 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0222 0053       | S  |		Store_Top_Uncheched	Discrete,At_Offset_3
0223 00da       |    |		Load_Top	At_Offset_2
0224 e403       |    |		Load	0x2,0x3
0225 497d       |I}  |		Short_Literal	0x17d
0226 00eb       |    |		Load_Encached	Diana_Cache
0227 0096       |    |		Execute	Package,Entry
0228 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0229 00d8       |    |		Load_Top	At_Offset_0
022a 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
022b 0000 0000  |    |		.BLANK	0000[0x5]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 0233       | 3  |		.CONST	0x0233								; Address of begin
0231 0004       |    |		.CONST	0x0004								; Address of exception handler
0232 0001       |    |		.CONST	0x0001								; Number of locals
0233			BODY_0230:
0233			INIT_0230:
0233 00db       |    |		Load_Top	At_Offset_3
0234 e5fc       |    |		Load	0x2,-0x4
0235 e20f       |    |		Load	0x1,0xf
0236 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
0237 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; --------------------------------------------------------------------------------------
0238 023b       | ;  |		.CONST	0x023b								; Address of begin
0239 0004       |    |		.CONST	0x0004								; Address of exception handler
023a 0001       |    |		.CONST	0x0001								; Number of locals
023b			BODY_0238:
023b			INIT_0238:
023b e5fc       |    |		Load	0x2,-0x4
023c e7fe       |    |		Load	0x3,-0x2
023d e20f       |    |		Load	0x1,0xf
023e 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
023f c5fc       |    |		Store	0x2,-0x4
0240 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0241 0000 0000  |    |		.BLANK	0000[0x7]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 0272       | r  |		.CONST	0x0272								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 000b       |    |		.CONST	0x000b								; Number of locals
024b			INIT_0248:
024b e002       |    |		Load	0x0,0x2
024c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
024d e014       |    |		Load	0x0,0x14
024e 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
024f 02c7       |    |		Declare_Variable	Any
0250 00d8       |    |		Load_Top	At_Offset_0
0251 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0252 00ec       |    |		Load_Encached	Diana_Tree_Cache
0253 e002       |    |		Load	0x0,0x2
0254 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0255 02ff       |    |		Declare_Variable	Variant_Record
0256 00d8       |    |		Load_Top	At_Offset_0
0257 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0258 e002       |    |		Load	0x0,0x2
0259 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
025a 02c7       |    |		Declare_Variable	Any
025b 00d8       |    |		Load_Top	At_Offset_0
025c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
025d e002       |    |		Load	0x0,0x2
025e 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
025f 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0260 e002       |    |		Load	0x0,0x2
0261 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0262 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0263 02c7       |    |		Declare_Variable	Any
0264 00d8       |    |		Load_Top	At_Offset_0
0265 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0266 e002       |    |		Load	0x0,0x2
0267 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0268 e002       |    |		Load	0x0,0x2
0269 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
026a 02ff       |    |		Declare_Variable	Variant_Record
026b 00d8       |    |		Load_Top	At_Offset_0
026c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
026d e002       |    |		Load	0x0,0x2
026e 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
026f 02ff       |    |		Declare_Variable	Variant_Record
0270 00d8       |    |		Load_Top	At_Offset_0
0271 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0272			BODY_0248:
0272 e7ff       |    |		Load	0x3,-0x1
0273 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0274 0fa8       |    |		Execute_Immediate	Equal,-0x58
0275 6805       |h   |		Jump_Zero	0x27b
0276 e7ff       |    |		Load	0x3,-0x1
0277 e002       |    |		Load	0x0,0x2
0278 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0279 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
027a 680d       |h   |		Jump_Zero	0x288
027b e010       |    |		Load	0x0,0x10
027c 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
027d 4801       |H   |		Short_Literal	0x1
027e 0092 03d4  |    |		Action	Push_String_Extended,0x3d4					; "Skipping source state unit "
0280 e7fc       |    |		Load	0x3,-0x4
0281 e002       |    |		Load	0x0,0x2
0282 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0283 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0284 01cc       |    |		Execute	Vector,Catenate
0285 e011       |    |		Load	0x0,0x11
0286 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0287 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0288 e7fe       |    |		Load	0x3,-0x2
0289 0f06       |    |		Execute_Immediate	Equal,0x6
028a 6861       |ha  |		Jump_Zero	0x2ec
028b e002       |    |		Load	0x0,0x2
028c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
028d 00da       |    |		Load_Top	At_Offset_2
028e e7ff       |    |		Load	0x3,-0x1
028f e002       |    |		Load	0x0,0x2
0290 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0291 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0292 00d1       |    |		Pop_Control	Pop_Count_1
0293 005b       | [  |		Store_Top	Discrete,At_Offset_3
0294 00d9       |    |		Load_Top	At_Offset_1
0295 e002       |    |		Load	0x0,0x2
0296 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0297 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0298 7053       |pS  |		Jump_Nonzero	0x2ec
0299 e010       |    |		Load	0x0,0x10
029a 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
029b 4801       |H   |		Short_Literal	0x1
029c 0092 03d5  |    |		Action	Push_String_Extended,0x3d5					; "Getting other part for "
029e e7fc       |    |		Load	0x3,-0x4
029f e002       |    |		Load	0x0,0x2
02a0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02a1 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02a2 01cc       |    |		Execute	Vector,Catenate
02a3 e011       |    |		Load	0x0,0x11
02a4 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02a5 e002       |    |		Load	0x0,0x2
02a6 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02a7 00d9       |    |		Load_Top	At_Offset_1
02a8 6093       |`   |		Indirect_Literal	Discrete,0x33c,{0x00000000, 0x00004000}
02a9 e7fb       |    |		Load	0x3,-0x5
02aa e60a       |    |		Load	0x3,0xa
02ab e002       |    |		Load	0x0,0x2
02ac 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02ad 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02ae 00d1       |    |		Pop_Control	Pop_Count_1
02af 005b       | [  |		Store_Top	Discrete,At_Offset_3
02b0 e002       |    |		Load	0x0,0x2
02b1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02b2 e608       |    |		Load	0x3,0x8
02b3 0120       |    |		Execute	Any,Is_Value
02b4 6804       |h   |		Jump_Zero	0x2b9
02b5 e002       |    |		Load	0x0,0x2
02b6 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02b7 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02b8 7801       |x   |		Jump	0x2ba
02b9 e608       |    |		Load	0x3,0x8
02ba e002       |    |		Load	0x0,0x2
02bb 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02bc 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
02bd 00db       |    |		Load_Top	At_Offset_3
02be 607d       |`}  |		Indirect_Literal	Discrete,0x33c,{0x00000000, 0x00004000}
02bf 4801       |H   |		Short_Literal	0x1
02c0 4800       |H   |		Short_Literal	0x0
02c1 e7fb       |    |		Load	0x3,-0x5
02c2 4801       |H   |		Short_Literal	0x1
02c3 e002       |    |		Load	0x0,0x2
02c4 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02c5 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
02c6 00d1       |    |		Pop_Control	Pop_Count_1
02c7 c607       |    |		Store	0x3,0x7
02c8 c608       |    |		Store	0x3,0x8
02c9 005b       | [  |		Store_Top	Discrete,At_Offset_3
02ca 00da       |    |		Load_Top	At_Offset_2
02cb 680a       |h   |		Jump_Zero	0x2d6
02cc 4800       |H   |		Short_Literal	0x0
02cd 0092 03d6  |    |		Action	Push_String_Extended,0x3d6					; "Couldn't open ada unit for spec of "
02cf e7fc       |    |		Load	0x3,-0x4
02d0 e002       |    |		Load	0x0,0x2
02d1 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02d2 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02d3 01cc       |    |		Execute	Vector,Catenate
02d4 821e       |    |		Call	0x1,0x1e
02d5 7816       |x   |		Jump	0x2ec
02d6 e7ff       |    |		Load	0x3,-0x1
02d7 e607       |    |		Load	0x3,0x7
02d8 021f       |    |		Execute	Heap_Access,Equal
02d9 7012       |p   |		Jump_Nonzero	0x2ec
02da e010       |    |		Load	0x0,0x10
02db 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02dc 4801       |H   |		Short_Literal	0x1
02dd e7fc       |    |		Load	0x3,-0x4
02de e002       |    |		Load	0x0,0x2
02df 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02e0 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02e1 0092 03d7  |    |		Action	Push_String_Extended,0x3d7					; " is a body: check its spec"
02e3 01cc       |    |		Execute	Vector,Catenate
02e4 e011       |    |		Load	0x0,0x11
02e5 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02e6 e7fb       |    |		Load	0x3,-0x5
02e7 e7fc       |    |		Load	0x3,-0x4
02e8 e7fd       |    |		Load	0x3,-0x3
02e9 e7fe       |    |		Load	0x3,-0x2
02ea e607       |    |		Load	0x3,0x7
02eb 8406       |    |		Call	0x2,0x6
02ec e7ff       |    |		Load	0x3,-0x1
02ed 4976       |Iv  |		Short_Literal	0x176
02ee 00eb       |    |		Load_Encached	Diana_Cache
02ef 0098       |    |		Execute	Package,Field_Read_Dynamic
02f0 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
02f1 a604       |    |		Store_Unchecked	0x3,0x4
02f2 e015       |    |		Load	0x0,0x15
02f3 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02f4 e016       |    |		Load	0x0,0x16
02f5 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02f6 e7fb       |    |		Load	0x3,-0x5
02f7 e604       |    |		Load	0x3,0x4
02f8 e7fe       |    |		Load	0x3,-0x2
02f9 e014       |    |		Load	0x0,0x14
02fa 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
02fb c603       |    |		Store	0x3,0x3
02fc 00cf       |    |		Action	Mark_Auxiliary
02fd 7837       |x7  |		Jump	0x335
02fe e603       |    |		Load	0x3,0x3
02ff e014       |    |		Load	0x0,0x14
0300 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0301 e605       |    |		Load	0x3,0x5
0302 016d       | m  |		Execute	Variant_Record,Structure_Write
0303 e002       |    |		Load	0x0,0x2
0304 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0305 e606       |    |		Load	0x3,0x6
0306 0120       |    |		Execute	Any,Is_Value
0307 6803       |h   |		Jump_Zero	0x30b
0308 e002       |    |		Load	0x0,0x2
0309 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
030a 7801       |x   |		Jump	0x30c
030b e606       |    |		Load	0x3,0x6
030c 602f       |`/  |		Indirect_Literal	Discrete,0x33c,{0x00000000, 0x00004000}
030d e7fb       |    |		Load	0x3,-0x5
030e e605       |    |		Load	0x3,0x5
030f e002       |    |		Load	0x0,0x2
0310 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0311 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0312 c606       |    |		Store	0x3,0x6
0313 c602       |    |		Store	0x3,0x2
0314 e602       |    |		Load	0x3,0x2
0315 701a       |p   |		Jump_Nonzero	0x330
0316 e605       |    |		Load	0x3,0x5
0317 e002       |    |		Load	0x0,0x2
0318 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0319 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
031a 6815       |h   |		Jump_Zero	0x330
031b e7fc       |    |		Load	0x3,-0x4
031c e606       |    |		Load	0x3,0x6
031d 85fd       |    |		Call	0x2,-0x3
031e 7011       |p   |		Jump_Nonzero	0x330
031f e7fb       |    |		Load	0x3,-0x5
0320 e7fd       |    |		Load	0x3,-0x3
0321 e606       |    |		Load	0x3,0x6
0322 4ffd       |O   |		Short_Literal	-0x3
0323 4802       |H   |		Short_Literal	0x2
0324 0099       |    |		Action	Reference_Dynamic
0325 4ffe       |O   |		Short_Literal	-0x2
0326 4802       |H   |		Short_Literal	0x2
0327 0099       |    |		Action	Reference_Dynamic
0328 4fff       |O   |		Short_Literal	-0x1
0329 4802       |H   |		Short_Literal	0x2
032a 0099       |    |		Action	Reference_Dynamic
032b 8216       |    |		Call	0x1,0x16
032c e7fb       |    |		Load	0x3,-0x5
032d e606       |    |		Load	0x3,0x6
032e e7fc       |    |		Load	0x3,-0x4
032f 85fe       |    |		Call	0x2,-0x2
0330 e603       |    |		Load	0x3,0x3
0331 e014       |    |		Load	0x0,0x14
0332 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0333 c603       |    |		Store	0x3,0x3
0334 00c9       |    |		Action	Pop_Auxiliary_Loop
0335 e603       |    |		Load	0x3,0x3
0336 e014       |    |		Load	0x0,0x14
0337 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0338 6fc5       |o   |		Jump_Zero	0x2fe
0339 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
033a 0000 0000  |    |		.XXX[0x2]
033c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0340 ; --------------------------------------------------------------------------------------
0340 ; SUBPROGRAM
0340 ; --------------------------------------------------------------------------------------
0340 0362       | b  |		.CONST	0x0362								; Address of begin
0341 0004       |    |		.CONST	0x0004								; Address of exception handler
0342 0008       |    |		.CONST	0x0008								; Number of locals
0343			INIT_0340:
0343 e008       |    |		Load	0x0,0x8
0344 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0345 02ff       |    |		Declare_Variable	Variant_Record
0346 e7fc       |    |		Load	0x3,-0x4
0347 e219       |    |		Load	0x1,0x19
0348 e21a       |    |		Load	0x1,0x1a
0349 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
034a 800a       |    |		Call	0x0,0xa
034b 00d9       |    |		Load_Top	At_Offset_1
034c 016d       | m  |		Execute	Variant_Record,Structure_Write
034d e002       |    |		Load	0x0,0x2
034e 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
034f 02c7       |    |		Declare_Variable	Any
0350 00d8       |    |		Load_Top	At_Offset_0
0351 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0352 e002       |    |		Load	0x0,0x2
0353 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0354 e002       |    |		Load	0x0,0x2
0355 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0356 02ff       |    |		Declare_Variable	Variant_Record
0357 00d8       |    |		Load_Top	At_Offset_0
0358 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0359 e014       |    |		Load	0x0,0x14
035a 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
035b 02c7       |    |		Declare_Variable	Any
035c 00d8       |    |		Load_Top	At_Offset_0
035d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
035e 00ec       |    |		Load_Encached	Diana_Tree_Cache
035f e014       |    |		Load	0x0,0x14
0360 1b61       | a  |		Execute	Package,Field_Read,Field_Number 0x61
0361 0337       | 7  |		Declare_Variable	Array
0362			BODY_0340:
0362 00cf       |    |		Action	Mark_Auxiliary
0363 00d9       |    |		Load_Top	At_Offset_1
0364 01d9       |    |		Execute	Vector,Reverse_Bounds
0365 0007       |    |		Action	Break_Optional
0366 00d8       |    |		Load_Top	At_Offset_0
0367 e7fe       |    |		Load	0x3,-0x2
0368 01d7       |    |		Execute	Vector,Field_Read
0369 00d9       |    |		Load_Top	At_Offset_1
036a e608       |    |		Load	0x3,0x8
036b 01d6       |    |		Execute	Vector,Field_Write
036c 00c8       |    |		Action	Pop_Auxiliary_Range
036d 3ff8       |?   |		Loop_Increasing	0x366
036e 00ce       |    |		Action	Pop_Auxiliary
036f e015       |    |		Load	0x0,0x15
0370 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0371 e016       |    |		Load	0x0,0x16
0372 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0373 e7fb       |    |		Load	0x3,-0x5
0374 00da       |    |		Load_Top	At_Offset_2
0375 e7fb       |    |		Load	0x3,-0x5
0376 e602       |    |		Load	0x3,0x2
0377 8220       |    |		Call	0x1,0x20
0378 e014       |    |		Load	0x0,0x14
0379 1863       | c  |		Execute	Package,Field_Execute,Field_Number 0x63
037a c606       |    |		Store	0x3,0x6
037b 00cf       |    |		Action	Mark_Auxiliary
037c 7838       |x8  |		Jump	0x3b5
037d 00db       |    |		Load_Top	At_Offset_3
037e e014       |    |		Load	0x0,0x14
037f 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0380 e605       |    |		Load	0x3,0x5
0381 016d       | m  |		Execute	Variant_Record,Structure_Write
0382 e002       |    |		Load	0x0,0x2
0383 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0384 e603       |    |		Load	0x3,0x3
0385 0120       |    |		Execute	Any,Is_Value
0386 6803       |h   |		Jump_Zero	0x38a
0387 e002       |    |		Load	0x0,0x2
0388 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0389 7801       |x   |		Jump	0x38b
038a e603       |    |		Load	0x3,0x3
038b 67b0       |g   |		Indirect_Literal	Discrete,0x33c,{0x00000000, 0x00004000}
038c e7fb       |    |		Load	0x3,-0x5
038d e605       |    |		Load	0x3,0x5
038e e002       |    |		Load	0x0,0x2
038f 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0390 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0391 c603       |    |		Store	0x3,0x3
0392 c604       |    |		Store	0x3,0x4
0393 e604       |    |		Load	0x3,0x4
0394 701b       |p   |		Jump_Nonzero	0x3b0
0395 e605       |    |		Load	0x3,0x5
0396 e002       |    |		Load	0x0,0x2
0397 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0398 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0399 6816       |h   |		Jump_Zero	0x3b0
039a e7fd       |    |		Load	0x3,-0x3
039b e603       |    |		Load	0x3,0x3
039c 85fd       |    |		Call	0x2,-0x3
039d 7012       |p   |		Jump_Nonzero	0x3b0
039e e7fb       |    |		Load	0x3,-0x5
039f e7fe       |    |		Load	0x3,-0x2
03a0 e603       |    |		Load	0x3,0x3
03a1 4ffd       |O   |		Short_Literal	-0x3
03a2 4802       |H   |		Short_Literal	0x2
03a3 0099       |    |		Action	Reference_Dynamic
03a4 4ffe       |O   |		Short_Literal	-0x2
03a5 4802       |H   |		Short_Literal	0x2
03a6 0099       |    |		Action	Reference_Dynamic
03a7 4fff       |O   |		Short_Literal	-0x1
03a8 4802       |H   |		Short_Literal	0x2
03a9 0099       |    |		Action	Reference_Dynamic
03aa 8216       |    |		Call	0x1,0x16
03ab e7fb       |    |		Load	0x3,-0x5
03ac e603       |    |		Load	0x3,0x3
03ad e002       |    |		Load	0x0,0x2
03ae 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
03af 85fe       |    |		Call	0x2,-0x2
03b0 00db       |    |		Load_Top	At_Offset_3
03b1 e014       |    |		Load	0x0,0x14
03b2 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
03b3 c606       |    |		Store	0x3,0x6
03b4 00c9       |    |		Action	Pop_Auxiliary_Loop
03b5 00db       |    |		Load_Top	At_Offset_3
03b6 e014       |    |		Load	0x0,0x14
03b7 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
03b8 6fc4       |o   |		Jump_Zero	0x37d
03b9 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03ba 0000 0000  |    |		.BLANK	0000[0x6]
03c0 ; --------------------------------------------------------------------------------------
03c0 ; SUBPROGRAM
03c0 ; --------------------------------------------------------------------------------------
03c0 03c3       |    |		.CONST	0x03c3								; Address of begin
03c1 03cd       |    |		.CONST	0x03cd								; Address of exception handler
03c2 0001       |    |		.CONST	0x0001								; Number of locals
03c3			BODY_03c0:
03c3			INIT_03c0:
03c3 e5fd       |    |		Load	0x2,-0x3
03c4 e002       |    |		Load	0x0,0x2
03c5 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
03c6 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03c7 e002       |    |		Load	0x0,0x2
03c8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03c9 6802       |h   |		Jump_Zero	0x3cc
03ca 00cc       |    |		Action	Pop_Block
03cb 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03cc 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03cd			TRAP_03c0:
03cd 0007       |    |		Action	Break_Optional
03ce 00cc       |    |		Action	Pop_Block
03cf 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03d0 ; --------------------------------------------------------------------------------------
03d0 ; STRING TABLE
03d0 ; --------------------------------------------------------------------------------------
03d0 0012       |    |		.STRTAB	0x0012->0x03d9							; "Couldn't open ada unit "
03d1 0027       | '  |		.STRTAB	0x0027->0x03e4							; " "
03d2 0026       | &  |		.STRTAB	0x0026->0x03e5							; " returned traversing "
03d3 0039       | 9  |		.STRTAB	0x0039->0x03ef							; "?.code_database"
03d4 0046       | F  |		.STRTAB	0x0046->0x03f7							; "Skipping source state unit "
03d5 005f       | _  |		.STRTAB	0x005f->0x0404							; "Getting other part for "
03d6 0074       | t  |		.STRTAB	0x0074->0x0410							; "Couldn't open ada unit for spec of "
03d7 0095       |    |		.STRTAB	0x0095->0x0421							; " is a body: check its spec"
03d8 00ad       |    |		.STREND 0x00ad->0x042e
03d9 436f 756c  |Coul|		.STRTAB_STRINGS
042f 0000       |    |		.XXX[0x1]
0430 ; --------------------------------------------------------------------------------------
0430 ; Debug Table
0430 ; --------------------------------------------------------------------------------------
0430 0004 0000  |    |		.DEBUG4	0x0004,0x0000,0x786f,0x0000,0x0001,0x0000
0436 0000 0004  |    |		.XXX[0x18]
0438 0000 0000  |    |
043a 0000 0003  |    |
043c fffe 0000  |    |
043e 0000 0004  |    |
0440 0000 0000  |    |
0442 0001 ffff  |    |
0444 fffc 030c  |    |
0446 0010 0004  |    |
0448 036c 036d  | l m|
044a 200b 8870  |   p|
044c 5c3d 140c  |\=  |
044e 0000 0000  |    |		.BLANK	0000[0x7]
0455 034c 0010  | L  |		.XXX[0x9]
0457 0004 0368  |   h|
0459 089c 9418  |    |
045b 0cd4 0335  |   5|
045d 1004       |    |
045e 0000 0000  |    |		.BLANK	0000[0x7]
0465 038c 0010  |    |		.XXX[0x9]
0467 0004 0368  |   h|
0469 089c 941c  |    |
046b 0cd4 0335  |   5|
046d 1004       |    |
046e 0000 0000  |    |		.BLANK	0000[0x7]
0475 03cc 0010  |    |		.XXX[0x14]
0477 0004 0368  |   h|
0479 089c b011  |    |
047b 1004 0000  |    |
047d 03ec 0010  |    |
047f 0004 0368  |   h|
0481 089c b00d  |    |
0483 1004 0000  |    |
0485 040c 0010  |    |
0487 0005 1408  |    |
0489 0000 0000  |    |		.BLANK	0000[0x4]
048d 042c 0010  | ,  |		.XXX[0x5b]
048f 0005 1825  |   %|
0491 e025 0c09  | %  |
0493 e02d e039  | - 9|
0495 e051 e071  | Q q|
0497 e13d e0b1  | =  |
0499 e0ed e131  |   1|
049b 2000 036c  |   l|
049d a00d 0c09  |    |
049f 2009 201c  |    |
04a1 0c45 0807  | E  |
04a3 97f3 97f7  |    |
04a5 97fc 701f  |  p |
04a7 97f8 0c19  |    |
04a9 0c15 2009  |    |
04ab 201c 0c47  |   G|
04ad 97f7 97fb  |    |
04af 97fc 036c  |   l|
04b1 0c15 080d  |    |
04b3 2005 2007  |    |
04b5 97fc 05a7  |    |
04b7 8008 6c34  |  l4|
04b9 0d6d 2005  | m  |
04bb 200b 97fc  |    |
04bd 05a7 8008  |    |
04bf 6c54 0d6d  |lT m|
04c1 200b 97fc  |    |
04c3 0c11 0c0b  |    |
04c5 97f7 97f9  |    |
04c7 2007 97f7  |    |
04c9 8008 6c34  |  l4|
04cb 0d6d 2007  | m  |
04cd 97fb 8008  |    |
04cf 6c54 0d6d  |lT m|
04d1 200b 97fc  |    |
04d3 0c6d 080f  | m  |
04d5 97f7 97fb  |    |
04d7 97fc 0bf1  |    |
04d9 2007 97f7  |    |
04db 8008 6c34  |  l4|
04dd 0cd0 b419  |    |
04df 2007 97fb  |    |
04e1 8008 6c54  |  lT|
04e3 0cd0 b41c  |    |
04e5 05a9 080c  |    |
04e7 21a4       |!   |
04e8 0000 0000  |    |		.BLANK	0000[0x5]
04ed 05ac 0010  |    |		.XXX[0x23]
04ef 0005 1805  |    |
04f1 e005 0c08  |    |
04f3 0368 d000  | h  |
04f5 0dac 0368  |   h|
04f7 d004 0494  |    |
04f9 0368 d004  | h  |
04fb 7001 0c08  |p   |
04fd 05ec 0010  |    |
04ff 0004 0368  |   h|
0501 02e8 0368  |   h|
0503 2404 016c  |$  l|
0505 0369 8018  | i  |
0507 09f5 a009  |    |
0509 800c 014d  |   M|
050b 1404 0000  |    |
050d 0000 0000  |    |
050f 0258       | X  |
0510 0000 0000  |    |		.BLANK	0000[0x5]
0515 064c 0010  | L  |		.XXX[0x7b]
0517 0004 0369  |   i|
0519 2007 8870  |   p|
051b 5c39 1408  |\9  |
051d 066c 0010  | l  |
051f 0004 036c  |   l|
0521 089c b010  |    |
0523 3405 a00b  |4   |
0525 8860 095c  | ` \|
0527 036d 2007  | m  |
0529 8870 5c40  | p\@|
052b 036a 0838  | j 8|
052d 036c 089c  | l  |
052f b010 3405  |  4 |
0531 a00b 8860  |   `|
0533 095d 1408  | ]  |
0535 06cc 0010  |    |
0537 0004 036f  |   o|
0539 885c 0898  | \  |
053b 036f 800c  | o  |
053d 6c34 0466  |l4 f|
053f 087f 17f9  |    |
0541 1408 0000  |    |
0543 0000 0000  |    |
0545 0744 0010  | D  |
0547 0041 2004  | A  |
0549 0b2c 02ff  | ,  |
054b 8005 2035  |   5|
054d 20f1 2001  |    |
054f 2005 2001  |    |
0551 2004 0b3c  |   <|
0553 0a7c 07ac  | |  |
0555 02f0 033c  |   <|
0557 0368 04fc  | h  |
0559 0346 0840  | F @|
055b 036d 2007  | m  |
055d 800b 800c  |    |
055f 02b4 0325  |   %|
0561 ffd4 0000  |    |
0563 0000 0000  |    |
0565 078c 0010  |    |
0567 0004 036e  |   n|
0569 8839 0400  | 9  |
056b 0000 0000  |    |
056d 07ac 0818  |    |
056f 0007 8838  |   8|
0571 08a7 8838  |   8|
0573 08a4 0364  |   d|
0575 f004 0364  |   d|
0577 f00b 8838  |   8|
0579 089c f008  |    |
057b 089c 941f  |    |
057d 8838 089c  | 8  |
057f f008 089c  |    |
0581 941b 8012  |    |
0583 8016 801a  |    |
0585 001c 0368  |   h|
0587 e008 0368  |   h|
0589 e005 1407  |    |
058b 8020 043d  |   =|
058d a005 1404  |    |
058f 0400       |    |
0590 0000 0000  |    |		.BLANK	0000[0x5]
0595 0010 0003  |    |		.XXX[0x55]
0597 a480 0000  |    |
0599 0004 0000  |    |
059b 0000 0010  |    |
059d d0c8 c4cc  |    |
059f 0000 0018  |    |
05a1 c510 cce4  |    |
05a3 c110 0000  |    |
05a5 0e30 003d  | 0 =|
05a7 6000 0000  |`   |
05a9 0700 0400  |    |
05ab 02ec 0000  |    |
05ad 0004 00bc  |    |
05af 0010 0075  |   u|
05b1 2010 0b2d  |   -|
05b3 2004 0b2d  |   -|
05b5 2008 0b2d  |   -|
05b7 2004 0b2d  |   -|
05b9 2004 0b2d  |   -|
05bb 2004 0b2c  |   ,|
05bd 02ff 8004  |    |
05bf 001f 8008  |    |
05c1 001c 0360  |   `|
05c3 001f 8008  |    |
05c5 001c 0a74  |   t|
05c7 00ec 0a74  |   t|
05c9 012c 0a74  | , t|
05cb 016c 0a74  | l t|
05cd 020c 0a74  |   t|
05cf 024c 0a74  | L t|
05d1 032c 0a7c  | , ||
05d3 03ec 02f0  |    |
05d5 033e 0874  | > t|
05d7 0325 fff4  | %  |
05d9 0338 02ec  | 8  |
05db 0000 0000  |    |
05dd 0000 00f4  |    |
05df 0010 0008  |    |
05e1 0a7c 048e  | |  |
05e3 1008 036c  |   l|
05e5 089c f007  |    |
05e7 800c 606d  |  `m|
05e9 1408       |    |
05ea 0000 0000  |    |		.BLANK	0000[0x4]
05ee 012c 0010  | ,  |		.XXX[0x12]
05f0 0004 033d  |   =|
05f2 e01c 036e  |   n|
05f4 085c 036c  | \ l|
05f6 089c f00e  |    |
05f8 97fc 0324  |   $|
05fa 036d dfdd  | m  |
05fc 1404 0000  |    |
05fe 0174 0010  | t  |