DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 DFS Tapes

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 DFS Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦27932887d⟧ SEG

    Length: 2048 (0x800)
    Types: SEG
    Notes: 5811_R1K_CODE
    Names: »111635.SEG«

Derivation

└─⟦24d56d853⟧ Bits:30000744 8mm tape, Rational 1000, DFS, D_12_6_5 SEQ293
    └─ ⟦this⟧ »111635.SEG« 
└─⟦9031b0687⟧ Bits:30000407 8mm tape, Rational 1000, DFS, D_12_7_3
    └─ ⟦this⟧ »111635.SEG« 
└─⟦b4205821b⟧ Bits:30000743 8mm tape, Rational 1000, DFS, D_12_7_3 SEQ288
    └─ ⟦this⟧ »111635.SEG« 
└─⟦b434774df⟧ Bits:30000528 8mm tape, Rational 1000, DFS, D_12_6_5
    └─ ⟦this⟧ »111635.SEG« 
└─⟦bc1274df5⟧ Bits:30000750 8mm tape, Rational 1000, DFS backup from PAM's R1000
    └─ ⟦this⟧ »111635.SEG« 

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5811       |X   |		.CONST	0x5811								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0158       | X  |		.CONST	0x0158								; 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 0053       | S  |		.CONST	0x0053								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001f       |    |		.CONST	0x001f								; Number of locals
000b			INIT_0008:
000b 03a9       |    |		Declare_Type	Heap_Access,Indirect_Literal,Visible			; Debug Table 0x0 = .DEBUG	0x000b,0x01ca,0xc000,0x0000,0x0035,0xcd04,0x0000,0x0007
													; Debug Table 0x0.0x0 = 0xb,0xffff
													; Debug Table 0x0.0x1 = 0xb,0xfffe
													; Debug Table 0x0.0x2 = 0xb,0xfffd
000c 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0xc,0xfffc
000e 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0xe,0xfffb
0010 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x10,0xfffa
0012 029a 007b  |   {|		Declare_Subprogram	INIT_0078,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x12,0xfff9
0014 029a 00cb  |    |		Declare_Subprogram	INIT_00c8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x14,0xfff8
0016 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x16,0xfff7
0018 029a 010b  |    |		Declare_Subprogram	INIT_0108,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x9 = 0x18,0xfff6
001a 03a9       |    |		Declare_Type	Heap_Access,Indirect_Literal,Visible			; Debug Table 0x0.0xa = 0x1a,0xfff5
001b 029a 011b  |    |		Declare_Subprogram	INIT_0118,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1b,0xfff4
001d 029a 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x1d,0xfff3
001f 029a 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x1f,0xfff2
0021 029a 013b  |   ;|		Declare_Subprogram	INIT_0138,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xe = 0x21,0xfff1
0023 4802       |H   |		Short_Literal	0x2							; Debug Table 0x0.0x10 = 0x23,0xffef
													; Debug Table 0x0.0x11 = 0x23,0xffee
													; Debug Table 0x0.0x12 = 0x23,0xffed
													; Debug Table 0x0.0x13 = 0x23,0xffec
													; Debug Table 0x0.0x14 = 0x23,0xffeb
													; Debug Table 0x0.0x15 = 0x23,0xffea
													; Debug Table 0x0.0x16 = 0x23,0xffe9
													; Debug Table 0x0.0x17 = 0x23,0xffe8
													; Debug Table 0x0.0xf = 0x23,0xfff0
0024 032a       | *  |		Declare_Type	Record,Incomplete
0025 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x18 = 0x25,0xffe7
0026 02a0       |    |		Declare_Subprogram	Null_Subprogram
0027 e218       |    |		Load	0x1,0x18
0028 03a3       |    |		Complete_Type	Heap_Access,By_Defining
0029 03a5       |    |		Declare_Type	Heap_Access,Indirect_Literal,Values_Relative		; Debug Table 0x0.0x19 = 0x29,0xffe6
													; Debug Table 0x0.0x1a = 0x29,0xffe5
002a e218       |    |		Load	0x1,0x18
002b 00d9       |    |		Load_Top	At_Offset_1
002c 03a2       |    |		Complete_Type	Heap_Access,By_Renaming
002d e20f       |    |		Load	0x1,0xf								; Debug Table 0x0.0x1b = 0x2d,0xffe4
													; Debug Table 0x0.0x1c = 0x2d,0xffe3
002e 00d9       |    |		Load_Top	At_Offset_1
002f 029f 0143  |   C|		Declare_Subprogram	INIT_0140,For_Call
0031 e21d       |    |		Load	0x1,0x1d
0032 0326       | &  |		Complete_Type	Record,By_Defining
0033 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x1d = 0x33,0xffe2
0034 00d9       |    |		Load_Top	At_Offset_1
0035 02a0       |    |		Declare_Subprogram	Null_Subprogram
0036 4802       |H   |		Short_Literal	0x2
0037 032d       | -  |		Declare_Type	Record,Defined
0038 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x1e = 0x38,0xffe1
0039 02a0       |    |		Declare_Subprogram	Null_Subprogram
003a e210       |    |		Load	0x1,0x10
003b 03a3       |    |		Complete_Type	Heap_Access,By_Defining
003c 00bf       |    |		Action	Accept_Activation						; Debug Table 0x0.0x1f = 0x3c,0xffe0
003d 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1 = .DEBUG	0x003d,0x020c,0xc000,0x0000,0x0036,0x0b14,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x3d,0xffff
													; Debug Table 0x1.0x1 = 0x3d,0xfffe
003e 00c7       |    |		Action	Elaborate_Subprogram
003f 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x2 = 0x3f,0xfffd
0040 00c7       |    |		Action	Elaborate_Subprogram
0041 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x3 = 0x41,0xfffc
0042 00c7       |    |		Action	Elaborate_Subprogram
0043 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x4 = 0x43,0xfffb
0044 00c7       |    |		Action	Elaborate_Subprogram
0045 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x5 = 0x45,0xfffa
0046 00c7       |    |		Action	Elaborate_Subprogram
0047 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x6 = 0x47,0xfff9
													; Debug Table 0x1.0x7 = 0x47,0xfff8
0048 00c7       |    |		Action	Elaborate_Subprogram
0049 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0x8 = 0x49,0xfff7
													; Debug Table 0x1.0x9 = 0x49,0xfff6
004a 00c7       |    |		Action	Elaborate_Subprogram
004b 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0xa = 0x4b,0xfff5
004c 00c7       |    |		Action	Elaborate_Subprogram
004d 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0xb = 0x4d,0xfff4
004e 00c7       |    |		Action	Elaborate_Subprogram
004f 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0xc = 0x4f,0xfff3
0050 00c7       |    |		Action	Elaborate_Subprogram
0051 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0xd = 0x51,0xfff2
0052 00c7       |    |		Action	Elaborate_Subprogram
0053			BODY_0008:
0053 00bc       |    |		Action	Signal_Activated
0054 00bb       |    |		Action	Signal_Completion
0055 0000 0000  |    |		.XXX[0x3]
0057 0000       |    |
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 e210       |    |		Load	0x1,0x10							; Debug Table 0x2 = .DEBUG	0x005b,0x022a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0027
													; Debug Table 0x2.0x0 = 0x5b,0x1
005c 00db       |    |		Load_Top	At_Offset_3
005d 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
005e a5fe       |    |		Store_Unchecked	0x2,-0x2
005f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2					; Debug Table 0x2.0x1 = 0x5f,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 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3 = .DEBUG	0x0063,0x0230,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0035
													; Debug Table 0x3.0x0 = 0x63,0x1
0064 0217       |    |		Execute	Heap_Access,All_Reference
0065 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0066 021d       |    |		Execute	Heap_Access,Is_Null
0067 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 006b       | k  |		.CONST	0x006b								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0001       |    |		.CONST	0x0001								; Number of locals
006b			BODY_0068:
006b			INIT_0068:
006b e21e       |    |		Load	0x1,0x1e							; Debug Table 0x4 = .DEBUG	0x006b,0x0234,0x1001,0x0000,0x0035,0xcd04,0x0000,0x003e
													; Debug Table 0x4.0x0 = 0x6b,0x1
006c 00db       |    |		Load_Top	At_Offset_3
006d 0217       |    |		Execute	Heap_Access,All_Reference
006e 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
006f e21e       |    |		Load	0x1,0x1e							; Debug Table 0x4.0x1 = 0x6f,0x2
0070 00db       |    |		Load_Top	At_Offset_3
0071 0217       |    |		Execute	Heap_Access,All_Reference
0072 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0073 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0074 0000 0000  |    |		.BLANK	0000[0x4]
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 e218       |    |		Load	0x1,0x18							; Debug Table 0x5 = .DEBUG	0x007b,0x023a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0046
													; Debug Table 0x5.0x0 = 0x7b,0xffff
007c			BODY_0078:
007c e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x5.0x1 = 0x7c,0x1
007d e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x2 = 0x7d,0x401
007e 00d9       |    |		Load_Top	At_Offset_1
007f 0217       |    |		Execute	Heap_Access,All_Reference
0080 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0081 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x3 = 0x81,0x402
0082 00d9       |    |		Load_Top	At_Offset_1
0083 0217       |    |		Execute	Heap_Access,All_Reference
0084 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0085 c5fe       |    |		Store	0x2,-0x2
0086 e218       |    |		Load	0x1,0x18							; Debug Table 0x5.0x4 = 0x86,0x2
0087 e5ff       |    |		Load	0x2,-0x1
0088 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x5 = 0x88,0x801
0089 0217       |    |		Execute	Heap_Access,All_Reference
008a 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
008b a403       |    |		Store_Unchecked	0x2,0x3
008c 00d1       |    |		Pop_Control	Pop_Count_1
008d 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
008e 7835       |x5  |		Jump	0xc4
008f e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x5.0x6 = 0x8f,0x4
0090 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x7 = 0x90,0xc01
0091 0217       |    |		Execute	Heap_Access,All_Reference
0092 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0093 00d8       |    |		Load_Top	At_Offset_0
0094 0120       |    |		Execute	Any,Is_Value
0095 7002       |p   |		Jump_Nonzero	0x98
0096 00d8       |    |		Load_Top	At_Offset_0
0097 011e       |    |		Execute	Any,Convert
0098 e20f       |    |		Load	0x1,0xf
0099 0119       |    |		Execute	Any,Check_In_Formal_Type
009a e20f       |    |		Load	0x1,0xf								; Debug Table 0x5.0x8 = 0x9a,0x4
009b 0119       |    |		Execute	Any,Check_In_Formal_Type
009c e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x9 = 0x9c,0xefff
009d e21e       |    |		Load	0x1,0x1e
009e 00db       |    |		Load_Top	At_Offset_3
009f 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
00a0 00d8       |    |		Load_Top	At_Offset_0
00a1 0217       |    |		Execute	Heap_Access,All_Reference
00a2 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00a3 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00a4 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0xa = 0xa4,0xeffe
													; Debug Table 0x5.0xb = 0xa4,0x1001
00a5 00d9       |    |		Load_Top	At_Offset_1
00a6 0217       |    |		Execute	Heap_Access,All_Reference
00a7 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00a8 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0xc = 0xa8,0x1002
													; Debug Table 0x5.0xd = 0xa8,0x1401
00a9 0217       |    |		Execute	Heap_Access,All_Reference
00aa 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00ab 021d       |    |		Execute	Heap_Access,Is_Null
00ac 6805       |h   |		Jump_Zero	0xb2							; Debug Table 0x5.0xe = 0xac,0x1002
00ad 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0xf = 0xad,0x1003
00ae 00db       |    |		Load_Top	At_Offset_3
00af 0217       |    |		Execute	Heap_Access,All_Reference
00b0 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00b1 7806       |x   |		Jump	0xb8
00b2 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x10 = 0xb2,0x1004
00b3 00db       |    |		Load_Top	At_Offset_3
00b4 0217       |    |		Execute	Heap_Access,All_Reference
00b5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00b6 0217       |    |		Execute	Heap_Access,All_Reference
00b7 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b8 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x11 = 0xb8,0x1005
00b9 00db       |    |		Load_Top	At_Offset_3
00ba 0217       |    |		Execute	Heap_Access,All_Reference
00bb 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00bc 00d2       |    |		Pop_Control	Pop_Count_2
00bd c5fe       |    |		Store	0x2,-0x2
00be 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x12 = 0xbe,0x5
00bf 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x13 = 0xbf,0x1801
00c0 0217       |    |		Execute	Heap_Access,All_Reference
00c1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00c2 a403       |    |		Store_Unchecked	0x2,0x3
00c3 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00c4 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x14 = 0xc4,0x3
													; Debug Table 0x5.0x15 = 0xc4,0x1c01
00c5 021d       |    |		Execute	Heap_Access,Is_Null
00c6 6fc8       |o   |		Jump_Zero	0x8f							; Debug Table 0x5.0x16 = 0xc6,0x3
00c7 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00d3       |    |		.CONST	0x00d3								; Address of begin
00c9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ca 0002       |    |		.CONST	0x0002								; Number of locals
00cb			INIT_00c8:
00cb e21e       |    |		Load	0x1,0x1e							; Debug Table 0x6 = .DEBUG	0x00cb,0x026a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0052
													; Debug Table 0x6.0x0 = 0xcb,0xffff
00cc e21e       |    |		Load	0x1,0x1e
00cd e5fe       |    |		Load	0x2,-0x2
00ce 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
00cf 00d8       |    |		Load_Top	At_Offset_0
00d0 0217       |    |		Execute	Heap_Access,All_Reference
00d1 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00d2 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00d3			BODY_00c8:
00d3 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x6.0x1 = 0xd3,0xfffe
													; Debug Table 0x6.0x2 = 0xd3,0x1
00d4 00d9       |    |		Load_Top	At_Offset_1
00d5 0217       |    |		Execute	Heap_Access,All_Reference
00d6 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00d7 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x6.0x3 = 0xd7,0x2
													; Debug Table 0x6.0x4 = 0xd7,0x401
00d8 0217       |    |		Execute	Heap_Access,All_Reference
00d9 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00da 021d       |    |		Execute	Heap_Access,Is_Null
00db 6805       |h   |		Jump_Zero	0xe1							; Debug Table 0x6.0x5 = 0xdb,0x2
00dc 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x6 = 0xdc,0x3
00dd e5fe       |    |		Load	0x2,-0x2
00de 0217       |    |		Execute	Heap_Access,All_Reference
00df 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00e0 7806       |x   |		Jump	0xe7
00e1 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x7 = 0xe1,0x4
00e2 e5fe       |    |		Load	0x2,-0x2
00e3 0217       |    |		Execute	Heap_Access,All_Reference
00e4 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00e5 0217       |    |		Execute	Heap_Access,All_Reference
00e6 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00e7 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x8 = 0xe7,0x5
00e8 e5fe       |    |		Load	0x2,-0x2
00e9 0217       |    |		Execute	Heap_Access,All_Reference
00ea 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00eb 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00ec 0000 0000  |    |		.BLANK	0000[0x4]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f8       |    |		.CONST	0x00f8								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0002       |    |		.CONST	0x0002								; Number of locals
00f3			INIT_00f0:
00f3 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7 = .DEBUG	0x00f3,0x027e,0x1001,0x0000,0x0035,0xcd04,0x0000,0x005e
													; Debug Table 0x7.0x0 = 0xf3,0xffff
00f4 00db       |    |		Load_Top	At_Offset_3
00f5 0217       |    |		Execute	Heap_Access,All_Reference
00f6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00f7 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00f8			BODY_00f0:
00f8 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x7.0x1 = 0xf8,0x1
00f9 0217       |    |		Execute	Heap_Access,All_Reference
00fa 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00fb e5ff       |    |		Load	0x2,-0x1
00fc 0217       |    |		Execute	Heap_Access,All_Reference
00fd 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00fe 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x7.0x2 = 0xfe,0x2
00ff 0217       |    |		Execute	Heap_Access,All_Reference
0100 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0101 7004       |p   |		Jump_Nonzero	0x106
0102 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x3 = 0x102,0x3
0103 e5ff       |    |		Load	0x2,-0x1
0104 0217       |    |		Execute	Heap_Access,All_Reference
0105 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0106 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0107 0000       |    |		.XXX[0x1]
0108 ; --------------------------------------------------------------------------------------
0108 ; SUBPROGRAM
0108 ; --------------------------------------------------------------------------------------
0108 010b       |    |		.CONST	0x010b								; Address of begin
0109 0004       |    |		.CONST	0x0004								; Address of exception handler
010a 0001       |    |		.CONST	0x0001								; Number of locals
010b			BODY_0108:
010b			INIT_0108:
010b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x8 = .DEBUG	0x010b,0x0288,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0066
													; Debug Table 0x8.0x0 = 0x10b,0x1
010c 0217       |    |		Execute	Heap_Access,All_Reference
010d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
010e 0217       |    |		Execute	Heap_Access,All_Reference
010f 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0110 00d8       |    |		Load_Top	At_Offset_0
0111 0120       |    |		Execute	Any,Is_Value
0112 7002       |p   |		Jump_Nonzero	0x115
0113 00d8       |    |		Load_Top	At_Offset_0
0114 011e       |    |		Execute	Any,Convert
0115 e20f       |    |		Load	0x1,0xf
0116 0119       |    |		Execute	Any,Check_In_Formal_Type
0117 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
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 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x9 = .DEBUG	0x011b,0x028c,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0073
													; Debug Table 0x9.0x0 = 0x11b,0x1
011c 0217       |    |		Execute	Heap_Access,All_Reference
011d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
011e a5fe       |    |		Store_Unchecked	0x2,-0x2
011f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0120 ; --------------------------------------------------------------------------------------
0120 ; SUBPROGRAM
0120 ; --------------------------------------------------------------------------------------
0120 0123       | #  |		.CONST	0x0123								; Address of begin
0121 0004       |    |		.CONST	0x0004								; Address of exception handler
0122 0001       |    |		.CONST	0x0001								; Number of locals
0123			BODY_0120:
0123			INIT_0120:
0123 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xa = .DEBUG	0x0123,0x0290,0x1001,0x0000,0x0035,0xcd04,0x0000,0x007f
													; Debug Table 0xa.0x0 = 0x123,0x1
0124 0217       |    |		Execute	Heap_Access,All_Reference
0125 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0126 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0127 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012b       | +  |		.CONST	0x012b								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0001       |    |		.CONST	0x0001								; Number of locals
012b			BODY_0128:
012b			INIT_0128:
012b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xb = .DEBUG	0x012b,0x0294,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0087
													; Debug Table 0xb.0x0 = 0x12b,0x1
012c 0217       |    |		Execute	Heap_Access,All_Reference
012d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
012e 00d8       |    |		Load_Top	At_Offset_0
012f 0120       |    |		Execute	Any,Is_Value
0130 7002       |p   |		Jump_Nonzero	0x133
0131 00d8       |    |		Load_Top	At_Offset_0
0132 011e       |    |		Execute	Any,Convert
0133 e20f       |    |		Load	0x1,0xf
0134 0119       |    |		Execute	Any,Check_In_Formal_Type
0135 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0136 0000 0000  |    |		.XXX[0x2]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 013b       | ;  |		.CONST	0x013b								; Address of begin
0139 0004       |    |		.CONST	0x0004								; Address of exception handler
013a 0001       |    |		.CONST	0x0001								; Number of locals
013b			BODY_0138:
013b			INIT_0138:
013b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xc = .DEBUG	0x013b,0x0298,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0090
													; Debug Table 0xc.0x0 = 0x13b,0x1
013c 021d       |    |		Execute	Heap_Access,Is_Null
013d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
013e 0000 0000  |    |		.XXX[0x2]
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 4608       |F   |		Jump_Case	0x9							; Debug Table 0xd = .DEBUG	0x0143,0x029c,0x1005,0x0000,0x0035,0xcd04,0x0000,0x00d1
0144 7808       |x   |		Jump	0x14d								; case 0x0
0145 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
0146 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
0147 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0148 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0149 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
014a 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
014b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
014c 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
014d 00da       |    |		Load_Top	At_Offset_2
014e 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
014f 0125       | %  |		Execute	Any,Set_Constraint
0150 00da       |    |		Load_Top	At_Offset_2
0151 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0152 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0153 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0154 0000 0000  |    |		.BLANK	0000[0x4]
0158 ; --------------------------------------------------------------------------------------
0158 ; Debug Table
0158 ; --------------------------------------------------------------------------------------
0158 0003 000e  |    |		.CONST	0x0003,0x000e
015a 000b 01ca  |    |		.DEBUG	0x000b,0x01ca,0xc000,0x0000,0x0035,0xcd04,0x0000,0x0007
0162 003d 020c  | =  |		.DEBUG	0x003d,0x020c,0xc000,0x0000,0x0036,0x0b14,0x0000,0x0003
016a 005b 022a  | [ *|		.DEBUG	0x005b,0x022a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0027
0172 0063 0230  | c 0|		.DEBUG	0x0063,0x0230,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0035
017a 006b 0234  | k 4|		.DEBUG	0x006b,0x0234,0x1001,0x0000,0x0035,0xcd04,0x0000,0x003e
0182 007b 023a  | { :|		.DEBUG	0x007b,0x023a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0046
018a 00cb 026a  |   j|		.DEBUG	0x00cb,0x026a,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0052
0192 00f3 027e  |   ~|		.DEBUG	0x00f3,0x027e,0x1001,0x0000,0x0035,0xcd04,0x0000,0x005e
019a 010b 0288  |    |		.DEBUG	0x010b,0x0288,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0066
01a2 011b 028c  |    |		.DEBUG	0x011b,0x028c,0x1001,0x0000,0x0035,0xcd04,0x0000,0x0073
01aa 0123 0290  | #  |		.DEBUG	0x0123,0x0290,0x1001,0x0000,0x0035,0xcd04,0x0000,0x007f
01b2 012b 0294  | +  |		.DEBUG	0x012b,0x0294,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0087
01ba 013b 0298  | ;  |		.DEBUG	0x013b,0x0298,0x1002,0x0000,0x0035,0xcd04,0x0000,0x0090
01c2 0143 029c  | C  |		.DEBUG	0x0143,0x029c,0x1005,0x0000,0x0035,0xcd04,0x0000,0x00d1
01ca ; --------------------------------------------------------------------------------------
01ca ; Debug3 Subtable 0x0
01ca ; --------------------------------------------------------------------------------------
01ca 0020 0000  |    |		.DBG3TAB	0x0020,0x0000
01cc 000b ffff  |    |		.CONST	0x000b,0xffff
01ce 000b fffe  |    |		.CONST	0x000b,0xfffe
01d0 000b fffd  |    |		.CONST	0x000b,0xfffd
01d2 000c fffc  |    |		.CONST	0x000c,0xfffc
01d4 000e fffb  |    |		.CONST	0x000e,0xfffb
01d6 0010 fffa  |    |		.CONST	0x0010,0xfffa
01d8 0012 fff9  |    |		.CONST	0x0012,0xfff9
01da 0014 fff8  |    |		.CONST	0x0014,0xfff8
01dc 0016 fff7  |    |		.CONST	0x0016,0xfff7
01de 0018 fff6  |    |		.CONST	0x0018,0xfff6
01e0 001a fff5  |    |		.CONST	0x001a,0xfff5
01e2 001b fff4  |    |		.CONST	0x001b,0xfff4
01e4 001d fff3  |    |		.CONST	0x001d,0xfff3
01e6 001f fff2  |    |		.CONST	0x001f,0xfff2
01e8 0021 fff1  | !  |		.CONST	0x0021,0xfff1
01ea 0023 fff0  | #  |		.CONST	0x0023,0xfff0
01ec 0023 ffef  | #  |		.CONST	0x0023,0xffef
01ee 0023 ffee  | #  |		.CONST	0x0023,0xffee
01f0 0023 ffed  | #  |		.CONST	0x0023,0xffed
01f2 0023 ffec  | #  |		.CONST	0x0023,0xffec
01f4 0023 ffeb  | #  |		.CONST	0x0023,0xffeb
01f6 0023 ffea  | #  |		.CONST	0x0023,0xffea
01f8 0023 ffe9  | #  |		.CONST	0x0023,0xffe9
01fa 0023 ffe8  | #  |		.CONST	0x0023,0xffe8
01fc 0025 ffe7  | %  |		.CONST	0x0025,0xffe7
01fe 0029 ffe6  | )  |		.CONST	0x0029,0xffe6
0200 0029 ffe5  | )  |		.CONST	0x0029,0xffe5
0202 002d ffe4  | -  |		.CONST	0x002d,0xffe4
0204 002d ffe3  | -  |		.CONST	0x002d,0xffe3
0206 0033 ffe2  | 3  |		.CONST	0x0033,0xffe2
0208 0038 ffe1  | 8  |		.CONST	0x0038,0xffe1
020a 003c ffe0  | <  |		.CONST	0x003c,0xffe0
020c ; --------------------------------------------------------------------------------------
020c ; Debug3 Subtable 0x1
020c ; --------------------------------------------------------------------------------------
020c 000e 0000  |    |		.DBG3TAB	0x000e,0x0000
020e 003d ffff  | =  |		.CONST	0x003d,0xffff
0210 003d fffe  | =  |		.CONST	0x003d,0xfffe
0212 003f fffd  | ?  |		.CONST	0x003f,0xfffd
0214 0041 fffc  | A  |		.CONST	0x0041,0xfffc
0216 0043 fffb  | C  |		.CONST	0x0043,0xfffb
0218 0045 fffa  | E  |		.CONST	0x0045,0xfffa
021a 0047 fff9  | G  |		.CONST	0x0047,0xfff9
021c 0047 fff8  | G  |		.CONST	0x0047,0xfff8
021e 0049 fff7  | I  |		.CONST	0x0049,0xfff7
0220 0049 fff6  | I  |		.CONST	0x0049,0xfff6
0222 004b fff5  | K  |		.CONST	0x004b,0xfff5
0224 004d fff4  | M  |		.CONST	0x004d,0xfff4
0226 004f fff3  | O  |		.CONST	0x004f,0xfff3
0228 0051 fff2  | Q  |		.CONST	0x0051,0xfff2
022a ; --------------------------------------------------------------------------------------
022a ; Debug3 Subtable 0x2
022a ; --------------------------------------------------------------------------------------
022a 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
022c 005b 0001  | [  |		.CONST	0x005b,0x0001
022e 005f 0002  | _  |		.CONST	0x005f,0x0002
0230 ; --------------------------------------------------------------------------------------
0230 ; Debug3 Subtable 0x3
0230 ; --------------------------------------------------------------------------------------
0230 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0232 0063 0001  | c  |		.CONST	0x0063,0x0001
0234 ; --------------------------------------------------------------------------------------
0234 ; Debug3 Subtable 0x4
0234 ; --------------------------------------------------------------------------------------
0234 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
0236 006b 0001  | k  |		.CONST	0x006b,0x0001
0238 006f 0002  | o  |		.CONST	0x006f,0x0002
023a ; --------------------------------------------------------------------------------------
023a ; Debug3 Subtable 0x5
023a ; --------------------------------------------------------------------------------------
023a 0003 0014  |    |		.DBG3TAB	0x0003,0x0014
023c 007b ffff  | {  |		.CONST	0x007b,0xffff
023e 007c 0001  | |  |		.CONST	0x007c,0x0001
0240 007d 0401  | }  |		.CONST	0x007d,0x0401
0242 0081 0402  |    |		.CONST	0x0081,0x0402
0244 0086 0002  |    |		.CONST	0x0086,0x0002
0246 0088 0801  |    |		.CONST	0x0088,0x0801
0248 008f 0004  |    |		.CONST	0x008f,0x0004
024a 0090 0c01  |    |		.CONST	0x0090,0x0c01
024c 009a 0004  |    |		.CONST	0x009a,0x0004
024e 009c efff  |    |		.CONST	0x009c,0xefff
0250 00a4 effe  |    |		.CONST	0x00a4,0xeffe
0252 00a4 1001  |    |		.CONST	0x00a4,0x1001
0254 00a8 1002  |    |		.CONST	0x00a8,0x1002
0256 00a8 1401  |    |		.CONST	0x00a8,0x1401
0258 00ac 1002  |    |		.CONST	0x00ac,0x1002
025a 00ad 1003  |    |		.CONST	0x00ad,0x1003
025c 00b2 1004  |    |		.CONST	0x00b2,0x1004
025e 00b8 1005  |    |		.CONST	0x00b8,0x1005
0260 00be 0005  |    |		.CONST	0x00be,0x0005
0262 00bf 1801  |    |		.CONST	0x00bf,0x1801
0264 00c4 0003  |    |		.CONST	0x00c4,0x0003
0266 00c4 1c01  |    |		.CONST	0x00c4,0x1c01
0268 00c6 0003  |    |		.CONST	0x00c6,0x0003
026a ; --------------------------------------------------------------------------------------
026a ; Debug3 Subtable 0x6
026a ; --------------------------------------------------------------------------------------
026a 0002 0007  |    |		.DBG3TAB	0x0002,0x0007
026c 00cb ffff  |    |		.CONST	0x00cb,0xffff
026e 00d3 fffe  |    |		.CONST	0x00d3,0xfffe
0270 00d3 0001  |    |		.CONST	0x00d3,0x0001
0272 00d7 0002  |    |		.CONST	0x00d7,0x0002
0274 00d7 0401  |    |		.CONST	0x00d7,0x0401
0276 00db 0002  |    |		.CONST	0x00db,0x0002
0278 00dc 0003  |    |		.CONST	0x00dc,0x0003
027a 00e1 0004  |    |		.CONST	0x00e1,0x0004
027c 00e7 0005  |    |		.CONST	0x00e7,0x0005
027e ; --------------------------------------------------------------------------------------
027e ; Debug3 Subtable 0x7
027e ; --------------------------------------------------------------------------------------
027e 0001 0003  |    |		.DBG3TAB	0x0001,0x0003
0280 00f3 ffff  |    |		.CONST	0x00f3,0xffff
0282 00f8 0001  |    |		.CONST	0x00f8,0x0001
0284 00fe 0002  |    |		.CONST	0x00fe,0x0002
0286 0102 0003  |    |		.CONST	0x0102,0x0003
0288 ; --------------------------------------------------------------------------------------
0288 ; Debug3 Subtable 0x8
0288 ; --------------------------------------------------------------------------------------
0288 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
028a 010b 0001  |    |		.CONST	0x010b,0x0001
028c ; --------------------------------------------------------------------------------------
028c ; Debug3 Subtable 0x9
028c ; --------------------------------------------------------------------------------------
028c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
028e 011b 0001  |    |		.CONST	0x011b,0x0001
0290 ; --------------------------------------------------------------------------------------
0290 ; Debug3 Subtable 0xa
0290 ; --------------------------------------------------------------------------------------
0290 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0292 0123 0001  | #  |		.CONST	0x0123,0x0001
0294 ; --------------------------------------------------------------------------------------
0294 ; Debug3 Subtable 0xb
0294 ; --------------------------------------------------------------------------------------
0294 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0296 012b 0001  | +  |		.CONST	0x012b,0x0001
0298 ; --------------------------------------------------------------------------------------
0298 ; Debug3 Subtable 0xc
0298 ; --------------------------------------------------------------------------------------
0298 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
029a 013b 0001  | ;  |		.CONST	0x013b,0x0001
029c ; --------------------------------------------------------------------------------------
029c ; Debug3 Subtable 0xd
029c ; --------------------------------------------------------------------------------------
029c 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
029e 0000 0000  |    |		.BLANK	0000[0x162]