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

⟦113b67e8b⟧

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

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0418       |    |		.CONST	0x0418								; Offset of debug table
0004 0100       |    |		.CONST	0x0100								; Default exception handler - raise instruction
0005 00bb       |    |		.CONST	0x00bb								; Module termination instruction - signal completion
0006 0000       |    |		.CONST	0x0000								; Offset to segment table (only in elab segments)
0007 8002       |    |		.CONST	0x8002								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 007e       | ~  |		.CONST	0x007e								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001b       |    |		.CONST	0x001b								; Number of locals
000b			INIT_0008:
000b 0007       |    |		Action	Break_Optional
000c e001       |    |		Load	0x0,0x1
000d 0129       | )  |		Execute	Any,Make_Visible
000e e002       |    |		Load	0x0,0x2
000f 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0010 0129       | )  |		Execute	Any,Make_Visible
0011 e003       |    |		Load	0x0,0x3
0012 e004       |    |		Load	0x0,0x4
0013 00da       |    |		Load_Top	At_Offset_2
0014 e002       |    |		Load	0x0,0x2
0015 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
0016 487f       |H   |		Short_Literal	0x7f
0017 e005       |    |		Load	0x0,0x5
0018 0386       |    |		Declare_Variable	Package,Visible
0019 00d8       |    |		Load_Top	At_Offset_0
001a 020f       |    |		Execute	Module,Activate
001b 00d8       |    |		Load_Top	At_Offset_0
001c 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
001d 0129       | )  |		Execute	Any,Make_Visible
001e 4800       |H   |		Short_Literal	0x0
001f 4806       |H   |		Short_Literal	0x6
0020 00e1       |    |		Load_Encached	Boolean_Cache
0021 02a0       |    |		Declare_Subprogram	Null_Subprogram
0022 4801       |H   |		Short_Literal	0x1
0023 035e       | ^  |		Declare_Type	Array,Defined,Visible
0024 00d8       |    |		Load_Top	At_Offset_0
0025 0336       | 6  |		Declare_Variable	Array,Visible
0026 00d8       |    |		Load_Top	At_Offset_0
0027 0335       | 5  |		Declare_Variable	Array,Duplicate
0028 00d0       |    |		Action	Swap_Control
0029 00d1       |    |		Pop_Control	Pop_Count_1
002a 4806       |H   |		Short_Literal	0x6
002b 4800       |H   |		Short_Literal	0x0
002c 4801       |H   |		Short_Literal	0x1
002d 00d9       |    |		Load_Top	At_Offset_1
002e e213       |    |		Load	0x1,0x13
002f 01d6       |    |		Execute	Vector,Field_Write
0030 3ffb       |?   |		Loop_Increasing	0x2c
0031 00d9       |    |		Load_Top	At_Offset_1
0032 01d4       |    |		Execute	Vector,Structure_Write
0033 00d9       |    |		Load_Top	At_Offset_1
0034 0337       | 7  |		Declare_Variable	Array
0035 4801       |H   |		Short_Literal	0x1
0036 4806       |H   |		Short_Literal	0x6
0037 00da       |    |		Load_Top	At_Offset_2
0038 01d6       |    |		Execute	Vector,Field_Write
0039 4805       |H   |		Short_Literal	0x5
003a 4800       |H   |		Short_Literal	0x0
003b 4800       |H   |		Short_Literal	0x0
003c 00d9       |    |		Load_Top	At_Offset_1
003d e213       |    |		Load	0x1,0x13
003e 01d6       |    |		Execute	Vector,Field_Write
003f 3ffb       |?   |		Loop_Increasing	0x3b
0040 00da       |    |		Load_Top	At_Offset_2
0041 01c3       |    |		Execute	Vector,Check_In_Type
0042 0129       | )  |		Execute	Any,Make_Visible
0043 00da       |    |		Load_Top	At_Offset_2
0044 0337       | 7  |		Declare_Variable	Array
0045 4801       |H   |		Short_Literal	0x1
0046 4801       |H   |		Short_Literal	0x1
0047 00da       |    |		Load_Top	At_Offset_2
0048 01d6       |    |		Execute	Vector,Field_Write
0049 4801       |H   |		Short_Literal	0x1
004a 4802       |H   |		Short_Literal	0x2
004b 00da       |    |		Load_Top	At_Offset_2
004c 01d6       |    |		Execute	Vector,Field_Write
004d 4801       |H   |		Short_Literal	0x1
004e 4803       |H   |		Short_Literal	0x3
004f 00da       |    |		Load_Top	At_Offset_2
0050 01d6       |    |		Execute	Vector,Field_Write
0051 4800       |H   |		Short_Literal	0x0
0052 4800       |H   |		Short_Literal	0x0
0053 00da       |    |		Load_Top	At_Offset_2
0054 01d6       |    |		Execute	Vector,Field_Write
0055 4806       |H   |		Short_Literal	0x6
0056 4804       |H   |		Short_Literal	0x4
0057 4800       |H   |		Short_Literal	0x0
0058 00d9       |    |		Load_Top	At_Offset_1
0059 e214       |    |		Load	0x1,0x14
005a 01d6       |    |		Execute	Vector,Field_Write
005b 3ffb       |?   |		Loop_Increasing	0x57
005c 00db       |    |		Load_Top	At_Offset_3
005d 01c3       |    |		Execute	Vector,Check_In_Type
005e 0129       | )  |		Execute	Any,Make_Visible
005f 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
0061 029a 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Outer_Call,Visible,Unelaborated
0063 029a 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call,Visible,Unelaborated
0065 00bf       |    |		Action	Accept_Activation
0066 0007       |    |		Action	Break_Optional
0067 e006       |    |		Load	0x0,0x6
0068 e007       |    |		Load	0x0,0x7
0069 e008       |    |		Load	0x0,0x8
006a 1b1a       |    |		Execute	Package,Field_Read,Field_Number 0x1a
006b e008       |    |		Load	0x0,0x8
006c 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
006d e009       |    |		Load	0x0,0x9
006e 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
006f 0387       |    |		Declare_Variable	Package
0070 00d8       |    |		Load_Top	At_Offset_0
0071 020f       |    |		Execute	Module,Activate
0072 029d 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call
0074 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0075 00c7       |    |		Action	Elaborate_Subprogram
0076 029d 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call
0078 029d 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Outer_Call
007a 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
007b 00c7       |    |		Action	Elaborate_Subprogram
007c 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
007d 00c7       |    |		Action	Elaborate_Subprogram
007e			BODY_0008:
007e 00bc       |    |		Action	Signal_Activated
007f 00bb       |    |		Action	Signal_Completion
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 0093       |    |		.CONST	0x0093								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0008       |    |		.CONST	0x0008								; Number of locals
0083			INIT_0080:
0083 029f 021b  |    |		Declare_Subprogram	INIT_0218,For_Call
0085 029f 0223  |   #|		Declare_Subprogram	INIT_0220,For_Call
0087 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0088 00c6       |    |		Action	Check_Subprogram_Elaborated
0089 4802       |H   |		Short_Literal	0x2
008a 4802       |H   |		Short_Literal	0x2
008b 0099       |    |		Action	Reference_Dynamic
008c 4803       |H   |		Short_Literal	0x3
008d 4802       |H   |		Short_Literal	0x2
008e 0099       |    |		Action	Reference_Dynamic
008f e00a       |    |		Load	0x0,0xa
0090 e00b       |    |		Load	0x0,0xb
0091 4808       |H   |		Short_Literal	0x8
0092 0007       |    |		Action	Break_Optional
0093			BODY_0080:
0093 e5fd       |    |		Load	0x2,-0x3
0094 e5fe       |    |		Load	0x2,-0x2
0095 e5ff       |    |		Load	0x2,-0x1
0096 4804       |H   |		Short_Literal	0x4
0097 4802       |H   |		Short_Literal	0x2
0098 0099       |    |		Action	Reference_Dynamic
0099 4805       |H   |		Short_Literal	0x5
009a 4802       |H   |		Short_Literal	0x2
009b 0099       |    |		Action	Reference_Dynamic
009c 4806       |H   |		Short_Literal	0x6
009d 4802       |H   |		Short_Literal	0x2
009e 0099       |    |		Action	Reference_Dynamic
009f 8216       |    |		Call	0x1,0x16
00a0 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
00a1 0000 0000  |    |		.BLANK	0000[0x7]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00be       |    |		.CONST	0x00be								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0007       |    |		.CONST	0x0007								; Number of locals
00ab			INIT_00a8:
00ab 0007       |    |		Action	Break_Optional
00ac 00ec       |    |		Load_Encached	Diana_Tree_Cache
00ad e002       |    |		Load	0x0,0x2
00ae 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00af 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00b0 02c7       |    |		Declare_Variable	Any
00b1 00d8       |    |		Load_Top	At_Offset_0
00b2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00b3 e002       |    |		Load	0x0,0x2
00b4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00b5 e002       |    |		Load	0x0,0x2
00b6 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
00b7 02ff       |    |		Declare_Variable	Variant_Record
00b8 00d8       |    |		Load_Top	At_Offset_0
00b9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00ba 029f 0233  |   3|		Declare_Subprogram	INIT_0230,For_Call
00bc 029f 032b  |   +|		Declare_Subprogram	INIT_0328,For_Call
00be			BODY_00a8:
00be e5fc       |    |		Load	0x2,-0x4
00bf e002       |    |		Load	0x0,0x2
00c0 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00c1 e00c       |    |		Load	0x0,0xc
00c2 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00c3 027f       |    |		Execute	Discrete,Equal
00c4 7007       |p   |		Jump_Nonzero	0xcc
00c5 e5fc       |    |		Load	0x2,-0x4
00c6 e002       |    |		Load	0x0,0x2
00c7 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00c8 e00c       |    |		Load	0x0,0xc
00c9 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00ca 027f       |    |		Execute	Discrete,Equal
00cb 681a       |h   |		Jump_Zero	0xe6
00cc e5fc       |    |		Load	0x2,-0x4
00cd 821a       |    |		Call	0x1,0x1a
00ce 00db       |    |		Load_Top	At_Offset_3
00cf 016d       | m  |		Execute	Variant_Record,Structure_Write
00d0 00da       |    |		Load_Top	At_Offset_2
00d1 e002       |    |		Load	0x0,0x2
00d2 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00d3 7011       |p   |		Jump_Nonzero	0xe5
00d4 00cf       |    |		Action	Mark_Auxiliary
00d5 4806       |H   |		Short_Literal	0x6
00d6 4800       |H   |		Short_Literal	0x0
00d7 0007       |    |		Action	Break_Optional
00d8 00d8       |    |		Load_Top	At_Offset_0
00d9 e5fb       |    |		Load	0x2,-0x5
00da 01d7       |    |		Execute	Vector,Field_Read
00db 6806       |h   |		Jump_Zero	0xe2
00dc e5fa       |    |		Load	0x2,-0x6
00dd e405       |    |		Load	0x2,0x5
00de e5fc       |    |		Load	0x2,-0x4
00df e5fb       |    |		Load	0x2,-0x5
00e0 e40a       |    |		Load	0x2,0xa
00e1 8407       |    |		Call	0x2,0x7
00e2 00c8       |    |		Action	Pop_Auxiliary_Range
00e3 3ff4       |?   |		Loop_Increasing	0xd8
00e4 00ce       |    |		Action	Pop_Auxiliary
00e5 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00e6 e5fc       |    |		Load	0x2,-0x4
00e7 e002       |    |		Load	0x0,0x2
00e8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00e9 7008       |p   |		Jump_Nonzero	0xf2
00ea e002       |    |		Load	0x0,0x2
00eb 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00ec 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
00ed e5fc       |    |		Load	0x2,-0x4
00ee e002       |    |		Load	0x0,0x2
00ef 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00f0 012e       | .  |		Execute	Any,Not_Equal
00f1 6801       |h   |		Jump_Zero	0xf3
00f2 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
00f3 e002       |    |		Load	0x0,0x2
00f4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00f5 e403       |    |		Load	0x2,0x3
00f6 0120       |    |		Execute	Any,Is_Value
00f7 6804       |h   |		Jump_Zero	0xfc
00f8 e002       |    |		Load	0x0,0x2
00f9 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00fa 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
00fb 7801       |x   |		Jump	0xfd
00fc e403       |    |		Load	0x2,0x3
00fd e002       |    |		Load	0x0,0x2
00fe 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
00ff 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0100 629f       |b   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0101 4801       |H   |		Short_Literal	0x1
0102 4800       |H   |		Short_Literal	0x0
0103 4800       |H   |		Short_Literal	0x0
0104 e5fa       |    |		Load	0x2,-0x6
0105 4801       |H   |		Short_Literal	0x1
0106 e5fc       |    |		Load	0x2,-0x4
0107 e002       |    |		Load	0x0,0x2
0108 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0109 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
010a e002       |    |		Load	0x0,0x2
010b 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
010c 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
010d c402       |    |		Store	0x2,0x2
010e c403       |    |		Store	0x2,0x3
010f c404       |    |		Store	0x2,0x4
0110 00db       |    |		Load_Top	At_Offset_3
0111 680a       |h   |		Jump_Zero	0x11c
0112 4800       |H   |		Short_Literal	0x0
0113 0092 03b8  |    |		Action	Push_String_Extended,0x3b8					; "Couldn't open ada unit "
0115 e5fc       |    |		Load	0x2,-0x4
0116 e002       |    |		Load	0x0,0x2
0117 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0118 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0119 01cc       |    |		Execute	Vector,Catenate
011a 8219       |    |		Call	0x1,0x19
011b 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
011c 00cf       |    |		Action	Mark_Auxiliary
011d 4806       |H   |		Short_Literal	0x6
011e 4800       |H   |		Short_Literal	0x0
011f 0007       |    |		Action	Break_Optional
0120 00d8       |    |		Load_Top	At_Offset_0
0121 e5fb       |    |		Load	0x2,-0x5
0122 01d7       |    |		Execute	Vector,Field_Read
0123 6806       |h   |		Jump_Zero	0x12a
0124 e5fa       |    |		Load	0x2,-0x6
0125 e5fc       |    |		Load	0x2,-0x4
0126 e5fb       |    |		Load	0x2,-0x5
0127 00db       |    |		Load_Top	At_Offset_3
0128 e402       |    |		Load	0x2,0x2
0129 8406       |    |		Call	0x2,0x6
012a 00c8       |    |		Action	Pop_Auxiliary_Range
012b 3ff4       |?   |		Loop_Increasing	0x120
012c 00ce       |    |		Action	Pop_Auxiliary
012d 4507       |E   |		Exit_Suprogram	New_Top_Offset 0x7
012e 0000 0000  |    |		.XXX[0x2]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0141       | A  |		.CONST	0x0141								; Address of begin
0131 0004       |    |		.CONST	0x0004								; Address of exception handler
0132 0005       |    |		.CONST	0x0005								; Number of locals
0133			INIT_0130:
0133 e002       |    |		Load	0x0,0x2
0134 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0135 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
0136 02c7       |    |		Declare_Variable	Any
0137 00d8       |    |		Load_Top	At_Offset_0
0138 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0139 e002       |    |		Load	0x0,0x2
013a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
013b e20e       |    |		Load	0x1,0xe
013c 02c7       |    |		Declare_Variable	Any
013d 00d8       |    |		Load_Top	At_Offset_0
013e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
013f 029f 03ab  |    |		Declare_Subprogram	INIT_03a8,For_Call
0141			BODY_0130:
0141 8405       |    |		Call	0x2,0x5
0142 e5fc       |    |		Load	0x2,-0x4
0143 e5fd       |    |		Load	0x2,-0x3
0144 85fe       |    |		Call	0x2,-0x2
0145 e002       |    |		Load	0x0,0x2
0146 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0147 e402       |    |		Load	0x2,0x2
0148 0120       |    |		Execute	Any,Is_Value
0149 6804       |h   |		Jump_Zero	0x14e
014a e002       |    |		Load	0x0,0x2
014b 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
014c 1b31       | 1  |		Execute	Package,Field_Read,Field_Number 0x31
014d 7801       |x   |		Jump	0x14f
014e e402       |    |		Load	0x2,0x2
014f 6250       |bP  |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0150 e5fc       |    |		Load	0x2,-0x4
0151 e5fd       |    |		Load	0x2,-0x3
0152 e002       |    |		Load	0x0,0x2
0153 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
0154 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0155 e002       |    |		Load	0x0,0x2
0156 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0157 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0158 c402       |    |		Store	0x2,0x2
0159 005b       | [  |		Store_Top	Discrete,At_Offset_3
015a 00da       |    |		Load_Top	At_Offset_2
015b 6818       |h   |		Jump_Zero	0x174
015c 00da       |    |		Load_Top	At_Offset_2
015d 0e08       |    |		Execute_Immediate	Not_Equal,0x8
015e 6814       |h   |		Jump_Zero	0x173
015f 4800       |H   |		Short_Literal	0x0
0160 e5fb       |    |		Load	0x2,-0x5
0161 0092 03b9  |    |		Action	Push_String_Extended,0x3b9					; " "
0163 01cc       |    |		Execute	Vector,Catenate
0164 e403       |    |		Load	0x2,0x3
0165 e002       |    |		Load	0x0,0x2
0166 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0167 025e       | ^  |		Execute	Discrete,Convert
0168 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0169 01cc       |    |		Execute	Vector,Catenate
016a 0092 03ba  |    |		Action	Push_String_Extended,0x3ba					; " returned traversing "
016c 01cc       |    |		Execute	Vector,Catenate
016d e5fd       |    |		Load	0x2,-0x3
016e e002       |    |		Load	0x0,0x2
016f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0170 183e       | >  |		Execute	Package,Field_Execute,Field_Number 0x3e
0171 01cc       |    |		Execute	Vector,Catenate
0172 8219       |    |		Call	0x1,0x19
0173 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0174 00cf       |    |		Action	Mark_Auxiliary
0175 781e       |x   |		Jump	0x194
0176 e402       |    |		Load	0x2,0x2
0177 e002       |    |		Load	0x0,0x2
0178 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0179 1834       | 4  |		Execute	Package,Field_Execute,Field_Number 0x34
017a c404       |    |		Store	0x2,0x4
017b 00da       |    |		Load_Top	At_Offset_2
017c e002       |    |		Load	0x0,0x2
017d 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
017e 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
017f 680b       |h   |		Jump_Zero	0x18b
0180 e5fb       |    |		Load	0x2,-0x5
0181 e5fc       |    |		Load	0x2,-0x4
0182 e404       |    |		Load	0x2,0x4
0183 4ffe       |O   |		Short_Literal	-0x2
0184 4802       |H   |		Short_Literal	0x2
0185 0099       |    |		Action	Reference_Dynamic
0186 4fff       |O   |		Short_Literal	-0x1
0187 4802       |H   |		Short_Literal	0x2
0188 0099       |    |		Action	Reference_Dynamic
0189 8217       |    |		Call	0x1,0x17
018a 7803       |x   |		Jump	0x18e
018b e5fc       |    |		Load	0x2,-0x4
018c 00db       |    |		Load_Top	At_Offset_3
018d 85fe       |    |		Call	0x2,-0x2
018e e402       |    |		Load	0x2,0x2
018f e002       |    |		Load	0x0,0x2
0190 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0191 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
0192 c402       |    |		Store	0x2,0x2
0193 00c9       |    |		Action	Pop_Auxiliary_Loop
0194 e402       |    |		Load	0x2,0x2
0195 e002       |    |		Load	0x0,0x2
0196 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0197 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
0198 6fdd       |o   |		Jump_Zero	0x176
0199 00ce       |    |		Action	Pop_Auxiliary
019a 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
019b 0000 0000  |    |		.BLANK	0000[0x5]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01a3       |    |		.CONST	0x01a3								; Address of begin
01a1 0004       |    |		.CONST	0x0004								; Address of exception handler
01a2 0001       |    |		.CONST	0x0001								; Number of locals
01a3			BODY_01a0:
01a3			INIT_01a0:
01a3 e00d       |    |		Load	0x0,0xd
01a4 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01a5 4807       |H   |		Short_Literal	0x7
01a6 e5ff       |    |		Load	0x2,-0x1
01a7 e00e       |    |		Load	0x0,0xe
01a8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01a9 00db       |    |		Load_Top	At_Offset_3
01aa 6802       |h   |		Jump_Zero	0x1ad
01ab e20d       |    |		Load	0x1,0xd
01ac 0257       | W  |		Execute	Discrete,Raise
01ad 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01ae 0000 0000  |    |		.XXX[0x2]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01c0       |    |		.CONST	0x01c0								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0005       |    |		.CONST	0x0005								; Number of locals
01b3			INIT_01b0:
01b3 e002       |    |		Load	0x0,0x2
01b4 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
01b5 02ff       |    |		Declare_Variable	Variant_Record
01b6 00d8       |    |		Load_Top	At_Offset_0
01b7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01b8 e002       |    |		Load	0x0,0x2
01b9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ba 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01bb e002       |    |		Load	0x0,0x2
01bc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01bd e002       |    |		Load	0x0,0x2
01be 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01bf 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01c0			BODY_01b0:
01c0 e002       |    |		Load	0x0,0x2
01c1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01c2 e002       |    |		Load	0x0,0x2
01c3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01c4 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
01c5 61da       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
01c6 e00f       |    |		Load	0x0,0xf
01c7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01c8 4800       |H   |		Short_Literal	0x0
01c9 e5ff       |    |		Load	0x2,-0x1
01ca e002       |    |		Load	0x0,0x2
01cb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01cc 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01cd 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
01ce 005a       | Z  |		Store_Top	Discrete,At_Offset_2
01cf e002       |    |		Load	0x0,0x2
01d0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01d2 e402       |    |		Load	0x2,0x2
01d3 61cc       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
01d4 e00f       |    |		Load	0x0,0xf
01d5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01d6 4800       |H   |		Short_Literal	0x0
01d7 e405       |    |		Load	0x2,0x5
01d8 0092 03bb  |    |		Action	Push_String_Extended,0x3bb					; "?.code_database"
01da e002       |    |		Load	0x0,0x2
01db 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01dc 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
01dd 00d1       |    |		Pop_Control	Pop_Count_1
01de 005b       | [  |		Store_Top	Discrete,At_Offset_3
01df 00d9       |    |		Load_Top	At_Offset_1
01e0 7002       |p   |		Jump_Nonzero	0x1e3
01e1 00da       |    |		Load_Top	At_Offset_2
01e2 6803       |h   |		Jump_Zero	0x1e6
01e3 e002       |    |		Load	0x0,0x2
01e4 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
01e5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e6 00db       |    |		Load_Top	At_Offset_3
01e7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01f5       |    |		.CONST	0x01f5								; Address of begin
01e9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ea 0006       |    |		.CONST	0x0006								; Number of locals
01eb			INIT_01e8:
01eb e008       |    |		Load	0x0,0x8
01ec 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
01ed e010       |    |		Load	0x0,0x10
01ee 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
01ef e009       |    |		Load	0x0,0x9
01f0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01f1 e008       |    |		Load	0x0,0x8
01f2 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
01f3 00ec       |    |		Load_Encached	Diana_Tree_Cache
01f4 0007       |    |		Action	Break_Optional
01f5			BODY_01e8:
01f5 e008       |    |		Load	0x0,0x8
01f6 1b20       |    |		Execute	Package,Field_Read,Field_Number 0x20
01f7 e008       |    |		Load	0x0,0x8
01f8 1b1b       |    |		Execute	Package,Field_Read,Field_Number 0x1b
01f9 4801       |H   |		Short_Literal	0x1
01fa e5fe       |    |		Load	0x2,-0x2
01fb e5ff       |    |		Load	0x2,-0x1
01fc e008       |    |		Load	0x0,0x8
01fd 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
01fe c402       |    |		Store	0x2,0x2
01ff 005a       | Z  |		Store_Top	Discrete,At_Offset_2
0200 00d9       |    |		Load_Top	At_Offset_1
0201 6803       |h   |		Jump_Zero	0x205
0202 00eb       |    |		Load_Encached	Diana_Cache
0203 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0204 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0205 e402       |    |		Load	0x2,0x2
0206 e218       |    |		Load	0x1,0x18
0207 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0208 a403       |    |		Store_Unchecked	0x2,0x3
0209 e402       |    |		Load	0x2,0x2
020a e218       |    |		Load	0x1,0x18
020b 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
020c 0053       | S  |		Store_Top_Uncheched	Discrete,At_Offset_3
020d 00da       |    |		Load_Top	At_Offset_2
020e e403       |    |		Load	0x2,0x3
020f 497d       |I}  |		Short_Literal	0x17d
0210 00eb       |    |		Load_Encached	Diana_Cache
0211 0096       |    |		Execute	Package,Entry
0212 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0213 00d8       |    |		Load_Top	At_Offset_0
0214 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0215 0000 0000  |    |		.XXX[0x3]
0217 0000       |    |
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 021b       |    |		.CONST	0x021b								; Address of begin
0219 0004       |    |		.CONST	0x0004								; Address of exception handler
021a 0001       |    |		.CONST	0x0001								; Number of locals
021b			BODY_0218:
021b			INIT_0218:
021b 00db       |    |		Load_Top	At_Offset_3
021c e5fc       |    |		Load	0x2,-0x4
021d e20f       |    |		Load	0x1,0xf
021e 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
021f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0220 ; --------------------------------------------------------------------------------------
0220 ; SUBPROGRAM
0220 ; --------------------------------------------------------------------------------------
0220 0223       | #  |		.CONST	0x0223								; Address of begin
0221 0004       |    |		.CONST	0x0004								; Address of exception handler
0222 0001       |    |		.CONST	0x0001								; Number of locals
0223			BODY_0220:
0223			INIT_0220:
0223 e5fc       |    |		Load	0x2,-0x4
0224 e7fe       |    |		Load	0x3,-0x2
0225 e20f       |    |		Load	0x1,0xf
0226 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0227 c5fc       |    |		Store	0x2,-0x4
0228 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0229 0000 0000  |    |		.BLANK	0000[0x7]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 025d       | ]  |		.CONST	0x025d								; Address of begin
0231 0004       |    |		.CONST	0x0004								; Address of exception handler
0232 000b       |    |		.CONST	0x000b								; Number of locals
0233			INIT_0230:
0233 0007       |    |		Action	Break_Optional
0234 0007       |    |		Action	Break_Optional
0235 0007       |    |		Action	Break_Optional
0236 e002       |    |		Load	0x0,0x2
0237 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0238 e011       |    |		Load	0x0,0x11
0239 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
023a 02c7       |    |		Declare_Variable	Any
023b 00d8       |    |		Load_Top	At_Offset_0
023c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
023d 00ec       |    |		Load_Encached	Diana_Tree_Cache
023e e002       |    |		Load	0x0,0x2
023f 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0240 02ff       |    |		Declare_Variable	Variant_Record
0241 00d8       |    |		Load_Top	At_Offset_0
0242 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0243 e002       |    |		Load	0x0,0x2
0244 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0245 02c7       |    |		Declare_Variable	Any
0246 00d8       |    |		Load_Top	At_Offset_0
0247 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0248 e002       |    |		Load	0x0,0x2
0249 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
024a 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
024b e002       |    |		Load	0x0,0x2
024c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
024d 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
024e 02c7       |    |		Declare_Variable	Any
024f 00d8       |    |		Load_Top	At_Offset_0
0250 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0251 e002       |    |		Load	0x0,0x2
0252 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0253 e002       |    |		Load	0x0,0x2
0254 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0255 02ff       |    |		Declare_Variable	Variant_Record
0256 00d8       |    |		Load_Top	At_Offset_0
0257 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0258 e002       |    |		Load	0x0,0x2
0259 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
025a 02ff       |    |		Declare_Variable	Variant_Record
025b 00d8       |    |		Load_Top	At_Offset_0
025c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
025d			BODY_0230:
025d e7ff       |    |		Load	0x3,-0x1
025e 00eb       |    |		Load_Encached	Diana_Cache
025f 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0260 0fa8       |    |		Execute_Immediate	Equal,-0x58
0261 6805       |h   |		Jump_Zero	0x267
0262 e7ff       |    |		Load	0x3,-0x1
0263 e002       |    |		Load	0x0,0x2
0264 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0265 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0266 680d       |h   |		Jump_Zero	0x274
0267 e00d       |    |		Load	0x0,0xd
0268 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0269 4801       |H   |		Short_Literal	0x1
026a 0092 03bc  |    |		Action	Push_String_Extended,0x3bc					; "Skipping source state unit "
026c e7fc       |    |		Load	0x3,-0x4
026d e002       |    |		Load	0x0,0x2
026e 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
026f 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
0270 01cc       |    |		Execute	Vector,Catenate
0271 e00e       |    |		Load	0x0,0xe
0272 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0273 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0274 e7fe       |    |		Load	0x3,-0x2
0275 0f06       |    |		Execute_Immediate	Equal,0x6
0276 6861       |ha  |		Jump_Zero	0x2d8
0277 e002       |    |		Load	0x0,0x2
0278 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0279 00da       |    |		Load_Top	At_Offset_2
027a e7ff       |    |		Load	0x3,-0x1
027b e002       |    |		Load	0x0,0x2
027c 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
027d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
027e 00d1       |    |		Pop_Control	Pop_Count_1
027f 005b       | [  |		Store_Top	Discrete,At_Offset_3
0280 00d9       |    |		Load_Top	At_Offset_1
0281 e002       |    |		Load	0x0,0x2
0282 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0283 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0284 7053       |pS  |		Jump_Nonzero	0x2d8
0285 e00d       |    |		Load	0x0,0xd
0286 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0287 4801       |H   |		Short_Literal	0x1
0288 0092 03bd  |    |		Action	Push_String_Extended,0x3bd					; "Getting other part for "
028a e7fc       |    |		Load	0x3,-0x4
028b e002       |    |		Load	0x0,0x2
028c 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
028d 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
028e 01cc       |    |		Execute	Vector,Catenate
028f e00e       |    |		Load	0x0,0xe
0290 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0291 e002       |    |		Load	0x0,0x2
0292 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0293 00d9       |    |		Load_Top	At_Offset_1
0294 610b       |a   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0295 e7fb       |    |		Load	0x3,-0x5
0296 e60a       |    |		Load	0x3,0xa
0297 e002       |    |		Load	0x0,0x2
0298 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0299 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
029a 00d1       |    |		Pop_Control	Pop_Count_1
029b 005b       | [  |		Store_Top	Discrete,At_Offset_3
029c e002       |    |		Load	0x0,0x2
029d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
029e e608       |    |		Load	0x3,0x8
029f 0120       |    |		Execute	Any,Is_Value
02a0 6804       |h   |		Jump_Zero	0x2a5
02a1 e002       |    |		Load	0x0,0x2
02a2 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a3 1b21       | !  |		Execute	Package,Field_Read,Field_Number 0x21
02a4 7801       |x   |		Jump	0x2a6
02a5 e608       |    |		Load	0x3,0x8
02a6 e002       |    |		Load	0x0,0x2
02a7 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02a8 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
02a9 00db       |    |		Load_Top	At_Offset_3
02aa 60f5       |`   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
02ab 4801       |H   |		Short_Literal	0x1
02ac 4800       |H   |		Short_Literal	0x0
02ad e7fb       |    |		Load	0x3,-0x5
02ae 4801       |H   |		Short_Literal	0x1
02af e002       |    |		Load	0x0,0x2
02b0 1b38       | 8  |		Execute	Package,Field_Read,Field_Number 0x38
02b1 1828       | (  |		Execute	Package,Field_Execute,Field_Number 0x28
02b2 00d1       |    |		Pop_Control	Pop_Count_1
02b3 c607       |    |		Store	0x3,0x7
02b4 c608       |    |		Store	0x3,0x8
02b5 005b       | [  |		Store_Top	Discrete,At_Offset_3
02b6 00da       |    |		Load_Top	At_Offset_2
02b7 680a       |h   |		Jump_Zero	0x2c2
02b8 4800       |H   |		Short_Literal	0x0
02b9 0092 03be  |    |		Action	Push_String_Extended,0x3be					; "Couldn't open ada unit for spec of "
02bb e7fc       |    |		Load	0x3,-0x4
02bc e002       |    |		Load	0x0,0x2
02bd 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02be 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02bf 01cc       |    |		Execute	Vector,Catenate
02c0 8219       |    |		Call	0x1,0x19
02c1 7816       |x   |		Jump	0x2d8
02c2 e7ff       |    |		Load	0x3,-0x1
02c3 e607       |    |		Load	0x3,0x7
02c4 021f       |    |		Execute	Heap_Access,Equal
02c5 7012       |p   |		Jump_Nonzero	0x2d8
02c6 e00d       |    |		Load	0x0,0xd
02c7 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02c8 4801       |H   |		Short_Literal	0x1
02c9 e7fc       |    |		Load	0x3,-0x4
02ca e002       |    |		Load	0x0,0x2
02cb 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02cc 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
02cd 0092 03bf  |    |		Action	Push_String_Extended,0x3bf					; " is a body: check its spec"
02cf 01cc       |    |		Execute	Vector,Catenate
02d0 e00e       |    |		Load	0x0,0xe
02d1 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02d2 e7fb       |    |		Load	0x3,-0x5
02d3 e7fc       |    |		Load	0x3,-0x4
02d4 e7fd       |    |		Load	0x3,-0x3
02d5 e7fe       |    |		Load	0x3,-0x2
02d6 e607       |    |		Load	0x3,0x7
02d7 8406       |    |		Call	0x2,0x6
02d8 e7ff       |    |		Load	0x3,-0x1
02d9 4976       |Iv  |		Short_Literal	0x176
02da 00eb       |    |		Load_Encached	Diana_Cache
02db 0098       |    |		Execute	Package,Field_Read_Dynamic
02dc 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
02dd a604       |    |		Store_Unchecked	0x3,0x4
02de e012       |    |		Load	0x0,0x12
02df 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02e0 e013       |    |		Load	0x0,0x13
02e1 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02e2 e7fb       |    |		Load	0x3,-0x5
02e3 e604       |    |		Load	0x3,0x4
02e4 e7fe       |    |		Load	0x3,-0x2
02e5 e011       |    |		Load	0x0,0x11
02e6 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
02e7 c603       |    |		Store	0x3,0x3
02e8 00cf       |    |		Action	Mark_Auxiliary
02e9 7837       |x7  |		Jump	0x321
02ea e603       |    |		Load	0x3,0x3
02eb e011       |    |		Load	0x0,0x11
02ec 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
02ed e605       |    |		Load	0x3,0x5
02ee 016d       | m  |		Execute	Variant_Record,Structure_Write
02ef e002       |    |		Load	0x0,0x2
02f0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02f1 e606       |    |		Load	0x3,0x6
02f2 0120       |    |		Execute	Any,Is_Value
02f3 6803       |h   |		Jump_Zero	0x2f7
02f4 e002       |    |		Load	0x0,0x2
02f5 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02f6 7801       |x   |		Jump	0x2f8
02f7 e606       |    |		Load	0x3,0x6
02f8 60a7       |`   |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
02f9 e7fb       |    |		Load	0x3,-0x5
02fa e605       |    |		Load	0x3,0x5
02fb e002       |    |		Load	0x0,0x2
02fc 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
02fd 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
02fe c606       |    |		Store	0x3,0x6
02ff c602       |    |		Store	0x3,0x2
0300 e602       |    |		Load	0x3,0x2
0301 701a       |p   |		Jump_Nonzero	0x31c
0302 e605       |    |		Load	0x3,0x5
0303 e002       |    |		Load	0x0,0x2
0304 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
0305 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0306 6815       |h   |		Jump_Zero	0x31c
0307 e7fc       |    |		Load	0x3,-0x4
0308 e606       |    |		Load	0x3,0x6
0309 85fd       |    |		Call	0x2,-0x3
030a 7011       |p   |		Jump_Nonzero	0x31c
030b e7fb       |    |		Load	0x3,-0x5
030c e7fd       |    |		Load	0x3,-0x3
030d e606       |    |		Load	0x3,0x6
030e 4ffd       |O   |		Short_Literal	-0x3
030f 4802       |H   |		Short_Literal	0x2
0310 0099       |    |		Action	Reference_Dynamic
0311 4ffe       |O   |		Short_Literal	-0x2
0312 4802       |H   |		Short_Literal	0x2
0313 0099       |    |		Action	Reference_Dynamic
0314 4fff       |O   |		Short_Literal	-0x1
0315 4802       |H   |		Short_Literal	0x2
0316 0099       |    |		Action	Reference_Dynamic
0317 8216       |    |		Call	0x1,0x16
0318 e7fb       |    |		Load	0x3,-0x5
0319 e606       |    |		Load	0x3,0x6
031a e7fc       |    |		Load	0x3,-0x4
031b 85fe       |    |		Call	0x2,-0x2
031c e603       |    |		Load	0x3,0x3
031d e011       |    |		Load	0x0,0x11
031e 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
031f c603       |    |		Store	0x3,0x3
0320 00c9       |    |		Action	Pop_Auxiliary_Loop
0321 e603       |    |		Load	0x3,0x3
0322 e011       |    |		Load	0x0,0x11
0323 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0324 6fc5       |o   |		Jump_Zero	0x2ea
0325 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
0326 0000 0000  |    |		.XXX[0x2]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 0346       | F  |		.CONST	0x0346								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0008       |    |		.CONST	0x0008								; Number of locals
032b			INIT_0328:
032b e008       |    |		Load	0x0,0x8
032c 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
032d 02ff       |    |		Declare_Variable	Variant_Record
032e e7fc       |    |		Load	0x3,-0x4
032f 00d9       |    |		Load_Top	At_Offset_1
0330 016d       | m  |		Execute	Variant_Record,Structure_Write
0331 e002       |    |		Load	0x0,0x2
0332 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0333 02c7       |    |		Declare_Variable	Any
0334 00d8       |    |		Load_Top	At_Offset_0
0335 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0336 e002       |    |		Load	0x0,0x2
0337 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0338 e002       |    |		Load	0x0,0x2
0339 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
033a 02ff       |    |		Declare_Variable	Variant_Record
033b 00d8       |    |		Load_Top	At_Offset_0
033c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
033d e011       |    |		Load	0x0,0x11
033e 1b19       |    |		Execute	Package,Field_Read,Field_Number 0x19
033f 02c7       |    |		Declare_Variable	Any
0340 00d8       |    |		Load_Top	At_Offset_0
0341 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0342 00ec       |    |		Load_Encached	Diana_Tree_Cache
0343 e011       |    |		Load	0x0,0x11
0344 1b61       | a  |		Execute	Package,Field_Read,Field_Number 0x61
0345 0337       | 7  |		Declare_Variable	Array
0346			BODY_0328:
0346 00cf       |    |		Action	Mark_Auxiliary
0347 00d9       |    |		Load_Top	At_Offset_1
0348 01d9       |    |		Execute	Vector,Reverse_Bounds
0349 0007       |    |		Action	Break_Optional
034a 00d8       |    |		Load_Top	At_Offset_0
034b e7fe       |    |		Load	0x3,-0x2
034c 01d7       |    |		Execute	Vector,Field_Read
034d 00d9       |    |		Load_Top	At_Offset_1
034e e608       |    |		Load	0x3,0x8
034f 01d6       |    |		Execute	Vector,Field_Write
0350 00c8       |    |		Action	Pop_Auxiliary_Range
0351 3ff8       |?   |		Loop_Increasing	0x34a
0352 00ce       |    |		Action	Pop_Auxiliary
0353 e012       |    |		Load	0x0,0x12
0354 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0355 e013       |    |		Load	0x0,0x13
0356 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0357 e7fb       |    |		Load	0x3,-0x5
0358 00da       |    |		Load_Top	At_Offset_2
0359 e7fb       |    |		Load	0x3,-0x5
035a e602       |    |		Load	0x3,0x2
035b 821b       |    |		Call	0x1,0x1b
035c e011       |    |		Load	0x0,0x11
035d 1863       | c  |		Execute	Package,Field_Execute,Field_Number 0x63
035e c606       |    |		Store	0x3,0x6
035f 00cf       |    |		Action	Mark_Auxiliary
0360 7838       |x8  |		Jump	0x399
0361 00db       |    |		Load_Top	At_Offset_3
0362 e011       |    |		Load	0x0,0x11
0363 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0364 e605       |    |		Load	0x3,0x5
0365 016d       | m  |		Execute	Variant_Record,Structure_Write
0366 e002       |    |		Load	0x0,0x2
0367 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0368 e603       |    |		Load	0x3,0x3
0369 0120       |    |		Execute	Any,Is_Value
036a 6803       |h   |		Jump_Zero	0x36e
036b e002       |    |		Load	0x0,0x2
036c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
036d 7801       |x   |		Jump	0x36f
036e e603       |    |		Load	0x3,0x3
036f 6030       |`0  |		Indirect_Literal	Discrete,0x3a0,{0x00000000, 0x00004000}
0370 e7fb       |    |		Load	0x3,-0x5
0371 e605       |    |		Load	0x3,0x5
0372 e002       |    |		Load	0x0,0x2
0373 1b39       | 9  |		Execute	Package,Field_Read,Field_Number 0x39
0374 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0375 c603       |    |		Store	0x3,0x3
0376 c604       |    |		Store	0x3,0x4
0377 e604       |    |		Load	0x3,0x4
0378 701b       |p   |		Jump_Nonzero	0x394
0379 e605       |    |		Load	0x3,0x5
037a e002       |    |		Load	0x0,0x2
037b 1b3a       | :  |		Execute	Package,Field_Read,Field_Number 0x3a
037c 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
037d 6816       |h   |		Jump_Zero	0x394
037e e7fd       |    |		Load	0x3,-0x3
037f e603       |    |		Load	0x3,0x3
0380 85fd       |    |		Call	0x2,-0x3
0381 7012       |p   |		Jump_Nonzero	0x394
0382 e7fb       |    |		Load	0x3,-0x5
0383 e7fe       |    |		Load	0x3,-0x2
0384 e603       |    |		Load	0x3,0x3
0385 4ffd       |O   |		Short_Literal	-0x3
0386 4802       |H   |		Short_Literal	0x2
0387 0099       |    |		Action	Reference_Dynamic
0388 4ffe       |O   |		Short_Literal	-0x2
0389 4802       |H   |		Short_Literal	0x2
038a 0099       |    |		Action	Reference_Dynamic
038b 4fff       |O   |		Short_Literal	-0x1
038c 4802       |H   |		Short_Literal	0x2
038d 0099       |    |		Action	Reference_Dynamic
038e 8216       |    |		Call	0x1,0x16
038f e7fb       |    |		Load	0x3,-0x5
0390 e603       |    |		Load	0x3,0x3
0391 e002       |    |		Load	0x0,0x2
0392 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0393 85fe       |    |		Call	0x2,-0x2
0394 00db       |    |		Load_Top	At_Offset_3
0395 e011       |    |		Load	0x0,0x11
0396 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0397 c606       |    |		Store	0x3,0x6
0398 00c9       |    |		Action	Pop_Auxiliary_Loop
0399 00db       |    |		Load_Top	At_Offset_3
039a e011       |    |		Load	0x0,0x11
039b 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
039c 6fc4       |o   |		Jump_Zero	0x361
039d 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
039e 0000 0000  |    |		.XXX[0x2]
03a0 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
03a4 0000 0000  |    |		.BLANK	0000[0x4]
03a8 ; --------------------------------------------------------------------------------------
03a8 ; SUBPROGRAM
03a8 ; --------------------------------------------------------------------------------------
03a8 03ab       |    |		.CONST	0x03ab								; Address of begin
03a9 03b5       |    |		.CONST	0x03b5								; Address of exception handler
03aa 0001       |    |		.CONST	0x0001								; Number of locals
03ab			BODY_03a8:
03ab			INIT_03a8:
03ab e5fd       |    |		Load	0x2,-0x3
03ac e002       |    |		Load	0x0,0x2
03ad 1b3d       | =  |		Execute	Package,Field_Read,Field_Number 0x3d
03ae 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
03af e002       |    |		Load	0x0,0x2
03b0 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
03b1 6802       |h   |		Jump_Zero	0x3b4
03b2 00cc       |    |		Action	Pop_Block
03b3 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03b4 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03b5			TRAP_03a8:
03b5 0007       |    |		Action	Break_Optional
03b6 00cc       |    |		Action	Pop_Block
03b7 4506       |E   |		Exit_Suprogram	New_Top_Offset 0x6
03b8 ; --------------------------------------------------------------------------------------
03b8 ; STRING TABLE
03b8 ; --------------------------------------------------------------------------------------
03b8 0012       |    |		.STRTAB	0x0012->0x03c1							; "Couldn't open ada unit "
03b9 0027       | '  |		.STRTAB	0x0027->0x03cc							; " "
03ba 0026       | &  |		.STRTAB	0x0026->0x03cd							; " returned traversing "
03bb 0039       | 9  |		.STRTAB	0x0039->0x03d7							; "?.code_database"
03bc 0046       | F  |		.STRTAB	0x0046->0x03df							; "Skipping source state unit "
03bd 005f       | _  |		.STRTAB	0x005f->0x03ec							; "Getting other part for "
03be 0074       | t  |		.STRTAB	0x0074->0x03f8							; "Couldn't open ada unit for spec of "
03bf 0095       |    |		.STRTAB	0x0095->0x0409							; " is a body: check its spec"
03c0 00ad       |    |		.STREND 0x00ad->0x0416
03c1 436f 756c  |Coul|		.STRTAB_STRINGS
0417 0000       |    |		.XXX[0x1]
0418 ; --------------------------------------------------------------------------------------
0418 ; Debug Table
0418 ; --------------------------------------------------------------------------------------
0418 0004 0011  |    |		.DEBUG4	0x0004,0x0011,0xfe75,0x0000,0x0001,0x0000
041e 2c00 044d  |,  M|		.XXX[0xb4]
0420 3c00 084d  |<  M|
0422 6400 144d  |d  M|
0424 6800 0c4d  |h  M|
0426 9000 104d  |   M|
0428 a800 184d  |   M|
042a b000 1c4d  |   M|
042c bc00 2000  |    |
042e 0000 044d  |   M|
0430 ec00 0400  |    |
0432 0000 044e  |   N|
0434 0c00 0400  |    |
0436 0000 044e  |   N|
0438 2c00 0400  |,   |
043a 0400 104e  |   N|
043c 4fff fc4e  |O  N|
043e 6800 044e  |h  N|
0440 7800 084e  |x  N|
0442 9000 0c4e  |   N|
0444 ac00 1000  |    |
0446 0400 104e  |   N|
0448 cfff fc4e  |   N|
044a f800 044f  |   O|
044c 5800 084f  |X  O|
044e 6000 0c4f  |`  O|
0450 6c00 1000  |l   |
0452 0800 204f  |   O|
0454 8fff fc4f  |   O|
0456 a3ff f84f  |   O|
0458 a400 044f  |   O|
045a ac00 084f  |   O|
045c e000 0c4f  |   O|
045e e800 1050  |   P|
0460 0000 1450  |   P|
0462 1000 1850  |   P|
0464 1800 1c50  |   P|
0466 2400 2000  |$   |
0468 0800 0850  |   P|
046a 4fff fc50  |O  P|
046c 53ff f850  |S  P|
046e 6400 0450  |d  P|
0470 9800 0800  |    |
0472 0000 0450  |   P|
0474 ac00 0400  |    |
0476 0400 1850  |   P|
0478 efff fc51  |   Q|
047a 0800 0451  |   Q|
047c 1800 0851  |   Q|
047e 2400 0c51  |$  Q|
0480 3400 1051  |4  Q|
0482 3c00 1451  |<  Q|
0484 5c00 1800  |\   |
0486 0800 1051  |   Q|
0488 afff fc51  |   Q|
048a c3ff f851  |   Q|
048c d400 0451  |   Q|
048e e400 0852  |   R|
0490 0400 0c52  |   R|
0492 1400 1000  |    |
0494 0400 1452  |   R|
0496 2fff fc52  |/  R|
0498 4c00 0452  |L  R|
049a 7400 0852  |t  R|
049c 8800 0c52  |   R|
049e a000 1052  |   R|
04a0 b000 1400  |    |
04a2 0400 0c52  |   R|
04a4 cfff fc52  |   R|
04a6 f000 0452  |   R|
04a8 fc00 0853  |   S|
04aa 1c00 0c00  |    |
04ac 0400 1053  |   S|
04ae 4fff fc53  |O  S|
04b0 5c00 0453  |\  S|
04b2 bc00 0853  |   S|
04b4 c400 0c53  |   S|
04b6 e000 1000  |    |
04b8 0400 1054  |   T|
04ba 0fff fc54  |   T|
04bc 2800 0454  |(  T|
04be 3c00 0854  |<  T|
04c0 4c00 0c54  |L  T|
04c2 b000 1000  |    |
04c4 0400 1454  |   T|
04c6 cfff fc54  |   T|
04c8 ec00 0455  |   U|
04ca 1400 0855  |   U|
04cc 3000 0c55  |0  U|
04ce 4800 1055  |H  U|
04d0 5800 1400  |X   |
04d2 0000 0000  |    |		.BLANK	0000[0x12e]