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

⟦d2bc56875⟧

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

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 0418       |    |		.CONST	0x0418								; 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 007e       | ~  |		.CONST	0x007e								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001b       |    |		.CONST	0x001b								; Number of locals
000b			INIT_0008:
000b 0007       |    |		Action	Break_Optional
000c e001       |    |		Load	0x0,0x1
000d 0129       | )  |		Execute	Any,Make_Visible
000e e002       |    |		Load	0x0,0x2
000f 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0010 0129       | )  |		Execute	Any,Make_Visible
0011 e003       |    |		Load	0x0,0x3
0012 e004       |    |		Load	0x0,0x4
0013 00da       |    |		Load_Top	At_Offset_2
0014 e002       |    |		Load	0x0,0x2
0015 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
0016 487f       |H   |		Short_Literal	0x7f
0017 e005       |    |		Load	0x0,0x5
0018 0386       |    |		Declare_Variable	Package,Visible
0019 00d8       |    |		Load_Top	At_Offset_0
001a 020f       |    |		Execute	Module,Activate
001b 00d8       |    |		Load_Top	At_Offset_0
001c 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
001d 0129       | )  |		Execute	Any,Make_Visible
001e 4800       |H   |		Short_Literal	0x0
001f 4806       |H   |		Short_Literal	0x6
0020 00e1       |    |		Load_Encached	Boolean_Cache
0021 02a0       |    |		Declare_Subprogram	Null_Subprogram
0022 4801       |H   |		Short_Literal	0x1
0023 035e       | ^  |		Declare_Type	Array,Defined,Visible
0024 00d8       |    |		Load_Top	At_Offset_0
0025 0336       | 6  |		Declare_Variable	Array,Visible
0026 00d8       |    |		Load_Top	At_Offset_0
0027 0335       | 5  |		Declare_Variable	Array,Duplicate
0028 00d0       |    |		Action	Swap_Control
0029 00d1       |    |		Pop_Control	Pop_Count_1
002a 4806       |H   |		Short_Literal	0x6
002b 4800       |H   |		Short_Literal	0x0
002c 4801       |H   |		Short_Literal	0x1
002d 00d9       |    |		Load_Top	At_Offset_1
002e e213       |    |		Load	0x1,0x13
002f 01d6       |    |		Execute	Vector,Field_Write
0030 3ffb       |?   |		Loop_Increasing	0x2c
0031 00d9       |    |		Load_Top	At_Offset_1
0032 01d4       |    |		Execute	Vector,Structure_Write
0033 00d9       |    |		Load_Top	At_Offset_1
0034 0337       | 7  |		Declare_Variable	Array
0035 4801       |H   |		Short_Literal	0x1
0036 4806       |H   |		Short_Literal	0x6
0037 00da       |    |		Load_Top	At_Offset_2
0038 01d6       |    |		Execute	Vector,Field_Write
0039 4805       |H   |		Short_Literal	0x5
003a 4800       |H   |		Short_Literal	0x0
003b 4800       |H   |		Short_Literal	0x0
003c 00d9       |    |		Load_Top	At_Offset_1
003d e213       |    |		Load	0x1,0x13
003e 01d6       |    |		Execute	Vector,Field_Write
003f 3ffb       |?   |		Loop_Increasing	0x3b
0040 00da       |    |		Load_Top	At_Offset_2
0041 01c3       |    |		Execute	Vector,Check_In_Type
0042 0129       | )  |		Execute	Any,Make_Visible
0043 00da       |    |		Load_Top	At_Offset_2
0044 0337       | 7  |		Declare_Variable	Array
0045 4801       |H   |		Short_Literal	0x1
0046 4801       |H   |		Short_Literal	0x1
0047 00da       |    |		Load_Top	At_Offset_2
0048 01d6       |    |		Execute	Vector,Field_Write
0049 4801       |H   |		Short_Literal	0x1
004a 4802       |H   |		Short_Literal	0x2
004b 00da       |    |		Load_Top	At_Offset_2
004c 01d6       |    |		Execute	Vector,Field_Write
004d 4801       |H   |		Short_Literal	0x1
004e 4803       |H   |		Short_Literal	0x3
004f 00da       |    |		Load_Top	At_Offset_2
0050 01d6       |    |		Execute	Vector,Field_Write
0051 4800       |H   |		Short_Literal	0x0
0052 4800       |H   |		Short_Literal	0x0
0053 00da       |    |		Load_Top	At_Offset_2
0054 01d6       |    |		Execute	Vector,Field_Write
0055 4806       |H   |		Short_Literal	0x6
0056 4804       |H   |		Short_Literal	0x4
0057 4800       |H   |		Short_Literal	0x0
0058 00d9       |    |		Load_Top	At_Offset_1
0059 e214       |    |		Load	0x1,0x14
005a 01d6       |    |		Execute	Vector,Field_Write
005b 3ffb       |?   |		Loop_Increasing	0x57
005c 00db       |    |		Load_Top	At_Offset_3
005d 01c3       |    |		Execute	Vector,Check_In_Type
005e 0129       | )  |		Execute	Any,Make_Visible
005f 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
0061 029a 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Outer_Call,Visible,Unelaborated
0063 029a 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call,Visible,Unelaborated
0065 00bf       |    |		Action	Accept_Activation
0066 0007       |    |		Action	Break_Optional
0067 e006       |    |		Load	0x0,0x6
0068 e007       |    |		Load	0x0,0x7
0069 e008       |    |		Load	0x0,0x8
006a 1b1a       |    |		Execute	Package,Field_Read,Field_Number 0x1a
006b e008       |    |		Load	0x0,0x8
006c 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
006d e009       |    |		Load	0x0,0x9
006e 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
006f 0387       |    |		Declare_Variable	Package
0070 00d8       |    |		Load_Top	At_Offset_0
0071 020f       |    |		Execute	Module,Activate
0072 029d 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call
0074 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0075 00c7       |    |		Action	Elaborate_Subprogram
0076 029d 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call
0078 029d 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Outer_Call
007a 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
007b 00c7       |    |		Action	Elaborate_Subprogram
007c 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
007d 00c7       |    |		Action	Elaborate_Subprogram
007e			BODY_0008:
007e 00bc       |    |		Action	Signal_Activated
007f 00bb       |    |		Action	Signal_Completion
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 0093       |    |		.CONST	0x0093								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0008       |    |		.CONST	0x0008								; Number of locals
0083			INIT_0080:
0083 029f 021b  |    |		Declare_Subprogram	INIT_0218,For_Call
0085 029f 0223  |   #|		Declare_Subprogram	INIT_0220,For_Call
0087 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0088 00c6       |    |		Action	Check_Subprogram_Elaborated
0089 4802       |H   |		Short_Literal	0x2
008a 4802       |H   |		Short_Literal	0x2
008b 0099       |    |		Action	Reference_Dynamic
008c 4803       |H   |		Short_Literal	0x3
008d 4802       |H   |		Short_Literal	0x2
008e 0099       |    |		Action	Reference_Dynamic
008f e00a       |    |		Load	0x0,0xa
0090 e00b       |    |		Load	0x0,0xb
0091 4808       |H   |		Short_Literal	0x8
0092 0007       |    |		Action	Break_Optional
0093			BODY_0080:
0093 e5fd       |    |		Load	0x2,-0x3
0094 e5fe       |    |		Load	0x2,-0x2
0095 e5ff       |    |		Load	0x2,-0x1
0096 4804       |H   |		Short_Literal	0x4
0097 4802       |H   |		Short_Literal	0x2
0098 0099       |    |		Action	Reference_Dynamic
0099 4805       |H   |		Short_Literal	0x5
009a 4802       |H   |		Short_Literal	0x2
009b 0099       |    |		Action	Reference_Dynamic
009c 4806       |H   |		Short_Literal	0x6
009d 4802       |H   |		Short_Literal	0x2
009e 0099       |    |		Action	Reference_Dynamic
009f 8216       |    |		Call	0x1,0x16
00a0 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
00a1 0000 0000  |    |		.BLANK	0000[0x7]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00be       |    |		.CONST	0x00be								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0007       |    |		.CONST	0x0007								; Number of locals
00ab			INIT_00a8:
00ab 0007       |    |		Action	Break_Optional
00ac 00ec       |    |		Load_Encached	Diana_Tree_Cache
00ad e002       |    |		Load	0x0,0x2
00ae 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00af 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00b0 02c7       |    |		Declare_Variable	Any
00b1 00d8       |    |		Load_Top	At_Offset_0
00b2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00b3 e002       |    |		Load	0x0,0x2
00b4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00b5 e002       |    |		Load	0x0,0x2
00b6 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
00b7 02ff       |    |		Declare_Variable	Variant_Record
00b8 00d8       |    |		Load_Top	At_Offset_0
00b9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00ba 029f 0233  |   3|		Declare_Subprogram	INIT_0230,For_Call
00bc 029f 032b  |   +|		Declare_Subprogram	INIT_0328,For_Call
00be			BODY_00a8:
00be e5fc       |    |		Load	0x2,-0x4
00bf e002       |    |		Load	0x0,0x2
00c0 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00c1 e00c       |    |		Load	0x0,0xc
00c2 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00c3 027f       |    |		Execute	Discrete,Equal
00c4 7007       |p   |		Jump_Nonzero	0xcc
00c5 e5fc       |    |		Load	0x2,-0x4
00c6 e002       |    |		Load	0x0,0x2
00c7 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00c8 e00c       |    |		Load	0x0,0xc
00c9 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00ca 027f       |    |		Execute	Discrete,Equal
00cb 681a       |h   |		Jump_Zero	0xe6
00cc e5fc       |    |		Load	0x2,-0x4
00cd 821a       |    |		Call	0x1,0x1a
00ce 00db       |    |		Load_Top	At_Offset_3
00cf 016d       | m  |		Execute	Variant_Record,Structure_Write
00d0 00da       |    |		Load_Top	At_Offset_2
00d1 e002       |    |		Load	0x0,0x2
00d2 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00d3 7011       |p   |		Jump_Nonzero	0xe5
00d4 00cf       |    |		Action	Mark_Auxiliary
00d5 4806       |H   |		Short_Literal	0x6
00d6 4800       |H   |		Short_Literal	0x0
00d7 0007       |    |		Action	Break_Optional
00d8 00d8       |    |		Load_Top	At_Offset_0
00d9 e5fb       |    |		Load	0x2,-0x5
00da 01d7       |    |		Execute	Vector,Field_Read
00db 6806       |h   |		Jump_Zero	0xe2
00dc e5fa       |    |		Load	0x2,-0x6
00dd e405       |    |		Load	0x2,0x5
00de e5fc       |    |		Load	0x2,-0x4
00df e5fb       |    |		Load	0x2,-0x5
00e0 e40a       |    |		Load	0x2,0xa
00e1 8407       |    |		Call	0x2,0x7
00e2 00c8       |    |		Action	Pop_Auxiliary_Range
00e3 3ff4       |?   |		Loop_Increasing	0xd8
00e4 00ce       |    |		Action	Pop_Auxiliary
00e5 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00e6 e5fc       |    |		Load	0x2,-0x4
00e7 e002       |    |		Load	0x0,0x2
00e8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00e9 7008       |p   |		Jump_Nonzero	0xf2
00ea e002       |    |		Load	0x0,0x2
00eb 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00ec 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
00ed e5fc       |    |		Load	0x2,-0x4
00ee e002       |    |		Load	0x0,0x2
00ef 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00f0 012e       | .  |		Execute	Any,Not_Equal
00f1 6801       |h   |		Jump_Zero	0xf3
00f2 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00f3 e002       |    |		Load	0x0,0x2
00f4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00f5 e403       |    |		Load	0x2,0x3
00f6 0120       |    |		Execute	Any,Is_Value
00f7 6804       |h   |		Jump_Zero	0xfc
00f8 e002       |    |		Load	0x0,0x2
00f9 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00fa 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00fb 7801       |x   |		Jump	0xfd
00fc e403       |    |		Load	0x2,0x3
00fd e002       |    |		Load	0x0,0x2
00fe 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00ff 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0100 629f       |b   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0101 4801       |H   |		Short_Literal	0x1
0102 4800       |H   |		Short_Literal	0x0
0103 4800       |H   |		Short_Literal	0x0
0104 e5fa       |    |		Load	0x2,-0x6
0105 4801       |H   |		Short_Literal	0x1
0106 e5fc       |    |		Load	0x2,-0x4
0107 e002       |    |		Load	0x0,0x2
0108 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0109 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
010a e002       |    |		Load	0x0,0x2
010b 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
010c 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
010d c402       |    |		Store	0x2,0x2
010e c403       |    |		Store	0x2,0x3
010f c404       |    |		Store	0x2,0x4
0110 00db       |    |		Load_Top	At_Offset_3
0111 680a       |h   |		Jump_Zero	0x11c
0112 4800       |H   |		Short_Literal	0x0
0113 0092 03b8  |    |		Action	Push_String_Extended,0x3b8					; "Couldn't open ada unit "
0115 e5fc       |    |		Load	0x2,-0x4
0116 e002       |    |		Load	0x0,0x2
0117 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0118 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0119 01cc       |    |		Execute	Vector,Catenate
011a 8219       |    |		Call	0x1,0x19
011b 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
011c 00cf       |    |		Action	Mark_Auxiliary
011d 4806       |H   |		Short_Literal	0x6
011e 4800       |H   |		Short_Literal	0x0
011f 0007       |    |		Action	Break_Optional
0120 00d8       |    |		Load_Top	At_Offset_0
0121 e5fb       |    |		Load	0x2,-0x5
0122 01d7       |    |		Execute	Vector,Field_Read
0123 6806       |h   |		Jump_Zero	0x12a
0124 e5fa       |    |		Load	0x2,-0x6
0125 e5fc       |    |		Load	0x2,-0x4
0126 e5fb       |    |		Load	0x2,-0x5
0127 00db       |    |		Load_Top	At_Offset_3
0128 e402       |    |		Load	0x2,0x2
0129 8406       |    |		Call	0x2,0x6
012a 00c8       |    |		Action	Pop_Auxiliary_Range
012b 3ff4       |?   |		Loop_Increasing	0x120
012c 00ce       |    |		Action	Pop_Auxiliary
012d 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
012e 0000 0000  |    |		.XXX[0x2]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0141       | A  |		.CONST	0x0141								; Address of begin
0131 0004       |    |		.CONST	0x0004								; Address of exception handler
0132 0005       |    |		.CONST	0x0005								; Number of locals
0133			INIT_0130:
0133 e002       |    |		Load	0x0,0x2
0134 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0135 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
0136 02c7       |    |		Declare_Variable	Any
0137 00d8       |    |		Load_Top	At_Offset_0
0138 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0139 e002       |    |		Load	0x0,0x2
013a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
013b e20e       |    |		Load	0x1,0xe
013c 02c7       |    |		Declare_Variable	Any
013d 00d8       |    |		Load_Top	At_Offset_0
013e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
013f 029f 03ab  |    |		Declare_Subprogram	INIT_03a8,For_Call
0141			BODY_0130:
0141 8405       |    |		Call	0x2,0x5
0142 e5fc       |    |		Load	0x2,-0x4
0143 e5fd       |    |		Load	0x2,-0x3
0144 85fe       |    |		Call	0x2,-0x2
0145 e002       |    |		Load	0x0,0x2
0146 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0147 e402       |    |		Load	0x2,0x2
0148 0120       |    |		Execute	Any,Is_Value
0149 6804       |h   |		Jump_Zero	0x14e
014a e002       |    |		Load	0x0,0x2
014b 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
014c 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
014d 7801       |x   |		Jump	0x14f
014e e402       |    |		Load	0x2,0x2
014f 6250       |bP  |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0150 e5fc       |    |		Load	0x2,-0x4
0151 e5fd       |    |		Load	0x2,-0x3
0152 e002       |    |		Load	0x0,0x2
0153 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0154 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0155 e002       |    |		Load	0x0,0x2
0156 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0157 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0158 c402       |    |		Store	0x2,0x2
0159 005b       | [  |		Store_Top	Discrete,At_Offset_3
015a 00da       |    |		Load_Top	At_Offset_2
015b 6818       |h   |		Jump_Zero	0x174
015c 00da       |    |		Load_Top	At_Offset_2
015d 0e08       |    |		Execute_Immediate	Not_Equal,0x8
015e 6814       |h   |		Jump_Zero	0x173
015f 4800       |H   |		Short_Literal	0x0
0160 e5fb       |    |		Load	0x2,-0x5
0161 0092 03b9  |    |		Action	Push_String_Extended,0x3b9					; " "
0163 01cc       |    |		Execute	Vector,Catenate
0164 e403       |    |		Load	0x2,0x3
0165 e002       |    |		Load	0x0,0x2
0166 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0167 025e       | ^  |		Execute	Discrete,Convert
0168 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0169 01cc       |    |		Execute	Vector,Catenate
016a 0092 03ba  |    |		Action	Push_String_Extended,0x3ba					; " returned traversing "
016c 01cc       |    |		Execute	Vector,Catenate
016d e5fd       |    |		Load	0x2,-0x3
016e e002       |    |		Load	0x0,0x2
016f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0170 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0171 01cc       |    |		Execute	Vector,Catenate
0172 8219       |    |		Call	0x1,0x19
0173 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0174 00cf       |    |		Action	Mark_Auxiliary
0175 781e       |x   |		Jump	0x194
0176 e402       |    |		Load	0x2,0x2
0177 e002       |    |		Load	0x0,0x2
0178 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0179 1834       | 4  |		Execute	Package,Field_Execute,Field_Number 0x34
017a c404       |    |		Store	0x2,0x4
017b 00da       |    |		Load_Top	At_Offset_2
017c e002       |    |		Load	0x0,0x2
017d 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
017e 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
017f 680b       |h   |		Jump_Zero	0x18b
0180 e5fb       |    |		Load	0x2,-0x5
0181 e5fc       |    |		Load	0x2,-0x4
0182 e404       |    |		Load	0x2,0x4
0183 4ffe       |O   |		Short_Literal	-0x2
0184 4802       |H   |		Short_Literal	0x2
0185 0099       |    |		Action	Reference_Dynamic
0186 4fff       |O   |		Short_Literal	-0x1
0187 4802       |H   |		Short_Literal	0x2
0188 0099       |    |		Action	Reference_Dynamic
0189 8217       |    |		Call	0x1,0x17
018a 7803       |x   |		Jump	0x18e
018b e5fc       |    |		Load	0x2,-0x4
018c 00db       |    |		Load_Top	At_Offset_3
018d 85fe       |    |		Call	0x2,-0x2
018e e402       |    |		Load	0x2,0x2
018f e002       |    |		Load	0x0,0x2
0190 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0191 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
0192 c402       |    |		Store	0x2,0x2
0193 00c9       |    |		Action	Pop_Auxiliary_Loop
0194 e402       |    |		Load	0x2,0x2
0195 e002       |    |		Load	0x0,0x2
0196 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0197 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
0198 6fdd       |o   |		Jump_Zero	0x176
0199 00ce       |    |		Action	Pop_Auxiliary
019a 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
019b 0000 0000  |    |		.BLANK	0000[0x5]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01a3       |    |		.CONST	0x01a3								; Address of begin
01a1 0004       |    |		.CONST	0x0004								; Address of exception handler
01a2 0001       |    |		.CONST	0x0001								; Number of locals
01a3			BODY_01a0:
01a3			INIT_01a0:
01a3 e00d       |    |		Load	0x0,0xd
01a4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01a5 4807       |H   |		Short_Literal	0x7
01a6 e5ff       |    |		Load	0x2,-0x1
01a7 e00e       |    |		Load	0x0,0xe
01a8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01a9 00db       |    |		Load_Top	At_Offset_3
01aa 6802       |h   |		Jump_Zero	0x1ad
01ab e20d       |    |		Load	0x1,0xd
01ac 0257       | W  |		Execute	Discrete,Raise
01ad 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01ae 0000 0000  |    |		.XXX[0x2]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01c0       |    |		.CONST	0x01c0								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0005       |    |		.CONST	0x0005								; Number of locals
01b3			INIT_01b0:
01b3 e002       |    |		Load	0x0,0x2
01b4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01b5 02ff       |    |		Declare_Variable	Variant_Record
01b6 00d8       |    |		Load_Top	At_Offset_0
01b7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01b8 e002       |    |		Load	0x0,0x2
01b9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ba 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01bb e002       |    |		Load	0x0,0x2
01bc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01bd e002       |    |		Load	0x0,0x2
01be 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01bf 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01c0			BODY_01b0:
01c0 e002       |    |		Load	0x0,0x2
01c1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01c2 e002       |    |		Load	0x0,0x2
01c3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01c4 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01c5 61da       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
01c6 e00f       |    |		Load	0x0,0xf
01c7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01c8 4800       |H   |		Short_Literal	0x0
01c9 e5ff       |    |		Load	0x2,-0x1
01ca e002       |    |		Load	0x0,0x2
01cb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01cc 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01cd 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
01ce 005a       | Z  |		Store_Top	Discrete,At_Offset_2
01cf e002       |    |		Load	0x0,0x2
01d0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01d2 e402       |    |		Load	0x2,0x2
01d3 61cc       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
01d4 e00f       |    |		Load	0x0,0xf
01d5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01d6 4800       |H   |		Short_Literal	0x0
01d7 e405       |    |		Load	0x2,0x5
01d8 0092 03bb  |    |		Action	Push_String_Extended,0x3bb					; "?.code_database"
01da e002       |    |		Load	0x0,0x2
01db 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01dc 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
01dd 00d1       |    |		Pop_Control	Pop_Count_1
01de 005b       | [  |		Store_Top	Discrete,At_Offset_3
01df 00d9       |    |		Load_Top	At_Offset_1
01e0 7002       |p   |		Jump_Nonzero	0x1e3
01e1 00da       |    |		Load_Top	At_Offset_2
01e2 6803       |h   |		Jump_Zero	0x1e6
01e3 e002       |    |		Load	0x0,0x2
01e4 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
01e5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e6 00db       |    |		Load_Top	At_Offset_3
01e7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01f5       |    |		.CONST	0x01f5								; Address of begin
01e9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ea 0006       |    |		.CONST	0x0006								; Number of locals
01eb			INIT_01e8:
01eb e008       |    |		Load	0x0,0x8
01ec 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
01ed e010       |    |		Load	0x0,0x10
01ee 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
01ef e009       |    |		Load	0x0,0x9
01f0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01f1 e008       |    |		Load	0x0,0x8
01f2 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
01f3 00ec       |    |		Load_Encached	Diana_Tree_Cache
01f4 0007       |    |		Action	Break_Optional
01f5			BODY_01e8:
01f5 e008       |    |		Load	0x0,0x8
01f6 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
01f7 e008       |    |		Load	0x0,0x8
01f8 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
01f9 4801       |H   |		Short_Literal	0x1
01fa e5fe       |    |		Load	0x2,-0x2
01fb e5ff       |    |		Load	0x2,-0x1
01fc e008       |    |		Load	0x0,0x8
01fd 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
01fe c402       |    |		Store	0x2,0x2
01ff 005a       | Z  |		Store_Top	Discrete,At_Offset_2
0200 00d9       |    |		Load_Top	At_Offset_1
0201 6803       |h   |		Jump_Zero	0x205
0202 00eb       |    |		Load_Encached	Diana_Cache
0203 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0204 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0205 e402       |    |		Load	0x2,0x2
0206 e218       |    |		Load	0x1,0x18
0207 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0208 a403       |    |		Store_Unchecked	0x2,0x3
0209 e402       |    |		Load	0x2,0x2
020a e218       |    |		Load	0x1,0x18
020b 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
020c 0053       | S  |		Store_Top_Uncheched	Discrete,At_Offset_3
020d 00da       |    |		Load_Top	At_Offset_2
020e e403       |    |		Load	0x2,0x3
020f 497d       |I}  |		Short_Literal	0x17d
0210 00eb       |    |		Load_Encached	Diana_Cache
0211 0096       |    |		Execute	Package,Entry
0212 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0213 00d8       |    |		Load_Top	At_Offset_0
0214 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0215 0000 0000  |    |		.XXX[0x3]
0217 0000       |    |
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 021b       |    |		.CONST	0x021b								; Address of begin
0219 0004       |    |		.CONST	0x0004								; Address of exception handler
021a 0001       |    |		.CONST	0x0001								; Number of locals
021b			BODY_0218:
021b			INIT_0218:
021b 00db       |    |		Load_Top	At_Offset_3
021c e5fc       |    |		Load	0x2,-0x4
021d e20f       |    |		Load	0x1,0xf
021e 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
021f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0220 ; --------------------------------------------------------------------------------------
0220 ; SUBPROGRAM
0220 ; --------------------------------------------------------------------------------------
0220 0223       | #  |		.CONST	0x0223								; Address of begin
0221 0004       |    |		.CONST	0x0004								; Address of exception handler
0222 0001       |    |		.CONST	0x0001								; Number of locals
0223			BODY_0220:
0223			INIT_0220:
0223 e5fc       |    |		Load	0x2,-0x4
0224 e7fe       |    |		Load	0x3,-0x2
0225 e20f       |    |		Load	0x1,0xf
0226 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0227 c5fc       |    |		Store	0x2,-0x4
0228 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0229 0000 0000  |    |		.BLANK	0000[0x7]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 025d       | ]  |		.CONST	0x025d								; Address of begin
0231 0004       |    |		.CONST	0x0004								; Address of exception handler
0232 000b       |    |		.CONST	0x000b								; Number of locals
0233			INIT_0230:
0233 0007       |    |		Action	Break_Optional
0234 0007       |    |		Action	Break_Optional
0235 0007       |    |		Action	Break_Optional
0236 e002       |    |		Load	0x0,0x2
0237 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0238 e011       |    |		Load	0x0,0x11
0239 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
023a 02c7       |    |		Declare_Variable	Any
023b 00d8       |    |		Load_Top	At_Offset_0
023c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
023d 00ec       |    |		Load_Encached	Diana_Tree_Cache
023e e002       |    |		Load	0x0,0x2
023f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0240 02ff       |    |		Declare_Variable	Variant_Record
0241 00d8       |    |		Load_Top	At_Offset_0
0242 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0243 e002       |    |		Load	0x0,0x2
0244 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0245 02c7       |    |		Declare_Variable	Any
0246 00d8       |    |		Load_Top	At_Offset_0
0247 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0248 e002       |    |		Load	0x0,0x2
0249 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
024a 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
024b e002       |    |		Load	0x0,0x2
024c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
024d 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
024e 02c7       |    |		Declare_Variable	Any
024f 00d8       |    |		Load_Top	At_Offset_0
0250 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0251 e002       |    |		Load	0x0,0x2
0252 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
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 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
025a 02ff       |    |		Declare_Variable	Variant_Record
025b 00d8       |    |		Load_Top	At_Offset_0
025c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
025d			BODY_0230:
025d e7ff       |    |		Load	0x3,-0x1
025e 00eb       |    |		Load_Encached	Diana_Cache
025f 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0260 0fa8       |    |		Execute_Immediate	Equal,-0x58
0261 6805       |h   |		Jump_Zero	0x267
0262 e7ff       |    |		Load	0x3,-0x1
0263 e002       |    |		Load	0x0,0x2
0264 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0265 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0266 680d       |h   |		Jump_Zero	0x274
0267 e00d       |    |		Load	0x0,0xd
0268 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0269 4801       |H   |		Short_Literal	0x1
026a 0092 03bc  |    |		Action	Push_String_Extended,0x3bc					; "Skipping source state unit "
026c e7fc       |    |		Load	0x3,-0x4
026d e002       |    |		Load	0x0,0x2
026e 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
026f 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0270 01cc       |    |		Execute	Vector,Catenate
0271 e00e       |    |		Load	0x0,0xe
0272 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0273 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0274 e7fe       |    |		Load	0x3,-0x2
0275 0f06       |    |		Execute_Immediate	Equal,0x6
0276 6861       |ha  |		Jump_Zero	0x2d8
0277 e002       |    |		Load	0x0,0x2
0278 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0279 00da       |    |		Load_Top	At_Offset_2
027a e7ff       |    |		Load	0x3,-0x1
027b e002       |    |		Load	0x0,0x2
027c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
027d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
027e 00d1       |    |		Pop_Control	Pop_Count_1
027f 005b       | [  |		Store_Top	Discrete,At_Offset_3
0280 00d9       |    |		Load_Top	At_Offset_1
0281 e002       |    |		Load	0x0,0x2
0282 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0283 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0284 7053       |pS  |		Jump_Nonzero	0x2d8
0285 e00d       |    |		Load	0x0,0xd
0286 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0287 4801       |H   |		Short_Literal	0x1
0288 0092 03bd  |    |		Action	Push_String_Extended,0x3bd					; "Getting other part for "
028a e7fc       |    |		Load	0x3,-0x4
028b e002       |    |		Load	0x0,0x2
028c 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
028d 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
028e 01cc       |    |		Execute	Vector,Catenate
028f e00e       |    |		Load	0x0,0xe
0290 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0291 e002       |    |		Load	0x0,0x2
0292 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0293 00d9       |    |		Load_Top	At_Offset_1
0294 610b       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0295 e7fb       |    |		Load	0x3,-0x5
0296 e60a       |    |		Load	0x3,0xa
0297 e002       |    |		Load	0x0,0x2
0298 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0299 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
029a 00d1       |    |		Pop_Control	Pop_Count_1
029b 005b       | [  |		Store_Top	Discrete,At_Offset_3
029c e002       |    |		Load	0x0,0x2
029d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
029e e608       |    |		Load	0x3,0x8
029f 0120       |    |		Execute	Any,Is_Value
02a0 6804       |h   |		Jump_Zero	0x2a5
02a1 e002       |    |		Load	0x0,0x2
02a2 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a3 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02a4 7801       |x   |		Jump	0x2a6
02a5 e608       |    |		Load	0x3,0x8
02a6 e002       |    |		Load	0x0,0x2
02a7 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a8 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
02a9 00db       |    |		Load_Top	At_Offset_3
02aa 60f5       |`   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
02ab 4801       |H   |		Short_Literal	0x1
02ac 4800       |H   |		Short_Literal	0x0
02ad e7fb       |    |		Load	0x3,-0x5
02ae 4801       |H   |		Short_Literal	0x1
02af e002       |    |		Load	0x0,0x2
02b0 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02b1 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
02b2 00d1       |    |		Pop_Control	Pop_Count_1
02b3 c607       |    |		Store	0x3,0x7
02b4 c608       |    |		Store	0x3,0x8
02b5 005b       | [  |		Store_Top	Discrete,At_Offset_3
02b6 00da       |    |		Load_Top	At_Offset_2
02b7 680a       |h   |		Jump_Zero	0x2c2
02b8 4800       |H   |		Short_Literal	0x0
02b9 0092 03be  |    |		Action	Push_String_Extended,0x3be					; "Couldn't open ada unit for spec of "
02bb e7fc       |    |		Load	0x3,-0x4
02bc e002       |    |		Load	0x0,0x2
02bd 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02be 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02bf 01cc       |    |		Execute	Vector,Catenate
02c0 8219       |    |		Call	0x1,0x19
02c1 7816       |x   |		Jump	0x2d8
02c2 e7ff       |    |		Load	0x3,-0x1
02c3 e607       |    |		Load	0x3,0x7
02c4 021f       |    |		Execute	Heap_Access,Equal
02c5 7012       |p   |		Jump_Nonzero	0x2d8
02c6 e00d       |    |		Load	0x0,0xd
02c7 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02c8 4801       |H   |		Short_Literal	0x1
02c9 e7fc       |    |		Load	0x3,-0x4
02ca e002       |    |		Load	0x0,0x2
02cb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02cc 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02cd 0092 03bf  |    |		Action	Push_String_Extended,0x3bf					; " is a body: check its spec"
02cf 01cc       |    |		Execute	Vector,Catenate
02d0 e00e       |    |		Load	0x0,0xe
02d1 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02d2 e7fb       |    |		Load	0x3,-0x5
02d3 e7fc       |    |		Load	0x3,-0x4
02d4 e7fd       |    |		Load	0x3,-0x3
02d5 e7fe       |    |		Load	0x3,-0x2
02d6 e607       |    |		Load	0x3,0x7
02d7 8406       |    |		Call	0x2,0x6
02d8 e7ff       |    |		Load	0x3,-0x1
02d9 4976       |Iv  |		Short_Literal	0x176
02da 00eb       |    |		Load_Encached	Diana_Cache
02db 0098       |    |		Execute	Package,Field_Read_Dynamic
02dc 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
02dd a604       |    |		Store_Unchecked	0x3,0x4
02de e012       |    |		Load	0x0,0x12
02df 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02e0 e013       |    |		Load	0x0,0x13
02e1 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02e2 e7fb       |    |		Load	0x3,-0x5
02e3 e604       |    |		Load	0x3,0x4
02e4 e7fe       |    |		Load	0x3,-0x2
02e5 e011       |    |		Load	0x0,0x11
02e6 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
02e7 c603       |    |		Store	0x3,0x3
02e8 00cf       |    |		Action	Mark_Auxiliary
02e9 7837       |x7  |		Jump	0x321
02ea e603       |    |		Load	0x3,0x3
02eb e011       |    |		Load	0x0,0x11
02ec 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
02ed e605       |    |		Load	0x3,0x5
02ee 016d       | m  |		Execute	Variant_Record,Structure_Write
02ef e002       |    |		Load	0x0,0x2
02f0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02f1 e606       |    |		Load	0x3,0x6
02f2 0120       |    |		Execute	Any,Is_Value
02f3 6803       |h   |		Jump_Zero	0x2f7
02f4 e002       |    |		Load	0x0,0x2
02f5 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02f6 7801       |x   |		Jump	0x2f8
02f7 e606       |    |		Load	0x3,0x6
02f8 60a7       |`   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
02f9 e7fb       |    |		Load	0x3,-0x5
02fa e605       |    |		Load	0x3,0x5
02fb e002       |    |		Load	0x0,0x2
02fc 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02fd 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
02fe c606       |    |		Store	0x3,0x6
02ff c602       |    |		Store	0x3,0x2
0300 e602       |    |		Load	0x3,0x2
0301 701a       |p   |		Jump_Nonzero	0x31c
0302 e605       |    |		Load	0x3,0x5
0303 e002       |    |		Load	0x0,0x2
0304 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0305 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0306 6815       |h   |		Jump_Zero	0x31c
0307 e7fc       |    |		Load	0x3,-0x4
0308 e606       |    |		Load	0x3,0x6
0309 85fd       |    |		Call	0x2,-0x3
030a 7011       |p   |		Jump_Nonzero	0x31c
030b e7fb       |    |		Load	0x3,-0x5
030c e7fd       |    |		Load	0x3,-0x3
030d e606       |    |		Load	0x3,0x6
030e 4ffd       |O   |		Short_Literal	-0x3
030f 4802       |H   |		Short_Literal	0x2
0310 0099       |    |		Action	Reference_Dynamic
0311 4ffe       |O   |		Short_Literal	-0x2
0312 4802       |H   |		Short_Literal	0x2
0313 0099       |    |		Action	Reference_Dynamic
0314 4fff       |O   |		Short_Literal	-0x1
0315 4802       |H   |		Short_Literal	0x2
0316 0099       |    |		Action	Reference_Dynamic
0317 8216       |    |		Call	0x1,0x16
0318 e7fb       |    |		Load	0x3,-0x5
0319 e606       |    |		Load	0x3,0x6
031a e7fc       |    |		Load	0x3,-0x4
031b 85fe       |    |		Call	0x2,-0x2
031c e603       |    |		Load	0x3,0x3
031d e011       |    |		Load	0x0,0x11
031e 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
031f c603       |    |		Store	0x3,0x3
0320 00c9       |    |		Action	Pop_Auxiliary_Loop
0321 e603       |    |		Load	0x3,0x3
0322 e011       |    |		Load	0x0,0x11
0323 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0324 6fc5       |o   |		Jump_Zero	0x2ea
0325 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0326 0000 0000  |    |		.XXX[0x2]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 0346       | F  |		.CONST	0x0346								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0008       |    |		.CONST	0x0008								; Number of locals
032b			INIT_0328:
032b e008       |    |		Load	0x0,0x8
032c 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
032d 02ff       |    |		Declare_Variable	Variant_Record
032e e7fc       |    |		Load	0x3,-0x4
032f 00d9       |    |		Load_Top	At_Offset_1
0330 016d       | m  |		Execute	Variant_Record,Structure_Write
0331 e002       |    |		Load	0x0,0x2
0332 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0333 02c7       |    |		Declare_Variable	Any
0334 00d8       |    |		Load_Top	At_Offset_0
0335 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0336 e002       |    |		Load	0x0,0x2
0337 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0338 e002       |    |		Load	0x0,0x2
0339 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
033a 02ff       |    |		Declare_Variable	Variant_Record
033b 00d8       |    |		Load_Top	At_Offset_0
033c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
033d e011       |    |		Load	0x0,0x11
033e 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
033f 02c7       |    |		Declare_Variable	Any
0340 00d8       |    |		Load_Top	At_Offset_0
0341 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0342 00ec       |    |		Load_Encached	Diana_Tree_Cache
0343 e011       |    |		Load	0x0,0x11
0344 1b61       | a  |		Execute	Package,Field_Read,Field_Number 0x61
0345 0337       | 7  |		Declare_Variable	Array
0346			BODY_0328:
0346 00cf       |    |		Action	Mark_Auxiliary
0347 00d9       |    |		Load_Top	At_Offset_1
0348 01d9       |    |		Execute	Vector,Reverse_Bounds
0349 0007       |    |		Action	Break_Optional
034a 00d8       |    |		Load_Top	At_Offset_0
034b e7fe       |    |		Load	0x3,-0x2
034c 01d7       |    |		Execute	Vector,Field_Read
034d 00d9       |    |		Load_Top	At_Offset_1
034e e608       |    |		Load	0x3,0x8
034f 01d6       |    |		Execute	Vector,Field_Write
0350 00c8       |    |		Action	Pop_Auxiliary_Range
0351 3ff8       |?   |		Loop_Increasing	0x34a
0352 00ce       |    |		Action	Pop_Auxiliary
0353 e012       |    |		Load	0x0,0x12
0354 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0355 e013       |    |		Load	0x0,0x13
0356 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0357 e7fb       |    |		Load	0x3,-0x5
0358 00da       |    |		Load_Top	At_Offset_2
0359 e7fb       |    |		Load	0x3,-0x5
035a e602       |    |		Load	0x3,0x2
035b 821b       |    |		Call	0x1,0x1b
035c e011       |    |		Load	0x0,0x11
035d 1863       | c  |		Execute	Package,Field_Execute,Field_Number 0x63
035e c606       |    |		Store	0x3,0x6
035f 00cf       |    |		Action	Mark_Auxiliary
0360 7838       |x8  |		Jump	0x399
0361 00db       |    |		Load_Top	At_Offset_3
0362 e011       |    |		Load	0x0,0x11
0363 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0364 e605       |    |		Load	0x3,0x5
0365 016d       | m  |		Execute	Variant_Record,Structure_Write
0366 e002       |    |		Load	0x0,0x2
0367 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0368 e603       |    |		Load	0x3,0x3
0369 0120       |    |		Execute	Any,Is_Value
036a 6803       |h   |		Jump_Zero	0x36e
036b e002       |    |		Load	0x0,0x2
036c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
036d 7801       |x   |		Jump	0x36f
036e e603       |    |		Load	0x3,0x3
036f 6030       |`0  |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0370 e7fb       |    |		Load	0x3,-0x5
0371 e605       |    |		Load	0x3,0x5
0372 e002       |    |		Load	0x0,0x2
0373 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0374 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0375 c603       |    |		Store	0x3,0x3
0376 c604       |    |		Store	0x3,0x4
0377 e604       |    |		Load	0x3,0x4
0378 701b       |p   |		Jump_Nonzero	0x394
0379 e605       |    |		Load	0x3,0x5
037a e002       |    |		Load	0x0,0x2
037b 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
037c 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
037d 6816       |h   |		Jump_Zero	0x394
037e e7fd       |    |		Load	0x3,-0x3
037f e603       |    |		Load	0x3,0x3
0380 85fd       |    |		Call	0x2,-0x3
0381 7012       |p   |		Jump_Nonzero	0x394
0382 e7fb       |    |		Load	0x3,-0x5
0383 e7fe       |    |		Load	0x3,-0x2
0384 e603       |    |		Load	0x3,0x3
0385 4ffd       |O   |		Short_Literal	-0x3
0386 4802       |H   |		Short_Literal	0x2
0387 0099       |    |		Action	Reference_Dynamic
0388 4ffe       |O   |		Short_Literal	-0x2
0389 4802       |H   |		Short_Literal	0x2
038a 0099       |    |		Action	Reference_Dynamic
038b 4fff       |O   |		Short_Literal	-0x1
038c 4802       |H   |		Short_Literal	0x2
038d 0099       |    |		Action	Reference_Dynamic
038e 8216       |    |		Call	0x1,0x16
038f e7fb       |    |		Load	0x3,-0x5
0390 e603       |    |		Load	0x3,0x3
0391 e002       |    |		Load	0x0,0x2
0392 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0393 85fe       |    |		Call	0x2,-0x2
0394 00db       |    |		Load_Top	At_Offset_3
0395 e011       |    |		Load	0x0,0x11
0396 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0397 c606       |    |		Store	0x3,0x6
0398 00c9       |    |		Action	Pop_Auxiliary_Loop
0399 00db       |    |		Load_Top	At_Offset_3
039a e011       |    |		Load	0x0,0x11
039b 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
039c 6fc4       |o   |		Jump_Zero	0x361
039d 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
039e 0000 0000  |    |		.XXX[0x2]
03a0 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
03a4 0000 0000  |    |		.BLANK	0000[0x4]
03a8 ; --------------------------------------------------------------------------------------
03a8 ; SUBPROGRAM
03a8 ; --------------------------------------------------------------------------------------
03a8 03ab       |    |		.CONST	0x03ab								; Address of begin
03a9 03b5       |    |		.CONST	0x03b5								; Address of exception handler
03aa 0001       |    |		.CONST	0x0001								; Number of locals
03ab			BODY_03a8:
03ab			INIT_03a8:
03ab e5fd       |    |		Load	0x2,-0x3
03ac e002       |    |		Load	0x0,0x2
03ad 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
03ae 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03af e002       |    |		Load	0x0,0x2
03b0 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03b1 6802       |h   |		Jump_Zero	0x3b4
03b2 00cc       |    |		Action	Pop_Block
03b3 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03b4 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03b5			TRAP_03a8:
03b5 0007       |    |		Action	Break_Optional
03b6 00cc       |    |		Action	Pop_Block
03b7 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03b8 ; --------------------------------------------------------------------------------------
03b8 ; STRING TABLE
03b8 ; --------------------------------------------------------------------------------------
03b8 0012       |    |		.STRTAB	0x0012->0x03c1							; "Couldn't open ada unit "
03b9 0027       | '  |		.STRTAB	0x0027->0x03cc							; " "
03ba 0026       | &  |		.STRTAB	0x0026->0x03cd							; " returned traversing "
03bb 0039       | 9  |		.STRTAB	0x0039->0x03d7							; "?.code_database"
03bc 0046       | F  |		.STRTAB	0x0046->0x03df							; "Skipping source state unit "
03bd 005f       | _  |		.STRTAB	0x005f->0x03ec							; "Getting other part for "
03be 0074       | t  |		.STRTAB	0x0074->0x03f8							; "Couldn't open ada unit for spec of "
03bf 0095       |    |		.STRTAB	0x0095->0x0409							; " is a body: check its spec"
03c0 00ad       |    |		.STREND 0x00ad->0x0416
03c1 436f 756c  |Coul|		.STRTAB_STRINGS
0417 0000       |    |		.XXX[0x1]
0418 ; --------------------------------------------------------------------------------------
0418 ; Debug Table
0418 ; --------------------------------------------------------------------------------------
0418 0004 0011  |    |		.DEBUG4	0x0004,0x0011,0xfe75,0x0000,0x0001,0x0000
041e 0000 0000  |    |		.XXX[0x2f]
0420 26e1 6298  |& b |
0422 b080 0000  |    |
0424 0137 1d90  | 7  |
0426 4dc5 6813  |M h |
0428 7199 85c0  |q   |
042a 0c21 f970  | ! p|
042c 404d c430  |@M 0|
042e 0000 0001  |    |
0430 770b 8018  |w   |
0432 43ff 72e0  |C r |
0434 809b 8860  |   `|
0436 0000 0002  |    |
0438 ee17 0030  |   0|
043a 87c9 a020  |    |
043c 0820 0000  |    |
043e 0000 1585  |    |
0440 9800 02b1  |    |
0442 07e1 3722  |  7"|
0444 2800 159d  |(   |
0446 0709 b920  |    |
0448 8000 ad0d  |    |
044a 1800 0001  |    |
044c 1d8d       |    |
044d 0000 0000  |    |		.BLANK	0000[0x5]
0452 26e4 0898  |&   |		.XXX[0x50]
0454 b080 0000  |    |
0456 0137 3690  | 76 |
0458 4dcb a813  |M   |
045a 7329 85c0  |s)  |
045c 0c21 f970  | ! p|
045e 404d ca70  |@M p|
0460 0000 0001  |    |
0462 770b 8018  |w   |
0464 43ff 72e0  |C r |
0466 809b 94e0  |    |
0468 0000 0002  |    |
046a ee17 0030  |   0|
046c 87fe e020  |    |
046e 0820 0000  |    |
0470 0000 1588  |    |
0472 3f00 02b1  |?   |
0474 21c1 373b  |! 7;|
0476 2800 158b  |(   |
0478 8a09 b9e8  |    |
047a 8000 ac70  |   p|
047c 304d cfbe  |0M  |
047e 0005 63e1  |  c |
0480 c26e 81c0  | n  |
0482 002b 218a  | +! |
0484 1374 2c80  | t, |
0486 0159 2030  | Y 0|
0488 9ba2 5800  |  X |
048a 0ac9 a084  |    |
048c dd1a 6000  |  ` |
048e 5651 fc26  |VQ &|
0490 e910 0002  |    |
0492 b2b7 a137  |   7|
0494 4a68 0015  |Jh  |
0496 96fb 09ba  |    |
0498 6280 00ac  |b   |
049a c1c8 4dd3  |  M |
049c 8e00 0566  |   f|
049e e240 0000  | @  |
04a0 08ec 6800  |  h |
04a2 0000 0000  |    |		.BLANK	0000[0x4]
04a6 0137 3940  | 79@|		.XXX[0xf]
04a8 0015 a46f  |   o|
04aa 09ba ae80  |    |
04ac 00ad c9b8  |    |
04ae 4dd5 ee00  |M   |
04b0 056e aec0  | n  |
04b2 0000 08ec  |    |
04b4 6800       |h   |
04b5 0000 0000  |    |		.BLANK	0000[0x4]
04b9 0137 53ec  | 7S |		.XXX[0x50]
04bb c584 0000  |    |
04bd 0009 bb51  |   Q|
04bf c26e c490  | n  |
04c1 9bb3 202e  |   .|
04c3 0061 0fcb  | a  |
04c5 8202 6eba  |  n |
04c7 d000 0000  |    |
04c9 0bb8 5c00  |  \ |
04cb c21f fb97  |    |
04cd 0404 dd75  |   u|
04cf a000 0000  |    |
04d1 1770 b801  | p  |
04d3 843e 3501  | >5 |
04d5 0041 0000  | A  |
04d7 0000 00ad  |    |
04d9 2378 0015  |#x  |
04db a53e 09bb  | >  |
04dd 7680 00ad  |v   |
04df 3dd0 4ddc  |= M |
04e1 2e00 056a  |.  j|
04e3 8d82 6ee5  |  n |
04e5 4000 2b57  |@ +W|
04e7 6e13 7748  |n wH|
04e9 8001 5acf  |  Z |
04eb 509b bb38  |P  8|
04ed 000a d719  |    |
04ef 84dd e160  |   `|
04f1 0056 bdc4  | V  |
04f3 26ef 4800  |& H |
04f5 02b6 15e1  |    |
04f7 377c 2800  |7|( |
04f9 15b1 ed09  |    |
04fb bbf0 8000  |    |
04fd ad99 584d  |  XM|
04ff dffe 0005  |    |
0501 6d1a 426f  |m Bo|
0503 03c0 002b  |   +|
0505 6f72 0000  |or  |
0507 0047 6340  | Gc@|
0509 0000 0000  |    |		.BLANK	0000[0x4]
050d 0009 bb67  |   g|		.XXX[0xb]
050f 4000 addf  |@   |
0511 884d e25e  | M ^|
0513 0005 76a1  |  v |
0515 0000 0008  |    |
0517 ec68       | h  |
0518 0000 0000  |    |		.BLANK	0000[0x4]
051c 0001 3787  |  7 |		.XXX[0xb]
051e 9000 15bd  |    |
0520 2709 bc88  |'   |
0522 8000 aeac  |    |
0524 d800 0001  |    |
0526 1d8d       |    |
0527 0000 0000  |    |		.BLANK	0000[0x5]
052c 26f1 e500  |&   |		.XXX[0xb]
052e 02b7 cba1  |    |
0530 3798 a800  |7   |
0532 15d3 ed00  |    |
0534 0000 23b1  |  # |
0536 a000       |    |
0537 0000 0000  |    |		.BLANK	0000[0x4]
053b 04de 5b00  |  [ |		.XXX[0xb]
053d 0056 fe4c  | V L|
053f 26f4 0800  |&   |
0541 02ba 5040  |  P@|
0543 0000 0476  |   v|
0545 3400       |4   |
0546 0000 0000  |    |		.BLANK	0000[0x4]
054a 009b cf2c  |   ,|		.XXX[0xb]
054c 000a e064  |   d|
054e 84de 9f60  |   `|
0550 0057 445c  | WD\|
0552 0000 008e  |    |
0554 c680       |    |
0555 0000 0000  |    |		.BLANK	0000[0x4]
0559 0013 7a5f  |  z_|		.XXX[0xb]
055b 0001 5c1f  |  \ |
055d f09b d7b8  |    |
055f 000a e7d6  |    |
0561 0000 0011  |    |
0563 d8d0       |    |
0564 0000 0000  |    |		.BLANK	0000[0x4]
0568 0002 6f5b  |  o[|		.XXX[0xb]
056a 1000 2b86  |  + |
056c 6a13 7b70  |j {p|
056e 8001 5cdf  |  \ |
0570 e000 0002  |    |
0572 3b1a       |;   |
0573 0000 0000  |    |		.BLANK	0000[0x5]
0578 4ded 4800  |M H |		.XXX[0xb]
057a 0571 1ac2  | q  |
057c 6f7d 4000  |o}@ |
057e 2b99 2600  |+ & |
0580 0000 4763  |  Gc|
0582 4000       |@   |
0583 0000 0000  |    |		.BLANK	0000[0x4]
0587 09bd e5c0  |    |		.XXX[0xb]
0589 00ae 2d08  |  - |
058b 4df1 8e00  |M   |
058d 0572 ca00  | r  |
058f 0000 08ec  |    |
0591 6800       |h   |
0592 0000 0000  |    |		.BLANK	0000[0x4]
0596 0137 c450  | 7 P|		.XXX[0xb]
0598 0015 c6d7  |    |
059a 09be 6e80  |  n |
059c 00ae 4de8  |  M |
059e 0000 011d  |    |
05a0 8d00       |    |
05a1 0000 0000  |    |		.BLANK	0000[0x4]
05a5 0026 f97d  | & }|		.XXX[0x26]
05a7 98b0 8000  |    |
05a9 0001 37e0  |  7 |
05ab 504d f618  |PM  |
05ad 137d c585  | }  |
05af c00d 1fd9  |    |
05b1 7040 4df4  |p@M |
05b3 e000 0000  |    |
05b5 0177 0b80  | w  |
05b7 1a3f bf52  | ? R|
05b9 e080 9be9  |    |
05bb c000 0000  |    |
05bd 02ee 1700  |    |
05bf 347f 7ee0  |4 ~ |
05c1 2008 2000  |    |
05c3 0000 0015  |    |
05c5 c8c9 0080  |    |
05c7 229d c000  |"   |
05c9 0004 7634  |  v4|
05cb 0000 0000  |    |		.BLANK	0000[0x5]
05d0 9bf1 8202  |    |		.XXX[0x30]
05d2 f600 0000  |    |
05d4 04e0 b561  |   a|
05d6 3818 0827  |8  '|
05d8 002e 8d3e  | . >|
05da 84e0 6020  |  ` |
05dc 0000 004d  |   M|
05de feb0 137f  |    |
05e0 db80 0000  |    |
05e2 0911 284d  |  (M|
05e4 feb0 137f  |    |
05e6 6681 6f00  |f o |
05e8 04e1 5960  |  Y`|
05ea 009b f890  |    |
05ec 000c 0400  |    |
05ee 7000 0000  |p   |
05f0 0002 bceb  |    |
05f2 b000 0000  |    |
05f4 26fe 2484  |& $ |
05f6 4804 dfb2  |H   |
05f8 0000 0000  |    |
05fa 4dfe 473b  |M G;|
05fc 1709 bf64  |   d|
05fe 0000 0000  |    |