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

⟦a8f9de0b2⟧ SEG

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

Derivation

└─⟦24d56d853⟧ Bits:30000744 8mm tape, Rational 1000, DFS, D_12_6_5 SEQ293
    └─ ⟦this⟧ »123923.SEG« 
└─⟦9031b0687⟧ Bits:30000407 8mm tape, Rational 1000, DFS, D_12_7_3
    └─ ⟦this⟧ »123923.SEG« 
└─⟦b4205821b⟧ Bits:30000743 8mm tape, Rational 1000, DFS, D_12_7_3 SEQ288
    └─ ⟦this⟧ »123923.SEG« 
└─⟦b434774df⟧ Bits:30000528 8mm tape, Rational 1000, DFS, D_12_6_5
    └─ ⟦this⟧ »123923.SEG« 
└─⟦bc1274df5⟧ Bits:30000750 8mm tape, Rational 1000, DFS backup from PAM's R1000
    └─ ⟦this⟧ »123923.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 0050       | P  |		.CONST	0x0050								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001e       |    |		.CONST	0x001e								; Number of locals
000b			INIT_0008:
000b 4802       |H   |		Short_Literal	0x2							; Debug Table 0x0 = .DEBUG	0x000b,0x01ca,0xc000,0x0000,0x0036,0x0834,0x0000,0x0005
													; Debug Table 0x0.0x0 = 0xb,0xffff
													; Debug Table 0x0.0x1 = 0xb,0xfffe
													; Debug Table 0x0.0x2 = 0xb,0xfffd
000c 032b       | +  |		Declare_Type	Record,Incomplete,Visible
000d 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0xd,0xfffc
000f 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0xf,0xfffb
0011 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x11,0xfffa
0013 029a 007b  |   {|		Declare_Subprogram	INIT_0078,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x13,0xfff9
0015 029a 00c3  |    |		Declare_Subprogram	INIT_00c0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x15,0xfff8
0017 029a 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x17,0xfff7
0019 029a 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x9 = 0x19,0xfff6
001b 4802       |H   |		Short_Literal	0x2							; Debug Table 0x0.0xa = 0x1b,0xfff5
001c 032b       | +  |		Declare_Type	Record,Incomplete,Visible
001d 029a 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1d,0xfff4
001f 029a 011b  |    |		Declare_Subprogram	INIT_0118,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x1f,0xfff3
0021 029a 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x21,0xfff2
0023 029a 013b  |   ;|		Declare_Subprogram	INIT_0138,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xe = 0x23,0xfff1
0025 4802       |H   |		Short_Literal	0x2							; Debug Table 0x0.0x10 = 0x25,0xffef
													; Debug Table 0x0.0x11 = 0x25,0xffee
													; Debug Table 0x0.0x12 = 0x25,0xffed
													; Debug Table 0x0.0x13 = 0x25,0xffec
													; Debug Table 0x0.0x14 = 0x25,0xffeb
													; Debug Table 0x0.0x15 = 0x25,0xffea
													; Debug Table 0x0.0x16 = 0x25,0xffe9
													; Debug Table 0x0.0x17 = 0x25,0xffe8
													; Debug Table 0x0.0xf = 0x25,0xfff0
0026 032a       | *  |		Declare_Type	Record,Incomplete
0027 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x18 = 0x27,0xffe7
0028 02a0       |    |		Declare_Subprogram	Null_Subprogram
0029 4818       |H   |		Short_Literal	0x18
002a 03d3       |    |		Declare_Type	Access,Defined,Accesses_Protected
002b e20f       |    |		Load	0x1,0xf								; Debug Table 0x0.0x19 = 0x2b,0xffe6
002c 00d9       |    |		Load_Top	At_Offset_1
002d 029f 0143  |   C|		Declare_Subprogram	INIT_0140,For_Call
002f e21d       |    |		Load	0x1,0x1d
0030 0326       | &  |		Complete_Type	Record,By_Defining
0031 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x1a = 0x31,0xffe5
0032 00d9       |    |		Load_Top	At_Offset_1
0033 02a0       |    |		Declare_Subprogram	Null_Subprogram
0034 e210       |    |		Load	0x1,0x10
0035 0326       | &  |		Complete_Type	Record,By_Defining
0036 e210       |    |		Load	0x1,0x10							; Debug Table 0x0.0x1b = 0x36,0xffe4
0037 e218       |    |		Load	0x1,0x18
0038 0325       | %  |		Complete_Type	Record,By_Renaming
0039 00bf       |    |		Action	Accept_Activation
003a 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1 = .DEBUG	0x003a,0x0204,0xc000,0x0000,0x0036,0x0a34,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x3a,0xffff
													; Debug Table 0x1.0x1 = 0x3a,0xfffe
003b 00c7       |    |		Action	Elaborate_Subprogram
003c 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x2 = 0x3c,0xfffd
003d 00c7       |    |		Action	Elaborate_Subprogram
003e 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x3 = 0x3e,0xfffc
003f 00c7       |    |		Action	Elaborate_Subprogram
0040 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x4 = 0x40,0xfffb
0041 00c7       |    |		Action	Elaborate_Subprogram
0042 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x5 = 0x42,0xfffa
0043 00c7       |    |		Action	Elaborate_Subprogram
0044 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x6 = 0x44,0xfff9
0045 00c7       |    |		Action	Elaborate_Subprogram
0046 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0x7 = 0x46,0xfff8
0047 00c7       |    |		Action	Elaborate_Subprogram
0048 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0x8 = 0x48,0xfff7
0049 00c7       |    |		Action	Elaborate_Subprogram
004a 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0x9 = 0x4a,0xfff6
004b 00c7       |    |		Action	Elaborate_Subprogram
004c 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0xa = 0x4c,0xfff5
004d 00c7       |    |		Action	Elaborate_Subprogram
004e 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0xb = 0x4e,0xfff4
004f 00c7       |    |		Action	Elaborate_Subprogram
0050			BODY_0008:
0050 00bc       |    |		Action	Signal_Activated
0051 00bb       |    |		Action	Signal_Completion
0052 0000 0000  |    |		.BLANK	0000[0x6]
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 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1					; Debug Table 0x2 = .DEBUG	0x005b,0x021e,0x1001,0x0000,0x0036,0x0834,0x0000,0x0025
													; Debug Table 0x2.0x0 = 0x5b,0x1
005c 0000 0000  |    |		.BLANK	0000[0x4]
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,0x0222,0x1002,0x0000,0x0036,0x0834,0x0000,0x002d
													; Debug Table 0x3.0x0 = 0x63,0x1
0064 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0065 022d       | -  |		Execute	Access,Is_Null
0066 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0067 0000       |    |		.XXX[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,0x0226,0x1001,0x0000,0x0036,0x0834,0x0000,0x0036
													; Debug Table 0x4.0x0 = 0x6b,0x1
006c 00db       |    |		Load_Top	At_Offset_3
006d 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
006e e21e       |    |		Load	0x1,0x1e							; Debug Table 0x4.0x1 = 0x6e,0x2
006f 00db       |    |		Load_Top	At_Offset_3
0070 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0071 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0072 0000 0000  |    |		.BLANK	0000[0x6]
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 007d       | }  |		.CONST	0x007d								; 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,0x022c,0x1001,0x0000,0x0036,0x0834,0x0000,0x003e
													; Debug Table 0x5.0x0 = 0x7b,0xffff
007c 0322       | "  |		Declare_Variable	Record
007d			BODY_0078:
007d e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x1 = 0x7d,0x1
													; Debug Table 0x5.0x2 = 0x7d,0x401
007e e5fe       |    |		Load	0x2,-0x2
007f 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0080 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x3 = 0x80,0x402
0081 e5fe       |    |		Load	0x2,-0x2
0082 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0083 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x5.0x4 = 0x83,0x2
0084 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x5 = 0x84,0x801
0085 00da       |    |		Load_Top	At_Offset_2
0086 017d       | }  |		Execute	Record,Structure_Write
0087 00d1       |    |		Pop_Control	Pop_Count_1
0088 7831       |x1  |		Jump	0xba
0089 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x6 = 0x89,0x4
													; Debug Table 0x5.0x7 = 0x89,0xc01
008a 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
008b 0227       | '  |		Execute	Access,All_Reference
008c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
008d 00d8       |    |		Load_Top	At_Offset_0
008e 0120       |    |		Execute	Any,Is_Value
008f 7002       |p   |		Jump_Nonzero	0x92
0090 00d8       |    |		Load_Top	At_Offset_0
0091 011e       |    |		Execute	Any,Convert
0092 e20f       |    |		Load	0x1,0xf
0093 0119       |    |		Execute	Any,Check_In_Formal_Type
0094 e20f       |    |		Load	0x1,0xf								; Debug Table 0x5.0x8 = 0x94,0x4
0095 0119       |    |		Execute	Any,Check_In_Formal_Type
0096 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x9 = 0x96,0xefff
0097 e21d       |    |		Load	0x1,0x1d
0098 0322       | "  |		Declare_Variable	Record
0099 00da       |    |		Load_Top	At_Offset_2
009a e20f       |    |		Load	0x1,0xf
009b 0119       |    |		Execute	Any,Check_In_Formal_Type
009c 00d9       |    |		Load_Top	At_Offset_1
009d 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
009e e21e       |    |		Load	0x1,0x1e
009f 00d9       |    |		Load_Top	At_Offset_1
00a0 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00a1 e21e       |    |		Load	0x1,0x1e
00a2 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
00a3 0039       | 9  |		Store_Top	Access,At_Offset_1
00a4 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x5.0xa = 0xa4,0x1001
00a5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00a6 7004       |p   |		Jump_Nonzero	0xab
00a7 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0xb = 0xa7,0x1002
00a8 e5fe       |    |		Load	0x2,-0x2
00a9 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00aa 7805       |x   |		Jump	0xb0
00ab 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0xc = 0xab,0x1003
00ac e5fe       |    |		Load	0x2,-0x2
00ad 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ae 0227       | '  |		Execute	Access,All_Reference
00af 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b0 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0xd = 0xb0,0x1004
00b1 e5fe       |    |		Load	0x2,-0x2
00b2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b3 00d2       |    |		Pop_Control	Pop_Count_2
00b4 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0xe = 0xb4,0x5
													; Debug Table 0x5.0xf = 0xb4,0x1401
00b5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00b6 0227       | '  |		Execute	Access,All_Reference
00b7 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00b8 00d9       |    |		Load_Top	At_Offset_1
00b9 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00ba 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x10 = 0xba,0x3
													; Debug Table 0x5.0x11 = 0xba,0x1801
00bb 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00bc 022d       | -  |		Execute	Access,Is_Null
00bd 6fcb       |o   |		Jump_Zero	0x89							; Debug Table 0x5.0x12 = 0xbd,0x3
00be 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00bf 0000       |    |		.XXX[0x1]
00c0 ; --------------------------------------------------------------------------------------
00c0 ; SUBPROGRAM
00c0 ; --------------------------------------------------------------------------------------
00c0 00d1       |    |		.CONST	0x00d1								; Address of begin
00c1 0004       |    |		.CONST	0x0004								; Address of exception handler
00c2 0002       |    |		.CONST	0x0002								; Number of locals
00c3			INIT_00c0:
00c3 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x6 = .DEBUG	0x00c3,0x0254,0x1001,0x0000,0x0036,0x0834,0x0000,0x004a
													; Debug Table 0x6.0x0 = 0xc3,0xffff
00c4 e21d       |    |		Load	0x1,0x1d
00c5 0322       | "  |		Declare_Variable	Record
00c6 e5ff       |    |		Load	0x2,-0x1
00c7 e20f       |    |		Load	0x1,0xf
00c8 0119       |    |		Execute	Any,Check_In_Formal_Type
00c9 00d9       |    |		Load_Top	At_Offset_1
00ca 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00cb e21e       |    |		Load	0x1,0x1e
00cc 00d9       |    |		Load_Top	At_Offset_1
00cd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00ce e21e       |    |		Load	0x1,0x1e
00cf 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
00d0 0039       | 9  |		Store_Top	Access,At_Offset_1
00d1			BODY_00c0:
00d1 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x6.0x1 = 0xd1,0x1
00d2 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d3 7004       |p   |		Jump_Nonzero	0xd8
00d4 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x2 = 0xd4,0x2
00d5 e5fe       |    |		Load	0x2,-0x2
00d6 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00d7 7805       |x   |		Jump	0xdd
00d8 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x3 = 0xd8,0x3
00d9 e5fe       |    |		Load	0x2,-0x2
00da 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00db 0227       | '  |		Execute	Access,All_Reference
00dc 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00dd 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x4 = 0xdd,0x4
00de e5fe       |    |		Load	0x2,-0x2
00df 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00e0 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00e1 0000 0000  |    |		.BLANK	0000[0x7]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00ef       |    |		.CONST	0x00ef								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0002       |    |		.CONST	0x0002								; Number of locals
00eb			INIT_00e8:
00eb e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7 = .DEBUG	0x00eb,0x0260,0x1001,0x0000,0x0036,0x0834,0x0000,0x0056
													; Debug Table 0x7.0x0 = 0xeb,0xffff
00ec 00db       |    |		Load_Top	At_Offset_3
00ed 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00ee 0039       | 9  |		Store_Top	Access,At_Offset_1
00ef			BODY_00e8:
00ef 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x7.0x1 = 0xef,0x1
00f0 0227       | '  |		Execute	Access,All_Reference
00f1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00f2 e5ff       |    |		Load	0x2,-0x1
00f3 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00f4 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x2 = 0xf4,0x2
00f5 00d9       |    |		Load_Top	At_Offset_1
00f6 0227       | '  |		Execute	Access,All_Reference
00f7 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00f8 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x7.0x3 = 0xf8,0x3
00f9 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00fa 7003       |p   |		Jump_Nonzero	0xfe
00fb e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x4 = 0xfb,0x4
00fc e5ff       |    |		Load	0x2,-0x1
00fd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00fe 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00ff 0000       |    |		.XXX[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 0x8 = .DEBUG	0x0103,0x026c,0x1002,0x0000,0x0036,0x0834,0x0000,0x005e
													; Debug Table 0x8.0x0 = 0x103,0x1
0104 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0105 0227       | '  |		Execute	Access,All_Reference
0106 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0107 00d8       |    |		Load_Top	At_Offset_0
0108 0120       |    |		Execute	Any,Is_Value
0109 7002       |p   |		Jump_Nonzero	0x10c
010a 00d8       |    |		Load_Top	At_Offset_0
010b 011e       |    |		Execute	Any,Convert
010c e20f       |    |		Load	0x1,0xf
010d 0119       |    |		Execute	Any,Check_In_Formal_Type
010e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
010f 0000       |    |		.XXX[0x1]
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 0x9 = .DEBUG	0x0113,0x0270,0x1001,0x0000,0x0036,0x0834,0x0000,0x006b
													; Debug Table 0x9.0x0 = 0x113,0x1
0114 e5fe       |    |		Load	0x2,-0x2
0115 017d       | }  |		Execute	Record,Structure_Write
0116 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0117 0000       |    |		.XXX[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 0xa = .DEBUG	0x011b,0x0274,0x1001,0x0000,0x0036,0x0834,0x0000,0x0077
													; Debug Table 0xa.0x0 = 0x11b,0x1
011c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
011d 0227       | '  |		Execute	Access,All_Reference
011e 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
011f 00db       |    |		Load_Top	At_Offset_3
0120 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0121 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0122 0000 0000  |    |		.BLANK	0000[0x6]
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,0x0278,0x1002,0x0000,0x0036,0x0834,0x0000,0x007f
													; Debug Table 0xb.0x0 = 0x12b,0x1
012c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
012d 0227       | '  |		Execute	Access,All_Reference
012e 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
012f 00d8       |    |		Load_Top	At_Offset_0
0130 0120       |    |		Execute	Any,Is_Value
0131 7002       |p   |		Jump_Nonzero	0x134
0132 00d8       |    |		Load_Top	At_Offset_0
0133 011e       |    |		Execute	Any,Convert
0134 e20f       |    |		Load	0x1,0xf
0135 0119       |    |		Execute	Any,Check_In_Formal_Type
0136 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0137 0000       |    |		.XXX[0x1]
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,0x027c,0x1002,0x0000,0x0036,0x0834,0x0000,0x0088
													; Debug Table 0xc.0x0 = 0x13b,0x1
013c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
013d 022d       | -  |		Execute	Access,Is_Null
013e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
013f 0000       |    |		.XXX[0x1]
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,0x0280,0x1005,0x0000,0x0036,0x0834,0x0000,0x00bb
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,0x0036,0x0834,0x0000,0x0005
0162 003a 0204  | :  |		.DEBUG	0x003a,0x0204,0xc000,0x0000,0x0036,0x0a34,0x0000,0x0003
016a 005b 021e  | [  |		.DEBUG	0x005b,0x021e,0x1001,0x0000,0x0036,0x0834,0x0000,0x0025
0172 0063 0222  | c "|		.DEBUG	0x0063,0x0222,0x1002,0x0000,0x0036,0x0834,0x0000,0x002d
017a 006b 0226  | k &|		.DEBUG	0x006b,0x0226,0x1001,0x0000,0x0036,0x0834,0x0000,0x0036
0182 007b 022c  | { ,|		.DEBUG	0x007b,0x022c,0x1001,0x0000,0x0036,0x0834,0x0000,0x003e
018a 00c3 0254  |   T|		.DEBUG	0x00c3,0x0254,0x1001,0x0000,0x0036,0x0834,0x0000,0x004a
0192 00eb 0260  |   `|		.DEBUG	0x00eb,0x0260,0x1001,0x0000,0x0036,0x0834,0x0000,0x0056
019a 0103 026c  |   l|		.DEBUG	0x0103,0x026c,0x1002,0x0000,0x0036,0x0834,0x0000,0x005e
01a2 0113 0270  |   p|		.DEBUG	0x0113,0x0270,0x1001,0x0000,0x0036,0x0834,0x0000,0x006b
01aa 011b 0274  |   t|		.DEBUG	0x011b,0x0274,0x1001,0x0000,0x0036,0x0834,0x0000,0x0077
01b2 012b 0278  | + x|		.DEBUG	0x012b,0x0278,0x1002,0x0000,0x0036,0x0834,0x0000,0x007f
01ba 013b 027c  | ; ||		.DEBUG	0x013b,0x027c,0x1002,0x0000,0x0036,0x0834,0x0000,0x0088
01c2 0143 0280  | C  |		.DEBUG	0x0143,0x0280,0x1005,0x0000,0x0036,0x0834,0x0000,0x00bb
01ca ; --------------------------------------------------------------------------------------
01ca ; Debug3 Subtable 0x0
01ca ; --------------------------------------------------------------------------------------
01ca 001c 0000  |    |		.DBG3TAB	0x001c,0x0000
01cc 000b ffff  |    |		.CONST	0x000b,0xffff
01ce 000b fffe  |    |		.CONST	0x000b,0xfffe
01d0 000b fffd  |    |		.CONST	0x000b,0xfffd
01d2 000d fffc  |    |		.CONST	0x000d,0xfffc
01d4 000f fffb  |    |		.CONST	0x000f,0xfffb
01d6 0011 fffa  |    |		.CONST	0x0011,0xfffa
01d8 0013 fff9  |    |		.CONST	0x0013,0xfff9
01da 0015 fff8  |    |		.CONST	0x0015,0xfff8
01dc 0017 fff7  |    |		.CONST	0x0017,0xfff7
01de 0019 fff6  |    |		.CONST	0x0019,0xfff6
01e0 001b fff5  |    |		.CONST	0x001b,0xfff5
01e2 001d fff4  |    |		.CONST	0x001d,0xfff4
01e4 001f fff3  |    |		.CONST	0x001f,0xfff3
01e6 0021 fff2  | !  |		.CONST	0x0021,0xfff2
01e8 0023 fff1  | #  |		.CONST	0x0023,0xfff1
01ea 0025 fff0  | %  |		.CONST	0x0025,0xfff0
01ec 0025 ffef  | %  |		.CONST	0x0025,0xffef
01ee 0025 ffee  | %  |		.CONST	0x0025,0xffee
01f0 0025 ffed  | %  |		.CONST	0x0025,0xffed
01f2 0025 ffec  | %  |		.CONST	0x0025,0xffec
01f4 0025 ffeb  | %  |		.CONST	0x0025,0xffeb
01f6 0025 ffea  | %  |		.CONST	0x0025,0xffea
01f8 0025 ffe9  | %  |		.CONST	0x0025,0xffe9
01fa 0025 ffe8  | %  |		.CONST	0x0025,0xffe8
01fc 0027 ffe7  | '  |		.CONST	0x0027,0xffe7
01fe 002b ffe6  | +  |		.CONST	0x002b,0xffe6
0200 0031 ffe5  | 1  |		.CONST	0x0031,0xffe5
0202 0036 ffe4  | 6  |		.CONST	0x0036,0xffe4
0204 ; --------------------------------------------------------------------------------------
0204 ; Debug3 Subtable 0x1
0204 ; --------------------------------------------------------------------------------------
0204 000c 0000  |    |		.DBG3TAB	0x000c,0x0000
0206 003a ffff  | :  |		.CONST	0x003a,0xffff
0208 003a fffe  | :  |		.CONST	0x003a,0xfffe
020a 003c fffd  | <  |		.CONST	0x003c,0xfffd
020c 003e fffc  | >  |		.CONST	0x003e,0xfffc
020e 0040 fffb  | @  |		.CONST	0x0040,0xfffb
0210 0042 fffa  | B  |		.CONST	0x0042,0xfffa
0212 0044 fff9  | D  |		.CONST	0x0044,0xfff9
0214 0046 fff8  | F  |		.CONST	0x0046,0xfff8
0216 0048 fff7  | H  |		.CONST	0x0048,0xfff7
0218 004a fff6  | J  |		.CONST	0x004a,0xfff6
021a 004c fff5  | L  |		.CONST	0x004c,0xfff5
021c 004e fff4  | N  |		.CONST	0x004e,0xfff4
021e ; --------------------------------------------------------------------------------------
021e ; Debug3 Subtable 0x2
021e ; --------------------------------------------------------------------------------------
021e 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0220 005b 0001  | [  |		.CONST	0x005b,0x0001
0222 ; --------------------------------------------------------------------------------------
0222 ; Debug3 Subtable 0x3
0222 ; --------------------------------------------------------------------------------------
0222 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0224 0063 0001  | c  |		.CONST	0x0063,0x0001
0226 ; --------------------------------------------------------------------------------------
0226 ; Debug3 Subtable 0x4
0226 ; --------------------------------------------------------------------------------------
0226 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
0228 006b 0001  | k  |		.CONST	0x006b,0x0001
022a 006e 0002  | n  |		.CONST	0x006e,0x0002
022c ; --------------------------------------------------------------------------------------
022c ; Debug3 Subtable 0x5
022c ; --------------------------------------------------------------------------------------
022c 0002 0011  |    |		.DBG3TAB	0x0002,0x0011
022e 007b ffff  | {  |		.CONST	0x007b,0xffff
0230 007d 0001  | }  |		.CONST	0x007d,0x0001
0232 007d 0401  | }  |		.CONST	0x007d,0x0401
0234 0080 0402  |    |		.CONST	0x0080,0x0402
0236 0083 0002  |    |		.CONST	0x0083,0x0002
0238 0084 0801  |    |		.CONST	0x0084,0x0801
023a 0089 0004  |    |		.CONST	0x0089,0x0004
023c 0089 0c01  |    |		.CONST	0x0089,0x0c01
023e 0094 0004  |    |		.CONST	0x0094,0x0004
0240 0096 efff  |    |		.CONST	0x0096,0xefff
0242 00a4 1001  |    |		.CONST	0x00a4,0x1001
0244 00a7 1002  |    |		.CONST	0x00a7,0x1002
0246 00ab 1003  |    |		.CONST	0x00ab,0x1003
0248 00b0 1004  |    |		.CONST	0x00b0,0x1004
024a 00b4 0005  |    |		.CONST	0x00b4,0x0005
024c 00b4 1401  |    |		.CONST	0x00b4,0x1401
024e 00ba 0003  |    |		.CONST	0x00ba,0x0003
0250 00ba 1801  |    |		.CONST	0x00ba,0x1801
0252 00bd 0003  |    |		.CONST	0x00bd,0x0003
0254 ; --------------------------------------------------------------------------------------
0254 ; Debug3 Subtable 0x6
0254 ; --------------------------------------------------------------------------------------
0254 0001 0004  |    |		.DBG3TAB	0x0001,0x0004
0256 00c3 ffff  |    |		.CONST	0x00c3,0xffff
0258 00d1 0001  |    |		.CONST	0x00d1,0x0001
025a 00d4 0002  |    |		.CONST	0x00d4,0x0002
025c 00d8 0003  |    |		.CONST	0x00d8,0x0003
025e 00dd 0004  |    |		.CONST	0x00dd,0x0004
0260 ; --------------------------------------------------------------------------------------
0260 ; Debug3 Subtable 0x7
0260 ; --------------------------------------------------------------------------------------
0260 0001 0004  |    |		.DBG3TAB	0x0001,0x0004
0262 00eb ffff  |    |		.CONST	0x00eb,0xffff
0264 00ef 0001  |    |		.CONST	0x00ef,0x0001
0266 00f4 0002  |    |		.CONST	0x00f4,0x0002
0268 00f8 0003  |    |		.CONST	0x00f8,0x0003
026a 00fb 0004  |    |		.CONST	0x00fb,0x0004
026c ; --------------------------------------------------------------------------------------
026c ; Debug3 Subtable 0x8
026c ; --------------------------------------------------------------------------------------
026c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
026e 0103 0001  |    |		.CONST	0x0103,0x0001
0270 ; --------------------------------------------------------------------------------------
0270 ; Debug3 Subtable 0x9
0270 ; --------------------------------------------------------------------------------------
0270 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0272 0113 0001  |    |		.CONST	0x0113,0x0001
0274 ; --------------------------------------------------------------------------------------
0274 ; Debug3 Subtable 0xa
0274 ; --------------------------------------------------------------------------------------
0274 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0276 011b 0001  |    |		.CONST	0x011b,0x0001
0278 ; --------------------------------------------------------------------------------------
0278 ; Debug3 Subtable 0xb
0278 ; --------------------------------------------------------------------------------------
0278 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
027a 012b 0001  | +  |		.CONST	0x012b,0x0001
027c ; --------------------------------------------------------------------------------------
027c ; Debug3 Subtable 0xc
027c ; --------------------------------------------------------------------------------------
027c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
027e 013b 0001  | ;  |		.CONST	0x013b,0x0001
0280 ; --------------------------------------------------------------------------------------
0280 ; Debug3 Subtable 0xd
0280 ; --------------------------------------------------------------------------------------
0280 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
0282 0000 0000  |    |		.BLANK	0000[0x17e]