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

⟦868f85d15⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5813_R1K_CODE, 75_tag, NULL, R1k_Segment, seg_0500e0

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 5813       |X   |		.CONST	0x5813								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0130       | 0  |		.CONST	0x0130								; 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 0049       | I  |		.CONST	0x0049								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001d       |    |		.CONST	0x001d								; Number of locals
000b			INIT_0008:
000b 4818       |H   |		Short_Literal	0x18							; Debug Table 0x0 = .DEBUG	0x000b,0x01a2,0xc000,0x0000,0x0055,0xe315,0x0000,0x0003
													; Debug Table 0x0.0x0 = 0xb,0xffff
													; Debug Table 0x0.0x1 = 0xb,0xfffe
													; Debug Table 0x0.0x2 = 0xb,0xfffd
000c 03cd       |    |		Declare_Type	Access,Incomplete,Visible,Accesses_Protected
000d 029a 0053  |   S|		Declare_Subprogram	INIT_0050,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0xd,0xfffc
000f 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0xf,0xfffb
0011 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x11,0xfffa
0013 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x13,0xfff9
0015 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x15,0xfff8
0017 029a 00b3  |    |		Declare_Subprogram	INIT_00b0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x17,0xfff7
0019 029a 00cb  |    |		Declare_Subprogram	INIT_00c8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x9 = 0x19,0xfff6
001b 4818       |H   |		Short_Literal	0x18							; Debug Table 0x0.0xa = 0x1b,0xfff5
001c 03cf       |    |		Declare_Type	Access,Incomplete,Visible
001d 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1d,0xfff4
001f 029a 00fb  |    |		Declare_Subprogram	INIT_00f8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x1f,0xfff3
0021 029a 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x21,0xfff2
0023 029a 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xe = 0x23,0xfff1
0025 e20f       |    |		Load	0x1,0xf								; Debug Table 0x0.0xf = 0x25,0xfff0
0026 e210       |    |		Load	0x1,0x10
0027 029f 011b  |    |		Declare_Subprogram	INIT_0118,For_Call
0029 4802       |H   |		Short_Literal	0x2
002a 032d       | -  |		Declare_Type	Record,Defined
002b 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x10 = 0x2b,0xffef
002c 02a0       |    |		Declare_Subprogram	Null_Subprogram
002d e210       |    |		Load	0x1,0x10
002e 03c7       |    |		Complete_Type	Access,By_Defining
002f e210       |    |		Load	0x1,0x10							; Debug Table 0x0.0x11 = 0x2f,0xffee
0030 e218       |    |		Load	0x1,0x18
0031 03c6       |    |		Complete_Type	Access,By_Renaming
0032 00bf       |    |		Action	Accept_Activation
0033 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1 = .DEBUG	0x0033,0x01c8,0xc000,0x0000,0x0055,0xe325,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x33,0xffff
													; Debug Table 0x1.0x1 = 0x33,0xfffe
0034 00c7       |    |		Action	Elaborate_Subprogram
0035 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x2 = 0x35,0xfffd
0036 00c7       |    |		Action	Elaborate_Subprogram
0037 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x3 = 0x37,0xfffc
0038 00c7       |    |		Action	Elaborate_Subprogram
0039 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x4 = 0x39,0xfffb
003a 00c7       |    |		Action	Elaborate_Subprogram
003b 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x5 = 0x3b,0xfffa
003c 00c7       |    |		Action	Elaborate_Subprogram
003d 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x6 = 0x3d,0xfff9
003e 00c7       |    |		Action	Elaborate_Subprogram
003f 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0x7 = 0x3f,0xfff8
0040 00c7       |    |		Action	Elaborate_Subprogram
0041 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0x8 = 0x41,0xfff7
0042 00c7       |    |		Action	Elaborate_Subprogram
0043 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0x9 = 0x43,0xfff6
0044 00c7       |    |		Action	Elaborate_Subprogram
0045 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0xa = 0x45,0xfff5
0046 00c7       |    |		Action	Elaborate_Subprogram
0047 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0xb = 0x47,0xfff4
0048 00c7       |    |		Action	Elaborate_Subprogram
0049			BODY_0008:
0049 00bc       |    |		Action	Signal_Activated
004a 00bb       |    |		Action	Signal_Completion
004b 0000 0000  |    |		.BLANK	0000[0x5]
0050 ; --------------------------------------------------------------------------------------
0050 ; SUBPROGRAM
0050 ; --------------------------------------------------------------------------------------
0050 0053       | S  |		.CONST	0x0053								; Address of begin
0051 0004       |    |		.CONST	0x0004								; Address of exception handler
0052 0001       |    |		.CONST	0x0001								; Number of locals
0053			BODY_0050:
0053			INIT_0050:
0053 e210       |    |		Load	0x1,0x10							; Debug Table 0x2 = .DEBUG	0x0053,0x01e2,0x1001,0x0000,0x0055,0xe315,0x0000,0x001c
													; Debug Table 0x2.0x0 = 0x53,0x1
0054 003b       | ;  |		Store_Top	Access,At_Offset_3
0055 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0056 0000 0000  |    |		.XXX[0x2]
0058 ; --------------------------------------------------------------------------------------
0058 ; SUBPROGRAM
0058 ; --------------------------------------------------------------------------------------
0058 005b       | [  |		.CONST	0x005b								; Address of begin
0059 0004       |    |		.CONST	0x0004								; Address of exception handler
005a 0001       |    |		.CONST	0x0001								; Number of locals
005b			BODY_0058:
005b			INIT_0058:
005b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3 = .DEBUG	0x005b,0x01e6,0x1002,0x0000,0x0055,0xe315,0x0000,0x0024
													; Debug Table 0x3.0x0 = 0x5b,0x1
005c 022d       | -  |		Execute	Access,Is_Null
005d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
005e 0000 0000  |    |		.XXX[0x2]
0060 ; --------------------------------------------------------------------------------------
0060 ; SUBPROGRAM
0060 ; --------------------------------------------------------------------------------------
0060 0063       | c  |		.CONST	0x0063								; Address of begin
0061 0004       |    |		.CONST	0x0004								; Address of exception handler
0062 0001       |    |		.CONST	0x0001								; Number of locals
0063			BODY_0060:
0063			INIT_0060:
0063 e210       |    |		Load	0x1,0x10							; Debug Table 0x4 = .DEBUG	0x0063,0x01ea,0x1001,0x0000,0x0055,0xe315,0x0000,0x002d
													; Debug Table 0x4.0x0 = 0x63,0x1
0064 003b       | ;  |		Store_Top	Access,At_Offset_3
0065 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0066 0000 0000  |    |		.XXX[0x2]
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 006e       | n  |		.CONST	0x006e								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0002       |    |		.CONST	0x0002								; Number of locals
006b			INIT_0068:
006b e210       |    |		Load	0x1,0x10							; Debug Table 0x5 = .DEBUG	0x006b,0x01ee,0x1001,0x0000,0x0055,0xe315,0x0000,0x0035
													; Debug Table 0x5.0x0 = 0x6b,0xffff
006c 00db       |    |		Load_Top	At_Offset_3
006d 0039       | 9  |		Store_Top	Access,At_Offset_1
006e			BODY_0068:
006e e210       |    |		Load	0x1,0x10							; Debug Table 0x5.0x1 = 0x6e,0x1
006f a5fe       |    |		Store_Unchecked	0x2,-0x2
0070 00cf       |    |		Action	Mark_Auxiliary
0071 7814       |x   |		Jump	0x86
0072 e21d       |    |		Load	0x1,0x1d							; Debug Table 0x5.0x2 = 0x72,0x3
0073 0322       | "  |		Declare_Variable	Record
0074 00da       |    |		Load_Top	At_Offset_2
0075 0227       | '  |		Execute	Access,All_Reference
0076 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0077 e20f       |    |		Load	0x1,0xf
0078 0119       |    |		Execute	Any,Check_In_Formal_Type
0079 00d9       |    |		Load_Top	At_Offset_1
007a 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
007b e5fe       |    |		Load	0x2,-0x2
007c 00d9       |    |		Load_Top	At_Offset_1
007d 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
007e e210       |    |		Load	0x1,0x10
007f 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
0080 a5fe       |    |		Store_Unchecked	0x2,-0x2
0081 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x3 = 0x81,0x4
0082 0227       | '  |		Execute	Access,All_Reference
0083 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0084 003a       | :  |		Store_Top	Access,At_Offset_2
0085 00c9       |    |		Action	Pop_Auxiliary_Loop
0086 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x4 = 0x86,0x2
0087 77ea       |w   |		Jump_Nonzero	0x72
0088 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0089 0000 0000  |    |		.BLANK	0000[0x7]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 0096       |    |		.CONST	0x0096								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0002       |    |		.CONST	0x0002								; Number of locals
0093			INIT_0090:
0093 e210       |    |		Load	0x1,0x10							; Debug Table 0x6 = .DEBUG	0x0093,0x01fa,0x1002,0x0000,0x0055,0xe315,0x0000,0x0041
													; Debug Table 0x6.0x0 = 0x93,0xffff
0094 00db       |    |		Load_Top	At_Offset_3
0095 0039       | 9  |		Store_Top	Access,At_Offset_1
0096			BODY_0090:
0096 00cf       |    |		Action	Mark_Auxiliary
0097 780d       |x   |		Jump	0xa5
0098 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x6.0x1 = 0x98,0x2
0099 0227       | '  |		Execute	Access,All_Reference
009a 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
009b e5fe       |    |		Load	0x2,-0x2
009c 012f       | /  |		Execute	Any,Equal
009d 6802       |h   |		Jump_Zero	0xa0
009e 4801       |H   |		Short_Literal	0x1							; Debug Table 0x6.0x2 = 0x9e,0x3
009f 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
00a0 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x6.0x3 = 0xa0,0x4
00a1 0227       | '  |		Execute	Access,All_Reference
00a2 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00a3 003a       | :  |		Store_Top	Access,At_Offset_2
00a4 00c9       |    |		Action	Pop_Auxiliary_Loop
00a5 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x6.0x4 = 0xa5,0x1
00a6 77f1       |w   |		Jump_Nonzero	0x98
00a7 00ce       |    |		Action	Pop_Auxiliary
00a8 4800       |H   |		Short_Literal	0x0							; Debug Table 0x6.0x5 = 0xa8,0x5
00a9 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
00aa 0000 0000  |    |		.BLANK	0000[0x6]
00b0 ; --------------------------------------------------------------------------------------
00b0 ; SUBPROGRAM
00b0 ; --------------------------------------------------------------------------------------
00b0 00b3       |    |		.CONST	0x00b3								; Address of begin
00b1 0004       |    |		.CONST	0x0004								; Address of exception handler
00b2 0001       |    |		.CONST	0x0001								; Number of locals
00b3			BODY_00b0:
00b3			INIT_00b0:
00b3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x7 = .DEBUG	0x00b3,0x0208,0x1001,0x0000,0x0055,0xe315,0x0000,0x004e
													; Debug Table 0x7.0x0 = 0xb3,0x1
00b4 e20f       |    |		Load	0x1,0xf
00b5 0119       |    |		Execute	Any,Check_In_Formal_Type
00b6 e5fe       |    |		Load	0x2,-0x2
00b7 8215       |    |		Call	0x1,0x15
00b8 700d       |p   |		Jump_Nonzero	0xc6
00b9 e21d       |    |		Load	0x1,0x1d							; Debug Table 0x7.0x1 = 0xb9,0x2
00ba 0322       | "  |		Declare_Variable	Record
00bb 00db       |    |		Load_Top	At_Offset_3
00bc e20f       |    |		Load	0x1,0xf
00bd 0119       |    |		Execute	Any,Check_In_Formal_Type
00be 00d9       |    |		Load_Top	At_Offset_1
00bf 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00c0 e5fe       |    |		Load	0x2,-0x2
00c1 00d9       |    |		Load_Top	At_Offset_1
00c2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00c3 e210       |    |		Load	0x1,0x10
00c4 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
00c5 a5fe       |    |		Store_Unchecked	0x2,-0x2
00c6 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00c7 0000       |    |		.XXX[0x1]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00cf       |    |		.CONST	0x00cf								; Address of begin
00c9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ca 0003       |    |		.CONST	0x0003								; Number of locals
00cb			INIT_00c8:
00cb e210       |    |		Load	0x1,0x10							; Debug Table 0x8 = .DEBUG	0x00cb,0x020e,0x1001,0x0000,0x0055,0xe315,0x0000,0x005a
													; Debug Table 0x8.0x0 = 0xcb,0xffff
00cc e5fe       |    |		Load	0x2,-0x2
00cd 0039       | 9  |		Store_Top	Access,At_Offset_1
00ce e210       |    |		Load	0x1,0x10							; Debug Table 0x8.0x1 = 0xce,0xfffe
00cf			BODY_00c8:
00cf 00cf       |    |		Action	Mark_Auxiliary
00d0 781b       |x   |		Jump	0xec
00d1 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x2 = 0xd1,0x2
00d2 0227       | '  |		Execute	Access,All_Reference
00d3 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d4 e5ff       |    |		Load	0x2,-0x1
00d5 012f       | /  |		Execute	Any,Equal
00d6 680e       |h   |		Jump_Zero	0xe5
00d7 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x3 = 0xd7,0x3
00d8 6807       |h   |		Jump_Zero	0xe0
00d9 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x4 = 0xd9,0x4
00da 0227       | '  |		Execute	Access,All_Reference
00db 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00dc 00da       |    |		Load_Top	At_Offset_2
00dd 0227       | '  |		Execute	Access,All_Reference
00de 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00df 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00e0 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x5 = 0xe0,0x5
00e1 0227       | '  |		Execute	Access,All_Reference
00e2 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00e3 a5fe       |    |		Store_Unchecked	0x2,-0x2
00e4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2					; Debug Table 0x8.0x6 = 0xe4,0x6
00e5 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x7 = 0xe5,0x7
00e6 003a       | :  |		Store_Top	Access,At_Offset_2
00e7 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x8 = 0xe7,0x8
00e8 0227       | '  |		Execute	Access,All_Reference
00e9 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ea 003b       | ;  |		Store_Top	Access,At_Offset_3
00eb 00c9       |    |		Action	Pop_Auxiliary_Loop
00ec 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8.0x9 = 0xec,0x1
00ed 77e3       |w   |		Jump_Nonzero	0xd1
00ee 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00ef 0000       |    |		.XXX[0x1]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f3       |    |		.CONST	0x00f3								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0001       |    |		.CONST	0x0001								; Number of locals
00f3			BODY_00f0:
00f3			INIT_00f0:
00f3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x9 = .DEBUG	0x00f3,0x0224,0x1001,0x0000,0x0055,0xe315,0x0000,0x006a
													; Debug Table 0x9.0x0 = 0xf3,0x1
00f4 a5fe       |    |		Store_Unchecked	0x2,-0x2
00f5 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00f6 0000 0000  |    |		.XXX[0x2]
00f8 ; --------------------------------------------------------------------------------------
00f8 ; SUBPROGRAM
00f8 ; --------------------------------------------------------------------------------------
00f8 00fb       |    |		.CONST	0x00fb								; Address of begin
00f9 0004       |    |		.CONST	0x0004								; Address of exception handler
00fa 0001       |    |		.CONST	0x0001								; Number of locals
00fb			BODY_00f8:
00fb			INIT_00f8:
00fb 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xa = .DEBUG	0x00fb,0x0228,0x1001,0x0000,0x0055,0xe315,0x0000,0x0076
													; Debug Table 0xa.0x0 = 0xfb,0x1
00fc 0227       | '  |		Execute	Access,All_Reference
00fd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00fe 003b       | ;  |		Store_Top	Access,At_Offset_3
00ff 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0100 ; --------------------------------------------------------------------------------------
0100 ; SUBPROGRAM
0100 ; --------------------------------------------------------------------------------------
0100 0103       |    |		.CONST	0x0103								; Address of begin
0101 0004       |    |		.CONST	0x0004								; Address of exception handler
0102 0001       |    |		.CONST	0x0001								; Number of locals
0103			BODY_0100:
0103			INIT_0100:
0103 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xb = .DEBUG	0x0103,0x022c,0x1002,0x0000,0x0055,0xe315,0x0000,0x007e
													; Debug Table 0xb.0x0 = 0x103,0x1
0104 0227       | '  |		Execute	Access,All_Reference
0105 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0106 00d8       |    |		Load_Top	At_Offset_0
0107 0120       |    |		Execute	Any,Is_Value
0108 7002       |p   |		Jump_Nonzero	0x10b
0109 00d8       |    |		Load_Top	At_Offset_0
010a 011e       |    |		Execute	Any,Convert
010b e20f       |    |		Load	0x1,0xf
010c 0119       |    |		Execute	Any,Check_In_Formal_Type
010d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
010e 0000 0000  |    |		.XXX[0x2]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 0113       |    |		.CONST	0x0113								; Address of begin
0111 0004       |    |		.CONST	0x0004								; Address of exception handler
0112 0001       |    |		.CONST	0x0001								; Number of locals
0113			BODY_0110:
0113			INIT_0110:
0113 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xc = .DEBUG	0x0113,0x0230,0x1002,0x0000,0x0055,0xe315,0x0000,0x0087
													; Debug Table 0xc.0x0 = 0x113,0x1
0114 022d       | -  |		Execute	Access,Is_Null
0115 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0116 0000 0000  |    |		.XXX[0x2]
0118 ; --------------------------------------------------------------------------------------
0118 ; SUBPROGRAM
0118 ; --------------------------------------------------------------------------------------
0118 011b       |    |		.CONST	0x011b								; Address of begin
0119 0004       |    |		.CONST	0x0004								; Address of exception handler
011a 0001       |    |		.CONST	0x0001								; Number of locals
011b			BODY_0118:
011b			INIT_0118:
011b 4608       |F   |		Jump_Case	0x9							; Debug Table 0xd = .DEBUG	0x011b,0x0234,0x1005,0x0000,0x0055,0xe315,0x0000,0x0091
011c 7808       |x   |		Jump	0x125								; case 0x0
011d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
011e 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
011f 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0120 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0121 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
0122 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
0123 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
0124 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
0125 00da       |    |		Load_Top	At_Offset_2
0126 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0127 0125       | %  |		Execute	Any,Set_Constraint
0128 00da       |    |		Load_Top	At_Offset_2
0129 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
012a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
012b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
012c 0000 0000  |    |		.BLANK	0000[0x4]
0130 ; --------------------------------------------------------------------------------------
0130 ; Debug Table
0130 ; --------------------------------------------------------------------------------------
0130 0003 000e  |    |		.CONST	0x0003,0x000e
0132 000b 01a2  |    |		.DEBUG	0x000b,0x01a2,0xc000,0x0000,0x0055,0xe315,0x0000,0x0003
013a 0033 01c8  | 3  |		.DEBUG	0x0033,0x01c8,0xc000,0x0000,0x0055,0xe325,0x0000,0x0003
0142 0053 01e2  | S  |		.DEBUG	0x0053,0x01e2,0x1001,0x0000,0x0055,0xe315,0x0000,0x001c
014a 005b 01e6  | [  |		.DEBUG	0x005b,0x01e6,0x1002,0x0000,0x0055,0xe315,0x0000,0x0024
0152 0063 01ea  | c  |		.DEBUG	0x0063,0x01ea,0x1001,0x0000,0x0055,0xe315,0x0000,0x002d
015a 006b 01ee  | k  |		.DEBUG	0x006b,0x01ee,0x1001,0x0000,0x0055,0xe315,0x0000,0x0035
0162 0093 01fa  |    |		.DEBUG	0x0093,0x01fa,0x1002,0x0000,0x0055,0xe315,0x0000,0x0041
016a 00b3 0208  |    |		.DEBUG	0x00b3,0x0208,0x1001,0x0000,0x0055,0xe315,0x0000,0x004e
0172 00cb 020e  |    |		.DEBUG	0x00cb,0x020e,0x1001,0x0000,0x0055,0xe315,0x0000,0x005a
017a 00f3 0224  |   $|		.DEBUG	0x00f3,0x0224,0x1001,0x0000,0x0055,0xe315,0x0000,0x006a
0182 00fb 0228  |   (|		.DEBUG	0x00fb,0x0228,0x1001,0x0000,0x0055,0xe315,0x0000,0x0076
018a 0103 022c  |   ,|		.DEBUG	0x0103,0x022c,0x1002,0x0000,0x0055,0xe315,0x0000,0x007e
0192 0113 0230  |   0|		.DEBUG	0x0113,0x0230,0x1002,0x0000,0x0055,0xe315,0x0000,0x0087
019a 011b 0234  |   4|		.DEBUG	0x011b,0x0234,0x1005,0x0000,0x0055,0xe315,0x0000,0x0091
01a2 ; --------------------------------------------------------------------------------------
01a2 ; Debug3 Subtable 0x0
01a2 ; --------------------------------------------------------------------------------------
01a2 0012 0000  |    |		.DBG3TAB	0x0012,0x0000
01a4 000b ffff  |    |		.CONST	0x000b,0xffff
01a6 000b fffe  |    |		.CONST	0x000b,0xfffe
01a8 000b fffd  |    |		.CONST	0x000b,0xfffd
01aa 000d fffc  |    |		.CONST	0x000d,0xfffc
01ac 000f fffb  |    |		.CONST	0x000f,0xfffb
01ae 0011 fffa  |    |		.CONST	0x0011,0xfffa
01b0 0013 fff9  |    |		.CONST	0x0013,0xfff9
01b2 0015 fff8  |    |		.CONST	0x0015,0xfff8
01b4 0017 fff7  |    |		.CONST	0x0017,0xfff7
01b6 0019 fff6  |    |		.CONST	0x0019,0xfff6
01b8 001b fff5  |    |		.CONST	0x001b,0xfff5
01ba 001d fff4  |    |		.CONST	0x001d,0xfff4
01bc 001f fff3  |    |		.CONST	0x001f,0xfff3
01be 0021 fff2  | !  |		.CONST	0x0021,0xfff2
01c0 0023 fff1  | #  |		.CONST	0x0023,0xfff1
01c2 0025 fff0  | %  |		.CONST	0x0025,0xfff0
01c4 002b ffef  | +  |		.CONST	0x002b,0xffef
01c6 002f ffee  | /  |		.CONST	0x002f,0xffee
01c8 ; --------------------------------------------------------------------------------------
01c8 ; Debug3 Subtable 0x1
01c8 ; --------------------------------------------------------------------------------------
01c8 000c 0000  |    |		.DBG3TAB	0x000c,0x0000
01ca 0033 ffff  | 3  |		.CONST	0x0033,0xffff
01cc 0033 fffe  | 3  |		.CONST	0x0033,0xfffe
01ce 0035 fffd  | 5  |		.CONST	0x0035,0xfffd
01d0 0037 fffc  | 7  |		.CONST	0x0037,0xfffc
01d2 0039 fffb  | 9  |		.CONST	0x0039,0xfffb
01d4 003b fffa  | ;  |		.CONST	0x003b,0xfffa
01d6 003d fff9  | =  |		.CONST	0x003d,0xfff9
01d8 003f fff8  | ?  |		.CONST	0x003f,0xfff8
01da 0041 fff7  | A  |		.CONST	0x0041,0xfff7
01dc 0043 fff6  | C  |		.CONST	0x0043,0xfff6
01de 0045 fff5  | E  |		.CONST	0x0045,0xfff5
01e0 0047 fff4  | G  |		.CONST	0x0047,0xfff4
01e2 ; --------------------------------------------------------------------------------------
01e2 ; Debug3 Subtable 0x2
01e2 ; --------------------------------------------------------------------------------------
01e2 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01e4 0053 0001  | S  |		.CONST	0x0053,0x0001
01e6 ; --------------------------------------------------------------------------------------
01e6 ; Debug3 Subtable 0x3
01e6 ; --------------------------------------------------------------------------------------
01e6 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01e8 005b 0001  | [  |		.CONST	0x005b,0x0001
01ea ; --------------------------------------------------------------------------------------
01ea ; Debug3 Subtable 0x4
01ea ; --------------------------------------------------------------------------------------
01ea 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01ec 0063 0001  | c  |		.CONST	0x0063,0x0001
01ee ; --------------------------------------------------------------------------------------
01ee ; Debug3 Subtable 0x5
01ee ; --------------------------------------------------------------------------------------
01ee 0001 0004  |    |		.DBG3TAB	0x0001,0x0004
01f0 006b ffff  | k  |		.CONST	0x006b,0xffff
01f2 006e 0001  | n  |		.CONST	0x006e,0x0001
01f4 0072 0003  | r  |		.CONST	0x0072,0x0003
01f6 0081 0004  |    |		.CONST	0x0081,0x0004
01f8 0086 0002  |    |		.CONST	0x0086,0x0002
01fa ; --------------------------------------------------------------------------------------
01fa ; Debug3 Subtable 0x6
01fa ; --------------------------------------------------------------------------------------
01fa 0001 0005  |    |		.DBG3TAB	0x0001,0x0005
01fc 0093 ffff  |    |		.CONST	0x0093,0xffff
01fe 0098 0002  |    |		.CONST	0x0098,0x0002
0200 009e 0003  |    |		.CONST	0x009e,0x0003
0202 00a0 0004  |    |		.CONST	0x00a0,0x0004
0204 00a5 0001  |    |		.CONST	0x00a5,0x0001
0206 00a8 0005  |    |		.CONST	0x00a8,0x0005
0208 ; --------------------------------------------------------------------------------------
0208 ; Debug3 Subtable 0x7
0208 ; --------------------------------------------------------------------------------------
0208 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
020a 00b3 0001  |    |		.CONST	0x00b3,0x0001
020c 00b9 0002  |    |		.CONST	0x00b9,0x0002
020e ; --------------------------------------------------------------------------------------
020e ; Debug3 Subtable 0x8
020e ; --------------------------------------------------------------------------------------
020e 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0210 00cb ffff  |    |		.CONST	0x00cb,0xffff
0212 00ce fffe  |    |		.CONST	0x00ce,0xfffe
0214 00d1 0002  |    |		.CONST	0x00d1,0x0002
0216 00d7 0003  |    |		.CONST	0x00d7,0x0003
0218 00d9 0004  |    |		.CONST	0x00d9,0x0004
021a 00e0 0005  |    |		.CONST	0x00e0,0x0005
021c 00e4 0006  |    |		.CONST	0x00e4,0x0006
021e 00e5 0007  |    |		.CONST	0x00e5,0x0007
0220 00e7 0008  |    |		.CONST	0x00e7,0x0008
0222 00ec 0001  |    |		.CONST	0x00ec,0x0001
0224 ; --------------------------------------------------------------------------------------
0224 ; Debug3 Subtable 0x9
0224 ; --------------------------------------------------------------------------------------
0224 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0226 00f3 0001  |    |		.CONST	0x00f3,0x0001
0228 ; --------------------------------------------------------------------------------------
0228 ; Debug3 Subtable 0xa
0228 ; --------------------------------------------------------------------------------------
0228 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
022a 00fb 0001  |    |		.CONST	0x00fb,0x0001
022c ; --------------------------------------------------------------------------------------
022c ; Debug3 Subtable 0xb
022c ; --------------------------------------------------------------------------------------
022c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
022e 0103 0001  |    |		.CONST	0x0103,0x0001
0230 ; --------------------------------------------------------------------------------------
0230 ; Debug3 Subtable 0xc
0230 ; --------------------------------------------------------------------------------------
0230 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0232 0113 0001  |    |		.CONST	0x0113,0x0001
0234 ; --------------------------------------------------------------------------------------
0234 ; Debug3 Subtable 0xd
0234 ; --------------------------------------------------------------------------------------
0234 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
0236 0000 0000  |    |		.BLANK	0000[0x1ca]