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

⟦ddc09fbc0⟧

    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 0180       |    |		.CONST	0x0180								; 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 005b       | [  |		.CONST	0x005b								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001e       |    |		.CONST	0x001e								; Number of locals
000b			INIT_0008:
000b 4803       |H   |		Short_Literal	0x3							; Debug Table 0x0 = .DEBUG	0x000b,0x01ea,0xc000,0x0000,0x0055,0xb5c5,0x0000,0x0003
													; Debug Table 0x0.0x0 = 0xb,0xffff
000c 032b       | +  |		Declare_Type	Record,Incomplete,Visible
000d 00c4       |    |		Action	Make_Default							; Debug Table 0x0.0x1 = 0xd,0xfffe
000e 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x2 = 0xe,0xfffd
0010 029a 007b  |   {|		Declare_Subprogram	INIT_0078,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0x10,0xfffc
0012 029a 00a3  |    |		Declare_Subprogram	INIT_00a0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0x12,0xfffb
0014 029a 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x14,0xfffa
0016 029a 00db  |    |		Declare_Subprogram	INIT_00d8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x16,0xfff9
0018 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x18,0xfff8
001a 4818       |H   |		Short_Literal	0x18							; Debug Table 0x0.0x8 = 0x1a,0xfff7
													; Debug Table 0x0.0x9 = 0x1a,0xfff6
001b 03cf       |    |		Declare_Type	Access,Incomplete,Visible
001c 029a 0143  |   C|		Declare_Subprogram	INIT_0140,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xa = 0x1c,0xfff5
001e 029a 014b  |   K|		Declare_Subprogram	INIT_0148,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1e,0xfff4
0020 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x20,0xfff3
0022 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x22,0xfff2
0024 4802       |H   |		Short_Literal	0x2							; Debug Table 0x0.0x10 = 0x24,0xffef
													; Debug Table 0x0.0x11 = 0x24,0xffee
													; Debug Table 0x0.0x12 = 0x24,0xffed
													; Debug Table 0x0.0x13 = 0x24,0xffec
													; Debug Table 0x0.0x14 = 0x24,0xffeb
													; Debug Table 0x0.0x15 = 0x24,0xffea
													; Debug Table 0x0.0x16 = 0x24,0xffe9
													; Debug Table 0x0.0x17 = 0x24,0xffe8
													; Debug Table 0x0.0xe = 0x24,0xfff1
													; Debug Table 0x0.0xf = 0x24,0xfff0
0025 032a       | *  |		Declare_Type	Record,Incomplete
0026 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x18 = 0x26,0xffe7
0027 02a0       |    |		Declare_Subprogram	Null_Subprogram
0028 4818       |H   |		Short_Literal	0x18
0029 03d3       |    |		Declare_Type	Access,Defined,Accesses_Protected
002a 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x19 = 0x2a,0xffe6
002b 00d9       |    |		Load_Top	At_Offset_1
002c 00da       |    |		Load_Top	At_Offset_2
002d 02a0       |    |		Declare_Subprogram	Null_Subprogram
002e e210       |    |		Load	0x1,0x10
002f 0326       | &  |		Complete_Type	Record,By_Defining
0030 e210       |    |		Load	0x1,0x10							; Debug Table 0x0.0x1a = 0x30,0xffe5
0031 0322       | "  |		Declare_Variable	Record
0032 00d9       |    |		Load_Top	At_Offset_1
0033 00d9       |    |		Load_Top	At_Offset_1
0034 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0035 00d9       |    |		Load_Top	At_Offset_1
0036 00d9       |    |		Load_Top	At_Offset_1
0037 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0038 00d9       |    |		Load_Top	At_Offset_1
0039 00d9       |    |		Load_Top	At_Offset_1
003a 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
003b 0129       | )  |		Execute	Any,Make_Visible
003c c211       |    |		Store	0x1,0x11
003d 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x1b = 0x3d,0xffe4
003e e218       |    |		Load	0x1,0x18
003f 03c6       |    |		Complete_Type	Access,By_Renaming
0040 00bf       |    |		Action	Accept_Activation
0041 e20f       |    |		Load	0x1,0xf								; Debug Table 0x1 = .DEBUG	0x0041,0x0224,0xc000,0x0000,0x0055,0xb5d5,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x41,0xffff
0042 00d9       |    |		Load_Top	At_Offset_1
0043 029f 016b  |   k|		Declare_Subprogram	INIT_0168,For_Call
0045 e21d       |    |		Load	0x1,0x1d
0046 0326       | &  |		Complete_Type	Record,By_Defining
0047 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x1 = 0x47,0xfffe
0048 00c7       |    |		Action	Elaborate_Subprogram
0049 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x2 = 0x49,0xfffd
004a 00c7       |    |		Action	Elaborate_Subprogram
004b 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0x3 = 0x4b,0xfffc
004c 00c7       |    |		Action	Elaborate_Subprogram
004d 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0x4 = 0x4d,0xfffb
004e 00c7       |    |		Action	Elaborate_Subprogram
004f 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0x5 = 0x4f,0xfffa
0050 00c7       |    |		Action	Elaborate_Subprogram
0051 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0x6 = 0x51,0xfff9
0052 00c7       |    |		Action	Elaborate_Subprogram
0053 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x7 = 0x53,0xfff8
0054 00c7       |    |		Action	Elaborate_Subprogram
0055 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x8 = 0x55,0xfff7
0056 00c7       |    |		Action	Elaborate_Subprogram
0057 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x9 = 0x57,0xfff6
0058 00c7       |    |		Action	Elaborate_Subprogram
0059 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0xa = 0x59,0xfff5
005a 00c7       |    |		Action	Elaborate_Subprogram
005b			BODY_0008:
005b 00bc       |    |		Action	Signal_Activated
005c 00bb       |    |		Action	Signal_Completion
005d 0000 0000  |    |		.XXX[0x3]
005f 0000       |    |
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 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2 = .DEBUG	0x0063,0x023c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0017
													; Debug Table 0x2.0x0 = 0x63,0x1
0064 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0065 7001       |p   |		Jump_Nonzero	0x67
0066 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1					; Debug Table 0x2.0x1 = 0x66,0x2
0067 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2.0x2 = 0x67,0x3
0068 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0069 00db       |    |		Load_Top	At_Offset_3
006a 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
006b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2.0x3 = 0x6b,0x4
006c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
006d 00db       |    |		Load_Top	At_Offset_3
006e 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
006f e21e       |    |		Load	0x1,0x1e							; Debug Table 0x2.0x4 = 0x6f,0x5
0070 00db       |    |		Load_Top	At_Offset_3
0071 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0072 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0073 0000 0000  |    |		.BLANK	0000[0x5]
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 007c       | |  |		.CONST	0x007c								; Address of begin
0079 0004       |    |		.CONST	0x0004								; Address of exception handler
007a 0002       |    |		.CONST	0x0002								; Number of locals
007b			INIT_0078:
007b e21e       |    |		Load	0x1,0x1e							; Debug Table 0x3 = .DEBUG	0x007b,0x0248,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x001f
													; Debug Table 0x3.0x0 = 0x7b,0xffff
007c			BODY_0078:
007c 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x1 = 0x7c,0x1
007d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
007e 7002       |p   |		Jump_Nonzero	0x81
007f 60fc       |`   |		Indirect_Literal	Discrete,0x17c,{0x00000000, 0x55b5c501}		; Debug Table 0x3.0x2 = 0x7f,0x2
0080 0257       | W  |		Execute	Discrete,Raise
0081 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x3 = 0x81,0x3
0082 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0083 0039       | 9  |		Store_Top	Access,At_Offset_1
0084 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x4 = 0x84,0x4
0085 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0086 0227       | '  |		Execute	Access,All_Reference
0087 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0088 e5ff       |    |		Load	0x2,-0x1
0089 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
008a 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x5 = 0x8a,0x5
008b 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
008c 00d9       |    |		Load_Top	At_Offset_1
008d 0227       | '  |		Execute	Access,All_Reference
008e 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
008f 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x3.0x6 = 0x8f,0x6
0090 e5ff       |    |		Load	0x2,-0x1
0091 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0092 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x7 = 0x92,0x7
0093 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0094 7003       |p   |		Jump_Nonzero	0x98
0095 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x3.0x8 = 0x95,0x8
0096 e5ff       |    |		Load	0x2,-0x1
0097 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0098 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0099 0000 0000  |    |		.BLANK	0000[0x7]
00a0 ; --------------------------------------------------------------------------------------
00a0 ; SUBPROGRAM
00a0 ; --------------------------------------------------------------------------------------
00a0 00a4       |    |		.CONST	0x00a4								; Address of begin
00a1 0004       |    |		.CONST	0x0004								; Address of exception handler
00a2 0002       |    |		.CONST	0x0002								; Number of locals
00a3			INIT_00a0:
00a3 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x4 = .DEBUG	0x00a3,0x025c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0027
													; Debug Table 0x4.0x0 = 0xa3,0xffff
00a4			BODY_00a0:
00a4 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x4.0x1 = 0xa4,0x1
00a5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00a6 7012       |p   |		Jump_Nonzero	0xb9
00a7 e21d       |    |		Load	0x1,0x1d							; Debug Table 0x4.0x2 = 0xa7,0x2
00a8 0322       | "  |		Declare_Variable	Record
00a9 e5ff       |    |		Load	0x2,-0x1
00aa e20f       |    |		Load	0x1,0xf
00ab 0119       |    |		Execute	Any,Check_In_Formal_Type
00ac 00d9       |    |		Load_Top	At_Offset_1
00ad 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00ae e5fe       |    |		Load	0x2,-0x2
00af 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00b0 00d9       |    |		Load_Top	At_Offset_1
00b1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b2 e21e       |    |		Load	0x1,0x1e
00b3 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
00b4 0039       | 9  |		Store_Top	Access,At_Offset_1
00b5 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x3 = 0xb5,0x3
00b6 e5fe       |    |		Load	0x2,-0x2
00b7 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00b8 7812       |x   |		Jump	0xcb
00b9 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x4.0x4 = 0xb9,0x4
00ba 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00bb 0039       | 9  |		Store_Top	Access,At_Offset_1
00bc 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x4.0x5 = 0xbc,0x5
00bd 00d9       |    |		Load_Top	At_Offset_1
00be 0227       | '  |		Execute	Access,All_Reference
00bf 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00c0 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x4.0x6 = 0xc0,0x6
00c1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00c2 0227       | '  |		Execute	Access,All_Reference
00c3 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00c4 e5fe       |    |		Load	0x2,-0x2
00c5 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00c6 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x4.0x7 = 0xc6,0x7
00c7 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00c8 00d9       |    |		Load_Top	At_Offset_1
00c9 0227       | '  |		Execute	Access,All_Reference
00ca 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00cb 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x8 = 0xcb,0x8
00cc e5fe       |    |		Load	0x2,-0x2
00cd 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00ce 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00cf 0000       |    |		.XXX[0x1]
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						; Debug Table 0x5 = .DEBUG	0x00d3,0x0270,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x0033
													; Debug Table 0x5.0x0 = 0xd3,0x1
00d4 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d5 022d       | -  |		Execute	Access,Is_Null
00d6 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00d7 0000       |    |		.XXX[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						; Debug Table 0x6 = .DEBUG	0x00db,0x0274,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x003c
													; Debug Table 0x6.0x0 = 0xdb,0x1
00dc 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00dd 7002       |p   |		Jump_Nonzero	0xe0
00de 609d       |`   |		Indirect_Literal	Discrete,0x17c,{0x00000000, 0x55b5c501}		; Debug Table 0x6.0x1 = 0xde,0x2
00df 0257       | W  |		Execute	Discrete,Raise
00e0 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x6.0x2 = 0xe0,0x3
00e1 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00e2 0227       | '  |		Execute	Access,All_Reference
00e3 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00e4 00d8       |    |		Load_Top	At_Offset_0
00e5 0120       |    |		Execute	Any,Is_Value
00e6 7002       |p   |		Jump_Nonzero	0xe9
00e7 00d8       |    |		Load_Top	At_Offset_0
00e8 011e       |    |		Execute	Any,Convert
00e9 e20f       |    |		Load	0x1,0xf
00ea 0119       |    |		Execute	Any,Check_In_Formal_Type
00eb 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00ec 0000 0000  |    |		.BLANK	0000[0x4]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f5       |    |		.CONST	0x00f5								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0003       |    |		.CONST	0x0003								; Number of locals
00f3			INIT_00f0:
00f3 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7 = .DEBUG	0x00f3,0x027c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0045
													; Debug Table 0x7.0x0 = 0xf3,0xffff
00f4 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x1 = 0xf4,0xfffe
00f5			BODY_00f0:
00f5 e5ff       |    |		Load	0x2,-0x1							; Debug Table 0x7.0x2 = 0xf5,0x1
00f6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00f7 6840       |h@  |		Jump_Zero	0x138
00f8 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x3 = 0xf8,0x2
00f9 e5fe       |    |		Load	0x2,-0x2
00fa 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00fb e21d       |    |		Load	0x1,0x1d							; Debug Table 0x7.0x4 = 0xfb,0x3
00fc 0322       | "  |		Declare_Variable	Record
00fd e5ff       |    |		Load	0x2,-0x1
00fe 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00ff 0227       | '  |		Execute	Access,All_Reference
0100 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0101 e20f       |    |		Load	0x1,0xf
0102 0119       |    |		Execute	Any,Check_In_Formal_Type
0103 00d9       |    |		Load_Top	At_Offset_1
0104 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0105 e21e       |    |		Load	0x1,0x1e
0106 00d9       |    |		Load_Top	At_Offset_1
0107 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0108 e21e       |    |		Load	0x1,0x1e
0109 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
010a e5fe       |    |		Load	0x2,-0x2
010b 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
010c e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x7.0x5 = 0x10c,0x4
010d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
010e e5fe       |    |		Load	0x2,-0x2
010f 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0110 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x7.0x6 = 0x110,0x5
0111 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0112 0039       | 9  |		Store_Top	Access,At_Offset_1
0113 e5ff       |    |		Load	0x2,-0x1							; Debug Table 0x7.0x7 = 0x113,0x6
0114 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0115 0227       | '  |		Execute	Access,All_Reference
0116 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0117 003a       | :  |		Store_Top	Access,At_Offset_2
0118 00cf       |    |		Action	Mark_Auxiliary
0119 781a       |x   |		Jump	0x134
011a e21d       |    |		Load	0x1,0x1d							; Debug Table 0x7.0x8 = 0x11a,0x8
011b 0322       | "  |		Declare_Variable	Record
011c 00db       |    |		Load_Top	At_Offset_3
011d 0227       | '  |		Execute	Access,All_Reference
011e 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
011f e20f       |    |		Load	0x1,0xf
0120 0119       |    |		Execute	Any,Check_In_Formal_Type
0121 00d9       |    |		Load_Top	At_Offset_1
0122 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0123 e21e       |    |		Load	0x1,0x1e
0124 00d9       |    |		Load_Top	At_Offset_1
0125 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0126 e21e       |    |		Load	0x1,0x1e
0127 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
0128 00da       |    |		Load_Top	At_Offset_2
0129 0227       | '  |		Execute	Access,All_Reference
012a 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
012b 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x7.0x9 = 0x12b,0x9
012c 0227       | '  |		Execute	Access,All_Reference
012d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
012e 003a       | :  |		Store_Top	Access,At_Offset_2
012f 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x7.0xa = 0x12f,0xa
0130 0227       | '  |		Execute	Access,All_Reference
0131 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0132 003b       | ;  |		Store_Top	Access,At_Offset_3
0133 00c9       |    |		Action	Pop_Auxiliary_Loop
0134 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x7.0xb = 0x134,0x7
0135 77e4       |w   |		Jump_Nonzero	0x11a
0136 00ce       |    |		Action	Pop_Auxiliary
0137 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0138 e211       |    |		Load	0x1,0x11							; Debug Table 0x7.0xc = 0x138,0xb
0139 e5fe       |    |		Load	0x2,-0x2
013a 017d       | }  |		Execute	Record,Structure_Write
013b 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
013c 0000 0000  |    |		.BLANK	0000[0x4]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0143       | C  |		.CONST	0x0143								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0001       |    |		.CONST	0x0001								; Number of locals
0143			BODY_0140:
0143			INIT_0140:
0143 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8 = .DEBUG	0x0143,0x0298,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0058
													; Debug Table 0x8.0x0 = 0x143,0x1
0144 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0145 a5fe       |    |		Store_Unchecked	0x2,-0x2
0146 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0147 0000       |    |		.XXX[0x1]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014b       | K  |		.CONST	0x014b								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0001       |    |		.CONST	0x0001								; Number of locals
014b			BODY_0148:
014b			INIT_0148:
014b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x9 = .DEBUG	0x014b,0x029c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0064
													; Debug Table 0x9.0x0 = 0x14b,0x1
014c 0227       | '  |		Execute	Access,All_Reference
014d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
014e 003b       | ;  |		Store_Top	Access,At_Offset_3
014f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
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						; Debug Table 0xa = .DEBUG	0x0153,0x02a0,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x006c
													; Debug Table 0xa.0x0 = 0x153,0x1
0154 0227       | '  |		Execute	Access,All_Reference
0155 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0156 00d8       |    |		Load_Top	At_Offset_0
0157 0120       |    |		Execute	Any,Is_Value
0158 7002       |p   |		Jump_Nonzero	0x15b
0159 00d8       |    |		Load_Top	At_Offset_0
015a 011e       |    |		Execute	Any,Convert
015b e20f       |    |		Load	0x1,0xf
015c 0119       |    |		Execute	Any,Check_In_Formal_Type
015d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
015e 0000 0000  |    |		.XXX[0x2]
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						; Debug Table 0xb = .DEBUG	0x0163,0x02a4,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x0075
													; Debug Table 0xb.0x0 = 0x163,0x1
0164 022d       | -  |		Execute	Access,Is_Null
0165 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0166 0000 0000  |    |		.XXX[0x2]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b       | k  |		.CONST	0x016b								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0001       |    |		.CONST	0x0001								; Number of locals
016b			BODY_0168:
016b			INIT_0168:
016b 4608       |F   |		Jump_Case	0x9							; Debug Table 0xc = .DEBUG	0x016b,0x02a8,0x1005,0x0000,0x0055,0xb5d5,0x0000,0x0004
016c 7808       |x   |		Jump	0x175								; case 0x0
016d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
016e 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
016f 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0170 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0171 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
0172 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
0173 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
0174 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
0175 00da       |    |		Load_Top	At_Offset_2
0176 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0177 0125       | %  |		Execute	Any,Set_Constraint
0178 00da       |    |		Load_Top	At_Offset_2
0179 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
017a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
017b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
017c 0000 0000  |    |		.LITERAL	{0x00000000, 0x55b5c501}
0180 ; --------------------------------------------------------------------------------------
0180 ; Debug Table
0180 ; --------------------------------------------------------------------------------------
0180 0003 000d  |    |		.CONST	0x0003,0x000d
0182 000b 01ea  |    |		.DEBUG	0x000b,0x01ea,0xc000,0x0000,0x0055,0xb5c5,0x0000,0x0003
018a 0041 0224  | A $|		.DEBUG	0x0041,0x0224,0xc000,0x0000,0x0055,0xb5d5,0x0000,0x0003
0192 0063 023c  | c <|		.DEBUG	0x0063,0x023c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0017
019a 007b 0248  | { H|		.DEBUG	0x007b,0x0248,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x001f
01a2 00a3 025c  |   \|		.DEBUG	0x00a3,0x025c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0027
01aa 00d3 0270  |   p|		.DEBUG	0x00d3,0x0270,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x0033
01b2 00db 0274  |   t|		.DEBUG	0x00db,0x0274,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x003c
01ba 00f3 027c  |   ||		.DEBUG	0x00f3,0x027c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0045
01c2 0143 0298  | C  |		.DEBUG	0x0143,0x0298,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0058
01ca 014b 029c  | K  |		.DEBUG	0x014b,0x029c,0x1001,0x0000,0x0055,0xb5c5,0x0000,0x0064
01d2 0153 02a0  | S  |		.DEBUG	0x0153,0x02a0,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x006c
01da 0163 02a4  | c  |		.DEBUG	0x0163,0x02a4,0x1002,0x0000,0x0055,0xb5c5,0x0000,0x0075
01e2 016b 02a8  | k  |		.DEBUG	0x016b,0x02a8,0x1005,0x0000,0x0055,0xb5d5,0x0000,0x0004
01ea ; --------------------------------------------------------------------------------------
01ea ; Debug3 Subtable 0x0
01ea ; --------------------------------------------------------------------------------------
01ea 001c 0000  |    |		.DBG3TAB	0x001c,0x0000
01ec 000b ffff  |    |		.CONST	0x000b,0xffff
01ee 000d fffe  |    |		.CONST	0x000d,0xfffe
01f0 000e fffd  |    |		.CONST	0x000e,0xfffd
01f2 0010 fffc  |    |		.CONST	0x0010,0xfffc
01f4 0012 fffb  |    |		.CONST	0x0012,0xfffb
01f6 0014 fffa  |    |		.CONST	0x0014,0xfffa
01f8 0016 fff9  |    |		.CONST	0x0016,0xfff9
01fa 0018 fff8  |    |		.CONST	0x0018,0xfff8
01fc 001a fff7  |    |		.CONST	0x001a,0xfff7
01fe 001a fff6  |    |		.CONST	0x001a,0xfff6
0200 001c fff5  |    |		.CONST	0x001c,0xfff5
0202 001e fff4  |    |		.CONST	0x001e,0xfff4
0204 0020 fff3  |    |		.CONST	0x0020,0xfff3
0206 0022 fff2  | "  |		.CONST	0x0022,0xfff2
0208 0024 fff1  | $  |		.CONST	0x0024,0xfff1
020a 0024 fff0  | $  |		.CONST	0x0024,0xfff0
020c 0024 ffef  | $  |		.CONST	0x0024,0xffef
020e 0024 ffee  | $  |		.CONST	0x0024,0xffee
0210 0024 ffed  | $  |		.CONST	0x0024,0xffed
0212 0024 ffec  | $  |		.CONST	0x0024,0xffec
0214 0024 ffeb  | $  |		.CONST	0x0024,0xffeb
0216 0024 ffea  | $  |		.CONST	0x0024,0xffea
0218 0024 ffe9  | $  |		.CONST	0x0024,0xffe9
021a 0024 ffe8  | $  |		.CONST	0x0024,0xffe8
021c 0026 ffe7  | &  |		.CONST	0x0026,0xffe7
021e 002a ffe6  | *  |		.CONST	0x002a,0xffe6
0220 0030 ffe5  | 0  |		.CONST	0x0030,0xffe5
0222 003d ffe4  | =  |		.CONST	0x003d,0xffe4
0224 ; --------------------------------------------------------------------------------------
0224 ; Debug3 Subtable 0x1
0224 ; --------------------------------------------------------------------------------------
0224 000b 0000  |    |		.DBG3TAB	0x000b,0x0000
0226 0041 ffff  | A  |		.CONST	0x0041,0xffff
0228 0047 fffe  | G  |		.CONST	0x0047,0xfffe
022a 0049 fffd  | I  |		.CONST	0x0049,0xfffd
022c 004b fffc  | K  |		.CONST	0x004b,0xfffc
022e 004d fffb  | M  |		.CONST	0x004d,0xfffb
0230 004f fffa  | O  |		.CONST	0x004f,0xfffa
0232 0051 fff9  | Q  |		.CONST	0x0051,0xfff9
0234 0053 fff8  | S  |		.CONST	0x0053,0xfff8
0236 0055 fff7  | U  |		.CONST	0x0055,0xfff7
0238 0057 fff6  | W  |		.CONST	0x0057,0xfff6
023a 0059 fff5  | Y  |		.CONST	0x0059,0xfff5
023c ; --------------------------------------------------------------------------------------
023c ; Debug3 Subtable 0x2
023c ; --------------------------------------------------------------------------------------
023c 0000 0005  |    |		.DBG3TAB	0x0000,0x0005
023e 0063 0001  | c  |		.CONST	0x0063,0x0001
0240 0066 0002  | f  |		.CONST	0x0066,0x0002
0242 0067 0003  | g  |		.CONST	0x0067,0x0003
0244 006b 0004  | k  |		.CONST	0x006b,0x0004
0246 006f 0005  | o  |		.CONST	0x006f,0x0005
0248 ; --------------------------------------------------------------------------------------
0248 ; Debug3 Subtable 0x3
0248 ; --------------------------------------------------------------------------------------
0248 0001 0008  |    |		.DBG3TAB	0x0001,0x0008
024a 007b ffff  | {  |		.CONST	0x007b,0xffff
024c 007c 0001  | |  |		.CONST	0x007c,0x0001
024e 007f 0002  |    |		.CONST	0x007f,0x0002
0250 0081 0003  |    |		.CONST	0x0081,0x0003
0252 0084 0004  |    |		.CONST	0x0084,0x0004
0254 008a 0005  |    |		.CONST	0x008a,0x0005
0256 008f 0006  |    |		.CONST	0x008f,0x0006
0258 0092 0007  |    |		.CONST	0x0092,0x0007
025a 0095 0008  |    |		.CONST	0x0095,0x0008
025c ; --------------------------------------------------------------------------------------
025c ; Debug3 Subtable 0x4
025c ; --------------------------------------------------------------------------------------
025c 0001 0008  |    |		.DBG3TAB	0x0001,0x0008
025e 00a3 ffff  |    |		.CONST	0x00a3,0xffff
0260 00a4 0001  |    |		.CONST	0x00a4,0x0001
0262 00a7 0002  |    |		.CONST	0x00a7,0x0002
0264 00b5 0003  |    |		.CONST	0x00b5,0x0003
0266 00b9 0004  |    |		.CONST	0x00b9,0x0004
0268 00bc 0005  |    |		.CONST	0x00bc,0x0005
026a 00c0 0006  |    |		.CONST	0x00c0,0x0006
026c 00c6 0007  |    |		.CONST	0x00c6,0x0007
026e 00cb 0008  |    |		.CONST	0x00cb,0x0008
0270 ; --------------------------------------------------------------------------------------
0270 ; Debug3 Subtable 0x5
0270 ; --------------------------------------------------------------------------------------
0270 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0272 00d3 0001  |    |		.CONST	0x00d3,0x0001
0274 ; --------------------------------------------------------------------------------------
0274 ; Debug3 Subtable 0x6
0274 ; --------------------------------------------------------------------------------------
0274 0000 0003  |    |		.DBG3TAB	0x0000,0x0003
0276 00db 0001  |    |		.CONST	0x00db,0x0001
0278 00de 0002  |    |		.CONST	0x00de,0x0002
027a 00e0 0003  |    |		.CONST	0x00e0,0x0003
027c ; --------------------------------------------------------------------------------------
027c ; Debug3 Subtable 0x7
027c ; --------------------------------------------------------------------------------------
027c 0002 000b  |    |		.DBG3TAB	0x0002,0x000b
027e 00f3 ffff  |    |		.CONST	0x00f3,0xffff
0280 00f4 fffe  |    |		.CONST	0x00f4,0xfffe
0282 00f5 0001  |    |		.CONST	0x00f5,0x0001
0284 00f8 0002  |    |		.CONST	0x00f8,0x0002
0286 00fb 0003  |    |		.CONST	0x00fb,0x0003
0288 010c 0004  |    |		.CONST	0x010c,0x0004
028a 0110 0005  |    |		.CONST	0x0110,0x0005
028c 0113 0006  |    |		.CONST	0x0113,0x0006
028e 011a 0008  |    |		.CONST	0x011a,0x0008
0290 012b 0009  | +  |		.CONST	0x012b,0x0009
0292 012f 000a  | /  |		.CONST	0x012f,0x000a
0294 0134 0007  | 4  |		.CONST	0x0134,0x0007
0296 0138 000b  | 8  |		.CONST	0x0138,0x000b
0298 ; --------------------------------------------------------------------------------------
0298 ; Debug3 Subtable 0x8
0298 ; --------------------------------------------------------------------------------------
0298 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
029a 0143 0001  | C  |		.CONST	0x0143,0x0001
029c ; --------------------------------------------------------------------------------------
029c ; Debug3 Subtable 0x9
029c ; --------------------------------------------------------------------------------------
029c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
029e 014b 0001  | K  |		.CONST	0x014b,0x0001
02a0 ; --------------------------------------------------------------------------------------
02a0 ; Debug3 Subtable 0xa
02a0 ; --------------------------------------------------------------------------------------
02a0 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
02a2 0153 0001  | S  |		.CONST	0x0153,0x0001
02a4 ; --------------------------------------------------------------------------------------
02a4 ; Debug3 Subtable 0xb
02a4 ; --------------------------------------------------------------------------------------
02a4 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
02a6 0163 0001  | c  |		.CONST	0x0163,0x0001
02a8 ; --------------------------------------------------------------------------------------
02a8 ; Debug3 Subtable 0xc
02a8 ; --------------------------------------------------------------------------------------
02a8 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
02aa 0000 0000  |    |		.BLANK	0000[0x156]