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

⟦cce154877⟧

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

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 0258       | X  |		.CONST	0x0258								; 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 0001       |    |		.CONST	0x0001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0069       | i  |		.CONST	0x0069								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0026       | &  |		.CONST	0x0026								; Number of locals
000b			INIT_0008:
000b 4805       |H   |		Short_Literal	0x5
000c 032b       | +  |		Declare_Type	Record,Incomplete,Visible
000d 029a 0073  |   s|		Declare_Subprogram	INIT_0070,For_Outer_Call,Visible,Unelaborated
000f 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
0011 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated
0013 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated
0015 029a 00c3  |    |		Declare_Subprogram	INIT_00c0,For_Outer_Call,Visible,Unelaborated
0017 029a 00db  |    |		Declare_Subprogram	INIT_00d8,For_Outer_Call,Visible,Unelaborated
0019 029a 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call,Visible,Unelaborated
001b 029a 00fb  |    |		Declare_Subprogram	INIT_00f8,For_Outer_Call,Visible,Unelaborated
001d 00e4       |    |		Load_Encached	Positive_Cache
001e 0129       | )  |		Execute	Any,Make_Visible
001f 029a 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call,Visible,Unelaborated
0021 029a 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated
0023 029a 013b  |   ;|		Declare_Subprogram	INIT_0138,For_Outer_Call,Visible,Unelaborated
0025 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
0027 029a 017b  |   {|		Declare_Subprogram	INIT_0178,For_Outer_Call,Visible,Unelaborated
0029 029a 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call,Visible,Unelaborated
002b 029a 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Outer_Call,Visible,Unelaborated
002d e001       |    |		Load	0x0,0x1
002e 0129       | )  |		Execute	Any,Make_Visible
002f e002       |    |		Load	0x0,0x2
0030 0129       | )  |		Execute	Any,Make_Visible
0031 e003       |    |		Load	0x0,0x3
0032 0129       | )  |		Execute	Any,Make_Visible
0033 4802       |H   |		Short_Literal	0x2
0034 032a       | *  |		Declare_Type	Record,Incomplete
0035 00d8       |    |		Load_Top	At_Offset_0
0036 02a0       |    |		Declare_Subprogram	Null_Subprogram
0037 4818       |H   |		Short_Literal	0x18
0038 03d3       |    |		Declare_Type	Access,Defined,Accesses_Protected
0039 e20f       |    |		Load	0x1,0xf
003a 00d9       |    |		Load_Top	At_Offset_1
003b 029f 022b  |   +|		Declare_Subprogram	INIT_0228,For_Call
003d e224       | $  |		Load	0x1,0x24
003e 0326       | &  |		Complete_Type	Record,By_Defining
003f 00d8       |    |		Load_Top	At_Offset_0
0040 00d9       |    |		Load_Top	At_Offset_1
0041 00da       |    |		Load_Top	At_Offset_2
0042 00e3       |    |		Load_Encached	Natural_Cache
0043 00e3       |    |		Load_Encached	Natural_Cache
0044 029f 0243  |   C|		Declare_Subprogram	INIT_0240,For_Call
0046 e210       |    |		Load	0x1,0x10
0047 0326       | &  |		Complete_Type	Record,By_Defining
0048 00bf       |    |		Action	Accept_Activation
0049 029d 020b  |    |		Declare_Subprogram	INIT_0208,For_Outer_Call
004b 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
004c 00c7       |    |		Action	Elaborate_Subprogram
004d 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
004e 00c7       |    |		Action	Elaborate_Subprogram
004f 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13
0050 00c7       |    |		Action	Elaborate_Subprogram
0051 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
0052 00c7       |    |		Action	Elaborate_Subprogram
0053 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0054 00c7       |    |		Action	Elaborate_Subprogram
0055 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0056 00c7       |    |		Action	Elaborate_Subprogram
0057 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17
0058 00c7       |    |		Action	Elaborate_Subprogram
0059 1d18       |    |		Execute_Immediate	Reference_Lex_1,0x18
005a 00c7       |    |		Action	Elaborate_Subprogram
005b 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a
005c 00c7       |    |		Action	Elaborate_Subprogram
005d 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b
005e 00c7       |    |		Action	Elaborate_Subprogram
005f 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c
0060 00c7       |    |		Action	Elaborate_Subprogram
0061 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0062 00c7       |    |		Action	Elaborate_Subprogram
0063 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0064 00c7       |    |		Action	Elaborate_Subprogram
0065 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
0066 00c7       |    |		Action	Elaborate_Subprogram
0067 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0068 00c7       |    |		Action	Elaborate_Subprogram
0069			BODY_0008:
0069 00bc       |    |		Action	Signal_Activated
006a 00bb       |    |		Action	Signal_Completion
006b 0000 0000  |    |		.BLANK	0000[0x5]
0070 ; --------------------------------------------------------------------------------------
0070 ; SUBPROGRAM
0070 ; --------------------------------------------------------------------------------------
0070 0077       | w  |		.CONST	0x0077								; Address of begin
0071 0004       |    |		.CONST	0x0004								; Address of exception handler
0072 0002       |    |		.CONST	0x0002								; Number of locals
0073			INIT_0070:
0073 e210       |    |		Load	0x1,0x10
0074 0322       | "  |		Declare_Variable	Record
0075 00d8       |    |		Load_Top	At_Offset_0
0076 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0077			BODY_0070:
0077 00d8       |    |		Load_Top	At_Offset_0
0078 00ca       |    |		Action	Exit_Nullary_Function
0079 0000 0000  |    |		.BLANK	0000[0x7]
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 00da       |    |		Load_Top	At_Offset_2
0084 8213       |    |		Call	0x1,0x13
0085 0f00       |    |		Execute_Immediate	Equal,0x0
0086 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0087 0000       |    |		.XXX[0x1]
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 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
008d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
008e 0000 0000  |    |		.XXX[0x2]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 009b       |    |		.CONST	0x009b								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0003       |    |		.CONST	0x0003								; Number of locals
0093			INIT_0090:
0093 e5fd       |    |		Load	0x2,-0x3
0094 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0095 0007       |    |		Action	Break_Optional
0096 e210       |    |		Load	0x1,0x10
0097 0322       | "  |		Declare_Variable	Record
0098 8211       |    |		Call	0x1,0x11
0099 00d9       |    |		Load_Top	At_Offset_1
009a 017d       | }  |		Execute	Record,Structure_Write
009b			BODY_0090:
009b 00cf       |    |		Action	Mark_Auxiliary
009c 7810       |x   |		Jump	0xad
009d 00d9       |    |		Load_Top	At_Offset_1
009e 00db       |    |		Load_Top	At_Offset_3
009f 0227       | '  |		Execute	Access,All_Reference
00a0 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00a1 e20f       |    |		Load	0x1,0xf
00a2 0119       |    |		Execute	Any,Check_In_Formal_Type
00a3 85fe       |    |		Call	0x2,-0x2
00a4 e20f       |    |		Load	0x1,0xf
00a5 0119       |    |		Execute	Any,Check_In_Formal_Type
00a6 821e       |    |		Call	0x1,0x1e
00a7 00d1       |    |		Pop_Control	Pop_Count_1
00a8 00da       |    |		Load_Top	At_Offset_2
00a9 0227       | '  |		Execute	Access,All_Reference
00aa 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ab 003b       | ;  |		Store_Top	Access,At_Offset_3
00ac 00c9       |    |		Action	Pop_Auxiliary_Loop
00ad 00da       |    |		Load_Top	At_Offset_2
00ae 77ee       |w   |		Jump_Nonzero	0x9d
00af 00ce       |    |		Action	Pop_Auxiliary
00b0 e5fd       |    |		Load	0x2,-0x3
00b1 8216       |    |		Call	0x1,0x16
00b2 7005       |p   |		Jump_Nonzero	0xb8
00b3 00d8       |    |		Load_Top	At_Offset_0
00b4 e5fd       |    |		Load	0x2,-0x3
00b5 821a       |    |		Call	0x1,0x1a
00b6 821b       |    |		Call	0x1,0x1b
00b7 00d1       |    |		Pop_Control	Pop_Count_1
00b8 00d8       |    |		Load_Top	At_Offset_0
00b9 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
00ba 0000 0000  |    |		.BLANK	0000[0x6]
00c0 ; --------------------------------------------------------------------------------------
00c0 ; SUBPROGRAM
00c0 ; --------------------------------------------------------------------------------------
00c0 00c3       |    |		.CONST	0x00c3								; Address of begin
00c1 0004       |    |		.CONST	0x0004								; Address of exception handler
00c2 0001       |    |		.CONST	0x0001								; Number of locals
00c3			BODY_00c0:
00c3			INIT_00c0:
00c3 00da       |    |		Load_Top	At_Offset_2
00c4 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00c5 00db       |    |		Load_Top	At_Offset_3
00c6 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00c7 00da       |    |		Load_Top	At_Offset_2
00c8 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00c9 7004       |p   |		Jump_Nonzero	0xce
00ca 4800       |H   |		Short_Literal	0x0
00cb 00db       |    |		Load_Top	At_Offset_3
00cc 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
00cd 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00ce 4801       |H   |		Short_Literal	0x1
00cf 00db       |    |		Load_Top	At_Offset_3
00d0 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
00d1 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00d2 0000 0000  |    |		.BLANK	0000[0x6]
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 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00dd 022d       | -  |		Execute	Access,Is_Null
00de 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00df 0000       |    |		.XXX[0x1]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00e3       |    |		.CONST	0x00e3								; Address of begin
00e1 00ef       |    |		.CONST	0x00ef								; Address of exception handler
00e2 0001       |    |		.CONST	0x0001								; Number of locals
00e3			BODY_00e0:
00e3			INIT_00e0:
00e3 00da       |    |		Load_Top	At_Offset_2
00e4 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00e5 0227       | '  |		Execute	Access,All_Reference
00e6 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00e7 00db       |    |		Load_Top	At_Offset_3
00e8 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00e9 00da       |    |		Load_Top	At_Offset_2
00ea 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
00eb 0a01       |    |		Execute_Immediate	Plus,0x1
00ec 00db       |    |		Load_Top	At_Offset_3
00ed 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
00ee 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00ef			TRAP_00e0:
00ef 010e       |    |		Execute	Exception,Is_Constraint_Error
00f0 6805       |h   |		Jump_Zero	0xf6
00f1 4800       |H   |		Short_Literal	0x0
00f2 e5ff       |    |		Load	0x2,-0x1
00f3 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
00f4 e222       | "  |		Load	0x1,0x22
00f5 0257       | W  |		Execute	Discrete,Raise
00f6 0100       |    |		Execute	Exception,Raise
00f7 0000       |    |		.XXX[0x1]
00f8 ; --------------------------------------------------------------------------------------
00f8 ; SUBPROGRAM
00f8 ; --------------------------------------------------------------------------------------
00f8 00fb       |    |		.CONST	0x00fb								; Address of begin
00f9 0107       |    |		.CONST	0x0107								; Address of exception handler
00fa 0001       |    |		.CONST	0x0001								; Number of locals
00fb			BODY_00f8:
00fb			INIT_00f8:
00fb 00da       |    |		Load_Top	At_Offset_2
00fc 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00fd 0227       | '  |		Execute	Access,All_Reference
00fe 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00ff 00d8       |    |		Load_Top	At_Offset_0
0100 0120       |    |		Execute	Any,Is_Value
0101 7002       |p   |		Jump_Nonzero	0x104
0102 00d8       |    |		Load_Top	At_Offset_0
0103 011e       |    |		Execute	Any,Convert
0104 e20f       |    |		Load	0x1,0xf
0105 0119       |    |		Execute	Any,Check_In_Formal_Type
0106 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0107			TRAP_00f8:
0107 010e       |    |		Execute	Exception,Is_Constraint_Error
0108 6802       |h   |		Jump_Zero	0x10b
0109 e221       | !  |		Load	0x1,0x21
010a 0257       | W  |		Execute	Discrete,Raise
010b 0100       |    |		Execute	Exception,Raise
010c 0000 0000  |    |		.BLANK	0000[0x4]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 0113       |    |		.CONST	0x0113								; Address of begin
0111 011b       |    |		.CONST	0x011b								; Address of exception handler
0112 0001       |    |		.CONST	0x0001								; Number of locals
0113			BODY_0110:
0113			INIT_0110:
0113 00da       |    |		Load_Top	At_Offset_2
0114 3c03       |<   |		Execute	Record,Field_Read,Field_Number 0x3
0115 00d8       |    |		Load_Top	At_Offset_0
0116 e219       |    |		Load	0x1,0x19
0117 0260       | `  |		Execute	Discrete,In_Type
0118 7001       |p   |		Jump_Nonzero	0x11a
0119 0801       |    |		Execute_Immediate	Raise,0x1
011a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
011b			TRAP_0110:
011b 010e       |    |		Execute	Exception,Is_Constraint_Error
011c 6802       |h   |		Jump_Zero	0x11f
011d e221       | !  |		Load	0x1,0x21
011e 0257       | W  |		Execute	Discrete,Raise
011f 0100       |    |		Execute	Exception,Raise
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123       | #  |		.CONST	0x0123								; Address of begin
0121 012c       | ,  |		.CONST	0x012c								; Address of exception handler
0122 0001       |    |		.CONST	0x0001								; Number of locals
0123			BODY_0120:
0123			INIT_0120:
0123 00db       |    |		Load_Top	At_Offset_3
0124 e5fe       |    |		Load	0x2,-0x2
0125 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0126 4801       |H   |		Short_Literal	0x1
0127 e5ff       |    |		Load	0x2,-0x1
0128 8226       | &  |		Call	0x1,0x26
0129 e5fe       |    |		Load	0x2,-0x2
012a 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
012b 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
012c			TRAP_0120:
012c 010e       |    |		Execute	Exception,Is_Constraint_Error
012d 6802       |h   |		Jump_Zero	0x130
012e e223       | #  |		Load	0x1,0x23
012f 0257       | W  |		Execute	Discrete,Raise
0130 0100       |    |		Execute	Exception,Raise
0131 0000 0000  |    |		.BLANK	0000[0x7]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 0142       | B  |		.CONST	0x0142								; Address of begin
0139 0154       | T  |		.CONST	0x0154								; Address of exception handler
013a 0003       |    |		.CONST	0x0003								; Number of locals
013b			INIT_0138:
013b e210       |    |		Load	0x1,0x10
013c 0322       | "  |		Declare_Variable	Record
013d e5fe       |    |		Load	0x2,-0x2
013e 00d9       |    |		Load_Top	At_Offset_1
013f 017d       | }  |		Execute	Record,Structure_Write
0140 e225       | %  |		Load	0x1,0x25
0141 0007       |    |		Action	Break_Optional
0142			BODY_0138:
0142 00d9       |    |		Load_Top	At_Offset_1
0143 00d9       |    |		Load_Top	At_Offset_1
0144 4800       |H   |		Short_Literal	0x0
0145 e5ff       |    |		Load	0x2,-0x1
0146 8226       | &  |		Call	0x1,0x26
0147 003a       | :  |		Store_Top	Access,At_Offset_2
0148 00d1       |    |		Pop_Control	Pop_Count_1
0149 00d8       |    |		Load_Top	At_Offset_0
014a 0227       | '  |		Execute	Access,All_Reference
014b 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
014c 00d8       |    |		Load_Top	At_Offset_0
014d 0120       |    |		Execute	Any,Is_Value
014e 7002       |p   |		Jump_Nonzero	0x151
014f 00d8       |    |		Load_Top	At_Offset_0
0150 011e       |    |		Execute	Any,Convert
0151 e20f       |    |		Load	0x1,0xf
0152 0119       |    |		Execute	Any,Check_In_Formal_Type
0153 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0154			TRAP_0138:
0154 010e       |    |		Execute	Exception,Is_Constraint_Error
0155 6802       |h   |		Jump_Zero	0x158
0156 e223       | #  |		Load	0x1,0x23
0157 0257       | W  |		Execute	Discrete,Raise
0158 0100       |    |		Execute	Exception,Raise
0159 0000 0000  |    |		.BLANK	0000[0x7]
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 00cf       |    |		Action	Mark_Auxiliary
0164 00db       |    |		Load_Top	At_Offset_3
0165 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
0166 4801       |H   |		Short_Literal	0x1
0167 0263       | c  |		Execute	Discrete,Above_Bound
0168 700a       |p   |		Jump_Nonzero	0x173
0169 e5fe       |    |		Load	0x2,-0x2
016a e5ff       |    |		Load	0x2,-0x1
016b 00da       |    |		Load_Top	At_Offset_2
016c 821c       |    |		Call	0x1,0x1c
016d 012f       | /  |		Execute	Any,Equal
016e 6802       |h   |		Jump_Zero	0x171
016f 4801       |H   |		Short_Literal	0x1
0170 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0171 00c8       |    |		Action	Pop_Auxiliary_Range
0172 3ff6       |?   |		Loop_Increasing	0x169
0173 00ce       |    |		Action	Pop_Auxiliary
0174 4800       |H   |		Short_Literal	0x0
0175 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0176 0000 0000  |    |		.XXX[0x2]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 0188       |    |		.CONST	0x0188								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0002       |    |		.CONST	0x0002								; Number of locals
017b			INIT_0178:
017b e224       | $  |		Load	0x1,0x24
017c 0322       | "  |		Declare_Variable	Record
017d 00db       |    |		Load_Top	At_Offset_3
017e e224       | $  |		Load	0x1,0x24
017f 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
0180 0119       |    |		Execute	Any,Check_In_Formal_Type
0181 00d9       |    |		Load_Top	At_Offset_1
0182 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0183 e225       | %  |		Load	0x1,0x25
0184 00d9       |    |		Load_Top	At_Offset_1
0185 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0186 e225       | %  |		Load	0x1,0x25
0187 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
0188			BODY_0178:
0188 e5fe       |    |		Load	0x2,-0x2
0189 8212       |    |		Call	0x1,0x12
018a 6810       |h   |		Jump_Zero	0x19b
018b 4801       |H   |		Short_Literal	0x1
018c e5fe       |    |		Load	0x2,-0x2
018d 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
018e 00d8       |    |		Load_Top	At_Offset_0
018f e5fe       |    |		Load	0x2,-0x2
0190 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0191 00d8       |    |		Load_Top	At_Offset_0
0192 e5fe       |    |		Load	0x2,-0x2
0193 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0194 00d8       |    |		Load_Top	At_Offset_0
0195 e5fe       |    |		Load	0x2,-0x2
0196 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0197 4801       |H   |		Short_Literal	0x1
0198 e5fe       |    |		Load	0x2,-0x2
0199 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
019a 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
019b 00d8       |    |		Load_Top	At_Offset_0
019c e5fe       |    |		Load	0x2,-0x2
019d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
019e 0227       | '  |		Execute	Access,All_Reference
019f 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01a0 00d8       |    |		Load_Top	At_Offset_0
01a1 e5fe       |    |		Load	0x2,-0x2
01a2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01a3 e5fe       |    |		Load	0x2,-0x2
01a4 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
01a5 0a01       |    |		Execute_Immediate	Plus,0x1
01a6 e5fe       |    |		Load	0x2,-0x2
01a7 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
01a8 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a9 0000 0000  |    |		.BLANK	0000[0x7]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01c2       |    |		.CONST	0x01c2								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0003       |    |		.CONST	0x0003								; Number of locals
01b3			INIT_01b0:
01b3 e224       | $  |		Load	0x1,0x24
01b4 0322       | "  |		Declare_Variable	Record
01b5 00db       |    |		Load_Top	At_Offset_3
01b6 e224       | $  |		Load	0x1,0x24
01b7 3000       |0   |		Execute	Record,Field_Type,Field_Number 0x0
01b8 0119       |    |		Execute	Any,Check_In_Formal_Type
01b9 00d9       |    |		Load_Top	At_Offset_1
01ba 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
01bb e225       | %  |		Load	0x1,0x25
01bc 00d9       |    |		Load_Top	At_Offset_1
01bd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01be e225       | %  |		Load	0x1,0x25
01bf 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
01c0 e225       | %  |		Load	0x1,0x25
01c1 0007       |    |		Action	Break_Optional
01c2			BODY_01b0:
01c2 e5fe       |    |		Load	0x2,-0x2
01c3 0f01       |    |		Execute_Immediate	Equal,0x1
01c4 6809       |h   |		Jump_Zero	0x1ce
01c5 e5fd       |    |		Load	0x2,-0x3
01c6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
01c7 00da       |    |		Load_Top	At_Offset_2
01c8 0227       | '  |		Execute	Access,All_Reference
01c9 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01ca 00d9       |    |		Load_Top	At_Offset_1
01cb e5fd       |    |		Load	0x2,-0x3
01cc 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
01cd 781f       |x   |		Jump	0x1ed
01ce e5fd       |    |		Load	0x2,-0x3
01cf 00d9       |    |		Load_Top	At_Offset_1
01d0 4800       |H   |		Short_Literal	0x0
01d1 e5fe       |    |		Load	0x2,-0x2
01d2 0aff       |    |		Execute_Immediate	Plus,-0x1
01d3 00d8       |    |		Load_Top	At_Offset_0
01d4 e219       |    |		Load	0x1,0x19
01d5 0260       | `  |		Execute	Discrete,In_Type
01d6 7001       |p   |		Jump_Nonzero	0x1d8
01d7 0801       |    |		Execute_Immediate	Raise,0x1
01d8 8226       | &  |		Call	0x1,0x26
01d9 003a       | :  |		Store_Top	Access,At_Offset_2
01da 00d1       |    |		Pop_Control	Pop_Count_1
01db 00d8       |    |		Load_Top	At_Offset_0
01dc e5fd       |    |		Load	0x2,-0x3
01dd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01de 022f       | /  |		Execute	Access,Equal
01df 6803       |h   |		Jump_Zero	0x1e3
01e0 00d9       |    |		Load_Top	At_Offset_1
01e1 e5fd       |    |		Load	0x2,-0x3
01e2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01e3 00d8       |    |		Load_Top	At_Offset_0
01e4 0227       | '  |		Execute	Access,All_Reference
01e5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01e6 00da       |    |		Load_Top	At_Offset_2
01e7 0227       | '  |		Execute	Access,All_Reference
01e8 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01e9 00d9       |    |		Load_Top	At_Offset_1
01ea 00d9       |    |		Load_Top	At_Offset_1
01eb 0227       | '  |		Execute	Access,All_Reference
01ec 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
01ed e5fd       |    |		Load	0x2,-0x3
01ee 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
01ef 0a01       |    |		Execute_Immediate	Plus,0x1
01f0 e5fd       |    |		Load	0x2,-0x3
01f1 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
01f2 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01f3 0000 0000  |    |		.BLANK	0000[0x5]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 01fb       |    |		.CONST	0x01fb								; Address of begin
01f9 0201       |    |		.CONST	0x0201								; Address of exception handler
01fa 0001       |    |		.CONST	0x0001								; Number of locals
01fb			BODY_01f8:
01fb			INIT_01f8:
01fb 00da       |    |		Load_Top	At_Offset_2
01fc e5fe       |    |		Load	0x2,-0x2
01fd 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
01fe 0227       | '  |		Execute	Access,All_Reference
01ff 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0200 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0201			TRAP_01f8:
0201 010e       |    |		Execute	Exception,Is_Constraint_Error
0202 6802       |h   |		Jump_Zero	0x205
0203 e221       | !  |		Load	0x1,0x21
0204 0257       | W  |		Execute	Discrete,Raise
0205 0100       |    |		Execute	Exception,Raise
0206 0000 0000  |    |		.XXX[0x2]
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 020f       |    |		.CONST	0x020f								; Address of begin
0209 0004       |    |		.CONST	0x0004								; Address of exception handler
020a 0002       |    |		.CONST	0x0002								; Number of locals
020b			INIT_0208:
020b 00da       |    |		Load_Top	At_Offset_2
020c 0aff       |    |		Execute_Immediate	Plus,-0x1
020d 00e3       |    |		Load_Encached	Natural_Cache
020e 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
020f			BODY_0208:
020f e5fc       |    |		Load	0x2,-0x4
0210 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0211 a5fd       |    |		Store_Unchecked	0x2,-0x3
0212 00cf       |    |		Action	Mark_Auxiliary
0213 00d9       |    |		Load_Top	At_Offset_1
0214 4801       |H   |		Short_Literal	0x1
0215 0263       | c  |		Execute	Discrete,Above_Bound
0216 7006       |p   |		Jump_Nonzero	0x21d
0217 e5fd       |    |		Load	0x2,-0x3
0218 0227       | '  |		Execute	Access,All_Reference
0219 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
021a a5fd       |    |		Store_Unchecked	0x2,-0x3
021b 00c8       |    |		Action	Pop_Auxiliary_Range
021c 3ffa       |?   |		Loop_Increasing	0x217
021d 00ce       |    |		Action	Pop_Auxiliary
021e e5fe       |    |		Load	0x2,-0x2
021f 6806       |h   |		Jump_Zero	0x226
0220 e5fd       |    |		Load	0x2,-0x3
0221 e5fc       |    |		Load	0x2,-0x4
0222 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0223 00d8       |    |		Load_Top	At_Offset_0
0224 e5fc       |    |		Load	0x2,-0x4
0225 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
0226 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0227 0000       |    |		.XXX[0x1]
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 4608       |F   |		Jump_Case	0x9
022c 7808       |x   |		Jump	0x235								; case 0x0
022d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
022e 780d       |x   |		Jump	0x23c								; case 0x2
022f 780c       |x   |		Jump	0x23c								; case 0x3
0230 780b       |x   |		Jump	0x23c								; case 0x4
0231 780a       |x   |		Jump	0x23c								; case 0x5
0232 7809       |x   |		Jump	0x23c								; case 0x6
0233 7808       |x   |		Jump	0x23c								; case 0x7
0234 7807       |x   |		Jump	0x23c								; case 0x8
0235 00da       |    |		Load_Top	At_Offset_2
0236 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0237 0125       | %  |		Execute	Any,Set_Constraint
0238 00da       |    |		Load_Top	At_Offset_2
0239 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
023a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
023b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
023c 0869       | i  |		Execute_Immediate	Raise,0x69
023d 0000 0000  |    |		.XXX[0x3]
023f 0000       |    |
0240 ; --------------------------------------------------------------------------------------
0240 ; SUBPROGRAM
0240 ; --------------------------------------------------------------------------------------
0240 0243       | C  |		.CONST	0x0243								; Address of begin
0241 0004       |    |		.CONST	0x0004								; Address of exception handler
0242 0001       |    |		.CONST	0x0001								; Number of locals
0243			BODY_0240:
0243			INIT_0240:
0243 4608       |F   |		Jump_Case	0x9
0244 7808       |x   |		Jump	0x24d								; case 0x0
0245 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
0246 780d       |x   |		Jump	0x254								; case 0x2
0247 780c       |x   |		Jump	0x254								; case 0x3
0248 780b       |x   |		Jump	0x254								; case 0x4
0249 780a       |x   |		Jump	0x254								; case 0x5
024a 7809       |x   |		Jump	0x254								; case 0x6
024b 7808       |x   |		Jump	0x254								; case 0x7
024c 7807       |x   |		Jump	0x254								; case 0x8
024d 4800       |H   |		Short_Literal	0x0
024e 00db       |    |		Load_Top	At_Offset_3
024f 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
0250 4800       |H   |		Short_Literal	0x0
0251 00db       |    |		Load_Top	At_Offset_3
0252 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
0253 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0254 0869       | i  |		Execute_Immediate	Raise,0x69
0255 0000 0000  |    |		.XXX[0x3]
0257 0000       |    |
0258 ; --------------------------------------------------------------------------------------
0258 ; Debug Table
0258 ; --------------------------------------------------------------------------------------
0258 0004 0001  |    |		.DEBUG4	0x0004,0x0001,0x6f2e,0x0000,0x0001,0x0014
025e 000b 02ae  |    |		.DBG4T	0x000b,0x02ae,0xc000,0x0000
0262 0049 02c8  | I  |		.DBG4T	0x0049,0x02c8,0xc000,0x8000
0266 0073 02ea  | s  |		.DBG4T	0x0073,0x02ea,0x1002,0x0000
026a 0083 02ee  |    |		.DBG4T	0x0083,0x02ee,0x1002,0x0000
026e 008b 02f1  |    |		.DBG4T	0x008b,0x02f1,0x1002,0x0000
0272 0093 02f4  |    |		.DBG4T	0x0093,0x02f4,0x3802,0x4002
0276 00c3 0304  |    |		.DBG4T	0x00c3,0x0304,0x1001,0x0000
027a 00db 030a  |    |		.DBG4T	0x00db,0x030a,0x1002,0x0000
027e 00e3 030d  |    |		.DBG4T	0x00e3,0x030d,0x1001,0x0000
0282 00fb 0313  |    |		.DBG4T	0x00fb,0x0313,0x1002,0x0000
0286 0113 0317  |    |		.DBG4T	0x0113,0x0317,0x1002,0x0000
028a 0123 031b  | #  |		.DBG4T	0x0123,0x031b,0x1001,0x0000
028e 013b 031f  | ;  |		.DBG4T	0x013b,0x031f,0x1002,0x0000
0292 0163 0326  | c &|		.DBG4T	0x0163,0x0326,0x1002,0x0000
0296 017b 032c  | { ,|		.DBG4T	0x017b,0x032c,0x1001,0x0000
029a 01b3 0338  |   8|		.DBG4T	0x01b3,0x0338,0x1001,0x0000
029e 01fb 0345  |   E|		.DBG4T	0x01fb,0x0345,0x1001,0x0000
02a2 020b 0349  |   I|		.DBG4T	0x020b,0x0349,0x1001,0x0000
02a6 022b 0000  | +  |		.DBG4T	0x022b,0x0000,0x1005,0x0000
02aa 0243 0000  | C  |		.DBG4T	0x0243,0x0000,0x1005,0x0000
02ae ; --------------------------------------------------------------------------------------
02ae ; Debug chain
02ae ; --------------------------------------------------------------------------------------
02ae 0018 0000  |    |		.DBGLEN	0x0018,0x0000
02b0 000b 000d  |    |		.DBGLNO	0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x0025,0x0027,0x0029,0x002b,0x002d,0x002f,0x0031,0x0033,0x0035,0x0039,0x003f
02c8 ; --------------------------------------------------------------------------------------
02c8 ; Debug chain
02c8 ; --------------------------------------------------------------------------------------
02c8 0010 0000  |    |		.DBGLEN	0x0010,0x0000
02ca 0049 004b  | I K|		.DBGLNO	0x0049,0x004b,0x004d,0x004f,0x0051,0x0053,0x0055,0x0057,0x0059,0x005b,0x005d,0x005f,0x0061,0x0063,0x0065,0x0067
02da 0003 0004  |    |		.XXX[0x10]
02dc 0005 0006  |    |
02de 0007 0008  |    |
02e0 0009 000a  |    |
02e2 000b 000c  |    |
02e4 000d 000e  |    |
02e6 000f 0010  |    |
02e8 0011 0012  |    |
02ea ; --------------------------------------------------------------------------------------
02ea ; Debug chain
02ea ; --------------------------------------------------------------------------------------
02ea 0001 0001  |    |		.DBGLEN	0x0001,0x0001
02ec 0073 0077  | s w|		.DBGLNO	0x0073,0x0077
02ee ; --------------------------------------------------------------------------------------
02ee ; Debug chain
02ee ; --------------------------------------------------------------------------------------
02ee 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02f0 0083       |    |		.DBGLNO	0x0083
02f1 ; --------------------------------------------------------------------------------------
02f1 ; Debug chain
02f1 ; --------------------------------------------------------------------------------------
02f1 0000 0001  |    |		.DBGLEN	0x0000,0x0001
02f3 008b       |    |		.DBGLNO	0x008b
02f4 ; --------------------------------------------------------------------------------------
02f4 ; Debug chain
02f4 ; --------------------------------------------------------------------------------------
02f4 0002 0006  |    |		.DBGLEN	0x0002,0x0006
02f6 0093 0096  |    |		.DBGLNO	0x0093,0x0096,0x009d,0x00a8,0x00ad,0x00b0,0x00b3,0x00b8
02fe 0002 0003  |    |		.XXX[0x6]
0300 0001 0004  |    |
0302 0005 0006  |    |
0304 ; --------------------------------------------------------------------------------------
0304 ; Debug chain
0304 ; --------------------------------------------------------------------------------------
0304 0000 0004  |    |		.DBGLEN	0x0000,0x0004
0306 00c3 00c7  |    |		.DBGLNO	0x00c3,0x00c7,0x00ca,0x00ce
030a ; --------------------------------------------------------------------------------------
030a ; Debug chain
030a ; --------------------------------------------------------------------------------------
030a 0000 0001  |    |		.DBGLEN	0x0000,0x0001
030c 00db       |    |		.DBGLNO	0x00db
030d ; --------------------------------------------------------------------------------------
030d ; Debug chain
030d ; --------------------------------------------------------------------------------------
030d 0000 0004  |    |		.DBGLEN	0x0000,0x0004
030f 00e3 00e9  |    |		.DBGLNO	0x00e3,0x00e9,0x00f1,0x00f4
0313 ; --------------------------------------------------------------------------------------
0313 ; Debug chain
0313 ; --------------------------------------------------------------------------------------
0313 0000 0002  |    |		.DBGLEN	0x0000,0x0002
0315 00fb 0109  |    |		.DBGLNO	0x00fb,0x0109
0317 ; --------------------------------------------------------------------------------------
0317 ; Debug chain
0317 ; --------------------------------------------------------------------------------------
0317 0000 0002  |    |		.DBGLEN	0x0000,0x0002
0319 0113 011d  |    |		.DBGLNO	0x0113,0x011d
031b ; --------------------------------------------------------------------------------------
031b ; Debug chain
031b ; --------------------------------------------------------------------------------------
031b 0000 0002  |    |		.DBGLEN	0x0000,0x0002
031d 0123 012e  | # .|		.DBGLNO	0x0123,0x012e
031f ; --------------------------------------------------------------------------------------
031f ; Debug chain
031f ; --------------------------------------------------------------------------------------
031f 0002 0003  |    |		.DBGLEN	0x0002,0x0003
0321 013b 0140  | ; @|		.DBGLNO	0x013b,0x0140,0x0142,0x0149,0x0156
0326 ; --------------------------------------------------------------------------------------
0326 ; Debug chain
0326 ; --------------------------------------------------------------------------------------
0326 0000 0004  |    |		.DBGLEN	0x0000,0x0004
0328 0164 0169  | d i|		.DBGLNO	0x0164,0x0169,0x016f,0x0174
032c ; --------------------------------------------------------------------------------------
032c ; Debug chain
032c ; --------------------------------------------------------------------------------------
032c 0001 0009  |    |		.DBGLEN	0x0001,0x0009
032e 017b 0188  | {  |		.DBGLNO	0x017b,0x0188,0x018b,0x018e,0x0191,0x0194,0x0197,0x019b,0x01a0,0x01a3
0338 ; --------------------------------------------------------------------------------------
0338 ; Debug chain
0338 ; --------------------------------------------------------------------------------------
0338 0002 0009  |    |		.DBGLEN	0x0002,0x0009
033a 01b3 01c0  |    |		.DBGLNO	0x01b3,0x01c0,0x01c2,0x01c5,0x01ca,0x01ce,0x01db,0x01e0,0x01e3,0x01e9,0x01ed
0345 ; --------------------------------------------------------------------------------------
0345 ; Debug chain
0345 ; --------------------------------------------------------------------------------------
0345 0000 0002  |    |		.DBGLEN	0x0000,0x0002
0347 01fb 0203  |    |		.DBGLNO	0x01fb,0x0203
0349 ; --------------------------------------------------------------------------------------
0349 ; Debug chain
0349 ; --------------------------------------------------------------------------------------
0349 0001 0006  |    |		.DBGLEN	0x0001,0x0006
034b 020b 020f  |    |		.DBGLNO	0x020b,0x020f,0x0213,0x0217,0x021e,0x0220,0x0223
0352 0000 0000  |    |		.BLANK	0000[0xae]