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

⟦11ff5b671⟧

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

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 0460       | `  |		.CONST	0x0460								; 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 00e7       |    |		.CONST	0x00e7								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 002a       | *  |		.CONST	0x002a								; Number of locals
000b			INIT_0008:
000b 00e1       |    |		Load_Encached	Boolean_Cache
000c 0129       | )  |		Execute	Any,Make_Visible
000d 00e5       |    |		Load_Encached	Long_Integer_Cache
000e 0129       | )  |		Execute	Any,Make_Visible
000f 4800       |H   |		Short_Literal	0x0
0010 612b       |a+  |		Indirect_Literal	Discrete,0x13c,{0x7fffffff, 0xffffffff}
0011 00da       |    |		Load_Top	At_Offset_2
0012 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
0013 4801       |H   |		Short_Literal	0x1
0014 6127       |a'  |		Indirect_Literal	Discrete,0x13c,{0x7fffffff, 0xffffffff}
0015 00db       |    |		Load_Top	At_Offset_3
0016 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
0017 00e3       |    |		Load_Encached	Natural_Cache
0018 0266       | f  |		Execute	Discrete,Bounds
0019 e20d       |    |		Load	0x1,0xd
001a 02a0       |    |		Declare_Subprogram	Null_Subprogram
001b 4801       |H   |		Short_Literal	0x1
001c 0351       | Q  |		Declare_Type	Array,Defined,Visible,Bounds_With_Object
001d 4801       |H   |		Short_Literal	0x1
001e 4800       |H   |		Short_Literal	0x0
001f 00da       |    |		Load_Top	At_Offset_2
0020 035b       | [  |		Declare_Type	Array,Constrained
0021 0336       | 6  |		Declare_Variable	Array,Visible
0022 00d8       |    |		Load_Top	At_Offset_0
0023 0335       | 5  |		Declare_Variable	Array,Duplicate
0024 00cd       |    |		Action	Spare6_Action
0025 00d9       |    |		Load_Top	At_Offset_1
0026 01d4       |    |		Execute	Vector,Structure_Write
0027 e001       |    |		Load	0x0,0x1
0028 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0029 0129       | )  |		Execute	Any,Make_Visible
002a 4801       |H   |		Short_Literal	0x1
002b 4800       |H   |		Short_Literal	0x0
002c 00da       |    |		Load_Top	At_Offset_2
002d 035b       | [  |		Declare_Type	Array,Constrained
002e 0336       | 6  |		Declare_Variable	Array,Visible
002f 00d8       |    |		Load_Top	At_Offset_0
0030 0335       | 5  |		Declare_Variable	Array,Duplicate
0031 00cd       |    |		Action	Spare6_Action
0032 00d9       |    |		Load_Top	At_Offset_1
0033 01d4       |    |		Execute	Vector,Structure_Write
0034 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated
0036 4800       |H   |		Short_Literal	0x0
0037 4800       |H   |		Short_Literal	0x0
0038 00e1       |    |		Load_Encached	Boolean_Cache
0039 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
003a 4800       |H   |		Short_Literal	0x0
003b 4803       |H   |		Short_Literal	0x3
003c 029f 0143  |   C|		Declare_Subprogram	INIT_0140,For_Call
003e 03fe       |    |		Declare_Type	Discrete,Defined,Visible
003f 00d8       |    |		Load_Top	At_Offset_0
0040 e20f       |    |		Load	0x1,0xf
0041 02a0       |    |		Declare_Subprogram	Null_Subprogram
0042 4802       |H   |		Short_Literal	0x2
0043 032e       | .  |		Declare_Type	Record,Defined,Visible
0044 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated
0046 00d9       |    |		Load_Top	At_Offset_1
0047 0322       | "  |		Declare_Variable	Record
0048 4800       |H   |		Short_Literal	0x0
0049 00d9       |    |		Load_Top	At_Offset_1
004a 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
004b 4800       |H   |		Short_Literal	0x0
004c 00d9       |    |		Load_Top	At_Offset_1
004d 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
004e 0129       | )  |		Execute	Any,Make_Visible
004f 4800       |H   |		Short_Literal	0x0
0050 0093 0333  |   3|		push_full_address	INIT_0330
0052 02a0       |    |		Declare_Subprogram	Null_Subprogram
0053 038f       |    |		Declare_Type	Package,Defined,Visible
0054 00b6       |    |		Action	Make_Scope
0055 4801       |H   |		Short_Literal	0x1
0056 00da       |    |		Load_Top	At_Offset_2
0057 020e       |    |		Execute	Module,Augment_Imports
0058 0386       |    |		Declare_Variable	Package,Visible
0059 00e3       |    |		Load_Encached	Natural_Cache
005a 0266       | f  |		Execute	Discrete,Bounds
005b e20f       |    |		Load	0x1,0xf
005c 02a0       |    |		Declare_Subprogram	Null_Subprogram
005d 4801       |H   |		Short_Literal	0x1
005e 0351       | Q  |		Declare_Type	Array,Defined,Visible,Bounds_With_Object
005f 4801       |H   |		Short_Literal	0x1
0060 4800       |H   |		Short_Literal	0x0
0061 00da       |    |		Load_Top	At_Offset_2
0062 035b       | [  |		Declare_Type	Array,Constrained
0063 0336       | 6  |		Declare_Variable	Array,Visible
0064 00d8       |    |		Load_Top	At_Offset_0
0065 0335       | 5  |		Declare_Variable	Array,Duplicate
0066 00cd       |    |		Action	Spare6_Action
0067 00d9       |    |		Load_Top	At_Offset_1
0068 01d4       |    |		Execute	Vector,Structure_Write
0069 029a 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call,Visible,Unelaborated
006b 029a 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call,Visible,Unelaborated
006d 029a 01e3  |    |		Declare_Subprogram	INIT_01e0,For_Outer_Call,Visible,Unelaborated
006f 029a 01f3  |    |		Declare_Subprogram	INIT_01f0,For_Outer_Call,Visible,Unelaborated
0071 029a 0203  |    |		Declare_Subprogram	INIT_0200,For_Outer_Call,Visible,Unelaborated
0073 029a 0223  |   #|		Declare_Subprogram	INIT_0220,For_Outer_Call,Visible,Unelaborated
0075 e001       |    |		Load	0x0,0x1
0076 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0077 0129       | )  |		Execute	Any,Make_Visible
0078 029a 024b  |   K|		Declare_Subprogram	INIT_0248,For_Outer_Call,Visible,Unelaborated
007a 029a 026b  |   k|		Declare_Subprogram	INIT_0268,For_Outer_Call,Visible,Unelaborated
007c 00bf       |    |		Action	Accept_Activation
007d 4800       |H   |		Short_Literal	0x0
007e 480f       |H   |		Short_Literal	0xf
007f e001       |    |		Load	0x0,0x1
0080 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0081 03f8       |    |		Declare_Type	Discrete,Constrained
0082 4800       |H   |		Short_Literal	0x0
0083 480f       |H   |		Short_Literal	0xf
0084 00e8       |    |		Load_Encached	Character_Cache
0085 02a0       |    |		Declare_Subprogram	Null_Subprogram
0086 4801       |H   |		Short_Literal	0x1
0087 035d       | ]  |		Declare_Type	Array,Defined
0088 00d8       |    |		Load_Top	At_Offset_0
0089 0337       | 7  |		Declare_Variable	Array
008a 00d8       |    |		Load_Top	At_Offset_0
008b 0335       | 5  |		Declare_Variable	Array,Duplicate
008c 00cd       |    |		Action	Spare6_Action
008d 4830       |H0  |		Short_Literal	0x30
008e 4800       |H   |		Short_Literal	0x0
008f 00da       |    |		Load_Top	At_Offset_2
0090 01d6       |    |		Execute	Vector,Field_Write
0091 4831       |H1  |		Short_Literal	0x31
0092 4801       |H   |		Short_Literal	0x1
0093 00da       |    |		Load_Top	At_Offset_2
0094 01d6       |    |		Execute	Vector,Field_Write
0095 4832       |H2  |		Short_Literal	0x32
0096 4802       |H   |		Short_Literal	0x2
0097 00da       |    |		Load_Top	At_Offset_2
0098 01d6       |    |		Execute	Vector,Field_Write
0099 4833       |H3  |		Short_Literal	0x33
009a 4803       |H   |		Short_Literal	0x3
009b 00da       |    |		Load_Top	At_Offset_2
009c 01d6       |    |		Execute	Vector,Field_Write
009d 4834       |H4  |		Short_Literal	0x34
009e 4804       |H   |		Short_Literal	0x4
009f 00da       |    |		Load_Top	At_Offset_2
00a0 01d6       |    |		Execute	Vector,Field_Write
00a1 4835       |H5  |		Short_Literal	0x35
00a2 4805       |H   |		Short_Literal	0x5
00a3 00da       |    |		Load_Top	At_Offset_2
00a4 01d6       |    |		Execute	Vector,Field_Write
00a5 4836       |H6  |		Short_Literal	0x36
00a6 4806       |H   |		Short_Literal	0x6
00a7 00da       |    |		Load_Top	At_Offset_2
00a8 01d6       |    |		Execute	Vector,Field_Write
00a9 4837       |H7  |		Short_Literal	0x37
00aa 4807       |H   |		Short_Literal	0x7
00ab 00da       |    |		Load_Top	At_Offset_2
00ac 01d6       |    |		Execute	Vector,Field_Write
00ad 4838       |H8  |		Short_Literal	0x38
00ae 4808       |H   |		Short_Literal	0x8
00af 00da       |    |		Load_Top	At_Offset_2
00b0 01d6       |    |		Execute	Vector,Field_Write
00b1 4839       |H9  |		Short_Literal	0x39
00b2 4809       |H   |		Short_Literal	0x9
00b3 00da       |    |		Load_Top	At_Offset_2
00b4 01d6       |    |		Execute	Vector,Field_Write
00b5 4841       |HA  |		Short_Literal	0x41
00b6 480a       |H   |		Short_Literal	0xa
00b7 00da       |    |		Load_Top	At_Offset_2
00b8 01d6       |    |		Execute	Vector,Field_Write
00b9 4842       |HB  |		Short_Literal	0x42
00ba 480b       |H   |		Short_Literal	0xb
00bb 00da       |    |		Load_Top	At_Offset_2
00bc 01d6       |    |		Execute	Vector,Field_Write
00bd 4843       |HC  |		Short_Literal	0x43
00be 480c       |H   |		Short_Literal	0xc
00bf 00da       |    |		Load_Top	At_Offset_2
00c0 01d6       |    |		Execute	Vector,Field_Write
00c1 4844       |HD  |		Short_Literal	0x44
00c2 480d       |H   |		Short_Literal	0xd
00c3 00da       |    |		Load_Top	At_Offset_2
00c4 01d6       |    |		Execute	Vector,Field_Write
00c5 4845       |HE  |		Short_Literal	0x45
00c6 480e       |H   |		Short_Literal	0xe
00c7 00da       |    |		Load_Top	At_Offset_2
00c8 01d6       |    |		Execute	Vector,Field_Write
00c9 4846       |HF  |		Short_Literal	0x46
00ca 480f       |H   |		Short_Literal	0xf
00cb 00da       |    |		Load_Top	At_Offset_2
00cc 01d6       |    |		Execute	Vector,Field_Write
00cd 00d9       |    |		Load_Top	At_Offset_1
00ce 01d4       |    |		Execute	Vector,Structure_Write
00cf e21b       |    |		Load	0x1,0x1b
00d0 020f       |    |		Execute	Module,Activate
00d1 029d 029b  |    |		Declare_Subprogram	INIT_0298,For_Outer_Call
00d3 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
00d4 00c7       |    |		Action	Elaborate_Subprogram
00d5 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
00d6 00c7       |    |		Action	Elaborate_Subprogram
00d7 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
00d8 00c7       |    |		Action	Elaborate_Subprogram
00d9 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
00da 00c7       |    |		Action	Elaborate_Subprogram
00db 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
00dc 00c7       |    |		Action	Elaborate_Subprogram
00dd 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
00de 00c7       |    |		Action	Elaborate_Subprogram
00df 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
00e0 00c7       |    |		Action	Elaborate_Subprogram
00e1 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
00e2 00c7       |    |		Action	Elaborate_Subprogram
00e3 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
00e4 00c7       |    |		Action	Elaborate_Subprogram
00e5 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
00e6 00c7       |    |		Action	Elaborate_Subprogram
00e7			BODY_0008:
00e7 00bc       |    |		Action	Signal_Activated
00e8 00bb       |    |		Action	Signal_Completion
00e9 0000 0000  |    |		.BLANK	0000[0x7]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 0104       |    |		.CONST	0x0104								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0004       |    |		.CONST	0x0004								; Number of locals
00f3			INIT_00f0:
00f3 4801       |H   |		Short_Literal	0x1
00f4 00db       |    |		Load_Top	At_Offset_3
00f5 01db       |    |		Execute	Vector,Length
00f6 0901       |    |		Execute_Immediate	Binary_Scale,0x1
00f7 0a03       |    |		Execute_Immediate	Plus,0x3
00f8 00d8       |    |		Load_Top	At_Offset_0
00f9 00e2       |    |		Load_Encached	Integer_Cache
00fa 0260       | `  |		Execute	Discrete,In_Type
00fb 7001       |p   |		Jump_Nonzero	0xfd
00fc 0801       |    |		Execute_Immediate	Raise,0x1
00fd 00e9       |    |		Load_Encached	String_Cache
00fe 035b       | [  |		Declare_Type	Array,Constrained
00ff 0337       | 7  |		Declare_Variable	Array
0100 00e3       |    |		Load_Encached	Natural_Cache
0101 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0102 029f 02b3  |    |		Declare_Subprogram	INIT_02b0,For_Call
0104			BODY_00f0:
0104 4827       |H'  |		Short_Literal	0x27
0105 8404       |    |		Call	0x2,0x4
0106 00cf       |    |		Action	Mark_Auxiliary
0107 e5ff       |    |		Load	0x2,-0x1
0108 01d9       |    |		Execute	Vector,Reverse_Bounds
0109 0263       | c  |		Execute	Discrete,Above_Bound
010a 7011       |p   |		Jump_Nonzero	0x11c
010b 00d8       |    |		Load_Top	At_Offset_0
010c e5ff       |    |		Load	0x2,-0x1
010d 01d7       |    |		Execute	Vector,Field_Read
010e 09fc       |    |		Execute_Immediate	Binary_Scale,-0x4
010f e229       | )  |		Load	0x1,0x29
0110 01d7       |    |		Execute	Vector,Field_Read
0111 8404       |    |		Call	0x2,0x4
0112 00d8       |    |		Load_Top	At_Offset_0
0113 e5ff       |    |		Load	0x2,-0x1
0114 01d7       |    |		Execute	Vector,Field_Read
0115 480f       |H   |		Short_Literal	0xf
0116 0279       | y  |		Execute	Discrete,And
0117 e229       | )  |		Load	0x1,0x29
0118 01d7       |    |		Execute	Vector,Field_Read
0119 8404       |    |		Call	0x2,0x4
011a 00c8       |    |		Action	Pop_Auxiliary_Range
011b 3fef       |?   |		Loop_Increasing	0x10b
011c 00ce       |    |		Action	Pop_Auxiliary
011d 4827       |H'  |		Short_Literal	0x27
011e 8404       |    |		Call	0x2,0x4
011f 4848       |HH  |		Short_Literal	0x48
0120 8404       |    |		Call	0x2,0x4
0121 00d9       |    |		Load_Top	At_Offset_1
0122 00db       |    |		Load_Top	At_Offset_3
0123 01dc       |    |		Execute	Vector,Last
0124 027f       |    |		Execute	Discrete,Equal
0125 7001       |p   |		Jump_Nonzero	0x127
0126 0887       |    |		Execute_Immediate	Raise,0x87
0127 e5ff       |    |		Load	0x2,-0x1
0128 822a       | *  |		Call	0x1,0x2a
0129 680d       |h   |		Jump_Zero	0x137
012a 00da       |    |		Load_Top	At_Offset_2
012b 0092 0422  |   "|		Action	Push_String_Extended,0x422					; " (\x22"
012d 01cc       |    |		Execute	Vector,Catenate
012e e5ff       |    |		Load	0x2,-0x1
012f 8226       | &  |		Call	0x1,0x26
0130 01cc       |    |		Execute	Vector,Catenate
0131 0092 0423  |   #|		Action	Push_String_Extended,0x423					; "\x22)"
0133 01cc       |    |		Execute	Vector,Catenate
0134 00e9       |    |		Load_Encached	String_Cache
0135 01c6       |    |		Execute	Vector,Convert_To_Formal
0136 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0137 00da       |    |		Load_Top	At_Offset_2
0138 00e9       |    |		Load_Encached	String_Cache
0139 01c6       |    |		Execute	Vector,Convert_To_Formal
013a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
013b 0000       |    |		.XXX[0x1]
013c 7fff ffff  |    |		.LITERAL	{0x7fffffff, 0xffffffff}
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0143       | C  |		.CONST	0x0143								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0001       |    |		.CONST	0x0001								; Number of locals
0143			BODY_0140:
0143			INIT_0140:
0143 4607       |F   |		Jump_Case	0x8
0144 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x0
0145 7806       |x   |		Jump	0x14c								; case 0x1
0146 7809       |x   |		Jump	0x150								; case 0x2
0147 780d       |x   |		Jump	0x155								; case 0x3
0148 7810       |x   |		Jump	0x159								; case 0x4
0149 7811       |x   |		Jump	0x15b								; case 0x5
014a 7812       |x   |		Jump	0x15d								; case 0x6
014b 7815       |x   |		Jump	0x161								; case 0x7
014c 00da       |    |		Load_Top	At_Offset_2
014d 0091 041e  |    |		Action	Push_String_Extended_Indexed,0x41e				; "UNIVERSAL"
014f 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0150 00db       |    |		Load_Top	At_Offset_3
0151 00db       |    |		Load_Top	At_Offset_3
0152 00e0       |    |		Load_Encached	Standard_Cache
0153 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0154 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0155 00da       |    |		Load_Top	At_Offset_2
0156 00e0       |    |		Load_Encached	Standard_Cache
0157 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0158 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0159 00db       |    |		Load_Top	At_Offset_3
015a 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
015b 00db       |    |		Load_Top	At_Offset_3
015c 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
015d e217       |    |		Load	0x1,0x17
015e 00dc       |    |		Load_Top	At_Offset_4
015f 0267       | g  |		Execute	Discrete,Predecessor
0160 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0161 e217       |    |		Load	0x1,0x17
0162 00dc       |    |		Load_Top	At_Offset_4
0163 0268       | h  |		Execute	Discrete,Successor
0164 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0165 0000 0000  |    |		.XXX[0x3]
0167 0000       |    |
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 00da       |    |		Load_Top	At_Offset_2
016c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
016d 4603       |F   |		Jump_Case	0x4
016e 780d       |x   |		Jump	0x17c								; case 0x0
016f 7835       |x5  |		Jump	0x1a5								; case 0x1
0170 7843       |xC  |		Jump	0x1b4								; case 0x2
0171 7800       |x   |		Jump	0x172								; case 0x3
0172 485d       |H]  |		Short_Literal	0x5d
0173 0092 0424  |   $|		Action	Push_String_Extended,0x424					; "[PRIVATE"
0175 e5ff       |    |		Load	0x2,-0x1
0176 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0177 00e0       |    |		Load_Encached	Standard_Cache
0178 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0179 01cc       |    |		Execute	Vector,Catenate
017a 01cb       |    |		Execute	Vector,Append
017b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
017c 00da       |    |		Load_Top	At_Offset_2
017d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
017e 00d8       |    |		Load_Top	At_Offset_0
017f 0c07       |    |		Execute_Immediate	Greater_Equal,0x7
0180 700b       |p   |		Jump_Nonzero	0x18c
0181 4606       |F   |		Jump_Case	0x7
0182 780a       |x   |		Jump	0x18d								; case 0x0
0183 7818       |x   |		Jump	0x19c								; case 0x1
0184 781a       |x   |		Jump	0x19f								; case 0x2
0185 7807       |x   |		Jump	0x18d								; case 0x3
0186 781b       |x   |		Jump	0x1a2								; case 0x4
0187 7805       |x   |		Jump	0x18d								; case 0x5
0188 7800       |x   |		Jump	0x189								; case 0x6
0189 0092 0425  |   %|		Action	Push_String_Extended,0x425					; "Object_Identifier"
018b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
018c 00d1       |    |		Pop_Control	Pop_Count_1
018d 485d       |H]  |		Short_Literal	0x5d
018e 485b       |H[  |		Short_Literal	0x5b
018f e5ff       |    |		Load	0x2,-0x1
0190 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0191 e217       |    |		Load	0x1,0x17
0192 011c       |    |		Execute	Any,Convert_Unchecked
0193 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0194 01ca       |    |		Execute	Vector,Prepend
0195 e5ff       |    |		Load	0x2,-0x1
0196 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0197 00e0       |    |		Load_Encached	Standard_Cache
0198 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0199 01cc       |    |		Execute	Vector,Catenate
019a 01cb       |    |		Execute	Vector,Append
019b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
019c 0092 0426  |   &|		Action	Push_String_Extended,0x426					; "Boolean"
019e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
019f 0092 0427  |   '|		Action	Push_String_Extended,0x427					; "Integer"
01a1 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01a2 0092 0428  |   (|		Action	Push_String_Extended,0x428					; "Octet_String"
01a4 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01a5 485d       |H]  |		Short_Literal	0x5d
01a6 485b       |H[  |		Short_Literal	0x5b
01a7 e5ff       |    |		Load	0x2,-0x1
01a8 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01a9 e217       |    |		Load	0x1,0x17
01aa 011c       |    |		Execute	Any,Convert_Unchecked
01ab 1c01       |    |		Execute_Immediate	Run_Utility,0x1
01ac 01ca       |    |		Execute	Vector,Prepend
01ad e5ff       |    |		Load	0x2,-0x1
01ae 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01af 00e0       |    |		Load_Encached	Standard_Cache
01b0 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01b1 01cc       |    |		Execute	Vector,Catenate
01b2 01cb       |    |		Execute	Vector,Append
01b3 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01b4 485d       |H]  |		Short_Literal	0x5d
01b5 485b       |H[  |		Short_Literal	0x5b
01b6 e5ff       |    |		Load	0x2,-0x1
01b7 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01b8 00e0       |    |		Load_Encached	Standard_Cache
01b9 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01ba 01ca       |    |		Execute	Vector,Prepend
01bb 01cb       |    |		Execute	Vector,Append
01bc 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01bd 0000 0000  |    |		.XXX[0x3]
01bf 0000       |    |
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c5       |    |		.CONST	0x01c5								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0002       |    |		.CONST	0x0002								; Number of locals
01c3			INIT_01c0:
01c3 029f 02c3  |    |		Declare_Subprogram	INIT_02c0,For_Call
01c5			BODY_01c0:
01c5 00cf       |    |		Action	Mark_Auxiliary
01c6 e5ff       |    |		Load	0x2,-0x1
01c7 01d9       |    |		Execute	Vector,Reverse_Bounds
01c8 0263       | c  |		Execute	Discrete,Above_Bound
01c9 7003       |p   |		Jump_Nonzero	0x1cd
01ca 8402       |    |		Call	0x2,0x2
01cb 00c8       |    |		Action	Pop_Auxiliary_Range
01cc 3ffd       |?   |		Loop_Increasing	0x1ca
01cd 00ce       |    |		Action	Pop_Auxiliary
01ce 4800       |H   |		Short_Literal	0x0
01cf 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01d5       |    |		.CONST	0x01d5								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0002       |    |		.CONST	0x0002								; Number of locals
01d3			INIT_01d0:
01d3 029f 02eb  |    |		Declare_Subprogram	INIT_02e8,For_Call
01d5			BODY_01d0:
01d5 00cf       |    |		Action	Mark_Auxiliary
01d6 e5ff       |    |		Load	0x2,-0x1
01d7 01d9       |    |		Execute	Vector,Reverse_Bounds
01d8 0263       | c  |		Execute	Discrete,Above_Bound
01d9 7003       |p   |		Jump_Nonzero	0x1dd
01da 8402       |    |		Call	0x2,0x2
01db 00c8       |    |		Action	Pop_Auxiliary_Range
01dc 3ffd       |?   |		Loop_Increasing	0x1da
01dd 00ce       |    |		Action	Pop_Auxiliary
01de 4800       |H   |		Short_Literal	0x0
01df 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01e0 ; --------------------------------------------------------------------------------------
01e0 ; SUBPROGRAM
01e0 ; --------------------------------------------------------------------------------------
01e0 01e3       |    |		.CONST	0x01e3								; Address of begin
01e1 0004       |    |		.CONST	0x0004								; Address of exception handler
01e2 0001       |    |		.CONST	0x0001								; Number of locals
01e3			BODY_01e0:
01e3			INIT_01e0:
01e3 00da       |    |		Load_Top	At_Offset_2
01e4 e5fe       |    |		Load	0x2,-0x2
01e5 01df       |    |		Execute	Vector,Equal
01e6 7004       |p   |		Jump_Nonzero	0x1eb
01e7 00db       |    |		Load_Top	At_Offset_3
01e8 00db       |    |		Load_Top	At_Offset_3
01e9 821e       |    |		Call	0x1,0x1e
01ea 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01eb 4801       |H   |		Short_Literal	0x1
01ec 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01ed 0000 0000  |    |		.XXX[0x3]
01ef 0000       |    |
01f0 ; --------------------------------------------------------------------------------------
01f0 ; SUBPROGRAM
01f0 ; --------------------------------------------------------------------------------------
01f0 01f3       |    |		.CONST	0x01f3								; Address of begin
01f1 0004       |    |		.CONST	0x0004								; Address of exception handler
01f2 0001       |    |		.CONST	0x0001								; Number of locals
01f3			BODY_01f0:
01f3			INIT_01f0:
01f3 00da       |    |		Load_Top	At_Offset_2
01f4 e5fe       |    |		Load	0x2,-0x2
01f5 01df       |    |		Execute	Vector,Equal
01f6 7004       |p   |		Jump_Nonzero	0x1fb
01f7 00db       |    |		Load_Top	At_Offset_3
01f8 00db       |    |		Load_Top	At_Offset_3
01f9 821f       |    |		Call	0x1,0x1f
01fa 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01fb 4801       |H   |		Short_Literal	0x1
01fc 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01fd 0000 0000  |    |		.XXX[0x3]
01ff 0000       |    |
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 00da       |    |		Load_Top	At_Offset_2
0204 01db       |    |		Execute	Vector,Length
0205 e5fe       |    |		Load	0x2,-0x2
0206 01db       |    |		Execute	Vector,Length
0207 027a       | z  |		Execute	Discrete,Less_Equal
0208 6812       |h   |		Jump_Zero	0x21b
0209 00da       |    |		Load_Top	At_Offset_2
020a e5fe       |    |		Load	0x2,-0x2
020b 01dd       |    |		Execute	Vector,First
020c e5fe       |    |		Load	0x2,-0x2
020d 01dd       |    |		Execute	Vector,First
020e e5ff       |    |		Load	0x2,-0x1
020f 01db       |    |		Execute	Vector,Length
0210 0273       | s  |		Execute	Discrete,Plus
0211 0aff       |    |		Execute_Immediate	Plus,-0x1
0212 00d8       |    |		Load_Top	At_Offset_0
0213 00e2       |    |		Load_Encached	Integer_Cache
0214 0260       | `  |		Execute	Discrete,In_Type
0215 7001       |p   |		Jump_Nonzero	0x217
0216 0801       |    |		Execute_Immediate	Raise,0x1
0217 e5fe       |    |		Load	0x2,-0x2
0218 01cf       |    |		Execute	Vector,Slice_Read
0219 01df       |    |		Execute	Vector,Equal
021a 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
021b 4800       |H   |		Short_Literal	0x0
021c 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
021d 0000 0000  |    |		.XXX[0x3]
021f 0000       |    |
0220 ; --------------------------------------------------------------------------------------
0220 ; SUBPROGRAM
0220 ; --------------------------------------------------------------------------------------
0220 0225       | %  |		.CONST	0x0225								; Address of begin
0221 0004       |    |		.CONST	0x0004								; Address of exception handler
0222 0002       |    |		.CONST	0x0002								; Number of locals
0223			INIT_0220:
0223 029f 0313  |    |		Declare_Subprogram	INIT_0310,For_Call
0225			BODY_0220:
0225 00db       |    |		Load_Top	At_Offset_3
0226 e5fe       |    |		Load	0x2,-0x2
0227 8222       | "  |		Call	0x1,0x22
0228 6812       |h   |		Jump_Zero	0x23b
0229 487d       |H}  |		Short_Literal	0x7d
022a 487b       |H{  |		Short_Literal	0x7b
022b e5fd       |    |		Load	0x2,-0x3
022c 01ca       |    |		Execute	Vector,Prepend
022d e5ff       |    |		Load	0x2,-0x1
022e 01dd       |    |		Execute	Vector,First
022f e5fe       |    |		Load	0x2,-0x2
0230 01db       |    |		Execute	Vector,Length
0231 0273       | s  |		Execute	Discrete,Plus
0232 00d8       |    |		Load_Top	At_Offset_0
0233 00e3       |    |		Load_Encached	Natural_Cache
0234 0260       | `  |		Execute	Discrete,In_Type
0235 7001       |p   |		Jump_Nonzero	0x237
0236 0801       |    |		Execute_Immediate	Raise,0x1
0237 8402       |    |		Call	0x2,0x2
0238 01cc       |    |		Execute	Vector,Catenate
0239 01cb       |    |		Execute	Vector,Append
023a 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
023b 487d       |H}  |		Short_Literal	0x7d
023c 487b       |H{  |		Short_Literal	0x7b
023d e5ff       |    |		Load	0x2,-0x1
023e 01dd       |    |		Execute	Vector,First
023f 00d8       |    |		Load_Top	At_Offset_0
0240 00e3       |    |		Load_Encached	Natural_Cache
0241 0260       | `  |		Execute	Discrete,In_Type
0242 7001       |p   |		Jump_Nonzero	0x244
0243 0801       |    |		Execute_Immediate	Raise,0x1
0244 8402       |    |		Call	0x2,0x2
0245 01ca       |    |		Execute	Vector,Prepend
0246 01cb       |    |		Execute	Vector,Append
0247 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 0250       | P  |		.CONST	0x0250								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 0002       |    |		.CONST	0x0002								; Number of locals
024b			INIT_0248:
024b 00da       |    |		Load_Top	At_Offset_2
024c 01da       |    |		Execute	Vector,Bounds
024d e224       | $  |		Load	0x1,0x24
024e 035b       | [  |		Declare_Type	Array,Constrained
024f 0337       | 7  |		Declare_Variable	Array
0250			BODY_0248:
0250 00cf       |    |		Action	Mark_Auxiliary
0251 e5ff       |    |		Load	0x2,-0x1
0252 01d9       |    |		Execute	Vector,Reverse_Bounds
0253 0263       | c  |		Execute	Discrete,Above_Bound
0254 700e       |p   |		Jump_Nonzero	0x263
0255 00d8       |    |		Load_Top	At_Offset_0
0256 e5ff       |    |		Load	0x2,-0x1
0257 01d7       |    |		Execute	Vector,Field_Read
0258 00d8       |    |		Load_Top	At_Offset_0
0259 e002       |    |		Load	0x0,0x2
025a 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
025b 0260       | `  |		Execute	Discrete,In_Type
025c 7001       |p   |		Jump_Nonzero	0x25e
025d 0801       |    |		Execute_Immediate	Raise,0x1
025e 00d9       |    |		Load_Top	At_Offset_1
025f e402       |    |		Load	0x2,0x2
0260 01d6       |    |		Execute	Vector,Field_Write
0261 00c8       |    |		Action	Pop_Auxiliary_Range
0262 3ff2       |?   |		Loop_Increasing	0x255
0263 00ce       |    |		Action	Pop_Auxiliary
0264 00d8       |    |		Load_Top	At_Offset_0
0265 e224       | $  |		Load	0x1,0x24
0266 01c6       |    |		Execute	Vector,Convert_To_Formal
0267 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0268 ; --------------------------------------------------------------------------------------
0268 ; SUBPROGRAM
0268 ; --------------------------------------------------------------------------------------
0268 0276       | v  |		.CONST	0x0276								; Address of begin
0269 0004       |    |		.CONST	0x0004								; Address of exception handler
026a 0002       |    |		.CONST	0x0002								; Number of locals
026b			INIT_0268:
026b 4801       |H   |		Short_Literal	0x1
026c 00db       |    |		Load_Top	At_Offset_3
026d 01db       |    |		Execute	Vector,Length
026e 00d8       |    |		Load_Top	At_Offset_0
026f 00e2       |    |		Load_Encached	Integer_Cache
0270 0260       | `  |		Execute	Discrete,In_Type
0271 7001       |p   |		Jump_Nonzero	0x273
0272 0801       |    |		Execute_Immediate	Raise,0x1
0273 00e9       |    |		Load_Encached	String_Cache
0274 035b       | [  |		Declare_Type	Array,Constrained
0275 0337       | 7  |		Declare_Variable	Array
0276			BODY_0268:
0276 00cf       |    |		Action	Mark_Auxiliary
0277 00d9       |    |		Load_Top	At_Offset_1
0278 01d9       |    |		Execute	Vector,Reverse_Bounds
0279 0263       | c  |		Execute	Discrete,Above_Bound
027a 7011       |p   |		Jump_Nonzero	0x28c
027b e5ff       |    |		Load	0x2,-0x1
027c 01dd       |    |		Execute	Vector,First
027d 00d9       |    |		Load_Top	At_Offset_1
027e 0aff       |    |		Execute_Immediate	Plus,-0x1
027f 0273       | s  |		Execute	Discrete,Plus
0280 e5ff       |    |		Load	0x2,-0x1
0281 01d7       |    |		Execute	Vector,Field_Read
0282 00d8       |    |		Load_Top	At_Offset_0
0283 00e8       |    |		Load_Encached	Character_Cache
0284 0260       | `  |		Execute	Discrete,In_Type
0285 7001       |p   |		Jump_Nonzero	0x287
0286 0801       |    |		Execute_Immediate	Raise,0x1
0287 00d9       |    |		Load_Top	At_Offset_1
0288 e402       |    |		Load	0x2,0x2
0289 01d6       |    |		Execute	Vector,Field_Write
028a 00c8       |    |		Action	Pop_Auxiliary_Range
028b 3fef       |?   |		Loop_Increasing	0x27b
028c 00ce       |    |		Action	Pop_Auxiliary
028d 00d8       |    |		Load_Top	At_Offset_0
028e 00e9       |    |		Load_Encached	String_Cache
028f 01c6       |    |		Execute	Vector,Convert_To_Formal
0290 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0291 0000 0000  |    |		.BLANK	0000[0x7]
0298 ; --------------------------------------------------------------------------------------
0298 ; SUBPROGRAM
0298 ; --------------------------------------------------------------------------------------
0298 029b       |    |		.CONST	0x029b								; Address of begin
0299 0004       |    |		.CONST	0x0004								; Address of exception handler
029a 0001       |    |		.CONST	0x0001								; Number of locals
029b			BODY_0298:
029b			INIT_0298:
029b 00cf       |    |		Action	Mark_Auxiliary
029c 00db       |    |		Load_Top	At_Offset_3
029d 01d9       |    |		Execute	Vector,Reverse_Bounds
029e 0263       | c  |		Execute	Discrete,Above_Bound
029f 700b       |p   |		Jump_Nonzero	0x2ab
02a0 00d8       |    |		Load_Top	At_Offset_0
02a1 e5ff       |    |		Load	0x2,-0x1
02a2 01d7       |    |		Execute	Vector,Field_Read
02a3 4820       |H   |		Short_Literal	0x20
02a4 487e       |H~  |		Short_Literal	0x7e
02a5 0261       | a  |		Execute	Discrete,Not_In_Range
02a6 6802       |h   |		Jump_Zero	0x2a9
02a7 4800       |H   |		Short_Literal	0x0
02a8 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02a9 00c8       |    |		Action	Pop_Auxiliary_Range
02aa 3ff5       |?   |		Loop_Increasing	0x2a0
02ab 00ce       |    |		Action	Pop_Auxiliary
02ac 4801       |H   |		Short_Literal	0x1
02ad 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02ae 0000 0000  |    |		.XXX[0x2]
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 e403       |    |		Load	0x2,0x3
02b4 0a01       |    |		Execute_Immediate	Plus,0x1
02b5 c403       |    |		Store	0x2,0x3
02b6 00da       |    |		Load_Top	At_Offset_2
02b7 e403       |    |		Load	0x2,0x3
02b8 e402       |    |		Load	0x2,0x2
02b9 01d6       |    |		Execute	Vector,Field_Write
02ba 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
02bb 0000 0000  |    |		.BLANK	0000[0x5]
02c0 ; --------------------------------------------------------------------------------------
02c0 ; SUBPROGRAM
02c0 ; --------------------------------------------------------------------------------------
02c0 02cc       |    |		.CONST	0x02cc								; Address of begin
02c1 0004       |    |		.CONST	0x0004								; Address of exception handler
02c2 0002       |    |		.CONST	0x0002								; Number of locals
02c3			INIT_02c0:
02c3 e5fe       |    |		Load	0x2,-0x2
02c4 01dd       |    |		Execute	Vector,First
02c5 e405       |    |		Load	0x2,0x5
02c6 e5ff       |    |		Load	0x2,-0x1
02c7 01dd       |    |		Execute	Vector,First
02c8 0272       | r  |		Execute	Discrete,Minus
02c9 0273       | s  |		Execute	Discrete,Plus
02ca 00e3       |    |		Load_Encached	Natural_Cache
02cb 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
02cc			BODY_02c0:
02cc 00d8       |    |		Load_Top	At_Offset_0
02cd e5fe       |    |		Load	0x2,-0x2
02ce 01da       |    |		Execute	Vector,Bounds
02cf 0261       | a  |		Execute	Discrete,Not_In_Range
02d0 6803       |h   |		Jump_Zero	0x2d4
02d1 4801       |H   |		Short_Literal	0x1
02d2 00cb       |    |		Action	Pop_Block_With_Result
02d3 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02d4 e405       |    |		Load	0x2,0x5
02d5 e5ff       |    |		Load	0x2,-0x1
02d6 01d7       |    |		Execute	Vector,Field_Read
02d7 00d9       |    |		Load_Top	At_Offset_1
02d8 e5fe       |    |		Load	0x2,-0x2
02d9 01d7       |    |		Execute	Vector,Field_Read
02da 027e       | ~  |		Execute	Discrete,Not_Equal
02db 6809       |h   |		Jump_Zero	0x2e5
02dc e405       |    |		Load	0x2,0x5
02dd e5ff       |    |		Load	0x2,-0x1
02de 01d7       |    |		Execute	Vector,Field_Read
02df 00d9       |    |		Load_Top	At_Offset_1
02e0 e5fe       |    |		Load	0x2,-0x2
02e1 01d7       |    |		Execute	Vector,Field_Read
02e2 027d       | }  |		Execute	Discrete,Greater
02e3 00cb       |    |		Action	Pop_Block_With_Result
02e4 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02e5 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02e6 0000 0000  |    |		.XXX[0x2]
02e8 ; --------------------------------------------------------------------------------------
02e8 ; SUBPROGRAM
02e8 ; --------------------------------------------------------------------------------------
02e8 02f4       |    |		.CONST	0x02f4								; Address of begin
02e9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ea 0002       |    |		.CONST	0x0002								; Number of locals
02eb			INIT_02e8:
02eb e5fe       |    |		Load	0x2,-0x2
02ec 01dd       |    |		Execute	Vector,First
02ed e405       |    |		Load	0x2,0x5
02ee e5ff       |    |		Load	0x2,-0x1
02ef 01dd       |    |		Execute	Vector,First
02f0 0272       | r  |		Execute	Discrete,Minus
02f1 0273       | s  |		Execute	Discrete,Plus
02f2 00e3       |    |		Load_Encached	Natural_Cache
02f3 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
02f4			BODY_02e8:
02f4 00d8       |    |		Load_Top	At_Offset_0
02f5 e5fe       |    |		Load	0x2,-0x2
02f6 01da       |    |		Execute	Vector,Bounds
02f7 0261       | a  |		Execute	Discrete,Not_In_Range
02f8 6803       |h   |		Jump_Zero	0x2fc
02f9 4800       |H   |		Short_Literal	0x0
02fa 00cb       |    |		Action	Pop_Block_With_Result
02fb 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02fc e405       |    |		Load	0x2,0x5
02fd e5ff       |    |		Load	0x2,-0x1
02fe 01d7       |    |		Execute	Vector,Field_Read
02ff 00d9       |    |		Load_Top	At_Offset_1
0300 e5fe       |    |		Load	0x2,-0x2
0301 01d7       |    |		Execute	Vector,Field_Read
0302 027e       | ~  |		Execute	Discrete,Not_Equal
0303 6809       |h   |		Jump_Zero	0x30d
0304 e405       |    |		Load	0x2,0x5
0305 e5ff       |    |		Load	0x2,-0x1
0306 01d7       |    |		Execute	Vector,Field_Read
0307 00d9       |    |		Load_Top	At_Offset_1
0308 e5fe       |    |		Load	0x2,-0x2
0309 01d7       |    |		Execute	Vector,Field_Read
030a 027c       | |  |		Execute	Discrete,Less
030b 00cb       |    |		Action	Pop_Block_With_Result
030c 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
030d 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
030e 0000 0000  |    |		.XXX[0x2]
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 e5ff       |    |		Load	0x2,-0x1
0315 01da       |    |		Execute	Vector,Bounds
0316 0262       | b  |		Execute	Discrete,In_Range
0317 680f       |h   |		Jump_Zero	0x327
0318 00da       |    |		Load_Top	At_Offset_2
0319 e5ff       |    |		Load	0x2,-0x1
031a 01d7       |    |		Execute	Vector,Field_Read
031b 00e0       |    |		Load_Encached	Standard_Cache
031c 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
031d 00db       |    |		Load_Top	At_Offset_3
031e 0a01       |    |		Execute_Immediate	Plus,0x1
031f 00d8       |    |		Load_Top	At_Offset_0
0320 00e3       |    |		Load_Encached	Natural_Cache
0321 0260       | `  |		Execute	Discrete,In_Type
0322 7001       |p   |		Jump_Nonzero	0x324
0323 0801       |    |		Execute_Immediate	Raise,0x1
0324 8402       |    |		Call	0x2,0x2
0325 01cc       |    |		Execute	Vector,Catenate
0326 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0327 00ea       |    |		Load_Encached	Null_String_Cache
0328 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0329 0000 0000  |    |		.BLANK	0000[0x7]
0330 ; --------------------------------------------------------------------------------------
0330 ; SUBPROGRAM
0330 ; --------------------------------------------------------------------------------------
0330 0400       |    |		.CONST	0x0400								; Address of begin
0331 0004       |    |		.CONST	0x0004								; Address of exception handler
0332 0021       | !  |		.CONST	0x0021								; Number of locals
0333			INIT_0330:
0333 e001       |    |		Load	0x0,0x1
0334 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0335 0322       | "  |		Declare_Variable	Record
0336 4800       |H   |		Short_Literal	0x0
0337 00d9       |    |		Load_Top	At_Offset_1
0338 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0339 4801       |H   |		Short_Literal	0x1
033a 00d9       |    |		Load_Top	At_Offset_1
033b 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
033c 0129       | )  |		Execute	Any,Make_Visible
033d e001       |    |		Load	0x0,0x1
033e 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
033f 0322       | "  |		Declare_Variable	Record
0340 4800       |H   |		Short_Literal	0x0
0341 00d9       |    |		Load_Top	At_Offset_1
0342 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0343 4802       |H   |		Short_Literal	0x2
0344 00d9       |    |		Load_Top	At_Offset_1
0345 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0346 0129       | )  |		Execute	Any,Make_Visible
0347 e001       |    |		Load	0x0,0x1
0348 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0349 0322       | "  |		Declare_Variable	Record
034a 4800       |H   |		Short_Literal	0x0
034b 00d9       |    |		Load_Top	At_Offset_1
034c 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
034d 4803       |H   |		Short_Literal	0x3
034e 00d9       |    |		Load_Top	At_Offset_1
034f 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0350 0129       | )  |		Execute	Any,Make_Visible
0351 e001       |    |		Load	0x0,0x1
0352 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0353 0322       | "  |		Declare_Variable	Record
0354 4800       |H   |		Short_Literal	0x0
0355 00d9       |    |		Load_Top	At_Offset_1
0356 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0357 4804       |H   |		Short_Literal	0x4
0358 00d9       |    |		Load_Top	At_Offset_1
0359 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
035a 0129       | )  |		Execute	Any,Make_Visible
035b e001       |    |		Load	0x0,0x1
035c 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
035d 0322       | "  |		Declare_Variable	Record
035e 4800       |H   |		Short_Literal	0x0
035f 00d9       |    |		Load_Top	At_Offset_1
0360 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0361 4805       |H   |		Short_Literal	0x5
0362 00d9       |    |		Load_Top	At_Offset_1
0363 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0364 0129       | )  |		Execute	Any,Make_Visible
0365 e001       |    |		Load	0x0,0x1
0366 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0367 0322       | "  |		Declare_Variable	Record
0368 4800       |H   |		Short_Literal	0x0
0369 00d9       |    |		Load_Top	At_Offset_1
036a 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
036b 4806       |H   |		Short_Literal	0x6
036c 00d9       |    |		Load_Top	At_Offset_1
036d 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
036e 0129       | )  |		Execute	Any,Make_Visible
036f e001       |    |		Load	0x0,0x1
0370 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0371 0322       | "  |		Declare_Variable	Record
0372 4800       |H   |		Short_Literal	0x0
0373 00d9       |    |		Load_Top	At_Offset_1
0374 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0375 4807       |H   |		Short_Literal	0x7
0376 00d9       |    |		Load_Top	At_Offset_1
0377 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0378 0129       | )  |		Execute	Any,Make_Visible
0379 e001       |    |		Load	0x0,0x1
037a 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
037b 0322       | "  |		Declare_Variable	Record
037c 4800       |H   |		Short_Literal	0x0
037d 00d9       |    |		Load_Top	At_Offset_1
037e 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
037f 4808       |H   |		Short_Literal	0x8
0380 00d9       |    |		Load_Top	At_Offset_1
0381 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0382 0129       | )  |		Execute	Any,Make_Visible
0383 e001       |    |		Load	0x0,0x1
0384 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0385 0322       | "  |		Declare_Variable	Record
0386 4800       |H   |		Short_Literal	0x0
0387 00d9       |    |		Load_Top	At_Offset_1
0388 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0389 4810       |H   |		Short_Literal	0x10
038a 00d9       |    |		Load_Top	At_Offset_1
038b 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
038c 0129       | )  |		Execute	Any,Make_Visible
038d e001       |    |		Load	0x0,0x1
038e 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
038f 0322       | "  |		Declare_Variable	Record
0390 4800       |H   |		Short_Literal	0x0
0391 00d9       |    |		Load_Top	At_Offset_1
0392 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0393 4811       |H   |		Short_Literal	0x11
0394 00d9       |    |		Load_Top	At_Offset_1
0395 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0396 0129       | )  |		Execute	Any,Make_Visible
0397 e001       |    |		Load	0x0,0x1
0398 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0399 0322       | "  |		Declare_Variable	Record
039a 4800       |H   |		Short_Literal	0x0
039b 00d9       |    |		Load_Top	At_Offset_1
039c 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
039d 4812       |H   |		Short_Literal	0x12
039e 00d9       |    |		Load_Top	At_Offset_1
039f 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03a0 0129       | )  |		Execute	Any,Make_Visible
03a1 e001       |    |		Load	0x0,0x1
03a2 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03a3 0322       | "  |		Declare_Variable	Record
03a4 4800       |H   |		Short_Literal	0x0
03a5 00d9       |    |		Load_Top	At_Offset_1
03a6 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03a7 4813       |H   |		Short_Literal	0x13
03a8 00d9       |    |		Load_Top	At_Offset_1
03a9 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03aa 0129       | )  |		Execute	Any,Make_Visible
03ab e001       |    |		Load	0x0,0x1
03ac 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03ad 0322       | "  |		Declare_Variable	Record
03ae 4800       |H   |		Short_Literal	0x0
03af 00d9       |    |		Load_Top	At_Offset_1
03b0 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03b1 4814       |H   |		Short_Literal	0x14
03b2 00d9       |    |		Load_Top	At_Offset_1
03b3 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03b4 0129       | )  |		Execute	Any,Make_Visible
03b5 e001       |    |		Load	0x0,0x1
03b6 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03b7 0322       | "  |		Declare_Variable	Record
03b8 4800       |H   |		Short_Literal	0x0
03b9 00d9       |    |		Load_Top	At_Offset_1
03ba 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03bb 4815       |H   |		Short_Literal	0x15
03bc 00d9       |    |		Load_Top	At_Offset_1
03bd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03be 0129       | )  |		Execute	Any,Make_Visible
03bf e001       |    |		Load	0x0,0x1
03c0 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03c1 0322       | "  |		Declare_Variable	Record
03c2 4800       |H   |		Short_Literal	0x0
03c3 00d9       |    |		Load_Top	At_Offset_1
03c4 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03c5 4816       |H   |		Short_Literal	0x16
03c6 00d9       |    |		Load_Top	At_Offset_1
03c7 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03c8 0129       | )  |		Execute	Any,Make_Visible
03c9 e001       |    |		Load	0x0,0x1
03ca 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03cb 0322       | "  |		Declare_Variable	Record
03cc 4800       |H   |		Short_Literal	0x0
03cd 00d9       |    |		Load_Top	At_Offset_1
03ce 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03cf 4817       |H   |		Short_Literal	0x17
03d0 00d9       |    |		Load_Top	At_Offset_1
03d1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03d2 0129       | )  |		Execute	Any,Make_Visible
03d3 e001       |    |		Load	0x0,0x1
03d4 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03d5 0322       | "  |		Declare_Variable	Record
03d6 4800       |H   |		Short_Literal	0x0
03d7 00d9       |    |		Load_Top	At_Offset_1
03d8 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03d9 4818       |H   |		Short_Literal	0x18
03da 00d9       |    |		Load_Top	At_Offset_1
03db 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03dc 0129       | )  |		Execute	Any,Make_Visible
03dd e001       |    |		Load	0x0,0x1
03de 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03df 0322       | "  |		Declare_Variable	Record
03e0 4800       |H   |		Short_Literal	0x0
03e1 00d9       |    |		Load_Top	At_Offset_1
03e2 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03e3 4819       |H   |		Short_Literal	0x19
03e4 00d9       |    |		Load_Top	At_Offset_1
03e5 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03e6 0129       | )  |		Execute	Any,Make_Visible
03e7 e001       |    |		Load	0x0,0x1
03e8 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03e9 0322       | "  |		Declare_Variable	Record
03ea 4800       |H   |		Short_Literal	0x0
03eb 00d9       |    |		Load_Top	At_Offset_1
03ec 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03ed 481a       |H   |		Short_Literal	0x1a
03ee 00d9       |    |		Load_Top	At_Offset_1
03ef 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03f0 0129       | )  |		Execute	Any,Make_Visible
03f1 e001       |    |		Load	0x0,0x1
03f2 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
03f3 0322       | "  |		Declare_Variable	Record
03f4 4800       |H   |		Short_Literal	0x0
03f5 00d9       |    |		Load_Top	At_Offset_1
03f6 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
03f7 481b       |H   |		Short_Literal	0x1b
03f8 00d9       |    |		Load_Top	At_Offset_1
03f9 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
03fa 0129       | )  |		Execute	Any,Make_Visible
03fb 029a 040b  |    |		Declare_Subprogram	INIT_0408,For_Outer_Call,Visible,Unelaborated
03fd 00bf       |    |		Action	Accept_Activation
03fe 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
03ff 00c7       |    |		Action	Elaborate_Subprogram
0400			BODY_0330:
0400 00bc       |    |		Action	Signal_Activated
0401 00bb       |    |		Action	Signal_Completion
0402 0000 0000  |    |		.BLANK	0000[0x6]
0408 ; --------------------------------------------------------------------------------------
0408 ; SUBPROGRAM
0408 ; --------------------------------------------------------------------------------------
0408 040b       |    |		.CONST	0x040b								; Address of begin
0409 0004       |    |		.CONST	0x0004								; Address of exception handler
040a 0001       |    |		.CONST	0x0001								; Number of locals
040b			BODY_0408:
040b			INIT_0408:
040b 00da       |    |		Load_Top	At_Offset_2
040c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
040d 700e       |p   |		Jump_Nonzero	0x41c
040e 00da       |    |		Load_Top	At_Offset_2
040f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0410 4812       |H   |		Short_Literal	0x12
0411 4816       |H   |		Short_Literal	0x16
0412 0262       | b  |		Execute	Discrete,In_Range
0413 7006       |p   |		Jump_Nonzero	0x41a
0414 00da       |    |		Load_Top	At_Offset_2
0415 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0416 4819       |H   |		Short_Literal	0x19
0417 481b       |H   |		Short_Literal	0x1b
0418 0262       | b  |		Execute	Discrete,In_Range
0419 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
041a 4801       |H   |		Short_Literal	0x1
041b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
041c 4800       |H   |		Short_Literal	0x0
041d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
041e ; --------------------------------------------------------------------------------------
041e ; STRING TABLE
041e ; --------------------------------------------------------------------------------------
041e 0018       |    |		.STRTAB	0x0018->0x042a							; "UNIVERSAL"
041f 001f       |    |		.STRTAB	0x001f->0x042e							; "APPLICATION"
0420 0028       | (  |		.STRTAB	0x0028->0x0434							; "CONTEXT_SPECIFIC"
0421 0036       | 6  |		.STRTAB	0x0036->0x043c							; "PRIVATE_CLASS"
0422 0041       | A  |		.STRTAB	0x0041->0x0442							; " (\x22"
0423 0042       | B  |		.STRTAB	0x0042->0x0444							; "\x22)"
0424 0042       | B  |		.STRTAB	0x0042->0x0445							; "[PRIVATE"
0425 0048       | H  |		.STRTAB	0x0048->0x0449							; "Object_Identifier"
0426 0057       | W  |		.STRTAB	0x0057->0x0451							; "Boolean"
0427 005c       | \  |		.STRTAB	0x005c->0x0455							; "Integer"
0428 0061       | a  |		.STRTAB	0x0061->0x0458							; "Octet_String"
0429 006b       | k  |		.STREND 0x006b->0x045e
042a 554e 4956  |UNIV|		.STRTAB_STRINGS
045f 0000       |    |		.XXX[0x1]
0460 ; --------------------------------------------------------------------------------------
0460 ; Debug Table
0460 ; --------------------------------------------------------------------------------------
0460 0004 000c  |    |		.DEBUG4	0x0004,0x000c,0xac8b,0x0000,0x0001,0x0000
0466 0000 0000  |    |		.BLANK	0000[0x19a]