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

⟦fd9d2e609⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_03bcfe

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 0230       | 0  |		.CONST	0x0230								; 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 8001       |    |		.CONST	0x8001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0024       | $  |		.CONST	0x0024								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0014       |    |		.CONST	0x0014								; Number of locals
000b			INIT_0008:
000b 029a 002b  |   +|		Declare_Subprogram	INIT_0028,For_Outer_Call,Visible,Unelaborated
000d 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated
000f 029a 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Outer_Call,Visible,Unelaborated
0011 029a 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Outer_Call,Visible,Unelaborated
0013 00bf       |    |		Action	Accept_Activation
0014 029d 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call
0016 029d 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call
0018 029d 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call
001a 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
001b 00c7       |    |		Action	Elaborate_Subprogram
001c 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
001d 00c7       |    |		Action	Elaborate_Subprogram
001e 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe
001f 00c7       |    |		Action	Elaborate_Subprogram
0020 029d 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call
0022 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
0023 00c7       |    |		Action	Elaborate_Subprogram
0024			BODY_0008:
0024 00bc       |    |		Action	Signal_Activated
0025 00bb       |    |		Action	Signal_Completion
0026 0000 0000  |    |		.XXX[0x2]
0028 ; --------------------------------------------------------------------------------------
0028 ; SUBPROGRAM
0028 ; --------------------------------------------------------------------------------------
0028 0042       | B  |		.CONST	0x0042								; Address of begin
0029 0004       |    |		.CONST	0x0004								; Address of exception handler
002a 0008       |    |		.CONST	0x0008								; Number of locals
002b			INIT_0028:
002b 00e1       |    |		Load_Encached	Boolean_Cache
002c 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
002d 029f 018b  |    |		Declare_Subprogram	INIT_0188,For_Call
002f 029f 019b  |    |		Declare_Subprogram	INIT_0198,For_Call
0031 a003       |    |		Store_Unchecked	0x0,0x3
0032 00c6       |    |		Action	Check_Subprogram_Elaborated
0033 4804       |H   |		Short_Literal	0x4
0034 4802       |H   |		Short_Literal	0x2
0035 0099       |    |		Action	Reference_Dynamic
0036 0092 01ba  |    |		Action	Push_String_Extended,0x1ba					; "Cant find"
0038 0093 0000  |    |		push_full_address	0x0
003a 6029       |`)  |		Indirect_Literal	Discrete,0x64,{0x80000000, 0x00020000}
003b 0273       | s  |		Execute	Discrete,Plus
003c e004       |    |		Load	0x0,0x4
003d 0273       | s  |		Execute	Discrete,Plus
003e e005       |    |		Load	0x0,0x5
003f 0273       | s  |		Execute	Discrete,Plus
0040 4808       |H   |		Short_Literal	0x8
0041 0007       |    |		Action	Break_Optional
0042			BODY_0028:
0042 e5fd       |    |		Load	0x2,-0x3
0043 e5fe       |    |		Load	0x2,-0x2
0044 e5ff       |    |		Load	0x2,-0x1
0045 0092 01bb  |    |		Action	Push_String_Extended,0x1bb					; "Checking compatibility of views"
0047 8006       |    |		Call	0x0,0x6
0048 8007       |    |		Call	0x0,0x7
0049 00d1       |    |		Pop_Control	Pop_Count_1
004a e5fd       |    |		Load	0x2,-0x3
004b e5fe       |    |		Load	0x2,-0x2
004c e5ff       |    |		Load	0x2,-0x1
004d 8210       |    |		Call	0x1,0x10
004e 00d1       |    |		Pop_Control	Pop_Count_1
004f e5fd       |    |		Load	0x2,-0x3
0050 e5ff       |    |		Load	0x2,-0x1
0051 0092 01bc  |    |		Action	Push_String_Extended,0x1bc					; "?'SPEC"
0053 4805       |H   |		Short_Literal	0x5
0054 4802       |H   |		Short_Literal	0x2
0055 0099       |    |		Action	Reference_Dynamic
0056 e406       |    |		Load	0x2,0x6
0057 4807       |H   |		Short_Literal	0x7
0058 4802       |H   |		Short_Literal	0x2
0059 0099       |    |		Action	Reference_Dynamic
005a 8003       |    |		Call	0x0,0x3
005b 00d1       |    |		Pop_Control	Pop_Count_1
005c e5fd       |    |		Load	0x2,-0x3
005d 00ea       |    |		Load_Encached	Null_String_Cache
005e e402       |    |		Load	0x2,0x2
005f e5fe       |    |		Load	0x2,-0x2
0060 e5ff       |    |		Load	0x2,-0x1
0061 8212       |    |		Call	0x1,0x12
0062 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0063 0000       |    |		.XXX[0x1]
0064 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 0075       | u  |		.CONST	0x0075								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0003       |    |		.CONST	0x0003								; Number of locals
006b			INIT_0068:
006b e008       |    |		Load	0x0,0x8
006c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
006d 02c7       |    |		Declare_Variable	Any
006e 00d8       |    |		Load_Top	At_Offset_0
006f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0070 e008       |    |		Load	0x0,0x8
0071 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0072 02c7       |    |		Declare_Variable	Any
0073 00d8       |    |		Load_Top	At_Offset_0
0074 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0075			BODY_0068:
0075 e5ff       |    |		Load	0x2,-0x1
0076 8009       |    |		Call	0x0,0x9
0077 6804       |h   |		Jump_Zero	0x7c
0078 e5fe       |    |		Load	0x2,-0x2
0079 e5ff       |    |		Load	0x2,-0x1
007a 820f       |    |		Call	0x1,0xf
007b 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
007c e5ff       |    |		Load	0x2,-0x1
007d 800a       |    |		Call	0x0,0xa
007e 6803       |h   |		Jump_Zero	0x82
007f e5ff       |    |		Load	0x2,-0x1
0080 c402       |    |		Store	0x2,0x2
0081 780c       |x   |		Jump	0x8e
0082 e5fe       |    |		Load	0x2,-0x2
0083 00da       |    |		Load_Top	At_Offset_2
0084 0120       |    |		Execute	Any,Is_Value
0085 6803       |h   |		Jump_Zero	0x89
0086 e008       |    |		Load	0x0,0x8
0087 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0088 7801       |x   |		Jump	0x8a
0089 00da       |    |		Load_Top	At_Offset_2
008a e5ff       |    |		Load	0x2,-0x1
008b 800b       |    |		Call	0x0,0xb
008c c402       |    |		Store	0x2,0x2
008d 00d1       |    |		Pop_Control	Pop_Count_1
008e e5fe       |    |		Load	0x2,-0x2
008f 00d9       |    |		Load_Top	At_Offset_1
0090 0120       |    |		Execute	Any,Is_Value
0091 6803       |h   |		Jump_Zero	0x95
0092 e008       |    |		Load	0x0,0x8
0093 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0094 7801       |x   |		Jump	0x96
0095 00d9       |    |		Load_Top	At_Offset_1
0096 00db       |    |		Load_Top	At_Offset_3
0097 800c       |    |		Call	0x0,0xc
0098 c403       |    |		Store	0x2,0x3
0099 00d1       |    |		Pop_Control	Pop_Count_1
009a 00d9       |    |		Load_Top	At_Offset_1
009b 800d       |    |		Call	0x0,0xd
009c 6806       |h   |		Jump_Zero	0xa3
009d e5fe       |    |		Load	0x2,-0x2
009e 00d9       |    |		Load_Top	At_Offset_1
009f 00db       |    |		Load_Top	At_Offset_3
00a0 820d       |    |		Call	0x1,0xd
00a1 00d1       |    |		Pop_Control	Pop_Count_1
00a2 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00a3 00d9       |    |		Load_Top	At_Offset_1
00a4 800e       |    |		Call	0x0,0xe
00a5 6806       |h   |		Jump_Zero	0xac
00a6 e5fe       |    |		Load	0x2,-0x2
00a7 00da       |    |		Load_Top	At_Offset_2
00a8 00da       |    |		Load_Top	At_Offset_2
00a9 820d       |    |		Call	0x1,0xd
00aa 00d1       |    |		Pop_Control	Pop_Count_1
00ab 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00ac e5fe       |    |		Load	0x2,-0x2
00ad 0092 01bd  |    |		Action	Push_String_Extended,0x1bd					; "is not a view"
00af 00db       |    |		Load_Top	At_Offset_3
00b0 800f       |    |		Call	0x0,0xf
00b1 8010       |    |		Call	0x0,0x10
00b2 00d1       |    |		Pop_Control	Pop_Count_1
00b3 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00b4 0000 0000  |    |		.BLANK	0000[0x4]
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00cc       |    |		.CONST	0x00cc								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0005       |    |		.CONST	0x0005								; Number of locals
00bb			INIT_00b8:
00bb 029f 01ab  |    |		Declare_Subprogram	INIT_01a8,For_Call
00bd a011       |    |		Store_Unchecked	0x0,0x11
00be 00c6       |    |		Action	Check_Subprogram_Elaborated
00bf 4802       |H   |		Short_Literal	0x2
00c0 4802       |H   |		Short_Literal	0x2
00c1 0099       |    |		Action	Reference_Dynamic
00c2 0093 0000  |    |		push_full_address	0x0
00c4 601b       |`   |		Indirect_Literal	Discrete,0xe0,{0x80000000, 0x00010000}
00c5 0273       | s  |		Execute	Discrete,Plus
00c6 e004       |    |		Load	0x0,0x4
00c7 0273       | s  |		Execute	Discrete,Plus
00c8 e012       |    |		Load	0x0,0x12
00c9 0273       | s  |		Execute	Discrete,Plus
00ca 4805       |H   |		Short_Literal	0x5
00cb 0007       |    |		Action	Break_Optional
00cc			BODY_00b8:
00cc e5ff       |    |		Load	0x2,-0x1
00cd 8009       |    |		Call	0x0,0x9
00ce 7007       |p   |		Jump_Nonzero	0xd6
00cf e5fe       |    |		Load	0x2,-0x2
00d0 0092 01be  |    |		Action	Push_String_Extended,0x1be					; "is not an activity"
00d2 e5ff       |    |		Load	0x2,-0x1
00d3 800f       |    |		Call	0x0,0xf
00d4 8010       |    |		Call	0x0,0x10
00d5 00d1       |    |		Pop_Control	Pop_Count_1
00d6 e5fe       |    |		Load	0x2,-0x2
00d7 e5ff       |    |		Load	0x2,-0x1
00d8 4803       |H   |		Short_Literal	0x3
00d9 4802       |H   |		Short_Literal	0x2
00da 0099       |    |		Action	Reference_Dynamic
00db 4804       |H   |		Short_Literal	0x4
00dc 4802       |H   |		Short_Literal	0x2
00dd 0099       |    |		Action	Reference_Dynamic
00de 8011       |    |		Call	0x0,0x11
00df 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00e0 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
00e4 0000 0000  |    |		.BLANK	0000[0x4]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00f5       |    |		.CONST	0x00f5								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0003       |    |		.CONST	0x0003								; Number of locals
00eb			INIT_00e8:
00eb e008       |    |		Load	0x0,0x8
00ec 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
00ed 0322       | "  |		Declare_Variable	Record
00ee 00d8       |    |		Load_Top	At_Offset_0
00ef 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00f0 e008       |    |		Load	0x0,0x8
00f1 1b2e       | .  |		Execute	Package,Field_Read,Field_Number 0x2e
00f2 0322       | "  |		Declare_Variable	Record
00f3 00d8       |    |		Load_Top	At_Offset_0
00f4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00f5			BODY_00e8:
00f5 e5fd       |    |		Load	0x2,-0x3
00f6 00da       |    |		Load_Top	At_Offset_2
00f7 e5ff       |    |		Load	0x2,-0x1
00f8 8013       |    |		Call	0x0,0x13
00f9 00d2       |    |		Pop_Control	Pop_Count_2
00fa e5fd       |    |		Load	0x2,-0x3
00fb 00d9       |    |		Load_Top	At_Offset_1
00fc e5fe       |    |		Load	0x2,-0x2
00fd 8013       |    |		Call	0x0,0x13
00fe 00d2       |    |		Pop_Control	Pop_Count_2
00ff 00d8       |    |		Load_Top	At_Offset_0
0100 00da       |    |		Load_Top	At_Offset_2
0101 8213       |    |		Call	0x1,0x13
0102 7008       |p   |		Jump_Nonzero	0x10b
0103 e5fd       |    |		Load	0x2,-0x3
0104 0092 01bf  |    |		Action	Push_String_Extended,0x1bf					; "have incompatible target keys"
0106 4800       |H   |		Short_Literal	0x0
0107 e5fe       |    |		Load	0x2,-0x2
0108 e5ff       |    |		Load	0x2,-0x1
0109 8212       |    |		Call	0x1,0x12
010a 00d1       |    |		Pop_Control	Pop_Count_1
010b 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
010c 0000 0000  |    |		.BLANK	0000[0x4]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 0113       |    |		.CONST	0x0113								; Address of begin
0111 0004       |    |		.CONST	0x0004								; Address of exception handler
0112 0001       |    |		.CONST	0x0001								; Number of locals
0113			BODY_0110:
0113			INIT_0110:
0113 00da       |    |		Load_Top	At_Offset_2
0114 800d       |    |		Call	0x0,0xd
0115 6809       |h   |		Jump_Zero	0x11f
0116 00db       |    |		Load_Top	At_Offset_3
0117 00db       |    |		Load_Top	At_Offset_3
0118 0092 01c0  |    |		Action	Push_String_Extended,0x1c0					; "No corresponding load view found for"
011a 8014       |    |		Call	0x0,0x14
011b e5ff       |    |		Load	0x2,-0x1
011c 8015       |    |		Call	0x0,0x15
011d 00d1       |    |		Pop_Control	Pop_Count_1
011e 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
011f 00db       |    |		Load_Top	At_Offset_3
0120 00db       |    |		Load_Top	At_Offset_3
0121 0092 01c1  |    |		Action	Push_String_Extended,0x1c1					; "No corresponding spec view found for"
0123 8014       |    |		Call	0x0,0x14
0124 e5ff       |    |		Load	0x2,-0x1
0125 8015       |    |		Call	0x0,0x15
0126 00d1       |    |		Pop_Control	Pop_Count_1
0127 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012b       | +  |		.CONST	0x012b								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0001       |    |		.CONST	0x0001								; Number of locals
012b			BODY_0128:
012b			INIT_0128:
012b e5fd       |    |		Load	0x2,-0x3
012c 6809       |h   |		Jump_Zero	0x136
012d e5fb       |    |		Load	0x2,-0x5
012e 0092 01c2  |    |		Action	Push_String_Extended,0x1c2					; "are compatible"
0130 e5fe       |    |		Load	0x2,-0x2
0131 e5ff       |    |		Load	0x2,-0x1
0132 8016       |    |		Call	0x0,0x16
0133 8017       |    |		Call	0x0,0x17
0134 00d1       |    |		Pop_Control	Pop_Count_1
0135 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0136 e5fc       |    |		Load	0x2,-0x4
0137 01db       |    |		Execute	Vector,Length
0138 700a       |p   |		Jump_Nonzero	0x143
0139 e5fb       |    |		Load	0x2,-0x5
013a 0092 01c3  |    |		Action	Push_String_Extended,0x1c3					; "are not compatible"
013c e5fe       |    |		Load	0x2,-0x2
013d e5ff       |    |		Load	0x2,-0x1
013e 8016       |    |		Call	0x0,0x16
013f e5ff       |    |		Load	0x2,-0x1
0140 8018       |    |		Call	0x0,0x18
0141 00d1       |    |		Pop_Control	Pop_Count_1
0142 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0143 e5fb       |    |		Load	0x2,-0x5
0144 e5fc       |    |		Load	0x2,-0x4
0145 e5fe       |    |		Load	0x2,-0x2
0146 e5ff       |    |		Load	0x2,-0x1
0147 8016       |    |		Call	0x0,0x16
0148 e5ff       |    |		Load	0x2,-0x1
0149 8018       |    |		Call	0x0,0x18
014a 00d1       |    |		Pop_Control	Pop_Count_1
014b 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
014c 0000 0000  |    |		.BLANK	0000[0x4]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0155       | U  |		.CONST	0x0155								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0002       |    |		.CONST	0x0002								; Number of locals
0153			INIT_0150:
0153 e019       |    |		Load	0x0,0x19
0154 1b27       | '  |		Execute	Package,Field_Read,Field_Number 0x27
0155			BODY_0150:
0155 4800       |H   |		Short_Literal	0x0
0156 e5fe       |    |		Load	0x2,-0x2
0157 e5ff       |    |		Load	0x2,-0x1
0158 e019       |    |		Load	0x0,0x19
0159 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
015a 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
015b 00d8       |    |		Load_Top	At_Offset_0
015c 0f03       |    |		Execute_Immediate	Equal,0x3
015d 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
015e 0000 0000  |    |		.XXX[0x2]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 0163       | c  |		.CONST	0x0163								; Address of begin
0161 0004       |    |		.CONST	0x0004								; Address of exception handler
0162 0001       |    |		.CONST	0x0001								; Number of locals
0163			BODY_0160:
0163			INIT_0160:
0163 00db       |    |		Load_Top	At_Offset_3
0164 e008       |    |		Load	0x0,0x8
0165 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0166 6805       |h   |		Jump_Zero	0x16c
0167 e5fd       |    |		Load	0x2,-0x3
0168 e008       |    |		Load	0x0,0x8
0169 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
016a 6801       |h   |		Jump_Zero	0x16c
016b 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
016c 00db       |    |		Load_Top	At_Offset_3
016d e008       |    |		Load	0x0,0x8
016e 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
016f 6805       |h   |		Jump_Zero	0x175
0170 e5fc       |    |		Load	0x2,-0x4
0171 e5fd       |    |		Load	0x2,-0x3
0172 8211       |    |		Call	0x1,0x11
0173 00d1       |    |		Pop_Control	Pop_Count_1
0174 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0175 e5fd       |    |		Load	0x2,-0x3
0176 e008       |    |		Load	0x0,0x8
0177 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0178 6805       |h   |		Jump_Zero	0x17e
0179 e5fc       |    |		Load	0x2,-0x4
017a e5fe       |    |		Load	0x2,-0x2
017b 8211       |    |		Call	0x1,0x11
017c 00d1       |    |		Pop_Control	Pop_Count_1
017d 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
017e e5fc       |    |		Load	0x2,-0x4
017f e5fd       |    |		Load	0x2,-0x3
0180 e5fe       |    |		Load	0x2,-0x2
0181 820d       |    |		Call	0x1,0xd
0182 00d1       |    |		Pop_Control	Pop_Count_1
0183 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0184 0000 0000  |    |		.BLANK	0000[0x4]
0188 ; --------------------------------------------------------------------------------------
0188 ; SUBPROGRAM
0188 ; --------------------------------------------------------------------------------------
0188 018b       |    |		.CONST	0x018b								; Address of begin
0189 0190       |    |		.CONST	0x0190								; Address of exception handler
018a 0001       |    |		.CONST	0x0001								; Number of locals
018b			BODY_0188:
018b			INIT_0188:
018b 00db       |    |		Load_Top	At_Offset_3
018c e5fe       |    |		Load	0x2,-0x2
018d e7ff       |    |		Load	0x3,-0x1
018e 801a       |    |		Call	0x0,0x1a
018f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0190			TRAP_0188:
0190 e01b       |    |		Load	0x0,0x1b
0191 010f       |    |		Execute	Exception,Equal
0192 6803       |h   |		Jump_Zero	0x196
0193 4800       |H   |		Short_Literal	0x0
0194 a402       |    |		Store_Unchecked	0x2,0x2
0195 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0196 0100       |    |		Execute	Exception,Raise
0197 0000       |    |		.XXX[0x1]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 019b       |    |		.CONST	0x019b								; Address of begin
0199 0004       |    |		.CONST	0x0004								; Address of exception handler
019a 0001       |    |		.CONST	0x0001								; Number of locals
019b			BODY_0198:
019b			INIT_0198:
019b 00db       |    |		Load_Top	At_Offset_3
019c 00db       |    |		Load_Top	At_Offset_3
019d e008       |    |		Load	0x0,0x8
019e 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
019f 0119       |    |		Execute	Any,Check_In_Formal_Type
01a0 8403       |    |		Call	0x2,0x3
01a1 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a2 0000 0000  |    |		.BLANK	0000[0x6]
01a8 ; --------------------------------------------------------------------------------------
01a8 ; SUBPROGRAM
01a8 ; --------------------------------------------------------------------------------------
01a8 01ab       |    |		.CONST	0x01ab								; Address of begin
01a9 0004       |    |		.CONST	0x0004								; Address of exception handler
01aa 0001       |    |		.CONST	0x0001								; Number of locals
01ab			BODY_01a8:
01ab			INIT_01a8:
01ab e7fc       |    |		Load	0x3,-0x4
01ac e7fd       |    |		Load	0x3,-0x3
01ad e008       |    |		Load	0x0,0x8
01ae 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01af 0119       |    |		Execute	Any,Check_In_Formal_Type
01b0 e7fe       |    |		Load	0x3,-0x2
01b1 e008       |    |		Load	0x0,0x8
01b2 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01b3 0119       |    |		Execute	Any,Check_In_Formal_Type
01b4 e7ff       |    |		Load	0x3,-0x1
01b5 e008       |    |		Load	0x0,0x8
01b6 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01b7 0119       |    |		Execute	Any,Check_In_Formal_Type
01b8 8214       |    |		Call	0x1,0x14
01b9 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
01ba ; --------------------------------------------------------------------------------------
01ba ; STRING TABLE
01ba ; --------------------------------------------------------------------------------------
01ba 0016       |    |		.STRTAB	0x0016->0x01c5							; "Cant find"
01bb 001d       |    |		.STRTAB	0x001d->0x01c9							; "Checking compatibility of views"
01bc 003a       | :  |		.STRTAB	0x003a->0x01d9							; "?'SPEC"
01bd 003e       | >  |		.STRTAB	0x003e->0x01dc							; "is not a view"
01be 0049       | I  |		.STRTAB	0x0049->0x01e2							; "is not an activity"
01bf 0059       | Y  |		.STRTAB	0x0059->0x01eb							; "have incompatible target keys"
01c0 0074       | t  |		.STRTAB	0x0074->0x01fa							; "No corresponding load view found for"
01c1 0096       |    |		.STRTAB	0x0096->0x020c							; "No corresponding spec view found for"
01c2 00b8       |    |		.STRTAB	0x00b8->0x021e							; "are compatible"
01c3 00c4       |    |		.STRTAB	0x00c4->0x0225							; "are not compatible"
01c4 00d4       |    |		.STREND 0x00d4->0x022e
01c5 4361 6e74  |Cant|		.STRTAB_STRINGS
022e 0000 0000  |    |		.XXX[0x2]
0230 ; --------------------------------------------------------------------------------------
0230 ; Debug Table
0230 ; --------------------------------------------------------------------------------------
0230 0004 0007  |    |		.DEBUG4	0x0004,0x0007,0x45ed,0x0000,0x0001,0x0000
0236 4800 e214  |H   |		.XXX[0x187]
0238 3803 6192  |8 a |
023a 00d0 3804  |  8 |
023c 4801 e212  |H   |
023e 01d6 4805  |  H |
0240 4802 e20f  |H   |
0242 0322 e20e  | "  |
0244 e215 3800  |  8 |
0246 00d8 3401  |  4 |
0248 4800 e216  |H   |
024a 3800 4800  |8 H |
024c e216 3801  |  8 |
024e 4800 e216  |H   |
0250 3802 4800  |8 H |
0252 e216 3803  |  8 |
0254 4800 00d0  |H   |
0256 3804 e214  |8   |
0258 e212 01d6  |    |
025a 3fe6 e211  |?   |
025c 01d4 4800  |  H |
025e 4801 029f  |H   |
0260 019b 03fd  |    |
0262 e003 e004  |    |
0264 e212 4800  |  H |
0266 4801 4801  |H H |
0268 0092 0f15  |    |
026a 00ea 00ea  |    |
026c 4801 4801  |H H |
026e e005 0387  |    |
0270 00d8 020f  |    |
0272 0092 0f16  |    |
0274 00e1 0600  |    |
0276 e006 1b11  |    |
0278 00d8 02a0  |    |
027a 4818 03d3  |H   |
027c e007 e008  |    |
027e e216 e009  |    |
0280 0387 00d8  |    |
0282 020f 4800  |  H |
0284 4878 00e2  |Hx  |
0286 03f8 4801  |  H |
0288 4878 e219  |Hx  |
028a 03f8 4801  |  H |
028c 4878 e20e  |Hx  |
028e 02a0 4801  |  H |
0290 035d 00d8  | ]  |
0292 0337 e219  | 7  |
0294 0600 4801  |  H |
0296 4878 e217  |Hx  |
0298 02a0 4801  |  H |
029a 035d 00d8  | ]  |
029c 0337 4801  | 7H |
029e 4878 e217  |Hx  |
02a0 02a0 4801  |  H |
02a2 035d 00d8  | ]  |
02a4 0337 4801  | 7H |
02a6 4828 e20e  |H(  |
02a8 02a0 4801  |  H |
02aa 035d 00d8  | ]  |
02ac 0337 e001  | 7  |
02ae 1b2f 0600  | /  |
02b0 4804 48a3  |H H |
02b2 00e3 03f8  |    |
02b4 4804 48a3  |H H |
02b6 e21a 02a0  |    |
02b8 4801 035d  |H  ]|
02ba 00d8 0337  |   7|
02bc 4804 48a3  |H H |
02be e217 02a0  |    |
02c0 4801 035d  |H  ]|
02c2 00d8 0337  |   7|
02c4 4804 48a3  |H H |
02c6 e217 02a0  |    |
02c8 4801 035d  |H  ]|
02ca 00d8 0337  |   7|
02cc 4800 4805  |H H |
02ce 029f 01d3  |    |
02d0 03fd e00a  |    |
02d2 e00b e22c  |   ,|
02d4 4800 4801  |H H |
02d6 4805 0092  |H   |
02d8 0f15 00ea  |    |
02da 00ea 4801  |  H |
02dc 4805 e005  |H   |
02de 0387 00d8  |    |
02e0 020f e20e  |    |
02e2 0007 480b  |  H |
02e4 032a 00d8  | *  |
02e6 02a0 4818  |  H |
02e8 03d3 e001  |    |
02ea 1b0e 00e1  |    |
02ec e001 1b10  |    |
02ee e001 1b10  |    |
02f0 e001 1b10  |    |
02f2 e001 1b10  |    |
02f4 00e3 00e3  |    |
02f6 00e3 00e1  |    |
02f8 e230 02a0  | 0  |
02fa e22f 0326  | / &|
02fc 00d8 0007  |    |
02fe e230 0007  | 0  |
0300 e00c 1b0d  |    |
0302 02c7 00d8  |    |
0304 1c00 00e3  |    |
0306 0600 e217  |    |
0308 0007 e001  |    |
030a 1b12 0601  |    |
030c e001 1b10  |    |
030e e001 1b10  |    |
0310 4fff e001  |O   |
0312 1b10 03f1  |    |
0314 4fff e001  |O   |
0316 1b10 03f1  |    |
0318 60ab e001  |`   |
031a 1b10 03f1  |    |
031c 60a3 e001  |`   |
031e 1b10 03f1  |    |
0320 00e3 0600  |    |
0322 e001 1b10  |    |
0324 0600 029d  |    |
0326 01fb 029d  |    |
0328 0223 029d  | #  |
032a 0233 029d  | 3  |
032c 024b 029d  | K  |
032e 0273 029d  | s  |
0330 027b 029d  | {  |
0332 029b 029d  |    |
0334 02cb 029d  |    |
0336 030b 029d  |    |
0338 0313 029d  |    |
033a 0343 029d  | C  |
033c 035b 029d  | [  |
033e 037b 029d  | {  |
0340 038b 029d  |    |
0342 03c3 029d  |    |
0344 0433 029d  | 3  |
0346 04cb 029d  |    |
0348 0503 029d  |    |
034a 052b 029d  | +  |
034c 054b 029d  | K  |
034e 05cb 029d  |    |
0350 063b 029d  | ;  |
0352 064b 029d  | K  |
0354 0653 029d  | S  |
0356 065b 029d  | [  |
0358 0663 029d  | c  |
035a 066b 029d  | k  |
035c 068b 029d  |    |
035e 069b 029d  |    |
0360 0783 029d  |    |
0362 07bb 029d  |    |
0364 07c3 029d  |    |
0366 07d3 029d  |    |
0368 083b 029d  | ;  |
036a 0943 029d  | C  |
036c 0973 029d  | s  |
036e 09a3 029d  |    |
0370 0ca3 029d  |    |
0372 0ce3 e00d  |    |
0374 e00e 1d5b  |   [|
0376 1d5c 1d5d  | \ ]|
0378 1d43 1d45  | C E|
037a 1d47 1d48  | G H|
037c 1d4e 1d4f  | N O|
037e 1d4a 1d4b  | J K|
0380 1d54 1d57  | T W|
0382 1d58 1d55  | X U|
0384 1d56 1d59  | V Y|
0386 1d5a 1d63  | Z c|
0388 1d5f 1d5e  | _ ^|
038a 1d64 1d65  | d e|
038c 0092 0f17  |    |
038e e002 1b10  |    |
0390 1b17 0387  |    |
0392 00d8 020f  |    |
0394 00bc 00bb  |    |
0396 0000 0000  |    |
0398 019b 0004  |    |
039a 0001 4607  |  F |
039c 4302 7806  |C x |
039e 7809 780d  |x x |
03a0 7810 7811  |x x |
03a2 7812 7815  |x x |
03a4 00da 0091  |    |
03a6 0f0c 4201  |  B |
03a8 00db 00db  |    |
03aa 00e0 181b  |    |
03ac 4202 00da  |B   |
03ae 00e0 181c  |    |
03b0 4201 00db  |B   |
03b2 4202 00db  |B   |
03b4 4202 e212  |B   |
03b6 00dc 0267  |   g|
03b8 4202 e212  |B   |
03ba 00dc 0268  |   h|
03bc 4202       |B   |
03bd 0000 0000  |    |		.BLANK	0000[0x5]
03c2 0008 ca00  |    |		.XXX[0x3e]
03c4 0000 0000  |    |
03c6 0000 8ca0  |    |
03c8 0000 0000  |    |
03ca 0009 56a0  |  V |
03cc 0000 0000  |    |
03ce 000c 15c0  |    |
03d0 01d3 0004  |    |
03d2 0001 4607  |  F |
03d4 4302 7806  |C x |
03d6 7809 780d  |x x |
03d8 7810 7811  |x x |
03da 7812 7815  |x x |
03dc 00da 0091  |    |
03de 0f0e 4201  |  B |
03e0 00db 00db  |    |
03e2 00e0 181b  |    |
03e4 4202 00da  |B   |
03e6 00e0 181c  |    |
03e8 4201 00db  |B   |
03ea 4202 00db  |B   |
03ec 4202 e22c  |B  ,|
03ee 00dc 0267  |   g|
03f0 4202 e22c  |B  ,|
03f2 00dc 0268  |   h|
03f4 4202 0000  |B   |
03f6 0000 0000  |    |
03f8 01fd 0004  |    |
03fa 0003 00e2  |    |
03fc 03e9 e5ff  |    |
03fe 4be8 0270  |K  p|