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

⟦7e6ede562⟧

    Length: 1024 (0x400)
    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 0188       |    |		.CONST	0x0188								; Offset of debug table
0004 0100       |    |		.CONST	0x0100								; Default exception handler - raise instruction
0005 00bb       |    |		.CONST	0x00bb								; Module termination instruction - signal completion
0006 0000       |    |		.CONST	0x0000								; Offset to segment table (only in elab segments)
0007 8001       |    |		.CONST	0x8001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0065       | e  |		.CONST	0x0065								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0025       | %  |		.CONST	0x0025								; Number of locals
000b			INIT_0008:
000b 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated
000d 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
000f 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated
0011 00c4       |    |		Action	Make_Default
0012 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated
0014 029a 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Outer_Call,Visible,Unelaborated
0016 029a 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call,Visible,Unelaborated
0018 029a 00db  |    |		Declare_Subprogram	INIT_00d8,For_Outer_Call,Visible,Unelaborated
001a 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated
001c 0093 0000  |    |		push_full_address	0x0
001e 605d       |`]  |		Indirect_Literal	Discrete,0x7c,{0x80000000, 0x00010000}
001f 0273       | s  |		Execute	Discrete,Plus
0020 e20d       |    |		Load	0x1,0xd
0021 6056       |`V  |		Indirect_Literal	Discrete,0x78,{0x00000000, 0x0000ffff}
0022 0279       | y  |		Execute	Discrete,And
0023 0273       | s  |		Execute	Discrete,Plus
0024 0129       | )  |		Execute	Any,Make_Visible
0025 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated
0027 029a 015b  |   [|		Declare_Subprogram	INIT_0158,For_Outer_Call,Visible,Unelaborated
0029 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
002b 029a 0173  |   s|		Declare_Subprogram	INIT_0170,For_Outer_Call,Visible,Unelaborated
002d 4802       |H   |		Short_Literal	0x2
002e 032b       | +  |		Declare_Type	Record,Incomplete,Visible
002f 00d8       |    |		Load_Top	At_Offset_0
0030 02a0       |    |		Declare_Subprogram	Null_Subprogram
0031 03ae       |    |		Declare_Type	Heap_Access,Defined,Visible
0032 00d8       |    |		Load_Top	At_Offset_0
0033 0129       | )  |		Execute	Any,Make_Visible
0034 c216       |    |		Store	0x1,0x16
0035 4802       |H   |		Short_Literal	0x2
0036 032b       | +  |		Declare_Type	Record,Incomplete,Visible
0037 00d8       |    |		Load_Top	At_Offset_0
0038 02a0       |    |		Declare_Subprogram	Null_Subprogram
0039 03ae       |    |		Declare_Type	Heap_Access,Defined,Visible
003a 00d8       |    |		Load_Top	At_Offset_0
003b 0129       | )  |		Execute	Any,Make_Visible
003c 00bf       |    |		Action	Accept_Activation
003d e002       |    |		Load	0x0,0x2
003e 1b23       | #  |		Execute	Package,Field_Read,Field_Number 0x23
003f 00da       |    |		Load_Top	At_Offset_2
0040 02a0       |    |		Declare_Subprogram	Null_Subprogram
0041 e221       | !  |		Load	0x1,0x21
0042 0326       | &  |		Complete_Type	Record,By_Defining
0043 00db       |    |		Load_Top	At_Offset_3
0044 03a0       |    |		Complete_Type	Heap_Access,By_Component_Completion
0045 e20e       |    |		Load	0x1,0xe
0046 00da       |    |		Load_Top	At_Offset_2
0047 029f 017b  |   {|		Declare_Subprogram	INIT_0178,For_Call
0049 e223       | #  |		Load	0x1,0x23
004a 0326       | &  |		Complete_Type	Record,By_Defining
004b 00d9       |    |		Load_Top	At_Offset_1
004c 03a0       |    |		Complete_Type	Heap_Access,By_Component_Completion
004d 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
004e 00c7       |    |		Action	Elaborate_Subprogram
004f 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0050 00c7       |    |		Action	Elaborate_Subprogram
0051 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0052 00c7       |    |		Action	Elaborate_Subprogram
0053 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0054 00c7       |    |		Action	Elaborate_Subprogram
0055 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
0056 00c7       |    |		Action	Elaborate_Subprogram
0057 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19
0058 00c7       |    |		Action	Elaborate_Subprogram
0059 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
005a 00c7       |    |		Action	Elaborate_Subprogram
005b 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
005c 00c7       |    |		Action	Elaborate_Subprogram
005d 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
005e 00c7       |    |		Action	Elaborate_Subprogram
005f 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0060 00c7       |    |		Action	Elaborate_Subprogram
0061 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0062 00c7       |    |		Action	Elaborate_Subprogram
0063 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0064 00c7       |    |		Action	Elaborate_Subprogram
0065			BODY_0008:
0065 00bc       |    |		Action	Signal_Activated
0066 00bb       |    |		Action	Signal_Completion
0067 0000       |    |		.XXX[0x1]
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 006d       | m  |		.CONST	0x006d								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0002       |    |		.CONST	0x0002								; Number of locals
006b			INIT_0068:
006b e222       | "  |		Load	0x1,0x22
006c 0007       |    |		Action	Break_Optional
006d			BODY_0068:
006d e222       | "  |		Load	0x1,0x22
006e e5ff       |    |		Load	0x2,-0x1
006f 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0070 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0071 00db       |    |		Load_Top	At_Offset_3
0072 00d9       |    |		Load_Top	At_Offset_1
0073 0217       |    |		Execute	Heap_Access,All_Reference
0074 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0075 00d8       |    |		Load_Top	At_Offset_0
0076 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0077 0000       |    |		.XXX[0x1]
0078 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
007c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 0083       |    |		.CONST	0x0083								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0001       |    |		.CONST	0x0001								; Number of locals
0083			BODY_0080:
0083			INIT_0080:
0083 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0084 0000 0000  |    |		.BLANK	0000[0x4]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008b       |    |		.CONST	0x008b								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0001       |    |		.CONST	0x0001								; Number of locals
008b			BODY_0088:
008b			INIT_0088:
008b 00da       |    |		Load_Top	At_Offset_2
008c 0217       |    |		Execute	Heap_Access,All_Reference
008d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
008e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
008f 0000       |    |		.XXX[0x1]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 0093       |    |		.CONST	0x0093								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0001       |    |		.CONST	0x0001								; Number of locals
0093			BODY_0090:
0093			INIT_0090:
0093 00da       |    |		Load_Top	At_Offset_2
0094 0217       |    |		Execute	Heap_Access,All_Reference
0095 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0096 7002       |p   |		Jump_Nonzero	0x99
0097 e21c       |    |		Load	0x1,0x1c
0098 0257       | W  |		Execute	Discrete,Raise
0099 00da       |    |		Load_Top	At_Offset_2
009a 0217       |    |		Execute	Heap_Access,All_Reference
009b 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
009c 0217       |    |		Execute	Heap_Access,All_Reference
009d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
009e 00db       |    |		Load_Top	At_Offset_3
009f 0217       |    |		Execute	Heap_Access,All_Reference
00a0 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00a1 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00a2 0000 0000  |    |		.BLANK	0000[0x6]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00b0       |    |		.CONST	0x00b0								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0002       |    |		.CONST	0x0002								; Number of locals
00ab			INIT_00a8:
00ab e224       | $  |		Load	0x1,0x24
00ac e5fe       |    |		Load	0x2,-0x2
00ad 0217       |    |		Execute	Heap_Access,All_Reference
00ae 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00af 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
00b0			BODY_00a8:
00b0 00d8       |    |		Load_Top	At_Offset_0
00b1 0219       |    |		Execute	Heap_Access,All_Read
00b2 00d8       |    |		Load_Top	At_Offset_0
00b3 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00b4 00d8       |    |		Load_Top	At_Offset_0
00b5 0120       |    |		Execute	Any,Is_Value
00b6 6803       |h   |		Jump_Zero	0xba
00b7 e20e       |    |		Load	0x1,0xe
00b8 0122       | "  |		Execute	Any,Make_Root_Type
00b9 011e       |    |		Execute	Any,Convert
00ba e5fe       |    |		Load	0x2,-0x2
00bb 0217       |    |		Execute	Heap_Access,All_Reference
00bc 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00bd e5ff       |    |		Load	0x2,-0x1
00be 8211       |    |		Call	0x1,0x11
00bf 00d9       |    |		Load_Top	At_Offset_1
00c0 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00c1 00d1       |    |		Pop_Control	Pop_Count_1
00c2 e5fe       |    |		Load	0x2,-0x2
00c3 0217       |    |		Execute	Heap_Access,All_Reference
00c4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00c5 00d9       |    |		Load_Top	At_Offset_1
00c6 0217       |    |		Execute	Heap_Access,All_Reference
00c7 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00c8 00d8       |    |		Load_Top	At_Offset_0
00c9 e5fe       |    |		Load	0x2,-0x2
00ca 0217       |    |		Execute	Heap_Access,All_Reference
00cb 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00cc 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00cd 0000 0000  |    |		.XXX[0x3]
00cf 0000       |    |
00d0 ; --------------------------------------------------------------------------------------
00d0 ; SUBPROGRAM
00d0 ; --------------------------------------------------------------------------------------
00d0 00d3       |    |		.CONST	0x00d3								; Address of begin
00d1 0004       |    |		.CONST	0x0004								; Address of exception handler
00d2 0001       |    |		.CONST	0x0001								; Number of locals
00d3			BODY_00d0:
00d3			INIT_00d0:
00d3 00da       |    |		Load_Top	At_Offset_2
00d4 0217       |    |		Execute	Heap_Access,All_Reference
00d5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00d6 021d       |    |		Execute	Heap_Access,Is_Null
00d7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00d8 ; --------------------------------------------------------------------------------------
00d8 ; SUBPROGRAM
00d8 ; --------------------------------------------------------------------------------------
00d8 00db       |    |		.CONST	0x00db								; Address of begin
00d9 0004       |    |		.CONST	0x0004								; Address of exception handler
00da 0001       |    |		.CONST	0x0001								; Number of locals
00db			BODY_00d8:
00db			INIT_00d8:
00db 00da       |    |		Load_Top	At_Offset_2
00dc 0217       |    |		Execute	Heap_Access,All_Reference
00dd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00de 7002       |p   |		Jump_Nonzero	0xe1
00df e21c       |    |		Load	0x1,0x1c
00e0 0257       | W  |		Execute	Discrete,Raise
00e1 00da       |    |		Load_Top	At_Offset_2
00e2 0217       |    |		Execute	Heap_Access,All_Reference
00e3 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00e4 0217       |    |		Execute	Heap_Access,All_Reference
00e5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00e6 00d8       |    |		Load_Top	At_Offset_0
00e7 0120       |    |		Execute	Any,Is_Value
00e8 7002       |p   |		Jump_Nonzero	0xeb
00e9 00d8       |    |		Load_Top	At_Offset_0
00ea 011e       |    |		Execute	Any,Convert
00eb e20e       |    |		Load	0x1,0xe
00ec 0119       |    |		Execute	Any,Check_In_Formal_Type
00ed 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00ee 0000 0000  |    |		.XXX[0x2]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f7       |    |		.CONST	0x00f7								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0003       |    |		.CONST	0x0003								; Number of locals
00f3			INIT_00f0:
00f3 e224       | $  |		Load	0x1,0x24
00f4 0007       |    |		Action	Break_Optional
00f5 00d8       |    |		Load_Top	At_Offset_0
00f6 0007       |    |		Action	Break_Optional
00f7			BODY_00f0:
00f7 e5fd       |    |		Load	0x2,-0x3
00f8 8214       |    |		Call	0x1,0x14
00f9 c5fd       |    |		Store	0x2,-0x3
00fa e5fe       |    |		Load	0x2,-0x2
00fb 8213       |    |		Call	0x1,0x13
00fc a5fd       |    |		Store_Unchecked	0x2,-0x3
00fd e5ff       |    |		Load	0x2,-0x1
00fe 0217       |    |		Execute	Heap_Access,All_Reference
00ff 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0100 684e       |hN  |		Jump_Zero	0x14f
0101 e224       | $  |		Load	0x1,0x24
0102 e5fe       |    |		Load	0x2,-0x2
0103 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0104 e5fd       |    |		Load	0x2,-0x3
0105 0217       |    |		Execute	Heap_Access,All_Reference
0106 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0107 e5fd       |    |		Load	0x2,-0x3
0108 0219       |    |		Execute	Heap_Access,All_Read
0109 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
010a 0219       |    |		Execute	Heap_Access,All_Read
010b 00d8       |    |		Load_Top	At_Offset_0
010c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
010d 00d8       |    |		Load_Top	At_Offset_0
010e 0120       |    |		Execute	Any,Is_Value
010f 6803       |h   |		Jump_Zero	0x113
0110 e20e       |    |		Load	0x1,0xe
0111 0122       | "  |		Execute	Any,Make_Root_Type
0112 011e       |    |		Execute	Any,Convert
0113 e5fe       |    |		Load	0x2,-0x2
0114 e5ff       |    |		Load	0x2,-0x1
0115 0217       |    |		Execute	Heap_Access,All_Reference
0116 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0117 0217       |    |		Execute	Heap_Access,All_Reference
0118 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0119 8211       |    |		Call	0x1,0x11
011a 00d9       |    |		Load_Top	At_Offset_1
011b 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
011c 00d1       |    |		Pop_Control	Pop_Count_1
011d e5fd       |    |		Load	0x2,-0x3
011e 0217       |    |		Execute	Heap_Access,All_Reference
011f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0120 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0121 e5ff       |    |		Load	0x2,-0x1
0122 0217       |    |		Execute	Heap_Access,All_Reference
0123 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0124 0217       |    |		Execute	Heap_Access,All_Reference
0125 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0126 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0127 00cf       |    |		Action	Mark_Auxiliary
0128 7823       |x#  |		Jump	0x14c
0129 e224       | $  |		Load	0x1,0x24
012a e5fe       |    |		Load	0x2,-0x2
012b 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
012c 00da       |    |		Load_Top	At_Offset_2
012d 0217       |    |		Execute	Heap_Access,All_Reference
012e 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
012f 00d9       |    |		Load_Top	At_Offset_1
0130 0219       |    |		Execute	Heap_Access,All_Read
0131 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0132 0219       |    |		Execute	Heap_Access,All_Read
0133 00d8       |    |		Load_Top	At_Offset_0
0134 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0135 00d8       |    |		Load_Top	At_Offset_0
0136 0120       |    |		Execute	Any,Is_Value
0137 6803       |h   |		Jump_Zero	0x13b
0138 e20e       |    |		Load	0x1,0xe
0139 0122       | "  |		Execute	Any,Make_Root_Type
013a 011e       |    |		Execute	Any,Convert
013b e5fe       |    |		Load	0x2,-0x2
013c e402       |    |		Load	0x2,0x2
013d 0217       |    |		Execute	Heap_Access,All_Reference
013e 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
013f 8211       |    |		Call	0x1,0x11
0140 00d9       |    |		Load_Top	At_Offset_1
0141 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0142 00d1       |    |		Pop_Control	Pop_Count_1
0143 00d9       |    |		Load_Top	At_Offset_1
0144 0217       |    |		Execute	Heap_Access,All_Reference
0145 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0146 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0147 00da       |    |		Load_Top	At_Offset_2
0148 0217       |    |		Execute	Heap_Access,All_Reference
0149 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
014a 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
014b 00c9       |    |		Action	Pop_Auxiliary_Loop
014c 00da       |    |		Load_Top	At_Offset_2
014d 77db       |w   |		Jump_Nonzero	0x129
014e 00ce       |    |		Action	Pop_Auxiliary
014f 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0153       | S  |		.CONST	0x0153								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0001       |    |		.CONST	0x0001								; Number of locals
0153			BODY_0150:
0153			INIT_0150:
0153 00da       |    |		Load_Top	At_Offset_2
0154 0217       |    |		Execute	Heap_Access,All_Reference
0155 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0156 a5fe       |    |		Store_Unchecked	0x2,-0x2
0157 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
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 00da       |    |		Load_Top	At_Offset_2
015c 0217       |    |		Execute	Heap_Access,All_Reference
015d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
015e 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
015f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
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 0217       |    |		Execute	Heap_Access,All_Reference
0165 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0166 00d8       |    |		Load_Top	At_Offset_0
0167 0120       |    |		Execute	Any,Is_Value
0168 7002       |p   |		Jump_Nonzero	0x16b
0169 00d8       |    |		Load_Top	At_Offset_0
016a 011e       |    |		Execute	Any,Convert
016b e20e       |    |		Load	0x1,0xe
016c 0119       |    |		Execute	Any,Check_In_Formal_Type
016d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
016e 0000 0000  |    |		.XXX[0x2]
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 00da       |    |		Load_Top	At_Offset_2
0174 021d       |    |		Execute	Heap_Access,Is_Null
0175 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0176 0000 0000  |    |		.XXX[0x2]
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 4601       |F   |		Jump_Case	0x2
017c 7801       |x   |		Jump	0x17e								; case 0x0
017d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
017e 00da       |    |		Load_Top	At_Offset_2
017f 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0180 0125       | %  |		Execute	Any,Set_Constraint
0181 00da       |    |		Load_Top	At_Offset_2
0182 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0183 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0184 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0185 0000 0000  |    |		.XXX[0x3]
0187 0000       |    |
0188 ; --------------------------------------------------------------------------------------
0188 ; Debug Table
0188 ; --------------------------------------------------------------------------------------
0188 0004 0009  |    |		.DEBUG4	0x0004,0x0009,0x5da8,0x0000,0x0001,0x0000
018e 0000 0000  |    |		.BLANK	0000[0x72]