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

⟦8b094f7ff⟧

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

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦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 0450       | P  |		.CONST	0x0450								; 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 014b  |   K|		Declare_Subprogram	INIT_0148,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 01bb  |    |		Declare_Subprogram	INIT_01b8,For_Outer_Call
007b 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
007c 00c7       |    |		Action	Elaborate_Subprogram
007d 029d 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call
007f 029d 0213  |    |		Declare_Subprogram	INIT_0210,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 0243  |   C|		Declare_Subprogram	INIT_0240,For_Call
008d 029f 024b  |   K|		Declare_Subprogram	INIT_0248,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 00c8       |    |		.CONST	0x00c8								; 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 02c7       |    |		Declare_Variable	Any
00b5 00d8       |    |		Load_Top	At_Offset_0
00b6 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00b7 e002       |    |		Load	0x0,0x2
00b8 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00b9 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00ba 02c7       |    |		Declare_Variable	Any
00bb 00d8       |    |		Load_Top	At_Offset_0
00bc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00bd e002       |    |		Load	0x0,0x2
00be 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00bf e002       |    |		Load	0x0,0x2
00c0 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
00c1 02ff       |    |		Declare_Variable	Variant_Record
00c2 00d8       |    |		Load_Top	At_Offset_0
00c3 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c4 029f 025b  |   [|		Declare_Subprogram	INIT_0258,For_Call
00c6 029f 0363  |   c|		Declare_Subprogram	INIT_0360,For_Call
00c8			BODY_00b0:
00c8 e5fc       |    |		Load	0x2,-0x4
00c9 e002       |    |		Load	0x0,0x2
00ca 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00cb e00f       |    |		Load	0x0,0xf
00cc 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00cd 027f       |    |		Execute	Discrete,Equal
00ce 7007       |p   |		Jump_Nonzero	0xd6
00cf e5fc       |    |		Load	0x2,-0x4
00d0 e002       |    |		Load	0x0,0x2
00d1 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00d2 e00f       |    |		Load	0x0,0xf
00d3 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00d4 027f       |    |		Execute	Discrete,Equal
00d5 681a       |h   |		Jump_Zero	0xf0
00d6 e5fc       |    |		Load	0x2,-0x4
00d7 821f       |    |		Call	0x1,0x1f
00d8 00db       |    |		Load_Top	At_Offset_3
00d9 016d       | m  |		Execute	Variant_Record,Structure_Write
00da 00da       |    |		Load_Top	At_Offset_2
00db e002       |    |		Load	0x0,0x2
00dc 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00dd 7011       |p   |		Jump_Nonzero	0xef
00de 00cf       |    |		Action	Mark_Auxiliary
00df 4806       |H   |		Short_Literal	0x6
00e0 4800       |H   |		Short_Literal	0x0
00e1 0007       |    |		Action	Break_Optional
00e2 00d8       |    |		Load_Top	At_Offset_0
00e3 e5fb       |    |		Load	0x2,-0x5
00e4 01d7       |    |		Execute	Vector,Field_Read
00e5 6806       |h   |		Jump_Zero	0xec
00e6 e5fa       |    |		Load	0x2,-0x6
00e7 e405       |    |		Load	0x2,0x5
00e8 e5fc       |    |		Load	0x2,-0x4
00e9 e5fb       |    |		Load	0x2,-0x5
00ea e40a       |    |		Load	0x2,0xa
00eb 8407       |    |		Call	0x2,0x7
00ec 00c8       |    |		Action	Pop_Auxiliary_Range
00ed 3ff4       |?   |		Loop_Increasing	0xe2
00ee 00ce       |    |		Action	Pop_Auxiliary
00ef 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00f0 e5fc       |    |		Load	0x2,-0x4
00f1 e002       |    |		Load	0x0,0x2
00f2 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00f3 7008       |p   |		Jump_Nonzero	0xfc
00f4 e002       |    |		Load	0x0,0x2
00f5 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00f6 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
00f7 e5fc       |    |		Load	0x2,-0x4
00f8 e002       |    |		Load	0x0,0x2
00f9 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00fa 012e       | .  |		Execute	Any,Not_Equal
00fb 6801       |h   |		Jump_Zero	0xfd
00fc 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00fd e002       |    |		Load	0x0,0x2
00fe 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00ff e403       |    |		Load	0x2,0x3
0100 0120       |    |		Execute	Any,Is_Value
0101 6804       |h   |		Jump_Zero	0x106
0102 e002       |    |		Load	0x0,0x2
0103 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0104 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0105 7801       |x   |		Jump	0x107
0106 e403       |    |		Load	0x2,0x3
0107 e402       |    |		Load	0x2,0x2
0108 0120       |    |		Execute	Any,Is_Value
0109 6804       |h   |		Jump_Zero	0x10e
010a e002       |    |		Load	0x0,0x2
010b 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
010c 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
010d 7801       |x   |		Jump	0x10f
010e e402       |    |		Load	0x2,0x2
010f 6030       |`0  |		Indirect_Literal	Discrete,0x140,{0x00000000, 0x00004000}
0110 4801       |H   |		Short_Literal	0x1
0111 4800       |H   |		Short_Literal	0x0
0112 4800       |H   |		Short_Literal	0x0
0113 e5fa       |    |		Load	0x2,-0x6
0114 4801       |H   |		Short_Literal	0x1
0115 e5fc       |    |		Load	0x2,-0x4
0116 e002       |    |		Load	0x0,0x2
0117 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0118 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0119 e002       |    |		Load	0x0,0x2
011a 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
011b 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
011c c402       |    |		Store	0x2,0x2
011d c403       |    |		Store	0x2,0x3
011e c404       |    |		Store	0x2,0x4
011f 00db       |    |		Load_Top	At_Offset_3
0120 680a       |h   |		Jump_Zero	0x12b
0121 4800       |H   |		Short_Literal	0x0
0122 0092 03f0  |    |		Action	Push_String_Extended,0x3f0					; "Couldn't open ada unit "
0124 e5fc       |    |		Load	0x2,-0x4
0125 e002       |    |		Load	0x0,0x2
0126 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0127 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0128 01cc       |    |		Execute	Vector,Catenate
0129 821e       |    |		Call	0x1,0x1e
012a 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
012b 00cf       |    |		Action	Mark_Auxiliary
012c 4806       |H   |		Short_Literal	0x6
012d 4800       |H   |		Short_Literal	0x0
012e 0007       |    |		Action	Break_Optional
012f 00d8       |    |		Load_Top	At_Offset_0
0130 e5fb       |    |		Load	0x2,-0x5
0131 01d7       |    |		Execute	Vector,Field_Read
0132 6806       |h   |		Jump_Zero	0x139
0133 e5fa       |    |		Load	0x2,-0x6
0134 e5fc       |    |		Load	0x2,-0x4
0135 e5fb       |    |		Load	0x2,-0x5
0136 00db       |    |		Load_Top	At_Offset_3
0137 e402       |    |		Load	0x2,0x2
0138 8406       |    |		Call	0x2,0x6
0139 00c8       |    |		Action	Pop_Auxiliary_Range
013a 3ff4       |?   |		Loop_Increasing	0x12f
013b 00ce       |    |		Action	Pop_Auxiliary
013c 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
013d 0000 0000  |    |		.XXX[0x3]
013f 0000       |    |
0140 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0144 0000 0000  |    |		.BLANK	0000[0x4]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 0159       | Y  |		.CONST	0x0159								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0005       |    |		.CONST	0x0005								; Number of locals
014b			INIT_0148:
014b e002       |    |		Load	0x0,0x2
014c 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
014d 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
014e 02c7       |    |		Declare_Variable	Any
014f 00d8       |    |		Load_Top	At_Offset_0
0150 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0151 e002       |    |		Load	0x0,0x2
0152 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0153 e20e       |    |		Load	0x1,0xe
0154 02c7       |    |		Declare_Variable	Any
0155 00d8       |    |		Load_Top	At_Offset_0
0156 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0157 029f 03e3  |    |		Declare_Subprogram	INIT_03e0,For_Call
0159			BODY_0148:
0159 8405       |    |		Call	0x2,0x5
015a e5fc       |    |		Load	0x2,-0x4
015b e5fd       |    |		Load	0x2,-0x3
015c 85fe       |    |		Call	0x2,-0x2
015d e002       |    |		Load	0x0,0x2
015e 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
015f e402       |    |		Load	0x2,0x2
0160 0120       |    |		Execute	Any,Is_Value
0161 6804       |h   |		Jump_Zero	0x166
0162 e002       |    |		Load	0x0,0x2
0163 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0164 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
0165 7801       |x   |		Jump	0x167
0166 e402       |    |		Load	0x2,0x2
0167 67d8       |g   |		Indirect_Literal	Discrete,0x140,{0x00000000, 0x00004000}
0168 e5fc       |    |		Load	0x2,-0x4
0169 e5fd       |    |		Load	0x2,-0x3
016a e002       |    |		Load	0x0,0x2
016b 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
016c 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
016d e002       |    |		Load	0x0,0x2
016e 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
016f 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0170 c402       |    |		Store	0x2,0x2
0171 005b       | [  |		Store_Top	Discrete,At_Offset_3
0172 00da       |    |		Load_Top	At_Offset_2
0173 6818       |h   |		Jump_Zero	0x18c
0174 00da       |    |		Load_Top	At_Offset_2
0175 0e08       |    |		Execute_Immediate	Not_Equal,0x8
0176 6814       |h   |		Jump_Zero	0x18b
0177 4800       |H   |		Short_Literal	0x0
0178 e5fb       |    |		Load	0x2,-0x5
0179 0092 03f1  |    |		Action	Push_String_Extended,0x3f1					; " "
017b 01cc       |    |		Execute	Vector,Catenate
017c e403       |    |		Load	0x2,0x3
017d e002       |    |		Load	0x0,0x2
017e 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
017f 011c       |    |		Execute	Any,Convert_Unchecked
0180 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0181 01cc       |    |		Execute	Vector,Catenate
0182 0092 03f2  |    |		Action	Push_String_Extended,0x3f2					; " returned traversing "
0184 01cc       |    |		Execute	Vector,Catenate
0185 e5fd       |    |		Load	0x2,-0x3
0186 e002       |    |		Load	0x0,0x2
0187 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0188 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0189 01cc       |    |		Execute	Vector,Catenate
018a 821e       |    |		Call	0x1,0x1e
018b 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
018c 00cf       |    |		Action	Mark_Auxiliary
018d 781e       |x   |		Jump	0x1ac
018e e402       |    |		Load	0x2,0x2
018f e002       |    |		Load	0x0,0x2
0190 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0191 1834       | 4  |		Execute	Package,Field_Execute,Field_Number 0x34
0192 c404       |    |		Store	0x2,0x4
0193 00da       |    |		Load_Top	At_Offset_2
0194 e002       |    |		Load	0x0,0x2
0195 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
0196 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0197 680b       |h   |		Jump_Zero	0x1a3
0198 e5fb       |    |		Load	0x2,-0x5
0199 e5fc       |    |		Load	0x2,-0x4
019a e404       |    |		Load	0x2,0x4
019b 4ffe       |O   |		Short_Literal	-0x2
019c 4802       |H   |		Short_Literal	0x2
019d 0099       |    |		Action	Reference_Dynamic
019e 4fff       |O   |		Short_Literal	-0x1
019f 4802       |H   |		Short_Literal	0x2
01a0 0099       |    |		Action	Reference_Dynamic
01a1 8217       |    |		Call	0x1,0x17
01a2 7803       |x   |		Jump	0x1a6
01a3 e5fc       |    |		Load	0x2,-0x4
01a4 00db       |    |		Load_Top	At_Offset_3
01a5 85fe       |    |		Call	0x2,-0x2
01a6 e402       |    |		Load	0x2,0x2
01a7 e002       |    |		Load	0x0,0x2
01a8 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01a9 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
01aa c402       |    |		Store	0x2,0x2
01ab 00c9       |    |		Action	Pop_Auxiliary_Loop
01ac e402       |    |		Load	0x2,0x2
01ad e002       |    |		Load	0x0,0x2
01ae 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01af 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
01b0 6fdd       |o   |		Jump_Zero	0x18e
01b1 00ce       |    |		Action	Pop_Auxiliary
01b2 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
01b3 0000 0000  |    |		.BLANK	0000[0x5]
01b8 ; --------------------------------------------------------------------------------------
01b8 ; SUBPROGRAM
01b8 ; --------------------------------------------------------------------------------------
01b8 01bb       |    |		.CONST	0x01bb								; Address of begin
01b9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ba 0001       |    |		.CONST	0x0001								; Number of locals
01bb			BODY_01b8:
01bb			INIT_01b8:
01bb e010       |    |		Load	0x0,0x10
01bc 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01bd 4807       |H   |		Short_Literal	0x7
01be e5ff       |    |		Load	0x2,-0x1
01bf e011       |    |		Load	0x0,0x11
01c0 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01c1 00db       |    |		Load_Top	At_Offset_3
01c2 6802       |h   |		Jump_Zero	0x1c5
01c3 e20d       |    |		Load	0x1,0xd
01c4 0257       | W  |		Execute	Discrete,Raise
01c5 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01c6 0000 0000  |    |		.XXX[0x2]
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01db       |    |		.CONST	0x01db								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0005       |    |		.CONST	0x0005								; Number of locals
01cb			INIT_01c8:
01cb e002       |    |		Load	0x0,0x2
01cc 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01cd 02ff       |    |		Declare_Variable	Variant_Record
01ce 00d8       |    |		Load_Top	At_Offset_0
01cf 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d0 e002       |    |		Load	0x0,0x2
01d1 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d2 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01d3 e002       |    |		Load	0x0,0x2
01d4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d5 e002       |    |		Load	0x0,0x2
01d6 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d7 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01d8 02c7       |    |		Declare_Variable	Any
01d9 00d8       |    |		Load_Top	At_Offset_0
01da 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01db			BODY_01c8:
01db e002       |    |		Load	0x0,0x2
01dc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01dd 00d9       |    |		Load_Top	At_Offset_1
01de 0120       |    |		Execute	Any,Is_Value
01df 6804       |h   |		Jump_Zero	0x1e4
01e0 e002       |    |		Load	0x0,0x2
01e1 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01e2 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01e3 7801       |x   |		Jump	0x1e5
01e4 00d9       |    |		Load_Top	At_Offset_1
01e5 6022       |`"  |		Indirect_Literal	Discrete,0x208,{0x00000000, 0x00004000}
01e6 e012       |    |		Load	0x0,0x12
01e7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01e8 4800       |H   |		Short_Literal	0x0
01e9 e5ff       |    |		Load	0x2,-0x1
01ea e002       |    |		Load	0x0,0x2
01eb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ec 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01ed c405       |    |		Store	0x2,0x5
01ee 005a       | Z  |		Store_Top	Discrete,At_Offset_2
01ef e002       |    |		Load	0x0,0x2
01f0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01f1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01f2 e402       |    |		Load	0x2,0x2
01f3 6014       |`   |		Indirect_Literal	Discrete,0x208,{0x00000000, 0x00004000}
01f4 e012       |    |		Load	0x0,0x12
01f5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01f6 4800       |H   |		Short_Literal	0x0
01f7 e405       |    |		Load	0x2,0x5
01f8 0092 03f3  |    |		Action	Push_String_Extended,0x3f3					; "?.code_database"
01fa e002       |    |		Load	0x0,0x2
01fb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01fc 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
01fd 00d1       |    |		Pop_Control	Pop_Count_1
01fe 005b       | [  |		Store_Top	Discrete,At_Offset_3
01ff 00d9       |    |		Load_Top	At_Offset_1
0200 7002       |p   |		Jump_Nonzero	0x203
0201 00da       |    |		Load_Top	At_Offset_2
0202 6803       |h   |		Jump_Zero	0x206
0203 e002       |    |		Load	0x0,0x2
0204 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
0205 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0206 00db       |    |		Load_Top	At_Offset_3
0207 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0208 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
020c 0000 0000  |    |		.BLANK	0000[0x4]
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 021f       |    |		.CONST	0x021f								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0006       |    |		.CONST	0x0006								; Number of locals
0213			INIT_0210:
0213 e008       |    |		Load	0x0,0x8
0214 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
0215 e013       |    |		Load	0x0,0x13
0216 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
0217 e009       |    |		Load	0x0,0x9
0218 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0219 e008       |    |		Load	0x0,0x8
021a 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
021b 00ec       |    |		Load_Encached	Diana_Tree_Cache
021c 02c7       |    |		Declare_Variable	Any
021d 00d8       |    |		Load_Top	At_Offset_0
021e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
021f			BODY_0210:
021f e008       |    |		Load	0x0,0x8
0220 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
0221 e008       |    |		Load	0x0,0x8
0222 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
0223 4801       |H   |		Short_Literal	0x1
0224 e5fe       |    |		Load	0x2,-0x2
0225 e5ff       |    |		Load	0x2,-0x1
0226 e008       |    |		Load	0x0,0x8
0227 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0228 c402       |    |		Store	0x2,0x2
0229 005a       | Z  |		Store_Top	Discrete,At_Offset_2
022a 00d9       |    |		Load_Top	At_Offset_1
022b 6802       |h   |		Jump_Zero	0x22e
022c 00ec       |    |		Load_Encached	Diana_Tree_Cache
022d 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
022e e402       |    |		Load	0x2,0x2
022f e218       |    |		Load	0x1,0x18
0230 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0231 a403       |    |		Store_Unchecked	0x2,0x3
0232 e402       |    |		Load	0x2,0x2
0233 e218       |    |		Load	0x1,0x18
0234 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0235 0053       | S  |		Store_Top_Uncheched	Discrete,At_Offset_3
0236 00da       |    |		Load_Top	At_Offset_2
0237 e403       |    |		Load	0x2,0x3
0238 497d       |I}  |		Short_Literal	0x17d
0239 00eb       |    |		Load_Encached	Diana_Cache
023a 0096       |    |		Execute	Package,Entry
023b c406       |    |		Store	0x2,0x6
023c 00d8       |    |		Load_Top	At_Offset_0
023d 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
023e 0000 0000  |    |		.XXX[0x2]
0240 ; --------------------------------------------------------------------------------------
0240 ; SUBPROGRAM
0240 ; --------------------------------------------------------------------------------------
0240 0243       | C  |		.CONST	0x0243								; Address of begin
0241 0004       |    |		.CONST	0x0004								; Address of exception handler
0242 0001       |    |		.CONST	0x0001								; Number of locals
0243			BODY_0240:
0243			INIT_0240:
0243 00db       |    |		Load_Top	At_Offset_3
0244 e5fc       |    |		Load	0x2,-0x4
0245 e20f       |    |		Load	0x1,0xf
0246 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
0247 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 024b       | K  |		.CONST	0x024b								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 0001       |    |		.CONST	0x0001								; Number of locals
024b			BODY_0248:
024b			INIT_0248:
024b e5fc       |    |		Load	0x2,-0x4
024c e7fe       |    |		Load	0x3,-0x2
024d e20f       |    |		Load	0x1,0xf
024e 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
024f c5fc       |    |		Store	0x2,-0x4
0250 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0251 0000 0000  |    |		.BLANK	0000[0x7]
0258 ; --------------------------------------------------------------------------------------
0258 ; SUBPROGRAM
0258 ; --------------------------------------------------------------------------------------
0258 0288       |    |		.CONST	0x0288								; Address of begin
0259 0004       |    |		.CONST	0x0004								; Address of exception handler
025a 000b       |    |		.CONST	0x000b								; Number of locals
025b			INIT_0258:
025b e002       |    |		Load	0x0,0x2
025c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
025d e014       |    |		Load	0x0,0x14
025e 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
025f 02c7       |    |		Declare_Variable	Any
0260 00d8       |    |		Load_Top	At_Offset_0
0261 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0262 00ec       |    |		Load_Encached	Diana_Tree_Cache
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 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0268 02ff       |    |		Declare_Variable	Variant_Record
0269 00d8       |    |		Load_Top	At_Offset_0
026a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
026b e002       |    |		Load	0x0,0x2
026c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
026d 02c7       |    |		Declare_Variable	Any
026e 00d8       |    |		Load_Top	At_Offset_0
026f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0270 e002       |    |		Load	0x0,0x2
0271 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0272 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0273 02c7       |    |		Declare_Variable	Any
0274 00d8       |    |		Load_Top	At_Offset_0
0275 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0276 e002       |    |		Load	0x0,0x2
0277 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0278 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0279 02c7       |    |		Declare_Variable	Any
027a 00d8       |    |		Load_Top	At_Offset_0
027b 1c00       |    |		Execute_Immediate	Run_Utility,0x0
027c e002       |    |		Load	0x0,0x2
027d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
027e e002       |    |		Load	0x0,0x2
027f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0280 02ff       |    |		Declare_Variable	Variant_Record
0281 00d8       |    |		Load_Top	At_Offset_0
0282 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0283 e002       |    |		Load	0x0,0x2
0284 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0285 02ff       |    |		Declare_Variable	Variant_Record
0286 00d8       |    |		Load_Top	At_Offset_0
0287 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0288			BODY_0258:
0288 e7ff       |    |		Load	0x3,-0x1
0289 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
028a 0fa8       |    |		Execute_Immediate	Equal,-0x58
028b 6805       |h   |		Jump_Zero	0x291
028c e7ff       |    |		Load	0x3,-0x1
028d e002       |    |		Load	0x0,0x2
028e 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
028f 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0290 680d       |h   |		Jump_Zero	0x29e
0291 e010       |    |		Load	0x0,0x10
0292 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0293 4801       |H   |		Short_Literal	0x1
0294 0092 03f4  |    |		Action	Push_String_Extended,0x3f4					; "Skipping source state unit "
0296 e7fc       |    |		Load	0x3,-0x4
0297 e002       |    |		Load	0x0,0x2
0298 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0299 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
029a 01cc       |    |		Execute	Vector,Catenate
029b e011       |    |		Load	0x0,0x11
029c 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
029d 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
029e e7fe       |    |		Load	0x3,-0x2
029f 0f06       |    |		Execute_Immediate	Equal,0x6
02a0 6866       |hf  |		Jump_Zero	0x307
02a1 e002       |    |		Load	0x0,0x2
02a2 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02a3 00da       |    |		Load_Top	At_Offset_2
02a4 e7ff       |    |		Load	0x3,-0x1
02a5 e002       |    |		Load	0x0,0x2
02a6 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a7 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
02a8 00d1       |    |		Pop_Control	Pop_Count_1
02a9 005b       | [  |		Store_Top	Discrete,At_Offset_3
02aa 00d9       |    |		Load_Top	At_Offset_1
02ab e002       |    |		Load	0x0,0x2
02ac 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02ad 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02ae 7058       |pX  |		Jump_Nonzero	0x307
02af e010       |    |		Load	0x0,0x10
02b0 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02b1 4801       |H   |		Short_Literal	0x1
02b2 0092 03f5  |    |		Action	Push_String_Extended,0x3f5					; "Getting other part for "
02b4 e7fc       |    |		Load	0x3,-0x4
02b5 e002       |    |		Load	0x0,0x2
02b6 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02b7 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02b8 01cc       |    |		Execute	Vector,Catenate
02b9 e011       |    |		Load	0x0,0x11
02ba 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02bb e002       |    |		Load	0x0,0x2
02bc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02bd 00d9       |    |		Load_Top	At_Offset_1
02be 6099       |`   |		Indirect_Literal	Discrete,0x358,{0x00000000, 0x00004000}
02bf e7fb       |    |		Load	0x3,-0x5
02c0 e60a       |    |		Load	0x3,0xa
02c1 e002       |    |		Load	0x0,0x2
02c2 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02c3 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02c4 00d1       |    |		Pop_Control	Pop_Count_1
02c5 005b       | [  |		Store_Top	Discrete,At_Offset_3
02c6 e002       |    |		Load	0x0,0x2
02c7 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02c8 e608       |    |		Load	0x3,0x8
02c9 0120       |    |		Execute	Any,Is_Value
02ca 6804       |h   |		Jump_Zero	0x2cf
02cb e002       |    |		Load	0x0,0x2
02cc 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02cd 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02ce 7801       |x   |		Jump	0x2d0
02cf e608       |    |		Load	0x3,0x8
02d0 e607       |    |		Load	0x3,0x7
02d1 0120       |    |		Execute	Any,Is_Value
02d2 6804       |h   |		Jump_Zero	0x2d7
02d3 e002       |    |		Load	0x0,0x2
02d4 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02d5 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
02d6 7801       |x   |		Jump	0x2d8
02d7 e607       |    |		Load	0x3,0x7
02d8 00db       |    |		Load_Top	At_Offset_3
02d9 607e       |`~  |		Indirect_Literal	Discrete,0x358,{0x00000000, 0x00004000}
02da 4801       |H   |		Short_Literal	0x1
02db 4800       |H   |		Short_Literal	0x0
02dc e7fb       |    |		Load	0x3,-0x5
02dd 4801       |H   |		Short_Literal	0x1
02de e002       |    |		Load	0x0,0x2
02df 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02e0 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
02e1 00d1       |    |		Pop_Control	Pop_Count_1
02e2 c607       |    |		Store	0x3,0x7
02e3 c608       |    |		Store	0x3,0x8
02e4 005b       | [  |		Store_Top	Discrete,At_Offset_3
02e5 00da       |    |		Load_Top	At_Offset_2
02e6 680a       |h   |		Jump_Zero	0x2f1
02e7 4800       |H   |		Short_Literal	0x0
02e8 0092 03f6  |    |		Action	Push_String_Extended,0x3f6					; "Couldn't open ada unit for spec of "
02ea e7fc       |    |		Load	0x3,-0x4
02eb e002       |    |		Load	0x0,0x2
02ec 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02ed 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02ee 01cc       |    |		Execute	Vector,Catenate
02ef 821e       |    |		Call	0x1,0x1e
02f0 7816       |x   |		Jump	0x307
02f1 e7ff       |    |		Load	0x3,-0x1
02f2 e607       |    |		Load	0x3,0x7
02f3 012f       | /  |		Execute	Any,Equal
02f4 7012       |p   |		Jump_Nonzero	0x307
02f5 e010       |    |		Load	0x0,0x10
02f6 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02f7 4801       |H   |		Short_Literal	0x1
02f8 e7fc       |    |		Load	0x3,-0x4
02f9 e002       |    |		Load	0x0,0x2
02fa 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02fb 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02fc 0092 03f7  |    |		Action	Push_String_Extended,0x3f7					; " is a body: check its spec"
02fe 01cc       |    |		Execute	Vector,Catenate
02ff e011       |    |		Load	0x0,0x11
0300 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0301 e7fb       |    |		Load	0x3,-0x5
0302 e7fc       |    |		Load	0x3,-0x4
0303 e7fd       |    |		Load	0x3,-0x3
0304 e7fe       |    |		Load	0x3,-0x2
0305 e607       |    |		Load	0x3,0x7
0306 8406       |    |		Call	0x2,0x6
0307 e7ff       |    |		Load	0x3,-0x1
0308 4976       |Iv  |		Short_Literal	0x176
0309 00eb       |    |		Load_Encached	Diana_Cache
030a 0098       |    |		Execute	Package,Field_Read_Dynamic
030b 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
030c c604       |    |		Store	0x3,0x4
030d e015       |    |		Load	0x0,0x15
030e 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
030f e016       |    |		Load	0x0,0x16
0310 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0311 e7fb       |    |		Load	0x3,-0x5
0312 e604       |    |		Load	0x3,0x4
0313 e7fe       |    |		Load	0x3,-0x2
0314 e014       |    |		Load	0x0,0x14
0315 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
0316 c603       |    |		Store	0x3,0x3
0317 00cf       |    |		Action	Mark_Auxiliary
0318 7837       |x7  |		Jump	0x350
0319 e603       |    |		Load	0x3,0x3
031a e014       |    |		Load	0x0,0x14
031b 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
031c e605       |    |		Load	0x3,0x5
031d 016d       | m  |		Execute	Variant_Record,Structure_Write
031e e002       |    |		Load	0x0,0x2
031f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0320 e606       |    |		Load	0x3,0x6
0321 0120       |    |		Execute	Any,Is_Value
0322 6803       |h   |		Jump_Zero	0x326
0323 e002       |    |		Load	0x0,0x2
0324 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0325 7801       |x   |		Jump	0x327
0326 e606       |    |		Load	0x3,0x6
0327 6030       |`0  |		Indirect_Literal	Discrete,0x358,{0x00000000, 0x00004000}
0328 e7fb       |    |		Load	0x3,-0x5
0329 e605       |    |		Load	0x3,0x5
032a e002       |    |		Load	0x0,0x2
032b 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
032c 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
032d c606       |    |		Store	0x3,0x6
032e c602       |    |		Store	0x3,0x2
032f e602       |    |		Load	0x3,0x2
0330 701a       |p   |		Jump_Nonzero	0x34b
0331 e605       |    |		Load	0x3,0x5
0332 e002       |    |		Load	0x0,0x2
0333 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0334 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0335 6815       |h   |		Jump_Zero	0x34b
0336 e7fc       |    |		Load	0x3,-0x4
0337 e606       |    |		Load	0x3,0x6
0338 85fd       |    |		Call	0x2,-0x3
0339 7011       |p   |		Jump_Nonzero	0x34b
033a e7fb       |    |		Load	0x3,-0x5
033b e7fd       |    |		Load	0x3,-0x3
033c e606       |    |		Load	0x3,0x6
033d 4ffd       |O   |		Short_Literal	-0x3
033e 4802       |H   |		Short_Literal	0x2
033f 0099       |    |		Action	Reference_Dynamic
0340 4ffe       |O   |		Short_Literal	-0x2
0341 4802       |H   |		Short_Literal	0x2
0342 0099       |    |		Action	Reference_Dynamic
0343 4fff       |O   |		Short_Literal	-0x1
0344 4802       |H   |		Short_Literal	0x2
0345 0099       |    |		Action	Reference_Dynamic
0346 8216       |    |		Call	0x1,0x16
0347 e7fb       |    |		Load	0x3,-0x5
0348 e606       |    |		Load	0x3,0x6
0349 e7fc       |    |		Load	0x3,-0x4
034a 85fe       |    |		Call	0x2,-0x2
034b e603       |    |		Load	0x3,0x3
034c e014       |    |		Load	0x0,0x14
034d 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
034e c603       |    |		Store	0x3,0x3
034f 00c9       |    |		Action	Pop_Auxiliary_Loop
0350 e603       |    |		Load	0x3,0x3
0351 e014       |    |		Load	0x0,0x14
0352 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0353 6fc5       |o   |		Jump_Zero	0x319
0354 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0355 0000 0000  |    |		.XXX[0x3]
0357 0000       |    |
0358 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
035c 0000 0000  |    |		.BLANK	0000[0x4]
0360 ; --------------------------------------------------------------------------------------
0360 ; SUBPROGRAM
0360 ; --------------------------------------------------------------------------------------
0360 0385       |    |		.CONST	0x0385								; Address of begin
0361 0004       |    |		.CONST	0x0004								; Address of exception handler
0362 0008       |    |		.CONST	0x0008								; Number of locals
0363			INIT_0360:
0363 e008       |    |		Load	0x0,0x8
0364 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0365 02ff       |    |		Declare_Variable	Variant_Record
0366 e7fc       |    |		Load	0x3,-0x4
0367 e219       |    |		Load	0x1,0x19
0368 e21a       |    |		Load	0x1,0x1a
0369 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
036a 800a       |    |		Call	0x0,0xa
036b 00d9       |    |		Load_Top	At_Offset_1
036c 016d       | m  |		Execute	Variant_Record,Structure_Write
036d e002       |    |		Load	0x0,0x2
036e 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
036f 02c7       |    |		Declare_Variable	Any
0370 00d8       |    |		Load_Top	At_Offset_0
0371 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0372 e002       |    |		Load	0x0,0x2
0373 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0374 e002       |    |		Load	0x0,0x2
0375 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0376 02ff       |    |		Declare_Variable	Variant_Record
0377 00d8       |    |		Load_Top	At_Offset_0
0378 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0379 e014       |    |		Load	0x0,0x14
037a 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
037b 02c7       |    |		Declare_Variable	Any
037c 00d8       |    |		Load_Top	At_Offset_0
037d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
037e 00ec       |    |		Load_Encached	Diana_Tree_Cache
037f 02c7       |    |		Declare_Variable	Any
0380 00d8       |    |		Load_Top	At_Offset_0
0381 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0382 e014       |    |		Load	0x0,0x14
0383 1b61       | a  |		Execute	Package,Field_Read,Field_Number 0x61
0384 0337       | 7  |		Declare_Variable	Array
0385			BODY_0360:
0385 00cf       |    |		Action	Mark_Auxiliary
0386 00d9       |    |		Load_Top	At_Offset_1
0387 01d9       |    |		Execute	Vector,Reverse_Bounds
0388 0007       |    |		Action	Break_Optional
0389 00d8       |    |		Load_Top	At_Offset_0
038a e7fe       |    |		Load	0x3,-0x2
038b 01d7       |    |		Execute	Vector,Field_Read
038c 00d9       |    |		Load_Top	At_Offset_1
038d e608       |    |		Load	0x3,0x8
038e 01d6       |    |		Execute	Vector,Field_Write
038f 00c8       |    |		Action	Pop_Auxiliary_Range
0390 3ff8       |?   |		Loop_Increasing	0x389
0391 00ce       |    |		Action	Pop_Auxiliary
0392 e015       |    |		Load	0x0,0x15
0393 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0394 e016       |    |		Load	0x0,0x16
0395 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0396 e7fb       |    |		Load	0x3,-0x5
0397 00da       |    |		Load_Top	At_Offset_2
0398 e7fb       |    |		Load	0x3,-0x5
0399 e602       |    |		Load	0x3,0x2
039a 8220       |    |		Call	0x1,0x20
039b e014       |    |		Load	0x0,0x14
039c 1863       | c  |		Execute	Package,Field_Execute,Field_Number 0x63
039d c606       |    |		Store	0x3,0x6
039e 00cf       |    |		Action	Mark_Auxiliary
039f 7838       |x8  |		Jump	0x3d8
03a0 00db       |    |		Load_Top	At_Offset_3
03a1 e014       |    |		Load	0x0,0x14
03a2 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
03a3 e605       |    |		Load	0x3,0x5
03a4 016d       | m  |		Execute	Variant_Record,Structure_Write
03a5 e002       |    |		Load	0x0,0x2
03a6 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
03a7 e603       |    |		Load	0x3,0x3
03a8 0120       |    |		Execute	Any,Is_Value
03a9 6803       |h   |		Jump_Zero	0x3ad
03aa e002       |    |		Load	0x0,0x2
03ab 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
03ac 7801       |x   |		Jump	0x3ae
03ad e603       |    |		Load	0x3,0x3
03ae 67a9       |g   |		Indirect_Literal	Discrete,0x358,{0x00000000, 0x00004000}
03af e7fb       |    |		Load	0x3,-0x5
03b0 e605       |    |		Load	0x3,0x5
03b1 e002       |    |		Load	0x0,0x2
03b2 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
03b3 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03b4 c603       |    |		Store	0x3,0x3
03b5 c604       |    |		Store	0x3,0x4
03b6 e604       |    |		Load	0x3,0x4
03b7 701b       |p   |		Jump_Nonzero	0x3d3
03b8 e605       |    |		Load	0x3,0x5
03b9 e002       |    |		Load	0x0,0x2
03ba 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
03bb 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
03bc 6816       |h   |		Jump_Zero	0x3d3
03bd e7fd       |    |		Load	0x3,-0x3
03be e603       |    |		Load	0x3,0x3
03bf 85fd       |    |		Call	0x2,-0x3
03c0 7012       |p   |		Jump_Nonzero	0x3d3
03c1 e7fb       |    |		Load	0x3,-0x5
03c2 e7fe       |    |		Load	0x3,-0x2
03c3 e603       |    |		Load	0x3,0x3
03c4 4ffd       |O   |		Short_Literal	-0x3
03c5 4802       |H   |		Short_Literal	0x2
03c6 0099       |    |		Action	Reference_Dynamic
03c7 4ffe       |O   |		Short_Literal	-0x2
03c8 4802       |H   |		Short_Literal	0x2
03c9 0099       |    |		Action	Reference_Dynamic
03ca 4fff       |O   |		Short_Literal	-0x1
03cb 4802       |H   |		Short_Literal	0x2
03cc 0099       |    |		Action	Reference_Dynamic
03cd 8216       |    |		Call	0x1,0x16
03ce e7fb       |    |		Load	0x3,-0x5
03cf e603       |    |		Load	0x3,0x3
03d0 e002       |    |		Load	0x0,0x2
03d1 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
03d2 85fe       |    |		Call	0x2,-0x2
03d3 00db       |    |		Load_Top	At_Offset_3
03d4 e014       |    |		Load	0x0,0x14
03d5 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
03d6 c606       |    |		Store	0x3,0x6
03d7 00c9       |    |		Action	Pop_Auxiliary_Loop
03d8 00db       |    |		Load_Top	At_Offset_3
03d9 e014       |    |		Load	0x0,0x14
03da 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
03db 6fc4       |o   |		Jump_Zero	0x3a0
03dc 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03dd 0000 0000  |    |		.XXX[0x3]
03df 0000       |    |
03e0 ; --------------------------------------------------------------------------------------
03e0 ; SUBPROGRAM
03e0 ; --------------------------------------------------------------------------------------
03e0 03e3       |    |		.CONST	0x03e3								; Address of begin
03e1 03ed       |    |		.CONST	0x03ed								; Address of exception handler
03e2 0001       |    |		.CONST	0x0001								; Number of locals
03e3			BODY_03e0:
03e3			INIT_03e0:
03e3 e5fd       |    |		Load	0x2,-0x3
03e4 e002       |    |		Load	0x0,0x2
03e5 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
03e6 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03e7 e002       |    |		Load	0x0,0x2
03e8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03e9 6802       |h   |		Jump_Zero	0x3ec
03ea 00cc       |    |		Action	Pop_Block
03eb 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03ec 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03ed			TRAP_03e0:
03ed 0007       |    |		Action	Break_Optional
03ee 00cc       |    |		Action	Pop_Block
03ef 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03f0 ; --------------------------------------------------------------------------------------
03f0 ; STRING TABLE
03f0 ; --------------------------------------------------------------------------------------
03f0 0012       |    |		.STRTAB	0x0012->0x03f9							; "Couldn't open ada unit "
03f1 0027       | '  |		.STRTAB	0x0027->0x0404							; " "
03f2 0026       | &  |		.STRTAB	0x0026->0x0405							; " returned traversing "
03f3 0039       | 9  |		.STRTAB	0x0039->0x040f							; "?.code_database"
03f4 0046       | F  |		.STRTAB	0x0046->0x0417							; "Skipping source state unit "
03f5 005f       | _  |		.STRTAB	0x005f->0x0424							; "Getting other part for "
03f6 0074       | t  |		.STRTAB	0x0074->0x0430							; "Couldn't open ada unit for spec of "
03f7 0095       |    |		.STRTAB	0x0095->0x0441							; " is a body: check its spec"
03f8 00ad       |    |		.STREND 0x00ad->0x044e
03f9 436f 756c  |Coul|		.STRTAB_STRINGS
044f 0000       |    |		.XXX[0x1]
0450 ; --------------------------------------------------------------------------------------
0450 ; Debug Table
0450 ; --------------------------------------------------------------------------------------
0450 0004 000d  |    |		.DEBUG4	0x0004,0x000d,0x9699,0x0000,0x0001,0x0000
0456 0174 b931  | t 1|		.XXX[0x178]
0458 a5cd d1cc  |    |
045a b909 85b9  |    |
045c b995 917d  |   }|
045e 55b9 a5d1  |U   |
0460 cc01 7445  |  tE|
0462 0905 3939  |  99|
0464 1511 7d55  |  }U|
0466 3925 514d  |9%QM|
0468 7d31 254d  |}1%M|
046a 5002 0068  |P  h|
046c 9091 6d11  |  m |
046e 7d01 74b9  |} t |
0470 31a5 cdd1  |1   |
0472 ccb9 19bd  |    |
0474 c98d 9591  |    |
0476 7d55 b9a5  |}U  |
0478 d1cc 0154  |   T|
047a 4519 3d49  |E =I|
047c 0d15 117d  |   }|
047e 5539 2551  |U9%Q|
0480 4d7d 3125  |M}1%|
0482 4d50 0088  |MP  |
0484 3d25 1d39  |=% 9|
0486 3d49 157d  |=I }|
0488 0d3d 3535  | =55|
048a 1539 514c  | 9QL|
048c 0024 410d  | $A |
048e 3d35 4105  |=5A |
0490 4915 7d55  |I }U|
0492 3925 5915  |9%Y |
0494 494d 1402  |IM  |
0496 041d 7d05  |  } |
0498 1105 7cd5  |  | |
049a 7c00 e820  ||   |
049c f10d 5549  |  UI|
049e 4d3d 48f8  |M=H |
04a0 01e4 2119  |  ! |
04a2 3d49 7d55  |=I}U|
04a4 3925 5000  |9%P |
04a6 e02d 1195  | -  |
04a8 b5bd d195  |    |
04aa 7d19 a5b1  |}   |
04ac 9402 082d  |   -|
04ae 1115 353d  |  5=|
04b0 5115 7d19  |Q } |
04b2 2531 1402  |%1  |
04b4 0c31 25b9  | 1% |
04b6 cdd1 85b1  |    |
04b8 b17d 19a5  | }  |
04ba b194 0210  |    |
04bc 3125 394d  |1%9M|
04be 5105 3131  |Q 11|
04c0 7d19 2531  |} %1|
04c2 1402 1425  |   %|
04c4 0dbd 9195  |    |
04c6 7d19 a5b1  |}   |
04c8 9402 1825  |   %|
04ca 0d3d 1115  | =  |
04cc 7d19 2531  |} %1|
04ce 1401 d82d  |   -|
04d0 19c9 9595  |    |
04d2 e995 7d19  |  } |
04d4 a5b1 9402  |    |
04d6 1c2d 1949  | - I|
04d8 1515 6915  |  i |
04da 7d19 2531  |} %1|
04dc 1400 1824  |   $|
04de f141 493d  | AI=|
04e0 1925 3114  | %1 |
04e2 f801 8041  |   A|
04e4 0d3d 3541  | =5A|
04e6 5551 157d  |UQ }|
04e8 4915 0d3d  |I  =|
04ea 1125 391c  | %9 |
04ec 0144 1d7d  | D }|
04ee 0511 057c  |   ||
04f0 d97c 0188  | |  |
04f2 1d3d 4151  | =AQ|
04f4 253d 394c  |%=9L|
04f6 01a8 690d  |  i |
04f8 3d39 5915  |=9Y |
04fa 4951 7d35  |IQ}5|
04fc 050d 2125  |  !%|
04fe 3915 7d25  |9 }%|
0500 3925 5125  |9%Q%|
0502 0531 2569  | 1%i|
0504 1402 201d  |    |
0506 7d05 1105  |}   |
0508 7cdd 7c00  || | |
050a 8034 f8f9  | 4  |
050c 6199 95c8  |a   |
050e 8119 a5b1  |    |
0510 94f0 f001  |    |
0512 0425 6119  | %a |
0514 1549 7d19  | I} |
0516 2531 1402  |%1  |
0518 2421 554d  |$!UM|
051a 1549 3905  | I9 |
051c 3514 01dc  |5   |
051e 2141 054d  |!A M|
0520 4d5d 3d49  |M]=I|
0522 1000 6815  |  h |
0524 1905 314d  |  1M|
0526 1401 c01d  |    |
0528 5915 4909  |Y I |
052a 3d4d 1401  |=M  |
052c 2021 1d15  | !  |
052e 517d 6119  |Q}a |
0530 1548 01b4  | H  |
0532 1d7d 0511  | }  |
0534 057c e17c  | | ||
0536 005c 4090  | \@ |
0538 90b9 058d  |    |
053a d1a5 d9a5  |    |
053c d1e5 7d19  |  } |
053e a5b1 9400  |    |
0540 7c31 193d  ||1 =|
0542 497d 050d  |I}  |
0544 5125 5925  |Q%Y%|
0546 5164 00d8  |Qd  |
0548 8485 3585  |  5 |
054a 8da1 a5b9  |    |
054c 94b9 4995  |  I |
054e b195 85cd  |    |
0550 94b9 0dd5  |    |
0552 c9c9 95b9  |    |
0554 d0b9 058d  |    |
0556 d1a5 d9a5  |    |
0558 d1e4 017c  |   ||
055a 3d51 0549  |=Q I|
055c 1d15 517d  |  Q}|
055e 050d 5125  |  Q%|
0560 5925 5164  |Y%Qd|
0562 0140 8485  | @  |
0564 3585 8da1  |5   |
0566 a5b9 94b9  |    |
0568 4995 b195  |I   |
056a 85cd 94b9  |    |
056c 0dd5 c9c9  |    |
056e 95b9 d0b9  |    |
0570 0dbd b5b5  |    |
0572 85b9 91cc  |    |
0574 01b8 4d0d  |  M |
0576 3d35 3505  |=55 |
0578 3911 7d31  |9 }1|
057a 2539 2d4d  |%9-M|
057c 7d5d 3d49  |}]=I|
057e 3110 01ac  |1   |
0580 4125 394d  |A%9M|
0582 5105 3131  |Q 11|
0584 7d05 0d51  |}  Q|
0586 2559 2551  |%Y%Q|
0588 6401 8c1d  |d   |
058a 7d05 1105  |}   |
058c 7ce5 7c00  || | |
058e d084 9091  |    |
0590 6d11 7d01  |m } |
0592 74b9 31a5  |t 1 |
0594 cdd1 ccb9  |    |
0596 55b9 a5d1  |U   |
0598 cd7d 51bd  | }Q |
059a 7d09 957d  |}  }|
059c 55c1 9185  |U   |
059e d195 9002  |    |
05a0 2829 5539  |()U9|
05a2 2551 4d7d  |%QM}|
05a4 3125 4d50  |1%MP|
05a6 0134 6490  | 4d |
05a8 916d 117d  | m }|
05aa 0174 b905  | t  |
05ac c98d a1a5  |    |
05ae d995 ccb9  |    |
05b0 55b9 a5d9  |U   |
05b2 95c9 cd94  |    |
05b4 011c 1911  |    |
05b6 1559 250d  | Y% |
05b8 1400 042d  |   -|
05ba 193d 497d  | =I}|
05bc 4915 3115  |I 1 |
05be 054d 1402  | M  |
05c0 2c41 2539  |,A%9|
05c2 4d51 0531  |MQ 1|
05c4 317d 5539  |1}U9|
05c6 2559 1549  |%Y I|
05c8 4d14 0230  |M  0|
05ca 1d7d 0511  | }  |
05cc 057d 057c  | } ||
05ce 0000 0000  |    |		.BLANK	0000[0x32]