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

⟦e3004ef7d⟧

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

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 0440       | @  |		.CONST	0x0440								; 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 00e4       |    |		.CONST	0x00e4								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0028       | (  |		.CONST	0x0028								; Number of locals
000b			INIT_0008:
000b 4800       |H   |		Short_Literal	0x0
000c 4801       |H   |		Short_Literal	0x1
000d 029f 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Call
000f 03fe       |    |		Declare_Type	Discrete,Defined,Visible
0010 00e7       |    |		Load_Encached	Duration_Cache
0011 00e7       |    |		Load_Encached	Duration_Cache
0012 00e7       |    |		Load_Encached	Duration_Cache
0013 00e7       |    |		Load_Encached	Duration_Cache
0014 00e3       |    |		Load_Encached	Natural_Cache
0015 00e1       |    |		Load_Encached	Boolean_Cache
0016 00e1       |    |		Load_Encached	Boolean_Cache
0017 e002       |    |		Load	0x0,0x2
0018 00d8       |    |		Load_Top	At_Offset_0
0019 e20d       |    |		Load	0x1,0xd
001a 00e1       |    |		Load_Encached	Boolean_Cache
001b 029f 02b3  |    |		Declare_Subprogram	INIT_02b0,For_Call
001d 480b       |H   |		Short_Literal	0xb
001e 032e       | .  |		Declare_Type	Record,Defined,Visible
001f 029a 011b  |    |		Declare_Subprogram	INIT_0118,For_Outer_Call,Visible,Unelaborated
0021 029a 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated
0023 029a 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated
0025 029a 014b  |   K|		Declare_Subprogram	INIT_0148,For_Outer_Call,Visible,Unelaborated
0027 029a 015b  |   [|		Declare_Subprogram	INIT_0158,For_Outer_Call,Visible,Unelaborated
0029 4800       |H   |		Short_Literal	0x0
002a 0093 02e3  |    |		push_full_address	INIT_02e0
002c 02a0       |    |		Declare_Subprogram	Null_Subprogram
002d 038f       |    |		Declare_Type	Package,Defined,Visible
002e 0386       |    |		Declare_Variable	Package,Visible
002f 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
0031 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated
0033 029a 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call,Visible,Unelaborated
0035 029a 017b  |   {|		Declare_Subprogram	INIT_0178,For_Outer_Call,Visible,Unelaborated
0037 029a 0183  |    |		Declare_Subprogram	INIT_0180,For_Outer_Call,Visible,Unelaborated
0039 029a 01ab  |    |		Declare_Subprogram	INIT_01a8,For_Outer_Call,Visible,Unelaborated
003b 029a 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call,Visible,Unelaborated
003d 029a 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call,Visible,Unelaborated
003f 029a 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call,Visible,Unelaborated
0041 029a 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call,Visible,Unelaborated
0043 0093 0000  |    |		push_full_address	0x0
0045 60ca       |`   |		Indirect_Literal	Discrete,0x110,{0x80000000, 0x00010000}
0046 0273       | s  |		Execute	Discrete,Plus
0047 e003       |    |		Load	0x0,0x3
0048 0273       | s  |		Execute	Discrete,Plus
0049 e004       |    |		Load	0x0,0x4
004a 0273       | s  |		Execute	Discrete,Plus
004b e20e       |    |		Load	0x1,0xe
004c 00d8       |    |		Load_Top	At_Offset_0
004d 4800       |H   |		Short_Literal	0x0
004e 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
004f 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
0050 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
0051 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
0052 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
0053 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0054 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0055 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0056 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
0057 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0058 e005       |    |		Load	0x0,0x5
0059 480a       |H   |		Short_Literal	0xa
005a e006       |    |		Load	0x0,0x6
005b 0386       |    |		Declare_Variable	Package,Visible
005c 00d8       |    |		Load_Top	At_Offset_0
005d 020f       |    |		Execute	Module,Activate
005e e007       |    |		Load	0x0,0x7
005f 00d9       |    |		Load_Top	At_Offset_1
0060 0098       |    |		Execute	Package,Field_Read_Dynamic
0061 0129       | )  |		Execute	Any,Make_Visible
0062 00bf       |    |		Action	Accept_Activation
0063 00d8       |    |		Load_Top	At_Offset_0
0064 0007       |    |		Action	Break_Optional
0065 00e1       |    |		Load_Encached	Boolean_Cache
0066 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0067 029b 01db  |    |		Declare_Subprogram	INIT_01d8,For_Outer_Call,Unelaborated
0069 4800       |H   |		Short_Literal	0x0
006a 480a       |H   |		Short_Literal	0xa
006b 029f 0203  |    |		Declare_Subprogram	INIT_0200,For_Call
006d 03fd       |    |		Declare_Type	Discrete,Defined
006e e008       |    |		Load	0x0,0x8
006f e009       |    |		Load	0x0,0x9
0070 00da       |    |		Load_Top	At_Offset_2
0071 4800       |H   |		Short_Literal	0x0
0072 4801       |H   |		Short_Literal	0x1
0073 480a       |H   |		Short_Literal	0xa
0074 0092 03b2  |    |		Action	Push_String_Extended,0x3b2					; "others => Unspecified"
0076 00ea       |    |		Load_Encached	Null_String_Cache
0077 00ea       |    |		Load_Encached	Null_String_Cache
0078 4801       |H   |		Short_Literal	0x1
0079 480a       |H   |		Short_Literal	0xa
007a e00a       |    |		Load	0x0,0xa
007b 0387       |    |		Declare_Variable	Package
007c 00d8       |    |		Load_Top	At_Offset_0
007d 020f       |    |		Execute	Module,Activate
007e e00b       |    |		Load	0x0,0xb
007f e00c       |    |		Load	0x0,0xc
0080 00e7       |    |		Load_Encached	Duration_Cache
0081 e00d       |    |		Load	0x0,0xd
0082 1b52       | R  |		Execute	Package,Field_Read,Field_Number 0x52
0083 0387       |    |		Declare_Variable	Package
0084 00d8       |    |		Load_Top	At_Offset_0
0085 020f       |    |		Execute	Module,Activate
0086 029d 022b  |   +|		Declare_Subprogram	INIT_0228,For_Outer_Call
0088 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
0089 00c7       |    |		Action	Elaborate_Subprogram
008a 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
008b 00c7       |    |		Action	Elaborate_Subprogram
008c 029d 023b  |   ;|		Declare_Subprogram	INIT_0238,For_Outer_Call
008e 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
008f 00c7       |    |		Action	Elaborate_Subprogram
0090 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
0091 00c7       |    |		Action	Elaborate_Subprogram
0092 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0093 00c7       |    |		Action	Elaborate_Subprogram
0094 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
0095 00c7       |    |		Action	Elaborate_Subprogram
0096 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
0097 00c7       |    |		Action	Elaborate_Subprogram
0098 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
0099 00c7       |    |		Action	Elaborate_Subprogram
009a 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
009b 00c7       |    |		Action	Elaborate_Subprogram
009c 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
009d 00c7       |    |		Action	Elaborate_Subprogram
009e 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
009f 00c7       |    |		Action	Elaborate_Subprogram
00a0 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
00a1 00c7       |    |		Action	Elaborate_Subprogram
00a2 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
00a3 00c7       |    |		Action	Elaborate_Subprogram
00a4 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
00a5 00c7       |    |		Action	Elaborate_Subprogram
00a6 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
00a7 00c7       |    |		Action	Elaborate_Subprogram
00a8 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
00a9 e00e       |    |		Load	0x0,0xe
00aa e00f       |    |		Load	0x0,0xf
00ab e21f       |    |		Load	0x1,0x1f
00ac 0098       |    |		Execute	Package,Field_Read_Dynamic
00ad 0095       |    |		Execute	Package,Field_Reference_Dynamic
00ae a010       |    |		Store_Unchecked	0x0,0x10
00af 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
00b0 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00b1 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
00b2 e007       |    |		Load	0x0,0x7
00b3 e21f       |    |		Load	0x1,0x1f
00b4 0098       |    |		Execute	Package,Field_Read_Dynamic
00b5 e011       |    |		Load	0x0,0x11
00b6 e00f       |    |		Load	0x0,0xf
00b7 e21f       |    |		Load	0x1,0x1f
00b8 0098       |    |		Execute	Package,Field_Read_Dynamic
00b9 0095       |    |		Execute	Package,Field_Reference_Dynamic
00ba e012       |    |		Load	0x0,0x12
00bb e00f       |    |		Load	0x0,0xf
00bc e21f       |    |		Load	0x1,0x1f
00bd 0098       |    |		Execute	Package,Field_Read_Dynamic
00be 0095       |    |		Execute	Package,Field_Reference_Dynamic
00bf e013       |    |		Load	0x0,0x13
00c0 e00f       |    |		Load	0x0,0xf
00c1 e21f       |    |		Load	0x1,0x1f
00c2 0098       |    |		Execute	Package,Field_Read_Dynamic
00c3 0095       |    |		Execute	Package,Field_Reference_Dynamic
00c4 e014       |    |		Load	0x0,0x14
00c5 e00f       |    |		Load	0x0,0xf
00c6 e21f       |    |		Load	0x1,0x1f
00c7 0098       |    |		Execute	Package,Field_Read_Dynamic
00c8 0095       |    |		Execute	Package,Field_Reference_Dynamic
00c9 e015       |    |		Load	0x0,0x15
00ca e00f       |    |		Load	0x0,0xf
00cb e21f       |    |		Load	0x1,0x1f
00cc 0098       |    |		Execute	Package,Field_Read_Dynamic
00cd 0095       |    |		Execute	Package,Field_Reference_Dynamic
00ce e016       |    |		Load	0x0,0x16
00cf e00f       |    |		Load	0x0,0xf
00d0 e21f       |    |		Load	0x1,0x1f
00d1 0098       |    |		Execute	Package,Field_Read_Dynamic
00d2 0095       |    |		Execute	Package,Field_Reference_Dynamic
00d3 e017       |    |		Load	0x0,0x17
00d4 e00f       |    |		Load	0x0,0xf
00d5 e21f       |    |		Load	0x1,0x1f
00d6 0098       |    |		Execute	Package,Field_Read_Dynamic
00d7 0095       |    |		Execute	Package,Field_Reference_Dynamic
00d8 e018       |    |		Load	0x0,0x18
00d9 e00f       |    |		Load	0x0,0xf
00da e21f       |    |		Load	0x1,0x1f
00db 0098       |    |		Execute	Package,Field_Read_Dynamic
00dc 0095       |    |		Execute	Package,Field_Reference_Dynamic
00dd 480f       |H   |		Short_Literal	0xf
00de e214       |    |		Load	0x1,0x14
00df 020e       |    |		Execute	Module,Augment_Imports
00e0 e214       |    |		Load	0x1,0x14
00e1 020f       |    |		Execute	Module,Activate
00e2 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00e3 00c7       |    |		Action	Elaborate_Subprogram
00e4			BODY_0008:
00e4 00bc       |    |		Action	Signal_Activated
00e5 00bb       |    |		Action	Signal_Completion
00e6 0000 0000  |    |		.XXX[0x2]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00eb       |    |		.CONST	0x00eb								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0001       |    |		.CONST	0x0001								; Number of locals
00eb			BODY_00e8:
00eb			INIT_00e8:
00eb 4607       |F   |		Jump_Case	0x8
00ec 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
00ed 7807       |x   |		Jump	0xf5								; case 0x1
00ee 780a       |x   |		Jump	0xf9								; case 0x2
00ef 780e       |x   |		Jump	0xfe								; case 0x3
00f0 7811       |x   |		Jump	0x102								; case 0x4
00f1 7812       |x   |		Jump	0x104								; case 0x5
00f2 7813       |x   |		Jump	0x106								; case 0x6
00f3 7816       |x   |		Jump	0x10a								; case 0x7
00f4 4302       |C   |		.XXX[0x1]
00f5 00da       |    |		Load_Top	At_Offset_2
00f6 0091 03a5  |    |		Action	Push_String_Extended_Indexed,0x3a5				; "SEGMENT"
00f8 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
00f9 00db       |    |		Load_Top	At_Offset_3
00fa 00db       |    |		Load_Top	At_Offset_3
00fb 00e0       |    |		Load_Encached	Standard_Cache
00fc 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
00fd 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
00fe 00da       |    |		Load_Top	At_Offset_2
00ff 00e0       |    |		Load_Encached	Standard_Cache
0100 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0101 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0102 00db       |    |		Load_Top	At_Offset_3
0103 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0104 00db       |    |		Load_Top	At_Offset_3
0105 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0106 e20d       |    |		Load	0x1,0xd
0107 00dc       |    |		Load_Top	At_Offset_4
0108 0267       | g  |		Execute	Discrete,Predecessor
0109 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
010a e20d       |    |		Load	0x1,0xd
010b 00dc       |    |		Load_Top	At_Offset_4
010c 0268       | h  |		Execute	Discrete,Successor
010d 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
010e 0000 0000  |    |		.XXX[0x2]
0110 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
0114 0000 0000  |    |		.BLANK	0000[0x4]
0118 ; --------------------------------------------------------------------------------------
0118 ; SUBPROGRAM
0118 ; --------------------------------------------------------------------------------------
0118 011b       |    |		.CONST	0x011b								; Address of begin
0119 0004       |    |		.CONST	0x0004								; Address of exception handler
011a 0001       |    |		.CONST	0x0001								; Number of locals
011b			BODY_0118:
011b			INIT_0118:
011b 00da       |    |		Load_Top	At_Offset_2
011c e019       |    |		Load	0x0,0x19
011d e21f       |    |		Load	0x1,0x1f
011e 0096       |    |		Execute	Package,Entry
011f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123       | #  |		.CONST	0x0123								; Address of begin
0121 0004       |    |		.CONST	0x0004								; Address of exception handler
0122 0001       |    |		.CONST	0x0001								; Number of locals
0123			BODY_0120:
0123			INIT_0120:
0123 e221       | !  |		Load	0x1,0x21
0124 00ca       |    |		Action	Exit_Nullary_Function
0125 0000 0000  |    |		.XXX[0x3]
0127 0000       |    |
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 0131       | 1  |		.CONST	0x0131								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0003       |    |		.CONST	0x0003								; Number of locals
012b			INIT_0128:
012b e220       |    |		Load	0x1,0x20
012c 0007       |    |		Action	Break_Optional
012d e20e       |    |		Load	0x1,0xe
012e 0322       | "  |		Declare_Variable	Record
012f 00d8       |    |		Load_Top	At_Offset_0
0130 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0131			BODY_0128:
0131 e5ff       |    |		Load	0x2,-0x1
0132 e01a       |    |		Load	0x0,0x1a
0133 e21f       |    |		Load	0x1,0x1f
0134 0096       |    |		Execute	Package,Entry
0135 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0136 00d9       |    |		Load_Top	At_Offset_1
0137 e007       |    |		Load	0x0,0x7
0138 e21f       |    |		Load	0x1,0x1f
0139 0098       |    |		Execute	Package,Field_Read_Dynamic
013a 0216       |    |		Execute	Heap_Access,Convert
013b 00d9       |    |		Load_Top	At_Offset_1
013c e01b       |    |		Load	0x0,0x1b
013d e21f       |    |		Load	0x1,0x1f
013e 0096       |    |		Execute	Package,Entry
013f 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0140 00d9       |    |		Load_Top	At_Offset_1
0141 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0142 0000 0000  |    |		.BLANK	0000[0x6]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014b       | K  |		.CONST	0x014b								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0001       |    |		.CONST	0x0001								; Number of locals
014b			BODY_0148:
014b			INIT_0148:
014b 00da       |    |		Load_Top	At_Offset_2
014c e007       |    |		Load	0x0,0x7
014d e21f       |    |		Load	0x1,0x1f
014e 0098       |    |		Execute	Package,Field_Read_Dynamic
014f 0216       |    |		Execute	Heap_Access,Convert
0150 e01c       |    |		Load	0x0,0x1c
0151 e21f       |    |		Load	0x1,0x1f
0152 0096       |    |		Execute	Package,Entry
0153 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0154 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0155 0000 0000  |    |		.XXX[0x3]
0157 0000       |    |
0158 ; --------------------------------------------------------------------------------------
0158 ; SUBPROGRAM
0158 ; --------------------------------------------------------------------------------------
0158 015b       | [  |		.CONST	0x015b								; Address of begin
0159 0004       |    |		.CONST	0x0004								; Address of exception handler
015a 0001       |    |		.CONST	0x0001								; Number of locals
015b			BODY_0158:
015b			INIT_0158:
015b 0833       | 3  |		Execute_Immediate	Raise,0x33
015c 0000 0000  |    |		.BLANK	0000[0x4]
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 00da       |    |		Load_Top	At_Offset_2
0164 0320       |    |		Declare_Variable	Record,Duplicate
0165 00cd       |    |		Action	Spare6_Action
0166 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0167 0000       |    |		.XXX[0x1]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b       | k  |		.CONST	0x016b								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0001       |    |		.CONST	0x0001								; Number of locals
016b			BODY_0168:
016b			INIT_0168:
016b 0833       | 3  |		Execute_Immediate	Raise,0x33
016c 0000 0000  |    |		.BLANK	0000[0x4]
0170 ; --------------------------------------------------------------------------------------
0170 ; SUBPROGRAM
0170 ; --------------------------------------------------------------------------------------
0170 0173       | s  |		.CONST	0x0173								; Address of begin
0171 0004       |    |		.CONST	0x0004								; Address of exception handler
0172 0001       |    |		.CONST	0x0001								; Number of locals
0173			BODY_0170:
0173			INIT_0170:
0173 4801       |H   |		Short_Literal	0x1
0174 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0175 0000 0000  |    |		.XXX[0x3]
0177 0000       |    |
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 017b       | {  |		.CONST	0x017b								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0001       |    |		.CONST	0x0001								; Number of locals
017b			BODY_0178:
017b			INIT_0178:
017b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
017c 0000 0000  |    |		.BLANK	0000[0x4]
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 018c       |    |		.CONST	0x018c								; Address of begin
0181 01a1       |    |		.CONST	0x01a1								; Address of exception handler
0182 0004       |    |		.CONST	0x0004								; Number of locals
0183			INIT_0180:
0183 e20e       |    |		Load	0x1,0xe
0184 0322       | "  |		Declare_Variable	Record
0185 00d8       |    |		Load_Top	At_Offset_0
0186 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0187 00db       |    |		Load_Top	At_Offset_3
0188 e225       | %  |		Load	0x1,0x25
0189 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
018a 029f 024b  |   K|		Declare_Subprogram	INIT_0248,For_Call
018c			BODY_0180:
018c 00d9       |    |		Load_Top	At_Offset_1
018d e225       | %  |		Load	0x1,0x25
018e 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
018f 7002       |p   |		Jump_Nonzero	0x192
0190 e01d       |    |		Load	0x0,0x1d
0191 0257       | W  |		Execute	Discrete,Raise
0192 00cf       |    |		Action	Mark_Auxiliary
0193 480a       |H   |		Short_Literal	0xa
0194 4801       |H   |		Short_Literal	0x1
0195 0007       |    |		Action	Break_Optional
0196 00d8       |    |		Load_Top	At_Offset_0
0197 e403       |    |		Load	0x2,0x3
0198 e225       | %  |		Load	0x1,0x25
0199 1823       | #  |		Execute	Package,Field_Execute,Field_Number 0x23
019a 6801       |h   |		Jump_Zero	0x19c
019b 8404       |    |		Call	0x2,0x4
019c 00c8       |    |		Action	Pop_Auxiliary_Range
019d 3ff8       |?   |		Loop_Increasing	0x196
019e 00ce       |    |		Action	Pop_Auxiliary
019f 00da       |    |		Load_Top	At_Offset_2
01a0 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01a1			TRAP_0180:
01a1 010e       |    |		Execute	Exception,Is_Constraint_Error
01a2 6802       |h   |		Jump_Zero	0x1a5
01a3 e01d       |    |		Load	0x0,0x1d
01a4 0257       | W  |		Execute	Discrete,Raise
01a5 0100       |    |		Execute	Exception,Raise
01a6 0000 0000  |    |		.XXX[0x2]
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 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01ac 0000 0000  |    |		.BLANK	0000[0x4]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01b7       |    |		.CONST	0x01b7								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0002       |    |		.CONST	0x0002								; Number of locals
01b3			INIT_01b0:
01b3 e20e       |    |		Load	0x1,0xe
01b4 0322       | "  |		Declare_Variable	Record
01b5 00d8       |    |		Load_Top	At_Offset_0
01b6 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01b7			BODY_01b0:
01b7 00d8       |    |		Load_Top	At_Offset_0
01b8 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01b9 0000 0000  |    |		.BLANK	0000[0x7]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 0833       | 3  |		Execute_Immediate	Raise,0x33
01c4 0000 0000  |    |		.BLANK	0000[0x4]
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01cb       |    |		.CONST	0x01cb								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0001       |    |		.CONST	0x0001								; Number of locals
01cb			BODY_01c8:
01cb			INIT_01c8:
01cb 00da       |    |		Load_Top	At_Offset_2
01cc e5fd       |    |		Load	0x2,-0x3
01cd 017d       | }  |		Execute	Record,Structure_Write
01ce 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01cf 0000       |    |		.XXX[0x1]
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01d3       |    |		.CONST	0x01d3								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0001       |    |		.CONST	0x0001								; Number of locals
01d3			BODY_01d0:
01d3			INIT_01d0:
01d3 00da       |    |		Load_Top	At_Offset_2
01d4 0335       | 5  |		Declare_Variable	Array,Duplicate
01d5 00cd       |    |		Action	Spare6_Action
01d6 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01d7 0000       |    |		.XXX[0x1]
01d8 ; --------------------------------------------------------------------------------------
01d8 ; SUBPROGRAM
01d8 ; --------------------------------------------------------------------------------------
01d8 01e1       |    |		.CONST	0x01e1								; Address of begin
01d9 0004       |    |		.CONST	0x0004								; Address of exception handler
01da 0003       |    |		.CONST	0x0003								; Number of locals
01db			INIT_01d8:
01db e01e       |    |		Load	0x0,0x1e
01dc 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
01dd e20e       |    |		Load	0x1,0xe
01de 0322       | "  |		Declare_Variable	Record
01df 00d8       |    |		Load_Top	At_Offset_0
01e0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01e1			BODY_01d8:
01e1 e01e       |    |		Load	0x0,0x1e
01e2 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
01e3 4907       |I   |		Short_Literal	0x107
01e4 e01f       |    |		Load	0x0,0x1f
01e5 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
01e6 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
01e7 4801       |H   |		Short_Literal	0x1
01e8 00d9       |    |		Load_Top	At_Offset_1
01e9 380a       |8   |		Execute	Record,Field_Write,Field_Number 0xa
01ea 00d9       |    |		Load_Top	At_Offset_1
01eb 8211       |    |		Call	0x1,0x11
01ec a221       | !  |		Store_Unchecked	0x1,0x21
01ed e221       | !  |		Load	0x1,0x21
01ee e007       |    |		Load	0x0,0x7
01ef e21f       |    |		Load	0x1,0x1f
01f0 0098       |    |		Execute	Package,Field_Read_Dynamic
01f1 0216       |    |		Execute	Heap_Access,Convert
01f2 00d9       |    |		Load_Top	At_Offset_1
01f3 e01b       |    |		Load	0x0,0x1b
01f4 e21f       |    |		Load	0x1,0x1f
01f5 0096       |    |		Execute	Package,Entry
01f6 c221       | !  |		Store	0x1,0x21
01f7 4801       |H   |		Short_Literal	0x1
01f8 a222       | "  |		Store_Unchecked	0x1,0x22
01f9 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01fa 0000 0000  |    |		.BLANK	0000[0x6]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 0203       |    |		.CONST	0x0203								; Address of begin
0201 0004       |    |		.CONST	0x0004								; Address of exception handler
0202 0001       |    |		.CONST	0x0001								; Number of locals
0203			BODY_0200:
0203			INIT_0200:
0203 4607       |F   |		Jump_Case	0x8
0204 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
0205 7807       |x   |		Jump	0x20d								; case 0x1
0206 780a       |x   |		Jump	0x211								; case 0x2
0207 780e       |x   |		Jump	0x216								; case 0x3
0208 7811       |x   |		Jump	0x21a								; case 0x4
0209 7812       |x   |		Jump	0x21c								; case 0x5
020a 7813       |x   |		Jump	0x21e								; case 0x6
020b 7816       |x   |		Jump	0x222								; case 0x7
020c 4302       |C   |		.XXX[0x1]
020d 00da       |    |		Load_Top	At_Offset_2
020e 0091 03a7  |    |		Action	Push_String_Extended_Indexed,0x3a7				; "NONE"
0210 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0211 00db       |    |		Load_Top	At_Offset_3
0212 00db       |    |		Load_Top	At_Offset_3
0213 00e0       |    |		Load_Encached	Standard_Cache
0214 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0215 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0216 00da       |    |		Load_Top	At_Offset_2
0217 00e0       |    |		Load_Encached	Standard_Cache
0218 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0219 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
021a 00db       |    |		Load_Top	At_Offset_3
021b 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
021c 00db       |    |		Load_Top	At_Offset_3
021d 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
021e e224       | $  |		Load	0x1,0x24
021f 00dc       |    |		Load_Top	At_Offset_4
0220 0267       | g  |		Execute	Discrete,Predecessor
0221 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0222 e224       | $  |		Load	0x1,0x24
0223 00dc       |    |		Load_Top	At_Offset_4
0224 0268       | h  |		Execute	Discrete,Successor
0225 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0226 0000 0000  |    |		.XXX[0x2]
0228 ; --------------------------------------------------------------------------------------
0228 ; SUBPROGRAM
0228 ; --------------------------------------------------------------------------------------
0228 022b       | +  |		.CONST	0x022b								; Address of begin
0229 0004       |    |		.CONST	0x0004								; Address of exception handler
022a 0001       |    |		.CONST	0x0001								; Number of locals
022b			BODY_0228:
022b			INIT_0228:
022b 00da       |    |		Load_Top	At_Offset_2
022c e019       |    |		Load	0x0,0x19
022d e21f       |    |		Load	0x1,0x1f
022e 0096       |    |		Execute	Package,Entry
022f 3c0a       |<   |		Execute	Record,Field_Read,Field_Number 0xa
0230 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0231 0000 0000  |    |		.BLANK	0000[0x7]
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; --------------------------------------------------------------------------------------
0238 023d       | =  |		.CONST	0x023d								; Address of begin
0239 0004       |    |		.CONST	0x0004								; Address of exception handler
023a 0003       |    |		.CONST	0x0003								; Number of locals
023b			INIT_0238:
023b 00e7       |    |		Load_Encached	Duration_Cache
023c 00e4       |    |		Load_Encached	Positive_Cache
023d			BODY_0238:
023d 00e4       |    |		Load_Encached	Positive_Cache
023e e226       | &  |		Load	0x1,0x26
023f 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0240 e5ff       |    |		Load	0x2,-0x1
0241 e226       | &  |		Load	0x1,0x26
0242 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
0243 005b       | [  |		Store_Top	Discrete,At_Offset_3
0244 0059       | Y  |		Store_Top	Discrete,At_Offset_1
0245 00d9       |    |		Load_Top	At_Offset_1
0246 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0247 0000       |    |		.XXX[0x1]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 0252       | R  |		.CONST	0x0252								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 0003       |    |		.CONST	0x0003								; Number of locals
024b			INIT_0248:
024b 00ea       |    |		Load_Encached	Null_String_Cache
024c e407       |    |		Load	0x2,0x7
024d e403       |    |		Load	0x2,0x3
024e e225       | %  |		Load	0x1,0x25
024f 182b       | +  |		Execute	Package,Field_Execute,Field_Number 0x2b
0250 029f 029b  |    |		Declare_Subprogram	INIT_0298,For_Call
0252			BODY_0248:
0252 e407       |    |		Load	0x2,0x7
0253 0aff       |    |		Execute_Immediate	Plus,-0x1
0254 4609       |F   |		Jump_Case	0xa
0255 780b       |x   |		Jump	0x261								; case 0x0
0256 780f       |x   |		Jump	0x266								; case 0x1
0257 7813       |x   |		Jump	0x26b								; case 0x2
0258 7817       |x   |		Jump	0x270								; case 0x3
0259 781b       |x   |		Jump	0x275								; case 0x4
025a 7821       |x!  |		Jump	0x27c								; case 0x5
025b 7826       |x&  |		Jump	0x282								; case 0x6
025c 782b       |x+  |		Jump	0x288								; case 0x7
025d 7830       |x0  |		Jump	0x28e								; case 0x8
025e 7800       |x   |		Jump	0x25f								; case 0x9
025f 8603       |    |		Call	0x3,0x3
0260 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0261 00d9       |    |		Load_Top	At_Offset_1
0262 8228       | (  |		Call	0x1,0x28
0263 e402       |    |		Load	0x2,0x2
0264 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0265 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0266 00d9       |    |		Load_Top	At_Offset_1
0267 8228       | (  |		Call	0x1,0x28
0268 e402       |    |		Load	0x2,0x2
0269 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
026a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
026b 00d9       |    |		Load_Top	At_Offset_1
026c 8228       | (  |		Call	0x1,0x28
026d e402       |    |		Load	0x2,0x2
026e 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
026f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0270 00d9       |    |		Load_Top	At_Offset_1
0271 8228       | (  |		Call	0x1,0x28
0272 e402       |    |		Load	0x2,0x2
0273 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
0274 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0275 00d9       |    |		Load_Top	At_Offset_1
0276 00e2       |    |		Load_Encached	Integer_Cache
0277 00e0       |    |		Load_Encached	Standard_Cache
0278 1819       |    |		Execute	Package,Field_Execute,Field_Number 0x19
0279 e402       |    |		Load	0x2,0x2
027a 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
027b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
027c 00d9       |    |		Load_Top	At_Offset_1
027d 00e1       |    |		Load_Encached	Boolean_Cache
027e 1c02       |    |		Execute_Immediate	Run_Utility,0x2
027f e402       |    |		Load	0x2,0x2
0280 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
0281 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0282 00d9       |    |		Load_Top	At_Offset_1
0283 00e1       |    |		Load_Encached	Boolean_Cache
0284 1c02       |    |		Execute_Immediate	Run_Utility,0x2
0285 e402       |    |		Load	0x2,0x2
0286 3806       |8   |		Execute	Record,Field_Write,Field_Number 0x6
0287 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0288 e5fe       |    |		Load	0x2,-0x2
0289 00da       |    |		Load_Top	At_Offset_2
028a 8020       |    |		Call	0x0,0x20
028b e402       |    |		Load	0x2,0x2
028c 3807       |8   |		Execute	Record,Field_Write,Field_Number 0x7
028d 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
028e e5fe       |    |		Load	0x2,-0x2
028f 00da       |    |		Load_Top	At_Offset_2
0290 8020       |    |		Call	0x0,0x20
0291 e402       |    |		Load	0x2,0x2
0292 3808       |8   |		Execute	Record,Field_Write,Field_Number 0x8
0293 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0294 0000 0000  |    |		.BLANK	0000[0x4]
0298 ; --------------------------------------------------------------------------------------
0298 ; SUBPROGRAM
0298 ; --------------------------------------------------------------------------------------
0298 029b       |    |		.CONST	0x029b								; Address of begin
0299 02a1       |    |		.CONST	0x02a1								; Address of exception handler
029a 0001       |    |		.CONST	0x0001								; Number of locals
029b			BODY_0298:
029b			INIT_0298:
029b e602       |    |		Load	0x3,0x2
029c e20d       |    |		Load	0x1,0xd
029d 1c02       |    |		Execute_Immediate	Run_Utility,0x2
029e e402       |    |		Load	0x2,0x2
029f 3809       |8   |		Execute	Record,Field_Write,Field_Number 0x9
02a0 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02a1			TRAP_0298:
02a1 0007       |    |		Action	Break_Optional
02a2 e021       | !  |		Load	0x0,0x21
02a3 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
02a4 4806       |H   |		Short_Literal	0x6
02a5 0092 03b3  |    |		Action	Push_String_Extended,0x3b3					; "Invalid value for Coverage Kind"
02a7 e022       | "  |		Load	0x0,0x22
02a8 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
02a9 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02aa 0000 0000  |    |		.BLANK	0000[0x6]
02b0 ; --------------------------------------------------------------------------------------
02b0 ; SUBPROGRAM
02b0 ; --------------------------------------------------------------------------------------
02b0 02b3       |    |		.CONST	0x02b3								; Address of begin
02b1 0004       |    |		.CONST	0x0004								; Address of exception handler
02b2 0001       |    |		.CONST	0x0001								; Number of locals
02b3			BODY_02b0:
02b3			INIT_02b0:
02b3 4601       |F   |		Jump_Case	0x2
02b4 7801       |x   |		Jump	0x2b6								; case 0x0
02b5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
02b6 6021       |`!  |		Indirect_Literal	Discrete,0x2d8,{0x00007fff, 0xffffffff}
02b7 00db       |    |		Load_Top	At_Offset_3
02b8 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
02b9 601e       |`   |		Indirect_Literal	Discrete,0x2d8,{0x00007fff, 0xffffffff}
02ba 00db       |    |		Load_Top	At_Offset_3
02bb 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
02bc 601b       |`   |		Indirect_Literal	Discrete,0x2d8,{0x00007fff, 0xffffffff}
02bd 00db       |    |		Load_Top	At_Offset_3
02be 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
02bf 6018       |`   |		Indirect_Literal	Discrete,0x2d8,{0x00007fff, 0xffffffff}
02c0 00db       |    |		Load_Top	At_Offset_3
02c1 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
02c2 6011       |`   |		Indirect_Literal	Discrete,0x2d4,{0x00000000, 0x7fffffff}
02c3 00db       |    |		Load_Top	At_Offset_3
02c4 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
02c5 4800       |H   |		Short_Literal	0x0
02c6 00db       |    |		Load_Top	At_Offset_3
02c7 3805       |8   |		Execute	Record,Field_Write,Field_Number 0x5
02c8 4800       |H   |		Short_Literal	0x0
02c9 00db       |    |		Load_Top	At_Offset_3
02ca 3806       |8   |		Execute	Record,Field_Write,Field_Number 0x6
02cb 4800       |H   |		Short_Literal	0x0
02cc 00db       |    |		Load_Top	At_Offset_3
02cd 3809       |8   |		Execute	Record,Field_Write,Field_Number 0x9
02ce 4801       |H   |		Short_Literal	0x1
02cf 00db       |    |		Load_Top	At_Offset_3
02d0 380a       |8   |		Execute	Record,Field_Write,Field_Number 0xa
02d1 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02d2 0000 0000  |    |		.XXX[0x2]
02d4 0000 0000  |    |		.LITERAL	{0x00000000, 0x7fffffff}
02d8 0000 7fff  |    |		.LITERAL	{0x00007fff, 0xffffffff}
02dc 0000 0000  |    |		.BLANK	0000[0x4]
02e0 ; --------------------------------------------------------------------------------------
02e0 ; SUBPROGRAM
02e0 ; --------------------------------------------------------------------------------------
02e0 0308       |    |		.CONST	0x0308								; Address of begin
02e1 0004       |    |		.CONST	0x0004								; Address of exception handler
02e2 0015       |    |		.CONST	0x0015								; Number of locals
02e3			INIT_02e0:
02e3 029a 0313  |    |		Declare_Subprogram	INIT_0310,For_Outer_Call,Visible,Unelaborated
02e5 029a 0323  |   #|		Declare_Subprogram	INIT_0320,For_Outer_Call,Visible,Unelaborated
02e7 029a 033b  |   ;|		Declare_Subprogram	INIT_0338,For_Outer_Call,Visible,Unelaborated
02e9 029a 034b  |   K|		Declare_Subprogram	INIT_0348,For_Outer_Call,Visible,Unelaborated
02eb 029a 035b  |   [|		Declare_Subprogram	INIT_0358,For_Outer_Call,Visible,Unelaborated
02ed 029a 036b  |   k|		Declare_Subprogram	INIT_0368,For_Outer_Call,Visible,Unelaborated
02ef 029a 037b  |   {|		Declare_Subprogram	INIT_0378,For_Outer_Call,Visible,Unelaborated
02f1 029a 038b  |    |		Declare_Subprogram	INIT_0388,For_Outer_Call,Visible,Unelaborated
02f3 029a 039b  |    |		Declare_Subprogram	INIT_0398,For_Outer_Call,Visible,Unelaborated
02f5 00bf       |    |		Action	Accept_Activation
02f6 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
02f7 00c7       |    |		Action	Elaborate_Subprogram
02f8 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
02f9 00c7       |    |		Action	Elaborate_Subprogram
02fa 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
02fb 00c7       |    |		Action	Elaborate_Subprogram
02fc 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
02fd 00c7       |    |		Action	Elaborate_Subprogram
02fe 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
02ff 00c7       |    |		Action	Elaborate_Subprogram
0300 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe
0301 00c7       |    |		Action	Elaborate_Subprogram
0302 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0303 00c7       |    |		Action	Elaborate_Subprogram
0304 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0305 00c7       |    |		Action	Elaborate_Subprogram
0306 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0307 00c7       |    |		Action	Elaborate_Subprogram
0308			BODY_02e0:
0308 00bc       |    |		Action	Signal_Activated
0309 00bb       |    |		Action	Signal_Completion
030a 0000 0000  |    |		.BLANK	0000[0x6]
0310 ; --------------------------------------------------------------------------------------
0310 ; SUBPROGRAM
0310 ; --------------------------------------------------------------------------------------
0310 0313       |    |		.CONST	0x0313								; Address of begin
0311 0004       |    |		.CONST	0x0004								; Address of exception handler
0312 0001       |    |		.CONST	0x0001								; Number of locals
0313			BODY_0310:
0313			INIT_0310:
0313 00da       |    |		Load_Top	At_Offset_2
0314 8001       |    |		Call	0x0,0x1
0315 7004       |p   |		Jump_Nonzero	0x31a
0316 00db       |    |		Load_Top	At_Offset_3
0317 00db       |    |		Load_Top	At_Offset_3
0318 8002       |    |		Call	0x0,0x2
0319 c5fe       |    |		Store	0x2,-0x2
031a 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
031b 0000 0000  |    |		.BLANK	0000[0x5]
0320 ; --------------------------------------------------------------------------------------
0320 ; SUBPROGRAM
0320 ; --------------------------------------------------------------------------------------
0320 0323       | #  |		.CONST	0x0323								; Address of begin
0321 0004       |    |		.CONST	0x0004								; Address of exception handler
0322 0001       |    |		.CONST	0x0001								; Number of locals
0323			BODY_0320:
0323			INIT_0320:
0323 00db       |    |		Load_Top	At_Offset_3
0324 8003       |    |		Call	0x0,0x3
0325 01db       |    |		Execute	Vector,Length
0326 7006       |p   |		Jump_Nonzero	0x32d
0327 e004       |    |		Load	0x0,0x4
0328 7001       |p   |		Jump_Nonzero	0x32a
0329 8005       |    |		Call	0x0,0x5
032a e006       |    |		Load	0x0,0x6
032b a5fd       |    |		Store_Unchecked	0x2,-0x3
032c 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
032d e5fd       |    |		Load	0x2,-0x3
032e e007       |    |		Load	0x0,0x7
032f 0216       |    |		Execute	Heap_Access,Convert
0330 e5fe       |    |		Load	0x2,-0x2
0331 e5ff       |    |		Load	0x2,-0x1
0332 8008       |    |		Call	0x0,0x8
0333 c5fd       |    |		Store	0x2,-0x3
0334 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0335 0000 0000  |    |		.XXX[0x3]
0337 0000       |    |
0338 ; --------------------------------------------------------------------------------------
0338 ; SUBPROGRAM
0338 ; --------------------------------------------------------------------------------------
0338 033b       | ;  |		.CONST	0x033b								; Address of begin
0339 0004       |    |		.CONST	0x0004								; Address of exception handler
033a 0001       |    |		.CONST	0x0001								; Number of locals
033b			BODY_0338:
033b			INIT_0338:
033b 00db       |    |		Load_Top	At_Offset_3
033c e007       |    |		Load	0x0,0x7
033d 0216       |    |		Execute	Heap_Access,Convert
033e 00db       |    |		Load_Top	At_Offset_3
033f 8009       |    |		Call	0x0,0x9
0340 c5fe       |    |		Store	0x2,-0x2
0341 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0342 0000 0000  |    |		.BLANK	0000[0x6]
0348 ; --------------------------------------------------------------------------------------
0348 ; SUBPROGRAM
0348 ; --------------------------------------------------------------------------------------
0348 034b       | K  |		.CONST	0x034b								; Address of begin
0349 0004       |    |		.CONST	0x0004								; Address of exception handler
034a 0001       |    |		.CONST	0x0001								; Number of locals
034b			BODY_0348:
034b			INIT_0348:
034b 00da       |    |		Load_Top	At_Offset_2
034c 8001       |    |		Call	0x0,0x1
034d 6802       |h   |		Jump_Zero	0x350
034e 00ea       |    |		Load_Encached	Null_String_Cache
034f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0350 00da       |    |		Load_Top	At_Offset_2
0351 800a       |    |		Call	0x0,0xa
0352 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0353 0000 0000  |    |		.BLANK	0000[0x5]
0358 ; --------------------------------------------------------------------------------------
0358 ; SUBPROGRAM
0358 ; --------------------------------------------------------------------------------------
0358 035b       | [  |		.CONST	0x035b								; Address of begin
0359 0004       |    |		.CONST	0x0004								; Address of exception handler
035a 0001       |    |		.CONST	0x0001								; Number of locals
035b			BODY_0358:
035b			INIT_0358:
035b 00da       |    |		Load_Top	At_Offset_2
035c 8001       |    |		Call	0x0,0x1
035d 7005       |p   |		Jump_Nonzero	0x363
035e 00da       |    |		Load_Top	At_Offset_2
035f e007       |    |		Load	0x0,0x7
0360 0216       |    |		Execute	Heap_Access,Convert
0361 800b       |    |		Call	0x0,0xb
0362 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0363 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0364 0000 0000  |    |		.BLANK	0000[0x4]
0368 ; --------------------------------------------------------------------------------------
0368 ; SUBPROGRAM
0368 ; --------------------------------------------------------------------------------------
0368 036b       | k  |		.CONST	0x036b								; Address of begin
0369 0004       |    |		.CONST	0x0004								; Address of exception handler
036a 0001       |    |		.CONST	0x0001								; Number of locals
036b			BODY_0368:
036b			INIT_0368:
036b 00db       |    |		Load_Top	At_Offset_3
036c 8001       |    |		Call	0x0,0x1
036d 7006       |p   |		Jump_Nonzero	0x374
036e 00db       |    |		Load_Top	At_Offset_3
036f e007       |    |		Load	0x0,0x7
0370 0216       |    |		Execute	Heap_Access,Convert
0371 00db       |    |		Load_Top	At_Offset_3
0372 800c       |    |		Call	0x0,0xc
0373 c5fe       |    |		Store	0x2,-0x2
0374 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0375 0000 0000  |    |		.XXX[0x3]
0377 0000       |    |
0378 ; --------------------------------------------------------------------------------------
0378 ; SUBPROGRAM
0378 ; --------------------------------------------------------------------------------------
0378 037b       | {  |		.CONST	0x037b								; Address of begin
0379 0004       |    |		.CONST	0x0004								; Address of exception handler
037a 0001       |    |		.CONST	0x0001								; Number of locals
037b			BODY_0378:
037b			INIT_0378:
037b 00db       |    |		Load_Top	At_Offset_3
037c 8001       |    |		Call	0x0,0x1
037d 7006       |p   |		Jump_Nonzero	0x384
037e 00db       |    |		Load_Top	At_Offset_3
037f e007       |    |		Load	0x0,0x7
0380 0216       |    |		Execute	Heap_Access,Convert
0381 00db       |    |		Load_Top	At_Offset_3
0382 800d       |    |		Call	0x0,0xd
0383 c5fe       |    |		Store	0x2,-0x2
0384 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0385 0000 0000  |    |		.XXX[0x3]
0387 0000       |    |
0388 ; --------------------------------------------------------------------------------------
0388 ; SUBPROGRAM
0388 ; --------------------------------------------------------------------------------------
0388 038b       |    |		.CONST	0x038b								; Address of begin
0389 0004       |    |		.CONST	0x0004								; Address of exception handler
038a 0001       |    |		.CONST	0x0001								; Number of locals
038b			BODY_0388:
038b			INIT_0388:
038b 00da       |    |		Load_Top	At_Offset_2
038c 8001       |    |		Call	0x0,0x1
038d 6802       |h   |		Jump_Zero	0x390
038e 4800       |H   |		Short_Literal	0x0
038f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0390 00da       |    |		Load_Top	At_Offset_2
0391 800e       |    |		Call	0x0,0xe
0392 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0393 0000 0000  |    |		.BLANK	0000[0x5]
0398 ; --------------------------------------------------------------------------------------
0398 ; SUBPROGRAM
0398 ; --------------------------------------------------------------------------------------
0398 039b       |    |		.CONST	0x039b								; Address of begin
0399 0004       |    |		.CONST	0x0004								; Address of exception handler
039a 0001       |    |		.CONST	0x0001								; Number of locals
039b			BODY_0398:
039b			INIT_0398:
039b 00db       |    |		Load_Top	At_Offset_3
039c 8001       |    |		Call	0x0,0x1
039d 7006       |p   |		Jump_Nonzero	0x3a4
039e 00db       |    |		Load_Top	At_Offset_3
039f e007       |    |		Load	0x0,0x7
03a0 0216       |    |		Execute	Heap_Access,Convert
03a1 00db       |    |		Load_Top	At_Offset_3
03a2 800f       |    |		Call	0x0,0xf
03a3 c5fe       |    |		Store	0x2,-0x2
03a4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
03a5 ; --------------------------------------------------------------------------------------
03a5 ; STRING TABLE
03a5 ; --------------------------------------------------------------------------------------
03a5 0020       |    |		.STRTAB	0x0020->0x03b5							; "SEGMENT"
03a6 0025       | %  |		.STRTAB	0x0025->0x03b8							; "DECISION"
03a7 002b       | +  |		.STRTAB	0x002b->0x03bc							; "NONE"
03a8 002d       | -  |		.STRTAB	0x002d->0x03be							; "OVERALL_CLOCK_TIME"
03a9 003d       | =  |		.STRTAB	0x003d->0x03c7							; "OVERALL_CPU_TIME"
03aa 004b       | K  |		.STRTAB	0x004b->0x03cf							; "MAX_CLOCK_PER_TEST"
03ab 005b       | [  |		.STRTAB	0x005b->0x03d8							; "MAX_CPU_PER_TEST"
03ac 0069       | i  |		.STRTAB	0x0069->0x03e0							; "MAX_NUMBER_OF_FAILURES"
03ad 007d       | }  |		.STRTAB	0x007d->0x03eb							; "TERMINATE_ON_UNHANDLED_EXCEPTION"
03ae 009b       |    |		.STRTAB	0x009b->0x03fb							; "LOG_TEST_DESCRIPTION"
03af 00ad       |    |		.STRTAB	0x00ad->0x0405							; "COVERAGE_ANALYZER_PARAMS"
03b0 00c3       |    |		.STRTAB	0x00c3->0x0411							; "USER_CONTROLS"
03b1 00ce       |    |		.STRTAB	0x00ce->0x0418							; "COVERAGE_KIND"
03b2 00d9       |    |		.STRTAB	0x00d9->0x041e							; "others => Unspecified"
03b3 00ec       |    |		.STRTAB	0x00ec->0x0429							; "Invalid value for Coverage Kind"
03b4 0109       |    |		.STREND 0x0109->0x0438
03b5 5345 474d  |SEGM|		.STRTAB_STRINGS
0439 0000 0000  |    |		.BLANK	0000[0x7]
0440 ; --------------------------------------------------------------------------------------
0440 ; Debug Table
0440 ; --------------------------------------------------------------------------------------
0440 0004 0009  |    |		.DEBUG4	0x0004,0x0009,0xf00f,0x0000,0x0001,0x0000
0446 0000 0000  |    |		.BLANK	0000[0x1ba]