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

⟦662e9d37d⟧

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

Derivation

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

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 04c8       |    |		.CONST	0x04c8								; 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 004d       | M  |		.CONST	0x004d								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001e       |    |		.CONST	0x001e								; Number of locals
000b			INIT_0008:
000b e003       |    |		Load	0x0,0x3
000c 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
000d 193b       | ;  |		Execute	Package,Field_Reference,Field_Number 0x3b
000e 0007       |    |		Action	Break_Optional
000f e003       |    |		Load	0x0,0x3
0010 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0011 1925       | %  |		Execute	Package,Field_Reference,Field_Number 0x25
0012 0007       |    |		Action	Break_Optional
0013 00e1       |    |		Load_Encached	Boolean_Cache
0014 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0015 00e1       |    |		Load_Encached	Boolean_Cache
0016 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0017 00e1       |    |		Load_Encached	Boolean_Cache
0018 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0019 00e1       |    |		Load_Encached	Boolean_Cache
001a 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
001b 00e3       |    |		Load_Encached	Natural_Cache
001c 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
001d 00e3       |    |		Load_Encached	Natural_Cache
001e 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
001f 00e3       |    |		Load_Encached	Natural_Cache
0020 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0021 00e3       |    |		Load_Encached	Natural_Cache
0022 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0023 00e3       |    |		Load_Encached	Natural_Cache
0024 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0025 e012       |    |		Load	0x0,0x12
0026 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0027 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0028 02c7       |    |		Declare_Variable	Any
0029 00d8       |    |		Load_Top	At_Offset_0
002a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
002b 00e1       |    |		Load_Encached	Boolean_Cache
002c 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
002d 029f 008b  |    |		Declare_Subprogram	INIT_0088,For_Call
002f 029f 009b  |    |		Declare_Subprogram	INIT_0098,For_Call
0031 029f 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Call
0033 029f 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Call
0035 029f 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Call
0037 e017       |    |		Load	0x0,0x17
0038 02ab       |    |		Declare_Subprogram	For_Call,With_Address
0039 e018       |    |		Load	0x0,0x18
003a 02ab       |    |		Declare_Subprogram	For_Call,With_Address
003b e019       |    |		Load	0x0,0x19
003c 02ab       |    |		Declare_Subprogram	For_Call,With_Address
003d e01a       |    |		Load	0x0,0x1a
003e 02ab       |    |		Declare_Subprogram	For_Call,With_Address
003f 029f 0113  |    |		Declare_Subprogram	INIT_0110,For_Call
0041 029f 0183  |    |		Declare_Subprogram	INIT_0180,For_Call
0043 029f 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Call
0045 029f 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Call
0047 029f 024b  |   K|		Declare_Subprogram	INIT_0248,For_Call
0049 029f 028b  |    |		Declare_Subprogram	INIT_0288,For_Call
004b 029f 032b  |   +|		Declare_Subprogram	INIT_0328,For_Call
004d			BODY_0008:
004d 4801       |H   |		Short_Literal	0x1
004e a5fb       |    |		Store_Unchecked	0x2,-0x5
004f e5fc       |    |		Load	0x2,-0x4
0050 e5ff       |    |		Load	0x2,-0x1
0051 0092 0350  |   P|		Action	Push_String_Extended,0x350					; "Verifying subsystem <1>"
0053 e220       |    |		Load	0x1,0x20
0054 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0055 e5fe       |    |		Load	0x2,-0x2
0056 6801       |h   |		Jump_Zero	0x58
0057 841c       |    |		Call	0x2,0x1c
0058 e5fd       |    |		Load	0x2,-0x3
0059 6801       |h   |		Jump_Zero	0x5b
005a 841e       |    |		Call	0x2,0x1e
005b 8413       |    |		Call	0x2,0x13
005c e408       |    |		Load	0x2,0x8
005d 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
005e 7009       |p   |		Jump_Nonzero	0x68
005f e40a       |    |		Load	0x2,0xa
0060 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0061 7006       |p   |		Jump_Nonzero	0x68
0062 e40b       |    |		Load	0x2,0xb
0063 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0064 7003       |p   |		Jump_Nonzero	0x68
0065 e40c       |    |		Load	0x2,0xc
0066 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0067 680b       |h   |		Jump_Zero	0x73
0068 e5fc       |    |		Load	0x2,-0x4
0069 e5ff       |    |		Load	0x2,-0x1
006a 0092 0351  |   Q|		Action	Push_String_Extended,0x351					; "Subsystem <1> is corrupt"
006c e220       |    |		Load	0x1,0x20
006d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
006e e5fc       |    |		Load	0x2,-0x4
006f e5ff       |    |		Load	0x2,-0x1
0070 e220       |    |		Load	0x1,0x20
0071 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0072 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0073 e409       |    |		Load	0x2,0x9
0074 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0075 6807       |h   |		Jump_Zero	0x7d
0076 e5fc       |    |		Load	0x2,-0x4
0077 e5ff       |    |		Load	0x2,-0x1
0078 0092 0351  |   Q|		Action	Push_String_Extended,0x351					; "Subsystem <1> is corrupt"
007a e220       |    |		Load	0x1,0x20
007b 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
007c 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
007d e5fc       |    |		Load	0x2,-0x4
007e e5ff       |    |		Load	0x2,-0x1
007f 0092 0352  |   R|		Action	Push_String_Extended,0x352					; "Subsystem <1> is ok"
0081 e220       |    |		Load	0x1,0x20
0082 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0083 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0084 0000 0000  |    |		.BLANK	0000[0x4]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008b       |    |		.CONST	0x008b								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0001       |    |		.CONST	0x0001								; Number of locals
008b			BODY_0088:
008b			INIT_0088:
008b e5fc       |    |		Load	0x2,-0x4
008c 00db       |    |		Load_Top	At_Offset_3
008d e220       |    |		Load	0x1,0x20
008e 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
008f e408       |    |		Load	0x2,0x8
0090 0a01       |    |		Execute_Immediate	Plus,0x1
0091 c408       |    |		Store	0x2,0x8
0092 4800       |H   |		Short_Literal	0x0
0093 a5fb       |    |		Store_Unchecked	0x2,-0x5
0094 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0095 0000 0000  |    |		.XXX[0x3]
0097 0000       |    |
0098 ; --------------------------------------------------------------------------------------
0098 ; SUBPROGRAM
0098 ; --------------------------------------------------------------------------------------
0098 009b       |    |		.CONST	0x009b								; Address of begin
0099 0004       |    |		.CONST	0x0004								; Address of exception handler
009a 0001       |    |		.CONST	0x0001								; Number of locals
009b			BODY_0098:
009b			INIT_0098:
009b e5fc       |    |		Load	0x2,-0x4
009c e7fe       |    |		Load	0x3,-0x2
009d e7ff       |    |		Load	0x3,-0x1
009e e220       |    |		Load	0x1,0x20
009f 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
00a0 e408       |    |		Load	0x2,0x8
00a1 0a01       |    |		Execute_Immediate	Plus,0x1
00a2 c408       |    |		Store	0x2,0x8
00a3 4800       |H   |		Short_Literal	0x0
00a4 a5fb       |    |		Store_Unchecked	0x2,-0x5
00a5 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
00a6 0000 0000  |    |		.XXX[0x2]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00ab       |    |		.CONST	0x00ab								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0001       |    |		.CONST	0x0001								; Number of locals
00ab			BODY_00a8:
00ab			INIT_00a8:
00ab 00da       |    |		Load_Top	At_Offset_2
00ac 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
00ad 6805       |h   |		Jump_Zero	0xb3
00ae e5fc       |    |		Load	0x2,-0x4
00af e7fe       |    |		Load	0x3,-0x2
00b0 e7ff       |    |		Load	0x3,-0x1
00b1 e220       |    |		Load	0x1,0x20
00b2 1826       | &  |		Execute	Package,Field_Execute,Field_Number 0x26
00b3 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
00b4 0000 0000  |    |		.BLANK	0000[0x4]
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00c1       |    |		.CONST	0x00c1								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0002       |    |		.CONST	0x0002								; Number of locals
00bb			INIT_00b8:
00bb e012       |    |		Load	0x0,0x12
00bc 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00bd 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00be 02c7       |    |		Declare_Variable	Any
00bf 00d8       |    |		Load_Top	At_Offset_0
00c0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00c1			BODY_00b8:
00c1 e40e       |    |		Load	0x2,0xe
00c2 7024       |p$  |		Jump_Nonzero	0xe7
00c3 00d8       |    |		Load_Top	At_Offset_0
00c4 0120       |    |		Execute	Any,Is_Value
00c5 6804       |h   |		Jump_Zero	0xca
00c6 e012       |    |		Load	0x0,0x12
00c7 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00c8 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00c9 7801       |x   |		Jump	0xcb
00ca 00d8       |    |		Load_Top	At_Offset_0
00cb e40d       |    |		Load	0x2,0xd
00cc 4800       |H   |		Short_Literal	0x0
00cd 4800       |H   |		Short_Literal	0x0
00ce e00f       |    |		Load	0x0,0xf
00cf 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00d0 e5ff       |    |		Load	0x2,-0x1
00d1 e012       |    |		Load	0x0,0x12
00d2 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00d3 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
00d4 c40d       |    |		Store	0x2,0xd
00d5 c602       |    |		Store	0x3,0x2
00d6 00d8       |    |		Load_Top	At_Offset_0
00d7 e012       |    |		Load	0x0,0x12
00d8 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00d9 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
00da 0b00       |    |		Execute_Immediate	Case_Compare,0x0
00db 7008       |p   |		Jump_Nonzero	0xe4
00dc 0f01       |    |		Execute_Immediate	Equal,0x1
00dd 7009       |p   |		Jump_Nonzero	0xe7
00de 00d8       |    |		Load_Top	At_Offset_0
00df e012       |    |		Load	0x0,0x12
00e0 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00e1 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
00e2 840f       |    |		Call	0x2,0xf
00e3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00e4 00d1       |    |		Pop_Control	Pop_Count_1
00e5 4801       |H   |		Short_Literal	0x1
00e6 a40e       |    |		Store_Unchecked	0x2,0xe
00e7 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00f1       |    |		.CONST	0x00f1								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0002       |    |		.CONST	0x0002								; Number of locals
00eb			INIT_00e8:
00eb e012       |    |		Load	0x0,0x12
00ec 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00ed 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00ee 02c7       |    |		Declare_Variable	Any
00ef 00d8       |    |		Load_Top	At_Offset_0
00f0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00f1			BODY_00e8:
00f1 e40e       |    |		Load	0x2,0xe
00f2 681a       |h   |		Jump_Zero	0x10d
00f3 00d8       |    |		Load_Top	At_Offset_0
00f4 0120       |    |		Execute	Any,Is_Value
00f5 6804       |h   |		Jump_Zero	0xfa
00f6 e012       |    |		Load	0x0,0x12
00f7 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00f8 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00f9 7801       |x   |		Jump	0xfb
00fa 00d8       |    |		Load_Top	At_Offset_0
00fb e40d       |    |		Load	0x2,0xd
00fc e012       |    |		Load	0x0,0x12
00fd 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00fe 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
00ff c40d       |    |		Store	0x2,0xd
0100 c602       |    |		Store	0x3,0x2
0101 00d8       |    |		Load_Top	At_Offset_0
0102 e012       |    |		Load	0x0,0x12
0103 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0104 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0105 7005       |p   |		Jump_Nonzero	0x10b
0106 00d8       |    |		Load_Top	At_Offset_0
0107 e012       |    |		Load	0x0,0x12
0108 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0109 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
010a 840f       |    |		Call	0x2,0xf
010b 4800       |H   |		Short_Literal	0x0
010c a40e       |    |		Store_Unchecked	0x2,0xe
010d 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
010e 0000 0000  |    |		.XXX[0x2]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 0126       | &  |		.CONST	0x0126								; Address of begin
0111 0004       |    |		.CONST	0x0004								; Address of exception handler
0112 0005       |    |		.CONST	0x0005								; Number of locals
0113			INIT_0110:
0113 e003       |    |		Load	0x0,0x3
0114 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0115 02c7       |    |		Declare_Variable	Any
0116 00d8       |    |		Load_Top	At_Offset_0
0117 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0118 e003       |    |		Load	0x0,0x3
0119 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
011a 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
011b 02c7       |    |		Declare_Variable	Any
011c 00d8       |    |		Load_Top	At_Offset_0
011d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
011e e003       |    |		Load	0x0,0x3
011f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0120 e012       |    |		Load	0x0,0x12
0121 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0122 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0123 02c7       |    |		Declare_Variable	Any
0124 00d8       |    |		Load_Top	At_Offset_0
0125 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0126			BODY_0110:
0126 00d8       |    |		Load_Top	At_Offset_0
0127 0120       |    |		Execute	Any,Is_Value
0128 6804       |h   |		Jump_Zero	0x12d
0129 e012       |    |		Load	0x0,0x12
012a 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
012b 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
012c 7801       |x   |		Jump	0x12e
012d 00d8       |    |		Load_Top	At_Offset_0
012e 00db       |    |		Load_Top	At_Offset_3
012f 0120       |    |		Execute	Any,Is_Value
0130 6804       |h   |		Jump_Zero	0x135
0131 e003       |    |		Load	0x0,0x3
0132 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0133 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0134 7801       |x   |		Jump	0x136
0135 00db       |    |		Load_Top	At_Offset_3
0136 e00f       |    |		Load	0x0,0xf
0137 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0138 e5ff       |    |		Load	0x2,-0x1
0139 e012       |    |		Load	0x0,0x12
013a 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
013b 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
013c c603       |    |		Store	0x3,0x3
013d c605       |    |		Store	0x3,0x5
013e 00d8       |    |		Load_Top	At_Offset_0
013f e012       |    |		Load	0x0,0x12
0140 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0141 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0142 7006       |p   |		Jump_Nonzero	0x149
0143 00d8       |    |		Load_Top	At_Offset_0
0144 e012       |    |		Load	0x0,0x12
0145 1b14       |    |		Execute	Package,Field_Read,Field_Number 0x14
0146 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
0147 840f       |    |		Call	0x2,0xf
0148 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0149 00cf       |    |		Action	Mark_Auxiliary
014a 782a       |x*  |		Jump	0x175
014b e003       |    |		Load	0x0,0x3
014c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
014d e602       |    |		Load	0x3,0x2
014e 0120       |    |		Execute	Any,Is_Value
014f 6803       |h   |		Jump_Zero	0x153
0150 e003       |    |		Load	0x0,0x3
0151 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0152 7801       |x   |		Jump	0x154
0153 e602       |    |		Load	0x3,0x2
0154 e603       |    |		Load	0x3,0x3
0155 e003       |    |		Load	0x0,0x3
0156 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0157 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
0158 c602       |    |		Store	0x3,0x2
0159 005b       | [  |		Store_Top	Discrete,At_Offset_3
015a 00da       |    |		Load_Top	At_Offset_2
015b 821d       |    |		Call	0x1,0x1d
015c 7010       |p   |		Jump_Nonzero	0x16d
015d 0092 0353  |   S|		Action	Push_String_Extended,0x353					; "Could not get declaration map "
015f e603       |    |		Load	0x3,0x3
0160 8403       |    |		Call	0x2,0x3
0161 01cc       |    |		Execute	Vector,Catenate
0162 0092 0354  |   T|		Action	Push_String_Extended,0x354					; ": "
0164 01cc       |    |		Execute	Vector,Catenate
0165 00db       |    |		Load_Top	At_Offset_3
0166 e003       |    |		Load	0x0,0x3
0167 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0168 011c       |    |		Execute	Any,Convert_Unchecked
0169 1c01       |    |		Execute_Immediate	Run_Utility,0x1
016a 01cc       |    |		Execute	Vector,Catenate
016b 840f       |    |		Call	0x2,0xf
016c 7802       |x   |		Jump	0x16f
016d e602       |    |		Load	0x3,0x2
016e 8415       |    |		Call	0x2,0x15
016f 00db       |    |		Load_Top	At_Offset_3
0170 e003       |    |		Load	0x0,0x3
0171 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0172 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0173 c603       |    |		Store	0x3,0x3
0174 00c9       |    |		Action	Pop_Auxiliary_Loop
0175 00db       |    |		Load_Top	At_Offset_3
0176 e003       |    |		Load	0x0,0x3
0177 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0178 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0179 6fd1       |o   |		Jump_Zero	0x14b
017a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
017b 0000 0000  |    |		.BLANK	0000[0x5]
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 0196       |    |		.CONST	0x0196								; Address of begin
0181 0004       |    |		.CONST	0x0004								; Address of exception handler
0182 0005       |    |		.CONST	0x0005								; Number of locals
0183			INIT_0180:
0183 e003       |    |		Load	0x0,0x3
0184 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0185 02c7       |    |		Declare_Variable	Any
0186 00d8       |    |		Load_Top	At_Offset_0
0187 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0188 e003       |    |		Load	0x0,0x3
0189 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
018a 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
018b 02c7       |    |		Declare_Variable	Any
018c 00d8       |    |		Load_Top	At_Offset_0
018d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
018e e003       |    |		Load	0x0,0x3
018f 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0190 e012       |    |		Load	0x0,0x12
0191 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0192 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0193 02c7       |    |		Declare_Variable	Any
0194 00d8       |    |		Load_Top	At_Offset_0
0195 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0196			BODY_0180:
0196 00d8       |    |		Load_Top	At_Offset_0
0197 0120       |    |		Execute	Any,Is_Value
0198 6804       |h   |		Jump_Zero	0x19d
0199 e012       |    |		Load	0x0,0x12
019a 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
019b 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
019c 7801       |x   |		Jump	0x19e
019d 00d8       |    |		Load_Top	At_Offset_0
019e 00db       |    |		Load_Top	At_Offset_3
019f 0120       |    |		Execute	Any,Is_Value
01a0 6804       |h   |		Jump_Zero	0x1a5
01a1 e003       |    |		Load	0x0,0x3
01a2 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01a3 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
01a4 7801       |x   |		Jump	0x1a6
01a5 00db       |    |		Load_Top	At_Offset_3
01a6 e00f       |    |		Load	0x0,0xf
01a7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01a8 e5ff       |    |		Load	0x2,-0x1
01a9 e012       |    |		Load	0x0,0x12
01aa 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
01ab 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
01ac c603       |    |		Store	0x3,0x3
01ad c605       |    |		Store	0x3,0x5
01ae 00d8       |    |		Load_Top	At_Offset_0
01af e012       |    |		Load	0x0,0x12
01b0 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
01b1 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
01b2 7006       |p   |		Jump_Nonzero	0x1b9
01b3 00d8       |    |		Load_Top	At_Offset_0
01b4 e012       |    |		Load	0x0,0x12
01b5 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
01b6 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01b7 840f       |    |		Call	0x2,0xf
01b8 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01b9 00cf       |    |		Action	Mark_Auxiliary
01ba 7827       |x'  |		Jump	0x1e2
01bb e003       |    |		Load	0x0,0x3
01bc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01bd e602       |    |		Load	0x3,0x2
01be 0120       |    |		Execute	Any,Is_Value
01bf 6803       |h   |		Jump_Zero	0x1c3
01c0 e003       |    |		Load	0x0,0x3
01c1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01c2 7801       |x   |		Jump	0x1c4
01c3 e602       |    |		Load	0x3,0x2
01c4 e603       |    |		Load	0x3,0x3
01c5 e003       |    |		Load	0x0,0x3
01c6 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01c7 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
01c8 c602       |    |		Store	0x3,0x2
01c9 005b       | [  |		Store_Top	Discrete,At_Offset_3
01ca 00da       |    |		Load_Top	At_Offset_2
01cb 821d       |    |		Call	0x1,0x1d
01cc 700d       |p   |		Jump_Nonzero	0x1da
01cd 0092 0355  |   U|		Action	Push_String_Extended,0x355					; "Could not get offset map "
01cf e603       |    |		Load	0x3,0x3
01d0 8403       |    |		Call	0x2,0x3
01d1 01cc       |    |		Execute	Vector,Catenate
01d2 00db       |    |		Load_Top	At_Offset_3
01d3 e003       |    |		Load	0x0,0x3
01d4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d5 011c       |    |		Execute	Any,Convert_Unchecked
01d6 1c01       |    |		Execute_Immediate	Run_Utility,0x1
01d7 01cc       |    |		Execute	Vector,Catenate
01d8 840f       |    |		Call	0x2,0xf
01d9 7802       |x   |		Jump	0x1dc
01da e602       |    |		Load	0x3,0x2
01db 8416       |    |		Call	0x2,0x16
01dc 00db       |    |		Load_Top	At_Offset_3
01dd e003       |    |		Load	0x0,0x3
01de 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01df 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
01e0 c603       |    |		Store	0x3,0x3
01e1 00c9       |    |		Action	Pop_Auxiliary_Loop
01e2 00db       |    |		Load_Top	At_Offset_3
01e3 e003       |    |		Load	0x0,0x3
01e4 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01e5 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
01e6 6fd4       |o   |		Jump_Zero	0x1bb
01e7 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01eb       |    |		.CONST	0x01eb								; Address of begin
01e9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ea 0001       |    |		.CONST	0x0001								; Number of locals
01eb			BODY_01e8:
01eb			INIT_01e8:
01eb e5fc       |    |		Load	0x2,-0x4
01ec e5ff       |    |		Load	0x2,-0x1
01ed 0092 0356  |   V|		Action	Push_String_Extended,0x356					; "Corrupt CDB state file for <1>: "
01ef e7ff       |    |		Load	0x3,-0x1
01f0 01cc       |    |		Execute	Vector,Catenate
01f1 e220       |    |		Load	0x1,0x20
01f2 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
01f3 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01f4 0000 0000  |    |		.BLANK	0000[0x4]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 0213       |    |		.CONST	0x0213								; Address of begin
01f9 0004       |    |		.CONST	0x0004								; Address of exception handler
01fa 0006       |    |		.CONST	0x0006								; Number of locals
01fb			INIT_01f8:
01fb e00f       |    |		Load	0x0,0xf
01fc 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01fd e5ff       |    |		Load	0x2,-0x1
01fe e012       |    |		Load	0x0,0x12
01ff 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0200 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0201 e012       |    |		Load	0x0,0x12
0202 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0203 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0204 011e       |    |		Execute	Any,Convert
0205 00d8       |    |		Load_Top	At_Offset_0
0206 e012       |    |		Load	0x0,0x12
0207 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
0208 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0209 0f00       |    |		Execute_Immediate	Equal,0x0
020a 0007       |    |		Action	Break_Optional
020b 00d9       |    |		Load_Top	At_Offset_1
020c e012       |    |		Load	0x0,0x12
020d 1b1e       |    |		Execute	Package,Field_Read,Field_Number 0x1e
020e 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
020f 00e1       |    |		Load_Encached	Boolean_Cache
0210 e012       |    |		Load	0x0,0x12
0211 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0212 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
0213			BODY_01f8:
0213 e40e       |    |		Load	0x2,0xe
0214 6830       |h0  |		Jump_Zero	0x245
0215 e40d       |    |		Load	0x2,0xd
0216 e012       |    |		Load	0x0,0x12
0217 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0218 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
0219 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
021a 00db       |    |		Load_Top	At_Offset_3
021b 00da       |    |		Load_Top	At_Offset_2
021c 027e       | ~  |		Execute	Discrete,Not_Equal
021d 680f       |h   |		Jump_Zero	0x22d
021e 0092 0357  |   W|		Action	Push_String_Extended,0x357					; "Subsystem mode "
0220 e603       |    |		Load	0x3,0x3
0221 8219       |    |		Call	0x1,0x19
0222 01cc       |    |		Execute	Vector,Catenate
0223 0092 0358  |   X|		Action	Push_String_Extended,0x358					; " does not match subsystem mode "
0225 01cc       |    |		Execute	Vector,Catenate
0226 00da       |    |		Load_Top	At_Offset_2
0227 8219       |    |		Call	0x1,0x19
0228 01cc       |    |		Execute	Vector,Catenate
0229 0092 0359  |   Y|		Action	Push_String_Extended,0x359					; " in unit map"
022b 01cc       |    |		Execute	Vector,Catenate
022c 841a       |    |		Call	0x2,0x1a
022d e40d       |    |		Load	0x2,0xd
022e e012       |    |		Load	0x0,0x12
022f 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0230 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
0231 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0232 00da       |    |		Load_Top	At_Offset_2
0233 00d9       |    |		Load_Top	At_Offset_1
0234 027e       | ~  |		Execute	Discrete,Not_Equal
0235 680f       |h   |		Jump_Zero	0x245
0236 0092 035a  |   Z|		Action	Push_String_Extended,0x35a					; "Subsystem id "
0238 00db       |    |		Load_Top	At_Offset_3
0239 821b       |    |		Call	0x1,0x1b
023a 01cc       |    |		Execute	Vector,Catenate
023b 0092 035b  |   [|		Action	Push_String_Extended,0x35b					; " does not match subsystem id "
023d 01cc       |    |		Execute	Vector,Catenate
023e 00d9       |    |		Load_Top	At_Offset_1
023f 821b       |    |		Call	0x1,0x1b
0240 01cc       |    |		Execute	Vector,Catenate
0241 0092 0359  |   Y|		Action	Push_String_Extended,0x359					; " in unit map"
0243 01cc       |    |		Execute	Vector,Catenate
0244 841a       |    |		Call	0x2,0x1a
0245 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0246 0000 0000  |    |		.XXX[0x2]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 024b       | K  |		.CONST	0x024b								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 0001       |    |		.CONST	0x0001								; Number of locals
024b			BODY_0248:
024b			INIT_0248:
024b e5fc       |    |		Load	0x2,-0x4
024c e5ff       |    |		Load	0x2,-0x1
024d 0092 035c  |   \|		Action	Push_String_Extended,0x35c					; "Verifying CDB for <1>"
024f e220       |    |		Load	0x1,0x20
0250 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0251 8412       |    |		Call	0x2,0x12
0252 8414       |    |		Call	0x2,0x14
0253 8418       |    |		Call	0x2,0x18
0254 8419       |    |		Call	0x2,0x19
0255 841b       |    |		Call	0x2,0x1b
0256 e408       |    |		Load	0x2,0x8
0257 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0258 6806       |h   |		Jump_Zero	0x25f
0259 e5fc       |    |		Load	0x2,-0x4
025a e5ff       |    |		Load	0x2,-0x1
025b 0092 035d  |   ]|		Action	Push_String_Extended,0x35d					; "Errors prevented complete verification of CDB for <1>"
025d e220       |    |		Load	0x1,0x20
025e 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
025f e40a       |    |		Load	0x2,0xa
0260 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0261 7006       |p   |		Jump_Nonzero	0x268
0262 e40b       |    |		Load	0x2,0xb
0263 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0264 7003       |p   |		Jump_Nonzero	0x268
0265 e40c       |    |		Load	0x2,0xc
0266 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0267 6813       |h   |		Jump_Zero	0x27b
0268 e5fc       |    |		Load	0x2,-0x4
0269 e5ff       |    |		Load	0x2,-0x1
026a 0092 035e  |   ^|		Action	Push_String_Extended,0x35e					; "CDB for <1> is corrupt"
026c e220       |    |		Load	0x1,0x20
026d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
026e 0092 035f  |   _|		Action	Push_String_Extended,0x35f					; "Corrupt unit maps"
0270 e40a       |    |		Load	0x2,0xa
0271 8411       |    |		Call	0x2,0x11
0272 0092 0360  |   `|		Action	Push_String_Extended,0x360					; "Corrupt declaration maps"
0274 e40b       |    |		Load	0x2,0xb
0275 8411       |    |		Call	0x2,0x11
0276 0092 0361  |   a|		Action	Push_String_Extended,0x361					; "Corrupt offset maps"
0278 e40c       |    |		Load	0x2,0xc
0279 8411       |    |		Call	0x2,0x11
027a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
027b e5fc       |    |		Load	0x2,-0x4
027c e5ff       |    |		Load	0x2,-0x1
027d 0092 0362  |   b|		Action	Push_String_Extended,0x362					; "CDB for <1> is ok"
027f e220       |    |		Load	0x1,0x20
0280 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0281 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0282 0000 0000  |    |		.BLANK	0000[0x6]
0288 ; --------------------------------------------------------------------------------------
0288 ; SUBPROGRAM
0288 ; --------------------------------------------------------------------------------------
0288 02a0       |    |		.CONST	0x02a0								; Address of begin
0289 0004       |    |		.CONST	0x0004								; Address of exception handler
028a 0007       |    |		.CONST	0x0007								; Number of locals
028b			INIT_0288:
028b e003       |    |		Load	0x0,0x3
028c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
028d 02c7       |    |		Declare_Variable	Any
028e 00d8       |    |		Load_Top	At_Offset_0
028f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0290 e003       |    |		Load	0x0,0x3
0291 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0292 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
0293 e003       |    |		Load	0x0,0x3
0294 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0295 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0296 02c7       |    |		Declare_Variable	Any
0297 00d8       |    |		Load_Top	At_Offset_0
0298 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0299 e003       |    |		Load	0x0,0x3
029a 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
029b 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
029c e003       |    |		Load	0x0,0x3
029d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
029e 0092 0363  |   c|		Action	Push_String_Extended,0x363					; "@'C(LOAD_VIEW,SPEC_VIEW,COMB_VIEW).??'SPEC"
02a0			BODY_0288:
02a0 e003       |    |		Load	0x0,0x3
02a1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02a2 e003       |    |		Load	0x0,0x3
02a3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02a4 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
02a5 607a       |`z  |		Indirect_Literal	Discrete,0x320,{0x00000000, 0x00004000}
02a6 e00f       |    |		Load	0x0,0xf
02a7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02a8 4800       |H   |		Short_Literal	0x0
02a9 e5ff       |    |		Load	0x2,-0x1
02aa e003       |    |		Load	0x0,0x3
02ab 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02ac 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02ad c603       |    |		Store	0x3,0x3
02ae 005a       | Z  |		Store_Top	Discrete,At_Offset_2
02af 00d9       |    |		Load_Top	At_Offset_1
02b0 821d       |    |		Call	0x1,0x1d
02b1 700b       |p   |		Jump_Nonzero	0x2bd
02b2 e5ff       |    |		Load	0x2,-0x1
02b3 0092 0364  |   d|		Action	Push_String_Extended,0x364					; "Could not get context for <1>: "
02b5 00db       |    |		Load_Top	At_Offset_3
02b6 e003       |    |		Load	0x0,0x3
02b7 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02b8 011c       |    |		Execute	Any,Convert_Unchecked
02b9 1c01       |    |		Execute_Immediate	Run_Utility,0x1
02ba 01cc       |    |		Execute	Vector,Catenate
02bb 8410       |    |		Call	0x2,0x10
02bc 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02bd e003       |    |		Load	0x0,0x3
02be 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02bf 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02c0 e604       |    |		Load	0x3,0x4
02c1 605e       |`^  |		Indirect_Literal	Discrete,0x320,{0x00000000, 0x00004000}
02c2 e00f       |    |		Load	0x0,0xf
02c3 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02c4 e010       |    |		Load	0x0,0x10
02c5 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02c6 e011       |    |		Load	0x0,0x11
02c7 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02c8 4801       |H   |		Short_Literal	0x1
02c9 4800       |H   |		Short_Literal	0x0
02ca e603       |    |		Load	0x3,0x3
02cb e607       |    |		Load	0x3,0x7
02cc e003       |    |		Load	0x0,0x3
02cd 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02ce 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
02cf c604       |    |		Store	0x3,0x4
02d0 005b       | [  |		Store_Top	Discrete,At_Offset_3
02d1 00da       |    |		Load_Top	At_Offset_2
02d2 821e       |    |		Call	0x1,0x1e
02d3 7017       |p   |		Jump_Nonzero	0x2eb
02d4 00da       |    |		Load_Top	At_Offset_2
02d5 821f       |    |		Call	0x1,0x1f
02d6 7014       |p   |		Jump_Nonzero	0x2eb
02d7 0092 0365  |   e|		Action	Push_String_Extended,0x365					; "Could not get ada units because "
02d9 6046       |`F  |		Indirect_Literal	Discrete,0x320,{0x00000000, 0x00004000}
02da e00f       |    |		Load	0x0,0xf
02db 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
02dc e010       |    |		Load	0x0,0x10
02dd 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02de e011       |    |		Load	0x0,0x11
02df 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02e0 4801       |H   |		Short_Literal	0x1
02e1 4800       |H   |		Short_Literal	0x0
02e2 e603       |    |		Load	0x3,0x3
02e3 e607       |    |		Load	0x3,0x7
02e4 e605       |    |		Load	0x3,0x5
02e5 e003       |    |		Load	0x0,0x3
02e6 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02e7 1851       | Q  |		Execute	Package,Field_Execute,Field_Number 0x51
02e8 01cc       |    |		Execute	Vector,Catenate
02e9 840f       |    |		Call	0x2,0xf
02ea 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02eb 00cf       |    |		Action	Mark_Auxiliary
02ec 782a       |x*  |		Jump	0x317
02ed e003       |    |		Load	0x0,0x3
02ee 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02ef e602       |    |		Load	0x3,0x2
02f0 0120       |    |		Execute	Any,Is_Value
02f1 6803       |h   |		Jump_Zero	0x2f5
02f2 e003       |    |		Load	0x0,0x3
02f3 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
02f4 7801       |x   |		Jump	0x2f6
02f5 e602       |    |		Load	0x3,0x2
02f6 e604       |    |		Load	0x3,0x4
02f7 e003       |    |		Load	0x0,0x3
02f8 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
02f9 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
02fa c602       |    |		Store	0x3,0x2
02fb 005b       | [  |		Store_Top	Discrete,At_Offset_3
02fc 00da       |    |		Load_Top	At_Offset_2
02fd 821d       |    |		Call	0x1,0x1d
02fe 7010       |p   |		Jump_Nonzero	0x30f
02ff 0092 0366  |   f|		Action	Push_String_Extended,0x366					; "Could not get ada unit "
0301 e604       |    |		Load	0x3,0x4
0302 8403       |    |		Call	0x2,0x3
0303 01cc       |    |		Execute	Vector,Catenate
0304 0092 0354  |   T|		Action	Push_String_Extended,0x354					; ": "
0306 01cc       |    |		Execute	Vector,Catenate
0307 00db       |    |		Load_Top	At_Offset_3
0308 e003       |    |		Load	0x0,0x3
0309 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
030a 011c       |    |		Execute	Any,Convert_Unchecked
030b 1c01       |    |		Execute_Immediate	Run_Utility,0x1
030c 01cc       |    |		Execute	Vector,Catenate
030d 840f       |    |		Call	0x2,0xf
030e 7802       |x   |		Jump	0x311
030f e602       |    |		Load	0x3,0x2
0310 8417       |    |		Call	0x2,0x17
0311 e604       |    |		Load	0x3,0x4
0312 e003       |    |		Load	0x0,0x3
0313 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0314 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
0315 c604       |    |		Store	0x3,0x4
0316 00c9       |    |		Action	Pop_Auxiliary_Loop
0317 e604       |    |		Load	0x3,0x4
0318 e003       |    |		Load	0x0,0x3
0319 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
031a 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
031b 6fd1       |o   |		Jump_Zero	0x2ed
031c 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
031d 0000 0000  |    |		.XXX[0x3]
031f 0000       |    |
0320 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0324 0000 0000  |    |		.BLANK	0000[0x4]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 032b       | +  |		.CONST	0x032b								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0001       |    |		.CONST	0x0001								; Number of locals
032b			BODY_0328:
032b			INIT_0328:
032b e5fc       |    |		Load	0x2,-0x4
032c e5ff       |    |		Load	0x2,-0x1
032d 0092 0367  |   g|		Action	Push_String_Extended,0x367					; "Verifying ada units for <1>"
032f e220       |    |		Load	0x1,0x20
0330 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0331 4800       |H   |		Short_Literal	0x0
0332 a408       |    |		Store_Unchecked	0x2,0x8
0333 8412       |    |		Call	0x2,0x12
0334 841d       |    |		Call	0x2,0x1d
0335 e408       |    |		Load	0x2,0x8
0336 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0337 6806       |h   |		Jump_Zero	0x33e
0338 e5fc       |    |		Load	0x2,-0x4
0339 e5ff       |    |		Load	0x2,-0x1
033a 0092 0368  |   h|		Action	Push_String_Extended,0x368					; "Errors prevented complete verification of ada units for <1>"
033c e220       |    |		Load	0x1,0x20
033d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
033e e409       |    |		Load	0x2,0x9
033f 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0340 6808       |h   |		Jump_Zero	0x349
0341 e5fc       |    |		Load	0x2,-0x4
0342 e5ff       |    |		Load	0x2,-0x1
0343 0092 0369  |   i|		Action	Push_String_Extended,0x369					; "Corrupt ada units in <1>"
0345 e409       |    |		Load	0x2,0x9
0346 e220       |    |		Load	0x1,0x20
0347 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0348 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0349 e5fc       |    |		Load	0x2,-0x4
034a e5ff       |    |		Load	0x2,-0x1
034b 0092 036a  |   j|		Action	Push_String_Extended,0x36a					; "All ada units in <1> are ok"
034d e220       |    |		Load	0x1,0x20
034e 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
034f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0350 ; --------------------------------------------------------------------------------------
0350 ; STRING TABLE
0350 ; --------------------------------------------------------------------------------------
0350 0038       | 8  |		.STRTAB	0x0038->0x036c							; "Verifying subsystem <1>"
0351 004d       | M  |		.STRTAB	0x004d->0x0377							; "Subsystem <1> is corrupt"
0352 0063       | c  |		.STRTAB	0x0063->0x0383							; "Subsystem <1> is ok"
0353 0074       | t  |		.STRTAB	0x0074->0x038d							; "Could not get declaration map "
0354 0090       |    |		.STRTAB	0x0090->0x039c							; ": "
0355 0090       |    |		.STRTAB	0x0090->0x039d							; "Could not get offset map "
0356 00a7       |    |		.STRTAB	0x00a7->0x03a9							; "Corrupt CDB state file for <1>: "
0357 00c5       |    |		.STRTAB	0x00c5->0x03b9							; "Subsystem mode "
0358 00d2       |    |		.STRTAB	0x00d2->0x03c1							; " does not match subsystem mode "
0359 00ef       |    |		.STRTAB	0x00ef->0x03d0							; " in unit map"
035a 00f9       |    |		.STRTAB	0x00f9->0x03d6							; "Subsystem id "
035b 0104       |    |		.STRTAB	0x0104->0x03dd							; " does not match subsystem id "
035c 011f       |    |		.STRTAB	0x011f->0x03eb							; "Verifying CDB for <1>"
035d 0132       | 2  |		.STRTAB	0x0132->0x03f6							; "Errors prevented complete verification of CDB for <1>"
035e 0165       | e  |		.STRTAB	0x0165->0x0410							; "CDB for <1> is corrupt"
035f 0179       | y  |		.STRTAB	0x0179->0x041b							; "Corrupt unit maps"
0360 0188       |    |		.STRTAB	0x0188->0x0424							; "Corrupt declaration maps"
0361 019e       |    |		.STRTAB	0x019e->0x0430							; "Corrupt offset maps"
0362 01af       |    |		.STRTAB	0x01af->0x0439							; "CDB for <1> is ok"
0363 01be       |    |		.STRTAB	0x01be->0x0442							; "@'C(LOAD_VIEW,SPEC_VIEW,COMB_VIEW).??'SPEC"
0364 01e6       |    |		.STRTAB	0x01e6->0x0457							; "Could not get context for <1>: "
0365 0203       |    |		.STRTAB	0x0203->0x0466							; "Could not get ada units because "
0366 0221       | !  |		.STRTAB	0x0221->0x0476							; "Could not get ada unit "
0367 0236       | 6  |		.STRTAB	0x0236->0x0482							; "Verifying ada units for <1>"
0368 024f       | O  |		.STRTAB	0x024f->0x048f							; "Errors prevented complete verification of ada units for <1>"
0369 0288       |    |		.STRTAB	0x0288->0x04ad							; "Corrupt ada units in <1>"
036a 029e       |    |		.STRTAB	0x029e->0x04b9							; "All ada units in <1> are ok"
036b 02b7       |    |		.STREND 0x02b7->0x04c6
036c 5665 7269  |Veri|		.STRTAB_STRINGS
04c7 0000       |    |		.XXX[0x1]
04c8 ; --------------------------------------------------------------------------------------
04c8 ; Debug Table
04c8 ; --------------------------------------------------------------------------------------
04c8 0004 000f  |    |		.DEBUG4	0x0004,0x000f,0x4b3a,0x0000,0x0001,0x0000
04ce 0011 0000  |    |		.XXX[0xc]
04d0 0000 0800  |    |
04d2 0000 5200  |  R |
04d4 0020 114f  |   O|
04d6 1200 0020  |    |
04d8 114f 1800  | O  |
04da 0000 0000  |    |		.BLANK	0000[0x17]
04f1 0018 0001  |    |		.XXX[0x25]
04f3 5c0a 0900  |\   |
04f5 1dd8 0000  |    |
04f7 00e6 d12e  |   .|
04f9 0200 1000  |    |
04fb 0a40 0000  | @  |
04fd 003e e800  | >  |
04ff 0100 0000  |    |
0501 01a0 0500  |    |
0503 0000 0100  |    |
0505 0000 4000  |  @ |
0507 0002 2000  |    |
0509 0000 0100  |    |
050b 0000 0a40  |   @|
050d 0006 0195  |    |
050f 4140 0006  |A@  |
0511 0195 4240  |  B@|
0513 0006 0195  |    |
0515 4300       |C   |
0516 0000 0000  |    |		.BLANK	0000[0x5]
051b 0040 0006  | @  |		.XXX[0xa]
051d 0195 4440  |  D@|
051f 0006 0195  |    |
0521 4540 0006  |E@  |
0523 0195 4600  |  F |
0525 0000 0000  |    |		.BLANK	0000[0x5]
052a 0001 0000  |    |		.XXX[0x25]
052c 2628 4120  |&(A |
052e 03bb 4000  |  @ |
0530 001c 9525  |   %|
0532 c040 0200  | @  |
0534 0148 0000  | H  |
0536 0007 dd00  |    |
0538 0024 0000  | $  |
053a 0034 00a0  | 4  |
053c 0000 0020  |    |
053e 0000 0800  |    |
0540 0000 4400  |  D |
0542 0000 0020  |    |
0544 0000 0148  |   H|
0546 0001 0045  |   E|
0548 3ee8 0001  |>   |
054a 0045 3f08  | E? |
054c 0001 0045  |   E|
054e 3f20       |?   |
054f 0000 0000  |    |		.BLANK	0000[0x5]
0554 0008 0001  |    |		.XXX[0xa]
0556 0045 3f48  | E?H|
0558 0000 c032  |   2|
055a a8a8 0001  |    |
055c 0045 3f60  | E?`|
055e 0000 0000  |    |		.BLANK	0000[0x6]
0564 2000 04c5  |    |		.XXX[0x1e]
0566 0824 0079  | $ y|
0568 b000 0003  |    |
056a 9b44 c808  | D  |
056c 0040 0029  | @ )|
056e 0000 0001  |    |
0570 ab00 0001  |    |
0572 0000 0001  |    |
0574 8014 0000  |    |
0576 0004 0000  |    |
0578 0100 0000  |    |
057a 0880 0000  |    |
057c 0004 0000  |    |
057e 0029 0000  | )  |
0580 0808 b4a0  |    |
0582 0000 0000  |    |		.BLANK	0000[0x1b]
059d 0c00 00ae  |    |		.XXX[0x1e]
059f 9d04 800f  |    |
05a1 3800 0000  |8   |
05a3 7250 9901  |rP  |
05a5 0008 0005  |    |
05a7 2000 0000  |    |
05a9 3560 0000  |5`  |
05ab 4000 0000  |@   |
05ad 3002 8000  |0   |
05af 0000 8000  |    |
05b1 0020 0000  |    |
05b3 0110 0000  |    |
05b5 0000 8000  |    |
05b7 0005 2000  |    |
05b9 0101 1694  |    |
05bb 0000 0000  |    |		.BLANK	0000[0x1b]
05d6 0180 0015  |    |		.XXX[0x3]
05d8 d380       |    |
05d9 0000 0000  |    |		.BLANK	0000[0x27]