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

⟦a9e02d596⟧

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

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 0468       | h  |		.CONST	0x0468								; 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 0088       |    |		.CONST	0x0088								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0020       |    |		.CONST	0x0020								; 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 00cd       |    |		Action	Spare6_Action
0029 4806       |H   |		Short_Literal	0x6
002a 4800       |H   |		Short_Literal	0x0
002b 4801       |H   |		Short_Literal	0x1
002c 00d9       |    |		Load_Top	At_Offset_1
002d e213       |    |		Load	0x1,0x13
002e 01d6       |    |		Execute	Vector,Field_Write
002f 3ffb       |?   |		Loop_Increasing	0x2b
0030 00d9       |    |		Load_Top	At_Offset_1
0031 01d4       |    |		Execute	Vector,Structure_Write
0032 00d9       |    |		Load_Top	At_Offset_1
0033 0337       | 7  |		Declare_Variable	Array
0034 4801       |H   |		Short_Literal	0x1
0035 4806       |H   |		Short_Literal	0x6
0036 00da       |    |		Load_Top	At_Offset_2
0037 01d6       |    |		Execute	Vector,Field_Write
0038 4805       |H   |		Short_Literal	0x5
0039 4800       |H   |		Short_Literal	0x0
003a 4800       |H   |		Short_Literal	0x0
003b 00d9       |    |		Load_Top	At_Offset_1
003c e213       |    |		Load	0x1,0x13
003d 01d6       |    |		Execute	Vector,Field_Write
003e 3ffb       |?   |		Loop_Increasing	0x3a
003f 00da       |    |		Load_Top	At_Offset_2
0040 01c3       |    |		Execute	Vector,Check_In_Type
0041 0129       | )  |		Execute	Any,Make_Visible
0042 00da       |    |		Load_Top	At_Offset_2
0043 0337       | 7  |		Declare_Variable	Array
0044 4801       |H   |		Short_Literal	0x1
0045 4801       |H   |		Short_Literal	0x1
0046 00da       |    |		Load_Top	At_Offset_2
0047 01d6       |    |		Execute	Vector,Field_Write
0048 4801       |H   |		Short_Literal	0x1
0049 4802       |H   |		Short_Literal	0x2
004a 00da       |    |		Load_Top	At_Offset_2
004b 01d6       |    |		Execute	Vector,Field_Write
004c 4801       |H   |		Short_Literal	0x1
004d 4803       |H   |		Short_Literal	0x3
004e 00da       |    |		Load_Top	At_Offset_2
004f 01d6       |    |		Execute	Vector,Field_Write
0050 4800       |H   |		Short_Literal	0x0
0051 4800       |H   |		Short_Literal	0x0
0052 00da       |    |		Load_Top	At_Offset_2
0053 01d6       |    |		Execute	Vector,Field_Write
0054 4806       |H   |		Short_Literal	0x6
0055 4804       |H   |		Short_Literal	0x4
0056 4800       |H   |		Short_Literal	0x0
0057 00d9       |    |		Load_Top	At_Offset_1
0058 e214       |    |		Load	0x1,0x14
0059 01d6       |    |		Execute	Vector,Field_Write
005a 3ffb       |?   |		Loop_Increasing	0x56
005b 00db       |    |		Load_Top	At_Offset_3
005c 01c3       |    |		Execute	Vector,Check_In_Type
005d 0129       | )  |		Execute	Any,Make_Visible
005e 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated
0060 029a 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Outer_Call,Visible,Unelaborated
0062 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated
0064 00bf       |    |		Action	Accept_Activation
0065 0007       |    |		Action	Break_Optional
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 a00a       |    |		Store_Unchecked	0x0,0xa
0073 00c6       |    |		Action	Check_Subprogram_Elaborated
0074 e002       |    |		Load	0x0,0x2
0075 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0076 e008       |    |		Load	0x0,0x8
0077 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0078 e00b       |    |		Load	0x0,0xb
0079 e00c       |    |		Load	0x0,0xc
007a 4800       |H   |		Short_Literal	0x0
007b 0007       |    |		Action	Break_Optional
007c 029d 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call
007e 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
007f 00c7       |    |		Action	Elaborate_Subprogram
0080 029d 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call
0082 029d 021b  |    |		Declare_Subprogram	INIT_0218,For_Outer_Call
0084 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0085 00c7       |    |		Action	Elaborate_Subprogram
0086 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0087 00c7       |    |		Action	Elaborate_Subprogram
0088			BODY_0008:
0088 00bc       |    |		Action	Signal_Activated
0089 00bb       |    |		Action	Signal_Completion
008a 0000 0000  |    |		.BLANK	0000[0x6]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 00a3       |    |		.CONST	0x00a3								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0008       |    |		.CONST	0x0008								; Number of locals
0093			INIT_0090:
0093 029f 025b  |   [|		Declare_Subprogram	INIT_0258,For_Call
0095 029f 0263  |   c|		Declare_Subprogram	INIT_0260,For_Call
0097 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0098 00c6       |    |		Action	Check_Subprogram_Elaborated
0099 4802       |H   |		Short_Literal	0x2
009a 4802       |H   |		Short_Literal	0x2
009b 0099       |    |		Action	Reference_Dynamic
009c 4803       |H   |		Short_Literal	0x3
009d 4802       |H   |		Short_Literal	0x2
009e 0099       |    |		Action	Reference_Dynamic
009f e00d       |    |		Load	0x0,0xd
00a0 e00e       |    |		Load	0x0,0xe
00a1 4808       |H   |		Short_Literal	0x8
00a2 0007       |    |		Action	Break_Optional
00a3			BODY_0090:
00a3 e5fd       |    |		Load	0x2,-0x3
00a4 e5fe       |    |		Load	0x2,-0x2
00a5 e5ff       |    |		Load	0x2,-0x1
00a6 4804       |H   |		Short_Literal	0x4
00a7 4802       |H   |		Short_Literal	0x2
00a8 0099       |    |		Action	Reference_Dynamic
00a9 4805       |H   |		Short_Literal	0x5
00aa 4802       |H   |		Short_Literal	0x2
00ab 0099       |    |		Action	Reference_Dynamic
00ac 4806       |H   |		Short_Literal	0x6
00ad 4802       |H   |		Short_Literal	0x2
00ae 0099       |    |		Action	Reference_Dynamic
00af 8216       |    |		Call	0x1,0x16
00b0 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
00b1 0000 0000  |    |		.BLANK	0000[0x7]
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00d1       |    |		.CONST	0x00d1								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0007       |    |		.CONST	0x0007								; Number of locals
00bb			INIT_00b8:
00bb 0007       |    |		Action	Break_Optional
00bc 00ec       |    |		Load_Encached	Diana_Tree_Cache
00bd 02c7       |    |		Declare_Variable	Any
00be 00d8       |    |		Load_Top	At_Offset_0
00bf 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c0 e002       |    |		Load	0x0,0x2
00c1 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00c2 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00c3 02c7       |    |		Declare_Variable	Any
00c4 00d8       |    |		Load_Top	At_Offset_0
00c5 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c6 e002       |    |		Load	0x0,0x2
00c7 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00c8 e002       |    |		Load	0x0,0x2
00c9 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
00ca 02ff       |    |		Declare_Variable	Variant_Record
00cb 00d8       |    |		Load_Top	At_Offset_0
00cc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00cd 029f 0273  |   s|		Declare_Subprogram	INIT_0270,For_Call
00cf 029f 037b  |   {|		Declare_Subprogram	INIT_0378,For_Call
00d1			BODY_00b8:
00d1 e5fc       |    |		Load	0x2,-0x4
00d2 e002       |    |		Load	0x0,0x2
00d3 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00d4 e00f       |    |		Load	0x0,0xf
00d5 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00d6 027f       |    |		Execute	Discrete,Equal
00d7 7007       |p   |		Jump_Nonzero	0xdf
00d8 e5fc       |    |		Load	0x2,-0x4
00d9 e002       |    |		Load	0x0,0x2
00da 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00db e00f       |    |		Load	0x0,0xf
00dc 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00dd 027f       |    |		Execute	Discrete,Equal
00de 681a       |h   |		Jump_Zero	0xf9
00df e5fc       |    |		Load	0x2,-0x4
00e0 821f       |    |		Call	0x1,0x1f
00e1 00db       |    |		Load_Top	At_Offset_3
00e2 016d       | m  |		Execute	Variant_Record,Structure_Write
00e3 00da       |    |		Load_Top	At_Offset_2
00e4 e002       |    |		Load	0x0,0x2
00e5 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00e6 7011       |p   |		Jump_Nonzero	0xf8
00e7 00cf       |    |		Action	Mark_Auxiliary
00e8 4806       |H   |		Short_Literal	0x6
00e9 4800       |H   |		Short_Literal	0x0
00ea 0007       |    |		Action	Break_Optional
00eb 00d8       |    |		Load_Top	At_Offset_0
00ec e5fb       |    |		Load	0x2,-0x5
00ed 01d7       |    |		Execute	Vector,Field_Read
00ee 6806       |h   |		Jump_Zero	0xf5
00ef e5fa       |    |		Load	0x2,-0x6
00f0 e405       |    |		Load	0x2,0x5
00f1 e5fc       |    |		Load	0x2,-0x4
00f2 e5fb       |    |		Load	0x2,-0x5
00f3 e40a       |    |		Load	0x2,0xa
00f4 8407       |    |		Call	0x2,0x7
00f5 00c8       |    |		Action	Pop_Auxiliary_Range
00f6 3ff4       |?   |		Loop_Increasing	0xeb
00f7 00ce       |    |		Action	Pop_Auxiliary
00f8 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00f9 e5fc       |    |		Load	0x2,-0x4
00fa e002       |    |		Load	0x0,0x2
00fb 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00fc 7008       |p   |		Jump_Nonzero	0x105
00fd e002       |    |		Load	0x0,0x2
00fe 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00ff 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0100 e5fc       |    |		Load	0x2,-0x4
0101 e002       |    |		Load	0x0,0x2
0102 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0103 012e       | .  |		Execute	Any,Not_Equal
0104 6801       |h   |		Jump_Zero	0x106
0105 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0106 e002       |    |		Load	0x0,0x2
0107 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0108 e403       |    |		Load	0x2,0x3
0109 0120       |    |		Execute	Any,Is_Value
010a 6804       |h   |		Jump_Zero	0x10f
010b e002       |    |		Load	0x0,0x2
010c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
010d 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
010e 7801       |x   |		Jump	0x110
010f e403       |    |		Load	0x2,0x3
0110 e402       |    |		Load	0x2,0x2
0111 0120       |    |		Execute	Any,Is_Value
0112 6804       |h   |		Jump_Zero	0x117
0113 e002       |    |		Load	0x0,0x2
0114 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0115 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0116 7801       |x   |		Jump	0x118
0117 e402       |    |		Load	0x2,0x2
0118 602f       |`/  |		Indirect_Literal	Discrete,0x148,{0x00000000, 0x00004000}
0119 4801       |H   |		Short_Literal	0x1
011a 4800       |H   |		Short_Literal	0x0
011b 4800       |H   |		Short_Literal	0x0
011c e5fa       |    |		Load	0x2,-0x6
011d 4801       |H   |		Short_Literal	0x1
011e e5fc       |    |		Load	0x2,-0x4
011f e002       |    |		Load	0x0,0x2
0120 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0121 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0122 e002       |    |		Load	0x0,0x2
0123 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0124 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
0125 c402       |    |		Store	0x2,0x2
0126 c403       |    |		Store	0x2,0x3
0127 c404       |    |		Store	0x2,0x4
0128 00db       |    |		Load_Top	At_Offset_3
0129 680a       |h   |		Jump_Zero	0x134
012a 4800       |H   |		Short_Literal	0x0
012b 0092 0408  |    |		Action	Push_String_Extended,0x408					; "Couldn't open ada unit "
012d e5fc       |    |		Load	0x2,-0x4
012e e002       |    |		Load	0x0,0x2
012f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0130 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0131 01cc       |    |		Execute	Vector,Catenate
0132 821e       |    |		Call	0x1,0x1e
0133 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0134 00cf       |    |		Action	Mark_Auxiliary
0135 4806       |H   |		Short_Literal	0x6
0136 4800       |H   |		Short_Literal	0x0
0137 0007       |    |		Action	Break_Optional
0138 00d8       |    |		Load_Top	At_Offset_0
0139 e5fb       |    |		Load	0x2,-0x5
013a 01d7       |    |		Execute	Vector,Field_Read
013b 6806       |h   |		Jump_Zero	0x142
013c e5fa       |    |		Load	0x2,-0x6
013d e5fc       |    |		Load	0x2,-0x4
013e e5fb       |    |		Load	0x2,-0x5
013f 00db       |    |		Load_Top	At_Offset_3
0140 e402       |    |		Load	0x2,0x2
0141 8406       |    |		Call	0x2,0x6
0142 00c8       |    |		Action	Pop_Auxiliary_Range
0143 3ff4       |?   |		Loop_Increasing	0x138
0144 00ce       |    |		Action	Pop_Auxiliary
0145 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
0146 0000 0000  |    |		.XXX[0x2]
0148 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
014c 0000 0000  |    |		.BLANK	0000[0x4]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0161       | a  |		.CONST	0x0161								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0005       |    |		.CONST	0x0005								; Number of locals
0153			INIT_0150:
0153 e002       |    |		Load	0x0,0x2
0154 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0155 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
0156 02c7       |    |		Declare_Variable	Any
0157 00d8       |    |		Load_Top	At_Offset_0
0158 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0159 e002       |    |		Load	0x0,0x2
015a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
015b e20e       |    |		Load	0x1,0xe
015c 02c7       |    |		Declare_Variable	Any
015d 00d8       |    |		Load_Top	At_Offset_0
015e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
015f 029f 03fb  |    |		Declare_Subprogram	INIT_03f8,For_Call
0161			BODY_0150:
0161 8405       |    |		Call	0x2,0x5
0162 e5fc       |    |		Load	0x2,-0x4
0163 e5fd       |    |		Load	0x2,-0x3
0164 85fe       |    |		Call	0x2,-0x2
0165 e002       |    |		Load	0x0,0x2
0166 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0167 e402       |    |		Load	0x2,0x2
0168 0120       |    |		Execute	Any,Is_Value
0169 6804       |h   |		Jump_Zero	0x16e
016a e002       |    |		Load	0x0,0x2
016b 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
016c 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
016d 7801       |x   |		Jump	0x16f
016e e402       |    |		Load	0x2,0x2
016f 67d8       |g   |		Indirect_Literal	Discrete,0x148,{0x00000000, 0x00004000}
0170 e5fc       |    |		Load	0x2,-0x4
0171 e5fd       |    |		Load	0x2,-0x3
0172 e002       |    |		Load	0x0,0x2
0173 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0174 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0175 e002       |    |		Load	0x0,0x2
0176 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0177 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0178 c402       |    |		Store	0x2,0x2
0179 005b       | [  |		Store_Top	Discrete,At_Offset_3
017a 00da       |    |		Load_Top	At_Offset_2
017b 6818       |h   |		Jump_Zero	0x194
017c 00da       |    |		Load_Top	At_Offset_2
017d 0e08       |    |		Execute_Immediate	Not_Equal,0x8
017e 6814       |h   |		Jump_Zero	0x193
017f 4800       |H   |		Short_Literal	0x0
0180 e5fb       |    |		Load	0x2,-0x5
0181 0092 0409  |    |		Action	Push_String_Extended,0x409					; " "
0183 01cc       |    |		Execute	Vector,Catenate
0184 e403       |    |		Load	0x2,0x3
0185 e002       |    |		Load	0x0,0x2
0186 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0187 011c       |    |		Execute	Any,Convert_Unchecked
0188 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0189 01cc       |    |		Execute	Vector,Catenate
018a 0092 040a  |    |		Action	Push_String_Extended,0x40a					; " returned traversing "
018c 01cc       |    |		Execute	Vector,Catenate
018d e5fd       |    |		Load	0x2,-0x3
018e e002       |    |		Load	0x0,0x2
018f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0190 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0191 01cc       |    |		Execute	Vector,Catenate
0192 821e       |    |		Call	0x1,0x1e
0193 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0194 00cf       |    |		Action	Mark_Auxiliary
0195 781e       |x   |		Jump	0x1b4
0196 e402       |    |		Load	0x2,0x2
0197 e002       |    |		Load	0x0,0x2
0198 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0199 1834       | 4  |		Execute	Package,Field_Execute,Field_Number 0x34
019a c404       |    |		Store	0x2,0x4
019b 00da       |    |		Load_Top	At_Offset_2
019c e002       |    |		Load	0x0,0x2
019d 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
019e 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
019f 680b       |h   |		Jump_Zero	0x1ab
01a0 e5fb       |    |		Load	0x2,-0x5
01a1 e5fc       |    |		Load	0x2,-0x4
01a2 e404       |    |		Load	0x2,0x4
01a3 4ffe       |O   |		Short_Literal	-0x2
01a4 4802       |H   |		Short_Literal	0x2
01a5 0099       |    |		Action	Reference_Dynamic
01a6 4fff       |O   |		Short_Literal	-0x1
01a7 4802       |H   |		Short_Literal	0x2
01a8 0099       |    |		Action	Reference_Dynamic
01a9 8217       |    |		Call	0x1,0x17
01aa 7803       |x   |		Jump	0x1ae
01ab e5fc       |    |		Load	0x2,-0x4
01ac 00db       |    |		Load_Top	At_Offset_3
01ad 85fe       |    |		Call	0x2,-0x2
01ae e402       |    |		Load	0x2,0x2
01af e002       |    |		Load	0x0,0x2
01b0 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01b1 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
01b2 c402       |    |		Store	0x2,0x2
01b3 00c9       |    |		Action	Pop_Auxiliary_Loop
01b4 e402       |    |		Load	0x2,0x2
01b5 e002       |    |		Load	0x0,0x2
01b6 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
01b7 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
01b8 6fdd       |o   |		Jump_Zero	0x196
01b9 00ce       |    |		Action	Pop_Auxiliary
01ba 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
01bb 0000 0000  |    |		.BLANK	0000[0x5]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 e010       |    |		Load	0x0,0x10
01c4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01c5 4807       |H   |		Short_Literal	0x7
01c6 e5ff       |    |		Load	0x2,-0x1
01c7 e011       |    |		Load	0x0,0x11
01c8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01c9 00db       |    |		Load_Top	At_Offset_3
01ca 6802       |h   |		Jump_Zero	0x1cd
01cb e20d       |    |		Load	0x1,0xd
01cc 0257       | W  |		Execute	Discrete,Raise
01cd 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01ce 0000 0000  |    |		.XXX[0x2]
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01e3       |    |		.CONST	0x01e3								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0005       |    |		.CONST	0x0005								; Number of locals
01d3			INIT_01d0:
01d3 e002       |    |		Load	0x0,0x2
01d4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01d5 02ff       |    |		Declare_Variable	Variant_Record
01d6 00d8       |    |		Load_Top	At_Offset_0
01d7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d8 e002       |    |		Load	0x0,0x2
01d9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01da 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01db e002       |    |		Load	0x0,0x2
01dc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01dd e002       |    |		Load	0x0,0x2
01de 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01df 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01e0 02c7       |    |		Declare_Variable	Any
01e1 00d8       |    |		Load_Top	At_Offset_0
01e2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01e3			BODY_01d0:
01e3 e002       |    |		Load	0x0,0x2
01e4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01e5 00d9       |    |		Load_Top	At_Offset_1
01e6 0120       |    |		Execute	Any,Is_Value
01e7 6804       |h   |		Jump_Zero	0x1ec
01e8 e002       |    |		Load	0x0,0x2
01e9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ea 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01eb 7801       |x   |		Jump	0x1ed
01ec 00d9       |    |		Load_Top	At_Offset_1
01ed 6022       |`"  |		Indirect_Literal	Discrete,0x210,{0x00000000, 0x00004000}
01ee e012       |    |		Load	0x0,0x12
01ef 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01f0 4800       |H   |		Short_Literal	0x0
01f1 e5ff       |    |		Load	0x2,-0x1
01f2 e002       |    |		Load	0x0,0x2
01f3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01f4 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01f5 c405       |    |		Store	0x2,0x5
01f6 005a       | Z  |		Store_Top	Discrete,At_Offset_2
01f7 e002       |    |		Load	0x0,0x2
01f8 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01f9 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01fa e402       |    |		Load	0x2,0x2
01fb 6014       |`   |		Indirect_Literal	Discrete,0x210,{0x00000000, 0x00004000}
01fc e012       |    |		Load	0x0,0x12
01fd 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01fe 4800       |H   |		Short_Literal	0x0
01ff e405       |    |		Load	0x2,0x5
0200 0092 040b  |    |		Action	Push_String_Extended,0x40b					; "?.code_database"
0202 e002       |    |		Load	0x0,0x2
0203 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0204 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
0205 00d1       |    |		Pop_Control	Pop_Count_1
0206 005b       | [  |		Store_Top	Discrete,At_Offset_3
0207 00d9       |    |		Load_Top	At_Offset_1
0208 7002       |p   |		Jump_Nonzero	0x20b
0209 00da       |    |		Load_Top	At_Offset_2
020a 6803       |h   |		Jump_Zero	0x20e
020b e002       |    |		Load	0x0,0x2
020c 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
020d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
020e 00db       |    |		Load_Top	At_Offset_3
020f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0210 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0214 0000 0000  |    |		.BLANK	0000[0x4]
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 0232       | 2  |		.CONST	0x0232								; Address of begin
0219 0004       |    |		.CONST	0x0004								; Address of exception handler
021a 000b       |    |		.CONST	0x000b								; Number of locals
021b			INIT_0218:
021b e008       |    |		Load	0x0,0x8
021c 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
021d e013       |    |		Load	0x0,0x13
021e 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
021f e009       |    |		Load	0x0,0x9
0220 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0221 e008       |    |		Load	0x0,0x8
0222 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
0223 00ec       |    |		Load_Encached	Diana_Tree_Cache
0224 02c7       |    |		Declare_Variable	Any
0225 00d8       |    |		Load_Top	At_Offset_0
0226 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0227 0007       |    |		Action	Break_Optional
0228 a00a       |    |		Store_Unchecked	0x0,0xa
0229 00c6       |    |		Action	Check_Subprogram_Elaborated
022a e012       |    |		Load	0x0,0x12
022b 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
022c e012       |    |		Load	0x0,0x12
022d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
022e e014       |    |		Load	0x0,0x14
022f e015       |    |		Load	0x0,0x15
0230 480b       |H   |		Short_Literal	0xb
0231 0007       |    |		Action	Break_Optional
0232			BODY_0218:
0232 e008       |    |		Load	0x0,0x8
0233 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
0234 e008       |    |		Load	0x0,0x8
0235 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
0236 4801       |H   |		Short_Literal	0x1
0237 e5fe       |    |		Load	0x2,-0x2
0238 e407       |    |		Load	0x2,0x7
0239 e408       |    |		Load	0x2,0x8
023a 4809       |H   |		Short_Literal	0x9
023b 4802       |H   |		Short_Literal	0x2
023c 0099       |    |		Action	Reference_Dynamic
023d 800a       |    |		Call	0x0,0xa
023e e5ff       |    |		Load	0x2,-0x1
023f e008       |    |		Load	0x0,0x8
0240 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0241 c402       |    |		Store	0x2,0x2
0242 c405       |    |		Store	0x2,0x5
0243 e405       |    |		Load	0x2,0x5
0244 6802       |h   |		Jump_Zero	0x247
0245 00ec       |    |		Load_Encached	Diana_Tree_Cache
0246 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0247 e402       |    |		Load	0x2,0x2
0248 e218       |    |		Load	0x1,0x18
0249 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
024a a403       |    |		Store_Unchecked	0x2,0x3
024b e402       |    |		Load	0x2,0x2
024c e218       |    |		Load	0x1,0x18
024d 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
024e a404       |    |		Store_Unchecked	0x2,0x4
024f e404       |    |		Load	0x2,0x4
0250 e403       |    |		Load	0x2,0x3
0251 497d       |I}  |		Short_Literal	0x17d
0252 00eb       |    |		Load_Encached	Diana_Cache
0253 0096       |    |		Execute	Package,Entry
0254 c406       |    |		Store	0x2,0x6
0255 e406       |    |		Load	0x2,0x6
0256 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0257 0000       |    |		.XXX[0x1]
0258 ; --------------------------------------------------------------------------------------
0258 ; SUBPROGRAM
0258 ; --------------------------------------------------------------------------------------
0258 025b       | [  |		.CONST	0x025b								; Address of begin
0259 0004       |    |		.CONST	0x0004								; Address of exception handler
025a 0001       |    |		.CONST	0x0001								; Number of locals
025b			BODY_0258:
025b			INIT_0258:
025b 00db       |    |		Load_Top	At_Offset_3
025c e5fc       |    |		Load	0x2,-0x4
025d e20f       |    |		Load	0x1,0xf
025e 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
025f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0260 ; --------------------------------------------------------------------------------------
0260 ; SUBPROGRAM
0260 ; --------------------------------------------------------------------------------------
0260 0263       | c  |		.CONST	0x0263								; Address of begin
0261 0004       |    |		.CONST	0x0004								; Address of exception handler
0262 0001       |    |		.CONST	0x0001								; Number of locals
0263			BODY_0260:
0263			INIT_0260:
0263 e5fc       |    |		Load	0x2,-0x4
0264 e7fe       |    |		Load	0x3,-0x2
0265 e20f       |    |		Load	0x1,0xf
0266 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0267 c5fc       |    |		Store	0x2,-0x4
0268 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0269 0000 0000  |    |		.BLANK	0000[0x7]
0270 ; --------------------------------------------------------------------------------------
0270 ; SUBPROGRAM
0270 ; --------------------------------------------------------------------------------------
0270 02a3       |    |		.CONST	0x02a3								; Address of begin
0271 0004       |    |		.CONST	0x0004								; Address of exception handler
0272 000b       |    |		.CONST	0x000b								; Number of locals
0273			INIT_0270:
0273 0007       |    |		Action	Break_Optional
0274 0007       |    |		Action	Break_Optional
0275 0007       |    |		Action	Break_Optional
0276 e002       |    |		Load	0x0,0x2
0277 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0278 e016       |    |		Load	0x0,0x16
0279 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
027a 02c7       |    |		Declare_Variable	Any
027b 00d8       |    |		Load_Top	At_Offset_0
027c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
027d 00ec       |    |		Load_Encached	Diana_Tree_Cache
027e 02c7       |    |		Declare_Variable	Any
027f 00d8       |    |		Load_Top	At_Offset_0
0280 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0281 e002       |    |		Load	0x0,0x2
0282 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0283 02ff       |    |		Declare_Variable	Variant_Record
0284 00d8       |    |		Load_Top	At_Offset_0
0285 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0286 e002       |    |		Load	0x0,0x2
0287 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0288 02c7       |    |		Declare_Variable	Any
0289 00d8       |    |		Load_Top	At_Offset_0
028a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
028b e002       |    |		Load	0x0,0x2
028c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
028d 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
028e 02c7       |    |		Declare_Variable	Any
028f 00d8       |    |		Load_Top	At_Offset_0
0290 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0291 e002       |    |		Load	0x0,0x2
0292 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0293 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
0294 02c7       |    |		Declare_Variable	Any
0295 00d8       |    |		Load_Top	At_Offset_0
0296 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0297 e002       |    |		Load	0x0,0x2
0298 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0299 e002       |    |		Load	0x0,0x2
029a 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
029b 02ff       |    |		Declare_Variable	Variant_Record
029c 00d8       |    |		Load_Top	At_Offset_0
029d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
029e e002       |    |		Load	0x0,0x2
029f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
02a0 02ff       |    |		Declare_Variable	Variant_Record
02a1 00d8       |    |		Load_Top	At_Offset_0
02a2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02a3			BODY_0270:
02a3 e7ff       |    |		Load	0x3,-0x1
02a4 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
02a5 0fa8       |    |		Execute_Immediate	Equal,-0x58
02a6 6805       |h   |		Jump_Zero	0x2ac
02a7 e7ff       |    |		Load	0x3,-0x1
02a8 e002       |    |		Load	0x0,0x2
02a9 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
02aa 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02ab 680d       |h   |		Jump_Zero	0x2b9
02ac e010       |    |		Load	0x0,0x10
02ad 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02ae 4801       |H   |		Short_Literal	0x1
02af 0092 040c  |    |		Action	Push_String_Extended,0x40c					; "Skipping source state unit "
02b1 e7fc       |    |		Load	0x3,-0x4
02b2 e002       |    |		Load	0x0,0x2
02b3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02b4 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02b5 01cc       |    |		Execute	Vector,Catenate
02b6 e011       |    |		Load	0x0,0x11
02b7 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02b8 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
02b9 e7fe       |    |		Load	0x3,-0x2
02ba 0f06       |    |		Execute_Immediate	Equal,0x6
02bb 6866       |hf  |		Jump_Zero	0x322
02bc e002       |    |		Load	0x0,0x2
02bd 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02be 00da       |    |		Load_Top	At_Offset_2
02bf e7ff       |    |		Load	0x3,-0x1
02c0 e002       |    |		Load	0x0,0x2
02c1 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02c2 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
02c3 00d1       |    |		Pop_Control	Pop_Count_1
02c4 005b       | [  |		Store_Top	Discrete,At_Offset_3
02c5 00d9       |    |		Load_Top	At_Offset_1
02c6 e002       |    |		Load	0x0,0x2
02c7 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02c8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02c9 7058       |pX  |		Jump_Nonzero	0x322
02ca e010       |    |		Load	0x0,0x10
02cb 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02cc 4801       |H   |		Short_Literal	0x1
02cd 0092 040d  |    |		Action	Push_String_Extended,0x40d					; "Getting other part for "
02cf e7fc       |    |		Load	0x3,-0x4
02d0 e002       |    |		Load	0x0,0x2
02d1 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02d2 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02d3 01cc       |    |		Execute	Vector,Catenate
02d4 e011       |    |		Load	0x0,0x11
02d5 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02d6 e002       |    |		Load	0x0,0x2
02d7 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02d8 00d9       |    |		Load_Top	At_Offset_1
02d9 6096       |`   |		Indirect_Literal	Discrete,0x370,{0x00000000, 0x00004000}
02da e7fb       |    |		Load	0x3,-0x5
02db e60a       |    |		Load	0x3,0xa
02dc e002       |    |		Load	0x0,0x2
02dd 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02de 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02df 00d1       |    |		Pop_Control	Pop_Count_1
02e0 005b       | [  |		Store_Top	Discrete,At_Offset_3
02e1 e002       |    |		Load	0x0,0x2
02e2 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02e3 e608       |    |		Load	0x3,0x8
02e4 0120       |    |		Execute	Any,Is_Value
02e5 6804       |h   |		Jump_Zero	0x2ea
02e6 e002       |    |		Load	0x0,0x2
02e7 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02e8 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02e9 7801       |x   |		Jump	0x2eb
02ea e608       |    |		Load	0x3,0x8
02eb e607       |    |		Load	0x3,0x7
02ec 0120       |    |		Execute	Any,Is_Value
02ed 6804       |h   |		Jump_Zero	0x2f2
02ee e002       |    |		Load	0x0,0x2
02ef 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02f0 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
02f1 7801       |x   |		Jump	0x2f3
02f2 e607       |    |		Load	0x3,0x7
02f3 00db       |    |		Load_Top	At_Offset_3
02f4 607b       |`{  |		Indirect_Literal	Discrete,0x370,{0x00000000, 0x00004000}
02f5 4801       |H   |		Short_Literal	0x1
02f6 4800       |H   |		Short_Literal	0x0
02f7 e7fb       |    |		Load	0x3,-0x5
02f8 4801       |H   |		Short_Literal	0x1
02f9 e002       |    |		Load	0x0,0x2
02fa 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02fb 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
02fc 00d1       |    |		Pop_Control	Pop_Count_1
02fd c607       |    |		Store	0x3,0x7
02fe c608       |    |		Store	0x3,0x8
02ff 005b       | [  |		Store_Top	Discrete,At_Offset_3
0300 00da       |    |		Load_Top	At_Offset_2
0301 680a       |h   |		Jump_Zero	0x30c
0302 4800       |H   |		Short_Literal	0x0
0303 0092 040e  |    |		Action	Push_String_Extended,0x40e					; "Couldn't open ada unit for spec of "
0305 e7fc       |    |		Load	0x3,-0x4
0306 e002       |    |		Load	0x0,0x2
0307 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0308 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0309 01cc       |    |		Execute	Vector,Catenate
030a 821e       |    |		Call	0x1,0x1e
030b 7816       |x   |		Jump	0x322
030c e7ff       |    |		Load	0x3,-0x1
030d e607       |    |		Load	0x3,0x7
030e 012f       | /  |		Execute	Any,Equal
030f 7012       |p   |		Jump_Nonzero	0x322
0310 e010       |    |		Load	0x0,0x10
0311 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0312 4801       |H   |		Short_Literal	0x1
0313 e7fc       |    |		Load	0x3,-0x4
0314 e002       |    |		Load	0x0,0x2
0315 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0316 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0317 0092 040f  |    |		Action	Push_String_Extended,0x40f					; " is a body: check its spec"
0319 01cc       |    |		Execute	Vector,Catenate
031a e011       |    |		Load	0x0,0x11
031b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
031c e7fb       |    |		Load	0x3,-0x5
031d e7fc       |    |		Load	0x3,-0x4
031e e7fd       |    |		Load	0x3,-0x3
031f e7fe       |    |		Load	0x3,-0x2
0320 e607       |    |		Load	0x3,0x7
0321 8406       |    |		Call	0x2,0x6
0322 e7ff       |    |		Load	0x3,-0x1
0323 4976       |Iv  |		Short_Literal	0x176
0324 00eb       |    |		Load_Encached	Diana_Cache
0325 0098       |    |		Execute	Package,Field_Read_Dynamic
0326 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0327 c604       |    |		Store	0x3,0x4
0328 e017       |    |		Load	0x0,0x17
0329 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
032a e018       |    |		Load	0x0,0x18
032b 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
032c e7fb       |    |		Load	0x3,-0x5
032d e604       |    |		Load	0x3,0x4
032e e7fe       |    |		Load	0x3,-0x2
032f e016       |    |		Load	0x0,0x16
0330 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
0331 c603       |    |		Store	0x3,0x3
0332 00cf       |    |		Action	Mark_Auxiliary
0333 7837       |x7  |		Jump	0x36b
0334 e603       |    |		Load	0x3,0x3
0335 e016       |    |		Load	0x0,0x16
0336 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0337 e605       |    |		Load	0x3,0x5
0338 016d       | m  |		Execute	Variant_Record,Structure_Write
0339 e002       |    |		Load	0x0,0x2
033a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
033b e606       |    |		Load	0x3,0x6
033c 0120       |    |		Execute	Any,Is_Value
033d 6803       |h   |		Jump_Zero	0x341
033e e002       |    |		Load	0x0,0x2
033f 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0340 7801       |x   |		Jump	0x342
0341 e606       |    |		Load	0x3,0x6
0342 602d       |`-  |		Indirect_Literal	Discrete,0x370,{0x00000000, 0x00004000}
0343 e7fb       |    |		Load	0x3,-0x5
0344 e605       |    |		Load	0x3,0x5
0345 e002       |    |		Load	0x0,0x2
0346 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0347 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0348 c606       |    |		Store	0x3,0x6
0349 c602       |    |		Store	0x3,0x2
034a e602       |    |		Load	0x3,0x2
034b 701a       |p   |		Jump_Nonzero	0x366
034c e605       |    |		Load	0x3,0x5
034d e002       |    |		Load	0x0,0x2
034e 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
034f 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0350 6815       |h   |		Jump_Zero	0x366
0351 e7fc       |    |		Load	0x3,-0x4
0352 e606       |    |		Load	0x3,0x6
0353 85fd       |    |		Call	0x2,-0x3
0354 7011       |p   |		Jump_Nonzero	0x366
0355 e7fb       |    |		Load	0x3,-0x5
0356 e7fd       |    |		Load	0x3,-0x3
0357 e606       |    |		Load	0x3,0x6
0358 4ffd       |O   |		Short_Literal	-0x3
0359 4802       |H   |		Short_Literal	0x2
035a 0099       |    |		Action	Reference_Dynamic
035b 4ffe       |O   |		Short_Literal	-0x2
035c 4802       |H   |		Short_Literal	0x2
035d 0099       |    |		Action	Reference_Dynamic
035e 4fff       |O   |		Short_Literal	-0x1
035f 4802       |H   |		Short_Literal	0x2
0360 0099       |    |		Action	Reference_Dynamic
0361 8216       |    |		Call	0x1,0x16
0362 e7fb       |    |		Load	0x3,-0x5
0363 e606       |    |		Load	0x3,0x6
0364 e7fc       |    |		Load	0x3,-0x4
0365 85fe       |    |		Call	0x2,-0x2
0366 e603       |    |		Load	0x3,0x3
0367 e016       |    |		Load	0x0,0x16
0368 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0369 c603       |    |		Store	0x3,0x3
036a 00c9       |    |		Action	Pop_Auxiliary_Loop
036b e603       |    |		Load	0x3,0x3
036c e016       |    |		Load	0x0,0x16
036d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
036e 6fc5       |o   |		Jump_Zero	0x334
036f 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0370 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0374 0000 0000  |    |		.BLANK	0000[0x4]
0378 ; --------------------------------------------------------------------------------------
0378 ; SUBPROGRAM
0378 ; --------------------------------------------------------------------------------------
0378 039d       |    |		.CONST	0x039d								; Address of begin
0379 0004       |    |		.CONST	0x0004								; Address of exception handler
037a 0008       |    |		.CONST	0x0008								; Number of locals
037b			INIT_0378:
037b e008       |    |		Load	0x0,0x8
037c 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
037d 02ff       |    |		Declare_Variable	Variant_Record
037e e7fc       |    |		Load	0x3,-0x4
037f e219       |    |		Load	0x1,0x19
0380 e21a       |    |		Load	0x1,0x1a
0381 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
0382 800a       |    |		Call	0x0,0xa
0383 00d9       |    |		Load_Top	At_Offset_1
0384 016d       | m  |		Execute	Variant_Record,Structure_Write
0385 e002       |    |		Load	0x0,0x2
0386 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0387 02c7       |    |		Declare_Variable	Any
0388 00d8       |    |		Load_Top	At_Offset_0
0389 1c00       |    |		Execute_Immediate	Run_Utility,0x0
038a e002       |    |		Load	0x0,0x2
038b 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
038c e002       |    |		Load	0x0,0x2
038d 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
038e 02ff       |    |		Declare_Variable	Variant_Record
038f 00d8       |    |		Load_Top	At_Offset_0
0390 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0391 e016       |    |		Load	0x0,0x16
0392 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
0393 02c7       |    |		Declare_Variable	Any
0394 00d8       |    |		Load_Top	At_Offset_0
0395 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0396 00ec       |    |		Load_Encached	Diana_Tree_Cache
0397 02c7       |    |		Declare_Variable	Any
0398 00d8       |    |		Load_Top	At_Offset_0
0399 1c00       |    |		Execute_Immediate	Run_Utility,0x0
039a e016       |    |		Load	0x0,0x16
039b 1b61       | a  |		Execute	Package,Field_Read,Field_Number 0x61
039c 0337       | 7  |		Declare_Variable	Array
039d			BODY_0378:
039d 00cf       |    |		Action	Mark_Auxiliary
039e 00d9       |    |		Load_Top	At_Offset_1
039f 01d9       |    |		Execute	Vector,Reverse_Bounds
03a0 0007       |    |		Action	Break_Optional
03a1 00d8       |    |		Load_Top	At_Offset_0
03a2 e7fe       |    |		Load	0x3,-0x2
03a3 01d7       |    |		Execute	Vector,Field_Read
03a4 00d9       |    |		Load_Top	At_Offset_1
03a5 e608       |    |		Load	0x3,0x8
03a6 01d6       |    |		Execute	Vector,Field_Write
03a7 00c8       |    |		Action	Pop_Auxiliary_Range
03a8 3ff8       |?   |		Loop_Increasing	0x3a1
03a9 00ce       |    |		Action	Pop_Auxiliary
03aa e017       |    |		Load	0x0,0x17
03ab 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03ac e018       |    |		Load	0x0,0x18
03ad 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03ae e7fb       |    |		Load	0x3,-0x5
03af 00da       |    |		Load_Top	At_Offset_2
03b0 e7fb       |    |		Load	0x3,-0x5
03b1 e602       |    |		Load	0x3,0x2
03b2 8220       |    |		Call	0x1,0x20
03b3 e016       |    |		Load	0x0,0x16
03b4 1863       | c  |		Execute	Package,Field_Execute,Field_Number 0x63
03b5 c606       |    |		Store	0x3,0x6
03b6 00cf       |    |		Action	Mark_Auxiliary
03b7 7838       |x8  |		Jump	0x3f0
03b8 00db       |    |		Load_Top	At_Offset_3
03b9 e016       |    |		Load	0x0,0x16
03ba 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
03bb e605       |    |		Load	0x3,0x5
03bc 016d       | m  |		Execute	Variant_Record,Structure_Write
03bd e002       |    |		Load	0x0,0x2
03be 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
03bf e603       |    |		Load	0x3,0x3
03c0 0120       |    |		Execute	Any,Is_Value
03c1 6803       |h   |		Jump_Zero	0x3c5
03c2 e002       |    |		Load	0x0,0x2
03c3 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
03c4 7801       |x   |		Jump	0x3c6
03c5 e603       |    |		Load	0x3,0x3
03c6 67a9       |g   |		Indirect_Literal	Discrete,0x370,{0x00000000, 0x00004000}
03c7 e7fb       |    |		Load	0x3,-0x5
03c8 e605       |    |		Load	0x3,0x5
03c9 e002       |    |		Load	0x0,0x2
03ca 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
03cb 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03cc c603       |    |		Store	0x3,0x3
03cd c604       |    |		Store	0x3,0x4
03ce e604       |    |		Load	0x3,0x4
03cf 701b       |p   |		Jump_Nonzero	0x3eb
03d0 e605       |    |		Load	0x3,0x5
03d1 e002       |    |		Load	0x0,0x2
03d2 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
03d3 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
03d4 6816       |h   |		Jump_Zero	0x3eb
03d5 e7fd       |    |		Load	0x3,-0x3
03d6 e603       |    |		Load	0x3,0x3
03d7 85fd       |    |		Call	0x2,-0x3
03d8 7012       |p   |		Jump_Nonzero	0x3eb
03d9 e7fb       |    |		Load	0x3,-0x5
03da e7fe       |    |		Load	0x3,-0x2
03db e603       |    |		Load	0x3,0x3
03dc 4ffd       |O   |		Short_Literal	-0x3
03dd 4802       |H   |		Short_Literal	0x2
03de 0099       |    |		Action	Reference_Dynamic
03df 4ffe       |O   |		Short_Literal	-0x2
03e0 4802       |H   |		Short_Literal	0x2
03e1 0099       |    |		Action	Reference_Dynamic
03e2 4fff       |O   |		Short_Literal	-0x1
03e3 4802       |H   |		Short_Literal	0x2
03e4 0099       |    |		Action	Reference_Dynamic
03e5 8216       |    |		Call	0x1,0x16
03e6 e7fb       |    |		Load	0x3,-0x5
03e7 e603       |    |		Load	0x3,0x3
03e8 e002       |    |		Load	0x0,0x2
03e9 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
03ea 85fe       |    |		Call	0x2,-0x2
03eb 00db       |    |		Load_Top	At_Offset_3
03ec e016       |    |		Load	0x0,0x16
03ed 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
03ee c606       |    |		Store	0x3,0x6
03ef 00c9       |    |		Action	Pop_Auxiliary_Loop
03f0 00db       |    |		Load_Top	At_Offset_3
03f1 e016       |    |		Load	0x0,0x16
03f2 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
03f3 6fc4       |o   |		Jump_Zero	0x3b8
03f4 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03f5 0000 0000  |    |		.XXX[0x3]
03f7 0000       |    |
03f8 ; --------------------------------------------------------------------------------------
03f8 ; SUBPROGRAM
03f8 ; --------------------------------------------------------------------------------------
03f8 03fb       |    |		.CONST	0x03fb								; Address of begin
03f9 0405       |    |		.CONST	0x0405								; Address of exception handler
03fa 0001       |    |		.CONST	0x0001								; Number of locals
03fb			BODY_03f8:
03fb			INIT_03f8:
03fb e5fd       |    |		Load	0x2,-0x3
03fc e002       |    |		Load	0x0,0x2
03fd 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
03fe 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03ff e002       |    |		Load	0x0,0x2
0400 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0401 6802       |h   |		Jump_Zero	0x404
0402 00cc       |    |		Action	Pop_Block
0403 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0404 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0405			TRAP_03f8:
0405 0007       |    |		Action	Break_Optional
0406 00cc       |    |		Action	Pop_Block
0407 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0408 ; --------------------------------------------------------------------------------------
0408 ; STRING TABLE
0408 ; --------------------------------------------------------------------------------------
0408 0012       |    |		.STRTAB	0x0012->0x0411							; "Couldn't open ada unit "
0409 0027       | '  |		.STRTAB	0x0027->0x041c							; " "
040a 0026       | &  |		.STRTAB	0x0026->0x041d							; " returned traversing "
040b 0039       | 9  |		.STRTAB	0x0039->0x0427							; "?.code_database"
040c 0046       | F  |		.STRTAB	0x0046->0x042f							; "Skipping source state unit "
040d 005f       | _  |		.STRTAB	0x005f->0x043c							; "Getting other part for "
040e 0074       | t  |		.STRTAB	0x0074->0x0448							; "Couldn't open ada unit for spec of "
040f 0095       |    |		.STRTAB	0x0095->0x0459							; " is a body: check its spec"
0410 00ad       |    |		.STREND 0x00ad->0x0466
0411 436f 756c  |Coul|		.STRTAB_STRINGS
0467 0000       |    |		.XXX[0x1]
0468 ; --------------------------------------------------------------------------------------
0468 ; Debug Table
0468 ; --------------------------------------------------------------------------------------
0468 0004 0004  |    |		.DEBUG4	0x0004,0x0004,0x704d,0x0000,0x0001,0x0000
046e 0007 d500  |    |		.XXX[0x6]
0470 0000 0000  |    |
0472 0000 0344  |   D|
0474 0000 0000  |    |		.BLANK	0000[0xb]
047f 0d0d 0000  |    |		.XXX[0xa]
0481 0000 0000  |    |
0483 0008 7c00  |  | |
0485 0000 0000  |    |
0487 0000 03eb  |    |
0489 0000 0000  |    |		.BLANK	0000[0xb]
0494 0db4 0000  |    |		.XXX[0xd]
0496 0000 0000  |    |
0498 0009 2300  |  # |
049a 0000 0000  |    |
049c 0000 0492  |    |
049e 0000 003d  |   =|
04a0 8000       |    |
04a1 0000 0000  |    |		.BLANK	0000[0x1a]
04bb 4800 6a90  |H j |		.XXX[0x1f]
04bd 0000 b629  |   )|
04bf 0000 1000  |    |
04c1 c000 9900  |    |
04c3 0000 02a3  |    |
04c5 0000 0300  |    |
04c7 0000 0b00  |    |
04c9 2800 0000  |(   |
04cb 0800 0002  |    |
04cd 0000 0011  |    |
04cf 0000 0000  |    |
04d1 0800 0000  |    |
04d3 5200 0018  |R   |
04d5 1110 3200  |  2 |
04d7 0010 142a  |   *|
04d9 0800       |    |
04da 0000 0000  |    |		.BLANK	0000[0x5]
04df 0200 0010  |    |		.XXX[0x4]
04e1 13b2 d000  |    |
04e3 0000 0000  |    |		.BLANK	0000[0x5]
04e8 0200 0010  |    |		.XXX[0x7]
04ea 1387 da00  |    |
04ec 0010 12f0  |    |
04ee 1800       |    |
04ef 0000 0000  |    |		.BLANK	0000[0x5]
04f4 0900 0d56  |   V|		.XXX[0x1c]
04f6 0000 1141  |   A|
04f8 2000 0200  |    |
04fa 1800 1320  |    |
04fc 0000 0057  |   W|
04fe a000 0040  |   @|
0500 0000 00e0  |    |
0502 0500 0000  |    |
0504 0100 0000  |    |
0506 4000 0002  |@   |
0508 2000 0000  |    |
050a 0100 0000  |    |
050c 0a40 0002  | @  |
050e 0279 8d00  | y  |
0510 0000 0000  |    |		.BLANK	0000[0x8]
0518 0040 0002  | @  |		.XXX[0x4]
051a 0295 d800  |    |
051c 0000 0000  |    |		.BLANK	0000[0x5]
0521 0040 0002  | @  |		.XXX[0x4]
0523 0261 0100  | a  |
0525 0000 0000  |    |		.BLANK	0000[0x8]
052d 0120 01ab  |    |		.XXX[0x1f]
052f 0000 0228  |   (|
0531 2400 0040  |$  @|
0533 0300 0264  |   d|
0535 0000 0009  |    |
0537 9800 0008  |    |
0539 0000 0024  |   $|
053b 00a0 0000  |    |
053d 0020 0000  |    |
053f 0800 0000  |    |
0541 4400 0000  |D   |
0543 0020 0000  |    |
0545 0148 0000  | H  |
0547 404b 0ae8  |@K  |
0549 0000 404c  |  @L|
054b da80       |    |
054c 0000 0000  |    |		.BLANK	0000[0x5]
0551 0008 0000  |    |		.XXX[0x4]
0553 404b 4880  |@KH |
0555 0000 0000  |    |		.BLANK	0000[0x5]
055a 0008 0000  |    |		.XXX[0x4]
055c 404c 5fe0  |@L_ |
055e 0000 0000  |    |		.BLANK	0000[0x8]
0566 0024 0035  | $ 5|		.XXX[0x1c]
0568 6800 0045  |h  E|
056a 0480 0008  |    |
056c 0060 004c  | ` L|
056e 8000 0001  |    |
0570 d980 0001  |    |
0572 0000 0001  |    |
0574 8014 0000  |    |
0576 0004 0000  |    |
0578 0100 0000  |    |
057a 0880 0000  |    |
057c 0004 0000  |    |
057e 0029 0000  | )  |
0580 0809 e640  |   @|
0582 0000 0000  |    |		.BLANK	0000[0x1d]
059f 0004 8006  |    |		.XXX[0x1c]
05a1 ad00 0008  |    |
05a3 a090 0001  |    |
05a5 000c 0009  |    |
05a7 9000 0000  |    |
05a9 3b30 0000  |;0  |
05ab 2000 0000  |    |
05ad 3002 8000  |0   |
05af 0000 8000  |    |
05b1 0020 0000  |    |
05b3 0110 0000  |    |
05b5 0000 8000  |    |
05b7 0005 2000  |    |
05b9 0101 3cc8  |  < |
05bb 0000 0000  |    |		.BLANK	0000[0x45]