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

⟦79d9a1b47⟧ SEG

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

Derivation

└─⟦24d56d853⟧ Bits:30000744 8mm tape, Rational 1000, DFS, D_12_6_5 SEQ293
    └─ ⟦this⟧ »585747.SEG« 
└─⟦9031b0687⟧ Bits:30000407 8mm tape, Rational 1000, DFS, D_12_7_3
    └─ ⟦this⟧ »585747.SEG« 
└─⟦b4205821b⟧ Bits:30000743 8mm tape, Rational 1000, DFS, D_12_7_3 SEQ288
    └─ ⟦this⟧ »585747.SEG« 
└─⟦b434774df⟧ Bits:30000528 8mm tape, Rational 1000, DFS, D_12_6_5
    └─ ⟦this⟧ »585747.SEG« 
└─⟦bc1274df5⟧ Bits:30000750 8mm tape, Rational 1000, DFS backup from PAM's R1000
    └─ ⟦this⟧ »585747.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 0120       |    |		.CONST	0x0120								; Offset of debug table
0004 0100       |    |		.CONST	0x0100								; Default exception handler - raise instruction
0005 00bb       |    |		.CONST	0x00bb								; Module termination instruction - signal completion
0006 0000       |    |		.CONST	0x0000								; Offset to segment table (only in elab segments)
0007 0001       |    |		.CONST	0x0001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0049       | I  |		.CONST	0x0049								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 001d       |    |		.CONST	0x001d								; Number of locals
000b			INIT_0008:
000b 4818       |H   |		Short_Literal	0x18							; Debug Table 0x0 = .DEBUG	0x000b,0x0192,0xc000,0x0000,0x0036,0x9914,0x0000,0x0005
													; Debug Table 0x0.0x0 = 0xb,0xffff
													; Debug Table 0x0.0x1 = 0xb,0xfffe
													; Debug Table 0x0.0x2 = 0xb,0xfffd
000c 03cd       |    |		Declare_Type	Access,Incomplete,Visible,Accesses_Protected
000d 029a 0053  |   S|		Declare_Subprogram	INIT_0050,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0xd,0xfffc
000f 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0xf,0xfffb
0011 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x11,0xfffa
0013 029a 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x13,0xfff9
0015 029a 008b  |    |		Declare_Subprogram	INIT_0088,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x15,0xfff8
0017 029a 00a3  |    |		Declare_Subprogram	INIT_00a0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x17,0xfff7
0019 029a 00bb  |    |		Declare_Subprogram	INIT_00b8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x9 = 0x19,0xfff6
001b 4818       |H   |		Short_Literal	0x18							; Debug Table 0x0.0xa = 0x1b,0xfff5
001c 03cf       |    |		Declare_Type	Access,Incomplete,Visible
001d 029a 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1d,0xfff4
001f 029a 00eb  |    |		Declare_Subprogram	INIT_00e8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x1f,0xfff3
0021 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x21,0xfff2
0023 029a 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xe = 0x23,0xfff1
0025 e20f       |    |		Load	0x1,0xf								; 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 e210       |    |		Load	0x1,0x10
0027 029f 010b  |    |		Declare_Subprogram	INIT_0108,For_Call
0029 4802       |H   |		Short_Literal	0x2
002a 032d       | -  |		Declare_Type	Record,Defined
002b 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x18 = 0x2b,0xffe7
002c 02a0       |    |		Declare_Subprogram	Null_Subprogram
002d e210       |    |		Load	0x1,0x10
002e 03c7       |    |		Complete_Type	Access,By_Defining
002f e210       |    |		Load	0x1,0x10							; Debug Table 0x0.0x19 = 0x2f,0xffe6
0030 e218       |    |		Load	0x1,0x18
0031 03c6       |    |		Complete_Type	Access,By_Renaming
0032 00bf       |    |		Action	Accept_Activation
0033 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1 = .DEBUG	0x0033,0x01c8,0xc000,0x0000,0x0036,0x9924,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x33,0xffff
													; Debug Table 0x1.0x1 = 0x33,0xfffe
0034 00c7       |    |		Action	Elaborate_Subprogram
0035 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x2 = 0x35,0xfffd
0036 00c7       |    |		Action	Elaborate_Subprogram
0037 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x3 = 0x37,0xfffc
0038 00c7       |    |		Action	Elaborate_Subprogram
0039 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x4 = 0x39,0xfffb
003a 00c7       |    |		Action	Elaborate_Subprogram
003b 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x5 = 0x3b,0xfffa
003c 00c7       |    |		Action	Elaborate_Subprogram
003d 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x6 = 0x3d,0xfff9
													; Debug Table 0x1.0x7 = 0x3d,0xfff8
003e 00c7       |    |		Action	Elaborate_Subprogram
003f 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0x8 = 0x3f,0xfff7
													; Debug Table 0x1.0x9 = 0x3f,0xfff6
0040 00c7       |    |		Action	Elaborate_Subprogram
0041 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0xa = 0x41,0xfff5
0042 00c7       |    |		Action	Elaborate_Subprogram
0043 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0xb = 0x43,0xfff4
0044 00c7       |    |		Action	Elaborate_Subprogram
0045 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0xc = 0x45,0xfff3
0046 00c7       |    |		Action	Elaborate_Subprogram
0047 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0xd = 0x47,0xfff2
0048 00c7       |    |		Action	Elaborate_Subprogram
0049			BODY_0008:
0049 00bc       |    |		Action	Signal_Activated
004a 00bb       |    |		Action	Signal_Completion
004b 0000 0000  |    |		.BLANK	0000[0x5]
0050 ; --------------------------------------------------------------------------------------
0050 ; SUBPROGRAM
0050 ; --------------------------------------------------------------------------------------
0050 0053       | S  |		.CONST	0x0053								; Address of begin
0051 0004       |    |		.CONST	0x0004								; Address of exception handler
0052 0001       |    |		.CONST	0x0001								; Number of locals
0053			BODY_0050:
0053			INIT_0050:
0053 e210       |    |		Load	0x1,0x10							; Debug Table 0x2 = .DEBUG	0x0053,0x01e6,0x1001,0x0000,0x0036,0x9914,0x0000,0x001f
													; Debug Table 0x2.0x0 = 0x53,0x1
0054 003b       | ;  |		Store_Top	Access,At_Offset_3
0055 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0056 0000 0000  |    |		.XXX[0x2]
0058 ; --------------------------------------------------------------------------------------
0058 ; SUBPROGRAM
0058 ; --------------------------------------------------------------------------------------
0058 005b       | [  |		.CONST	0x005b								; Address of begin
0059 0004       |    |		.CONST	0x0004								; Address of exception handler
005a 0001       |    |		.CONST	0x0001								; Number of locals
005b			BODY_0058:
005b			INIT_0058:
005b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3 = .DEBUG	0x005b,0x01ea,0x1002,0x0000,0x0036,0x9914,0x0000,0x0027
													; Debug Table 0x3.0x0 = 0x5b,0x1
005c 022d       | -  |		Execute	Access,Is_Null
005d 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
005e 0000 0000  |    |		.XXX[0x2]
0060 ; --------------------------------------------------------------------------------------
0060 ; SUBPROGRAM
0060 ; --------------------------------------------------------------------------------------
0060 0063       | c  |		.CONST	0x0063								; Address of begin
0061 0004       |    |		.CONST	0x0004								; Address of exception handler
0062 0001       |    |		.CONST	0x0001								; Number of locals
0063			BODY_0060:
0063			INIT_0060:
0063 e210       |    |		Load	0x1,0x10							; Debug Table 0x4 = .DEBUG	0x0063,0x01ee,0x1001,0x0000,0x0036,0x9914,0x0000,0x0030
													; Debug Table 0x4.0x0 = 0x63,0x1
0064 003b       | ;  |		Store_Top	Access,At_Offset_3
0065 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0066 0000 0000  |    |		.XXX[0x2]
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 006e       | n  |		.CONST	0x006e								; Address of begin
0069 0004       |    |		.CONST	0x0004								; Address of exception handler
006a 0002       |    |		.CONST	0x0002								; Number of locals
006b			INIT_0068:
006b e210       |    |		Load	0x1,0x10							; Debug Table 0x5 = .DEBUG	0x006b,0x01f2,0x1001,0x0000,0x0036,0x9914,0x0000,0x0038
													; Debug Table 0x5.0x0 = 0x6b,0xffff
006c 00db       |    |		Load_Top	At_Offset_3
006d 0039       | 9  |		Store_Top	Access,At_Offset_1
006e			BODY_0068:
006e e210       |    |		Load	0x1,0x10							; Debug Table 0x5.0x1 = 0x6e,0x1
006f a5fe       |    |		Store_Unchecked	0x2,-0x2
0070 7813       |x   |		Jump	0x84
0071 e21d       |    |		Load	0x1,0x1d							; Debug Table 0x5.0x2 = 0x71,0x3
0072 0322       | "  |		Declare_Variable	Record
0073 00d9       |    |		Load_Top	At_Offset_1
0074 0227       | '  |		Execute	Access,All_Reference
0075 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0076 e20f       |    |		Load	0x1,0xf
0077 0119       |    |		Execute	Any,Check_In_Formal_Type
0078 00d9       |    |		Load_Top	At_Offset_1
0079 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
007a e5fe       |    |		Load	0x2,-0x2
007b 00d9       |    |		Load_Top	At_Offset_1
007c 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
007d e210       |    |		Load	0x1,0x10
007e 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
007f a5fe       |    |		Store_Unchecked	0x2,-0x2
0080 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x3 = 0x80,0x4
0081 0227       | '  |		Execute	Access,All_Reference
0082 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0083 0039       | 9  |		Store_Top	Access,At_Offset_1
0084 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x4 = 0x84,0x2
0085 77eb       |w   |		Jump_Nonzero	0x71
0086 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0087 0000       |    |		.XXX[0x1]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008e       |    |		.CONST	0x008e								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0002       |    |		.CONST	0x0002								; Number of locals
008b			INIT_0088:
008b e210       |    |		Load	0x1,0x10							; Debug Table 0x6 = .DEBUG	0x008b,0x01fe,0x1002,0x0000,0x0036,0x9914,0x0000,0x0044
													; Debug Table 0x6.0x0 = 0x8b,0xffff
008c 00db       |    |		Load_Top	At_Offset_3
008d 0039       | 9  |		Store_Top	Access,At_Offset_1
008e			BODY_0088:
008e 780c       |x   |		Jump	0x9b
008f 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x1 = 0x8f,0x2
0090 0227       | '  |		Execute	Access,All_Reference
0091 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0092 e5fe       |    |		Load	0x2,-0x2
0093 012f       | /  |		Execute	Any,Equal
0094 6802       |h   |		Jump_Zero	0x97
0095 4801       |H   |		Short_Literal	0x1							; Debug Table 0x6.0x2 = 0x95,0x3
0096 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0097 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x3 = 0x97,0x4
0098 0227       | '  |		Execute	Access,All_Reference
0099 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
009a 0039       | 9  |		Store_Top	Access,At_Offset_1
009b 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x4 = 0x9b,0x1
009c 77f2       |w   |		Jump_Nonzero	0x8f
009d 4800       |H   |		Short_Literal	0x0							; Debug Table 0x6.0x5 = 0x9d,0x5
009e 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
009f 0000       |    |		.XXX[0x1]
00a0 ; --------------------------------------------------------------------------------------
00a0 ; SUBPROGRAM
00a0 ; --------------------------------------------------------------------------------------
00a0 00a3       |    |		.CONST	0x00a3								; Address of begin
00a1 0004       |    |		.CONST	0x0004								; Address of exception handler
00a2 0001       |    |		.CONST	0x0001								; Number of locals
00a3			BODY_00a0:
00a3			INIT_00a0:
00a3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x7 = .DEBUG	0x00a3,0x020c,0x1001,0x0000,0x0036,0x9914,0x0000,0x0051
													; Debug Table 0x7.0x0 = 0xa3,0x1
00a4 e20f       |    |		Load	0x1,0xf
00a5 0119       |    |		Execute	Any,Check_In_Formal_Type
00a6 e5fe       |    |		Load	0x2,-0x2
00a7 8215       |    |		Call	0x1,0x15
00a8 700d       |p   |		Jump_Nonzero	0xb6
00a9 e21d       |    |		Load	0x1,0x1d							; Debug Table 0x7.0x1 = 0xa9,0x2
00aa 0322       | "  |		Declare_Variable	Record
00ab 00db       |    |		Load_Top	At_Offset_3
00ac e20f       |    |		Load	0x1,0xf
00ad 0119       |    |		Execute	Any,Check_In_Formal_Type
00ae 00d9       |    |		Load_Top	At_Offset_1
00af 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00b0 e5fe       |    |		Load	0x2,-0x2
00b1 00d9       |    |		Load_Top	At_Offset_1
00b2 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b3 e210       |    |		Load	0x1,0x10
00b4 03b6       |    |		Declare_Variable	Access,By_Allocation,With_Value
00b5 a5fe       |    |		Store_Unchecked	0x2,-0x2
00b6 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00b7 0000       |    |		.XXX[0x1]
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00bf       |    |		.CONST	0x00bf								; Address of begin
00b9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ba 0003       |    |		.CONST	0x0003								; Number of locals
00bb			INIT_00b8:
00bb e210       |    |		Load	0x1,0x10							; Debug Table 0x8 = .DEBUG	0x00bb,0x0212,0x1001,0x0000,0x0036,0x9914,0x0000,0x005d
													; Debug Table 0x8.0x0 = 0xbb,0xffff
00bc e5fe       |    |		Load	0x2,-0x2
00bd 0039       | 9  |		Store_Top	Access,At_Offset_1
00be e210       |    |		Load	0x1,0x10							; Debug Table 0x8.0x1 = 0xbe,0xfffe
00bf			BODY_00b8:
00bf 781a       |x   |		Jump	0xda
00c0 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x2 = 0xc0,0x2
00c1 0227       | '  |		Execute	Access,All_Reference
00c2 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00c3 e5ff       |    |		Load	0x2,-0x1
00c4 012f       | /  |		Execute	Any,Equal
00c5 680e       |h   |		Jump_Zero	0xd4
00c6 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x8.0x3 = 0xc6,0x3
00c7 6807       |h   |		Jump_Zero	0xcf
00c8 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x4 = 0xc8,0x4
00c9 0227       | '  |		Execute	Access,All_Reference
00ca 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00cb 00d9       |    |		Load_Top	At_Offset_1
00cc 0227       | '  |		Execute	Access,All_Reference
00cd 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00ce 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00cf 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x5 = 0xcf,0x5
00d0 0227       | '  |		Execute	Access,All_Reference
00d1 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00d2 a5fe       |    |		Store_Unchecked	0x2,-0x2
00d3 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2					; Debug Table 0x8.0x6 = 0xd3,0x6
00d4 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x7 = 0xd4,0x7
00d5 0039       | 9  |		Store_Top	Access,At_Offset_1
00d6 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x8 = 0xd6,0x8
00d7 0227       | '  |		Execute	Access,All_Reference
00d8 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00d9 003a       | :  |		Store_Top	Access,At_Offset_2
00da 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x9 = 0xda,0x1
00db 77e4       |w   |		Jump_Nonzero	0xc0
00dc 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00dd 0000 0000  |    |		.XXX[0x3]
00df 0000       |    |
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00e3       |    |		.CONST	0x00e3								; Address of begin
00e1 0004       |    |		.CONST	0x0004								; Address of exception handler
00e2 0001       |    |		.CONST	0x0001								; Number of locals
00e3			BODY_00e0:
00e3			INIT_00e0:
00e3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x9 = .DEBUG	0x00e3,0x0228,0x1001,0x0000,0x0036,0x9914,0x0000,0x006d
													; Debug Table 0x9.0x0 = 0xe3,0x1
00e4 a5fe       |    |		Store_Unchecked	0x2,-0x2
00e5 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00e6 0000 0000  |    |		.XXX[0x2]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00eb       |    |		.CONST	0x00eb								; Address of begin
00e9 0004       |    |		.CONST	0x0004								; Address of exception handler
00ea 0001       |    |		.CONST	0x0001								; Number of locals
00eb			BODY_00e8:
00eb			INIT_00e8:
00eb 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xa = .DEBUG	0x00eb,0x022c,0x1001,0x0000,0x0036,0x9914,0x0000,0x0079
													; Debug Table 0xa.0x0 = 0xeb,0x1
00ec 0227       | '  |		Execute	Access,All_Reference
00ed 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ee 003b       | ;  |		Store_Top	Access,At_Offset_3
00ef 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f3       |    |		.CONST	0x00f3								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0001       |    |		.CONST	0x0001								; Number of locals
00f3			BODY_00f0:
00f3			INIT_00f0:
00f3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xb = .DEBUG	0x00f3,0x0230,0x1002,0x0000,0x0036,0x9914,0x0000,0x0081
													; Debug Table 0xb.0x0 = 0xf3,0x1
00f4 0227       | '  |		Execute	Access,All_Reference
00f5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00f6 00d8       |    |		Load_Top	At_Offset_0
00f7 0120       |    |		Execute	Any,Is_Value
00f8 7002       |p   |		Jump_Nonzero	0xfb
00f9 00d8       |    |		Load_Top	At_Offset_0
00fa 011e       |    |		Execute	Any,Convert
00fb e20f       |    |		Load	0x1,0xf
00fc 0119       |    |		Execute	Any,Check_In_Formal_Type
00fd 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00fe 0000 0000  |    |		.XXX[0x2]
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 0xc = .DEBUG	0x0103,0x0234,0x1002,0x0000,0x0036,0x9914,0x0000,0x008a
													; Debug Table 0xc.0x0 = 0x103,0x1
0104 022d       | -  |		Execute	Access,Is_Null
0105 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0106 0000 0000  |    |		.XXX[0x2]
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 4608       |F   |		Jump_Case	0x9							; Debug Table 0xd = .DEBUG	0x010b,0x0238,0x1005,0x0000,0x0036,0x9914,0x0000,0x00b4
010c 7808       |x   |		Jump	0x115								; case 0x0
010d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
010e 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
010f 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0110 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0111 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
0112 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
0113 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
0114 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
0115 00da       |    |		Load_Top	At_Offset_2
0116 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0117 0125       | %  |		Execute	Any,Set_Constraint
0118 00da       |    |		Load_Top	At_Offset_2
0119 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
011a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
011b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
011c 0000 0000  |    |		.BLANK	0000[0x4]
0120 ; --------------------------------------------------------------------------------------
0120 ; Debug Table
0120 ; --------------------------------------------------------------------------------------
0120 0003 000e  |    |		.CONST	0x0003,0x000e
0122 000b 0192  |    |		.DEBUG	0x000b,0x0192,0xc000,0x0000,0x0036,0x9914,0x0000,0x0005
012a 0033 01c8  | 3  |		.DEBUG	0x0033,0x01c8,0xc000,0x0000,0x0036,0x9924,0x0000,0x0003
0132 0053 01e6  | S  |		.DEBUG	0x0053,0x01e6,0x1001,0x0000,0x0036,0x9914,0x0000,0x001f
013a 005b 01ea  | [  |		.DEBUG	0x005b,0x01ea,0x1002,0x0000,0x0036,0x9914,0x0000,0x0027
0142 0063 01ee  | c  |		.DEBUG	0x0063,0x01ee,0x1001,0x0000,0x0036,0x9914,0x0000,0x0030
014a 006b 01f2  | k  |		.DEBUG	0x006b,0x01f2,0x1001,0x0000,0x0036,0x9914,0x0000,0x0038
0152 008b 01fe  |    |		.DEBUG	0x008b,0x01fe,0x1002,0x0000,0x0036,0x9914,0x0000,0x0044
015a 00a3 020c  |    |		.DEBUG	0x00a3,0x020c,0x1001,0x0000,0x0036,0x9914,0x0000,0x0051
0162 00bb 0212  |    |		.DEBUG	0x00bb,0x0212,0x1001,0x0000,0x0036,0x9914,0x0000,0x005d
016a 00e3 0228  |   (|		.DEBUG	0x00e3,0x0228,0x1001,0x0000,0x0036,0x9914,0x0000,0x006d
0172 00eb 022c  |   ,|		.DEBUG	0x00eb,0x022c,0x1001,0x0000,0x0036,0x9914,0x0000,0x0079
017a 00f3 0230  |   0|		.DEBUG	0x00f3,0x0230,0x1002,0x0000,0x0036,0x9914,0x0000,0x0081
0182 0103 0234  |   4|		.DEBUG	0x0103,0x0234,0x1002,0x0000,0x0036,0x9914,0x0000,0x008a
018a 010b 0238  |   8|		.DEBUG	0x010b,0x0238,0x1005,0x0000,0x0036,0x9914,0x0000,0x00b4
0192 ; --------------------------------------------------------------------------------------
0192 ; Debug3 Subtable 0x0
0192 ; --------------------------------------------------------------------------------------
0192 001a 0000  |    |		.DBG3TAB	0x001a,0x0000
0194 000b ffff  |    |		.CONST	0x000b,0xffff
0196 000b fffe  |    |		.CONST	0x000b,0xfffe
0198 000b fffd  |    |		.CONST	0x000b,0xfffd
019a 000d fffc  |    |		.CONST	0x000d,0xfffc
019c 000f fffb  |    |		.CONST	0x000f,0xfffb
019e 0011 fffa  |    |		.CONST	0x0011,0xfffa
01a0 0013 fff9  |    |		.CONST	0x0013,0xfff9
01a2 0015 fff8  |    |		.CONST	0x0015,0xfff8
01a4 0017 fff7  |    |		.CONST	0x0017,0xfff7
01a6 0019 fff6  |    |		.CONST	0x0019,0xfff6
01a8 001b fff5  |    |		.CONST	0x001b,0xfff5
01aa 001d fff4  |    |		.CONST	0x001d,0xfff4
01ac 001f fff3  |    |		.CONST	0x001f,0xfff3
01ae 0021 fff2  | !  |		.CONST	0x0021,0xfff2
01b0 0023 fff1  | #  |		.CONST	0x0023,0xfff1
01b2 0025 fff0  | %  |		.CONST	0x0025,0xfff0
01b4 0025 ffef  | %  |		.CONST	0x0025,0xffef
01b6 0025 ffee  | %  |		.CONST	0x0025,0xffee
01b8 0025 ffed  | %  |		.CONST	0x0025,0xffed
01ba 0025 ffec  | %  |		.CONST	0x0025,0xffec
01bc 0025 ffeb  | %  |		.CONST	0x0025,0xffeb
01be 0025 ffea  | %  |		.CONST	0x0025,0xffea
01c0 0025 ffe9  | %  |		.CONST	0x0025,0xffe9
01c2 0025 ffe8  | %  |		.CONST	0x0025,0xffe8
01c4 002b ffe7  | +  |		.CONST	0x002b,0xffe7
01c6 002f ffe6  | /  |		.CONST	0x002f,0xffe6
01c8 ; --------------------------------------------------------------------------------------
01c8 ; Debug3 Subtable 0x1
01c8 ; --------------------------------------------------------------------------------------
01c8 000e 0000  |    |		.DBG3TAB	0x000e,0x0000
01ca 0033 ffff  | 3  |		.CONST	0x0033,0xffff
01cc 0033 fffe  | 3  |		.CONST	0x0033,0xfffe
01ce 0035 fffd  | 5  |		.CONST	0x0035,0xfffd
01d0 0037 fffc  | 7  |		.CONST	0x0037,0xfffc
01d2 0039 fffb  | 9  |		.CONST	0x0039,0xfffb
01d4 003b fffa  | ;  |		.CONST	0x003b,0xfffa
01d6 003d fff9  | =  |		.CONST	0x003d,0xfff9
01d8 003d fff8  | =  |		.CONST	0x003d,0xfff8
01da 003f fff7  | ?  |		.CONST	0x003f,0xfff7
01dc 003f fff6  | ?  |		.CONST	0x003f,0xfff6
01de 0041 fff5  | A  |		.CONST	0x0041,0xfff5
01e0 0043 fff4  | C  |		.CONST	0x0043,0xfff4
01e2 0045 fff3  | E  |		.CONST	0x0045,0xfff3
01e4 0047 fff2  | G  |		.CONST	0x0047,0xfff2
01e6 ; --------------------------------------------------------------------------------------
01e6 ; Debug3 Subtable 0x2
01e6 ; --------------------------------------------------------------------------------------
01e6 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01e8 0053 0001  | S  |		.CONST	0x0053,0x0001
01ea ; --------------------------------------------------------------------------------------
01ea ; Debug3 Subtable 0x3
01ea ; --------------------------------------------------------------------------------------
01ea 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01ec 005b 0001  | [  |		.CONST	0x005b,0x0001
01ee ; --------------------------------------------------------------------------------------
01ee ; Debug3 Subtable 0x4
01ee ; --------------------------------------------------------------------------------------
01ee 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
01f0 0063 0001  | c  |		.CONST	0x0063,0x0001
01f2 ; --------------------------------------------------------------------------------------
01f2 ; Debug3 Subtable 0x5
01f2 ; --------------------------------------------------------------------------------------
01f2 0001 0004  |    |		.DBG3TAB	0x0001,0x0004
01f4 006b ffff  | k  |		.CONST	0x006b,0xffff
01f6 006e 0001  | n  |		.CONST	0x006e,0x0001
01f8 0071 0003  | q  |		.CONST	0x0071,0x0003
01fa 0080 0004  |    |		.CONST	0x0080,0x0004
01fc 0084 0002  |    |		.CONST	0x0084,0x0002
01fe ; --------------------------------------------------------------------------------------
01fe ; Debug3 Subtable 0x6
01fe ; --------------------------------------------------------------------------------------
01fe 0001 0005  |    |		.DBG3TAB	0x0001,0x0005
0200 008b ffff  |    |		.CONST	0x008b,0xffff
0202 008f 0002  |    |		.CONST	0x008f,0x0002
0204 0095 0003  |    |		.CONST	0x0095,0x0003
0206 0097 0004  |    |		.CONST	0x0097,0x0004
0208 009b 0001  |    |		.CONST	0x009b,0x0001
020a 009d 0005  |    |		.CONST	0x009d,0x0005
020c ; --------------------------------------------------------------------------------------
020c ; Debug3 Subtable 0x7
020c ; --------------------------------------------------------------------------------------
020c 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
020e 00a3 0001  |    |		.CONST	0x00a3,0x0001
0210 00a9 0002  |    |		.CONST	0x00a9,0x0002
0212 ; --------------------------------------------------------------------------------------
0212 ; Debug3 Subtable 0x8
0212 ; --------------------------------------------------------------------------------------
0212 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0214 00bb ffff  |    |		.CONST	0x00bb,0xffff
0216 00be fffe  |    |		.CONST	0x00be,0xfffe
0218 00c0 0002  |    |		.CONST	0x00c0,0x0002
021a 00c6 0003  |    |		.CONST	0x00c6,0x0003
021c 00c8 0004  |    |		.CONST	0x00c8,0x0004
021e 00cf 0005  |    |		.CONST	0x00cf,0x0005
0220 00d3 0006  |    |		.CONST	0x00d3,0x0006
0222 00d4 0007  |    |		.CONST	0x00d4,0x0007
0224 00d6 0008  |    |		.CONST	0x00d6,0x0008
0226 00da 0001  |    |		.CONST	0x00da,0x0001
0228 ; --------------------------------------------------------------------------------------
0228 ; Debug3 Subtable 0x9
0228 ; --------------------------------------------------------------------------------------
0228 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
022a 00e3 0001  |    |		.CONST	0x00e3,0x0001
022c ; --------------------------------------------------------------------------------------
022c ; Debug3 Subtable 0xa
022c ; --------------------------------------------------------------------------------------
022c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
022e 00eb 0001  |    |		.CONST	0x00eb,0x0001
0230 ; --------------------------------------------------------------------------------------
0230 ; Debug3 Subtable 0xb
0230 ; --------------------------------------------------------------------------------------
0230 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0232 00f3 0001  |    |		.CONST	0x00f3,0x0001
0234 ; --------------------------------------------------------------------------------------
0234 ; Debug3 Subtable 0xc
0234 ; --------------------------------------------------------------------------------------
0234 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0236 0103 0001  |    |		.CONST	0x0103,0x0001
0238 ; --------------------------------------------------------------------------------------
0238 ; Debug3 Subtable 0xd
0238 ; --------------------------------------------------------------------------------------
0238 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
023a 0000 0000  |    |		.BLANK	0000[0x1c6]