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

⟦5c92574ed⟧ SEG

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

Derivation

└─⟦24d56d853⟧ Bits:30000744 8mm tape, Rational 1000, DFS, D_12_6_5 SEQ293
    └─ ⟦this⟧ »139283.SEG« 
└─⟦9031b0687⟧ Bits:30000407 8mm tape, Rational 1000, DFS, D_12_7_3
    └─ ⟦this⟧ »139283.SEG« 
└─⟦b4205821b⟧ Bits:30000743 8mm tape, Rational 1000, DFS, D_12_7_3 SEQ288
    └─ ⟦this⟧ »139283.SEG« 
└─⟦b434774df⟧ Bits:30000528 8mm tape, Rational 1000, DFS, D_12_6_5
    └─ ⟦this⟧ »139283.SEG« 
└─⟦bc1274df5⟧ Bits:30000750 8mm tape, Rational 1000, DFS backup from PAM's R1000
    └─ ⟦this⟧ »139283.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 0160       | `  |		.CONST	0x0160								; 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 0054       | T  |		.CONST	0x0054								; 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,0x01d2,0xc000,0x0000,0x0036,0x09d4,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 006b  |   k|		Declare_Subprogram	INIT_0068,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0xe,0xfffb
0010 029a 0073  |   s|		Declare_Subprogram	INIT_0070,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 00ab  |    |		Declare_Subprogram	INIT_00a8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x14,0xfff8
0016 029a 00cb  |    |		Declare_Subprogram	INIT_00c8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x16,0xfff7
0018 029a 00f3  |    |		Declare_Subprogram	INIT_00f0,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 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x1b,0xfff4
001d 029a 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x1d,0xfff3
001f 029a 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x1f,0xfff2
0021 029a 0143  |   C|		Declare_Subprogram	INIT_0140,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 4801       |H   |		Short_Literal	0x1							; Debug Table 0x0.0x1b = 0x2d,0xffe4
													; Debug Table 0x0.0x1c = 0x2d,0xffe3
002e 032a       | *  |		Declare_Type	Record,Incomplete
002f 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x0.0x1d = 0x2f,0xffe2
0030 02a0       |    |		Declare_Subprogram	Null_Subprogram
0031 e210       |    |		Load	0x1,0x10
0032 03a3       |    |		Complete_Type	Heap_Access,By_Defining
0033 00bf       |    |		Action	Accept_Activation						; Debug Table 0x0.0x1e = 0x33,0xffe1
0034 e20f       |    |		Load	0x1,0xf								; Debug Table 0x1 = .DEBUG	0x0034,0x0212,0xc000,0x0000,0x0036,0x09e4,0x0000,0x0003
													; Debug Table 0x1.0x0 = 0x34,0xffff
													; Debug Table 0x1.0x1 = 0x34,0xfffe
0035 00da       |    |		Load_Top	At_Offset_2
0036 029f 014b  |   K|		Declare_Subprogram	INIT_0148,For_Call
0038 e21d       |    |		Load	0x1,0x1d
0039 0326       | &  |		Complete_Type	Record,By_Defining
003a 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x1.0x2 = 0x3a,0xfffd
003b 02a0       |    |		Declare_Subprogram	Null_Subprogram
003c 00da       |    |		Load_Top	At_Offset_2
003d 0326       | &  |		Complete_Type	Record,By_Defining
003e 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1.0x3 = 0x3e,0xfffc
003f 00c7       |    |		Action	Elaborate_Subprogram
0040 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x4 = 0x40,0xfffb
0041 00c7       |    |		Action	Elaborate_Subprogram
0042 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x5 = 0x42,0xfffa
0043 00c7       |    |		Action	Elaborate_Subprogram
0044 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14				; Debug Table 0x1.0x6 = 0x44,0xfff9
0045 00c7       |    |		Action	Elaborate_Subprogram
0046 1d19       |    |		Execute_Immediate	Reference_Lex_1,0x19				; Debug Table 0x1.0x7 = 0x46,0xfff8
0047 00c7       |    |		Action	Elaborate_Subprogram
0048 1d1a       |    |		Execute_Immediate	Reference_Lex_1,0x1a				; Debug Table 0x1.0x8 = 0x48,0xfff7
0049 00c7       |    |		Action	Elaborate_Subprogram
004a 1d1b       |    |		Execute_Immediate	Reference_Lex_1,0x1b				; Debug Table 0x1.0x9 = 0x4a,0xfff6
													; Debug Table 0x1.0xa = 0x4a,0xfff5
004b 00c7       |    |		Action	Elaborate_Subprogram
004c 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0xb = 0x4c,0xfff4
													; Debug Table 0x1.0xc = 0x4c,0xfff3
004d 00c7       |    |		Action	Elaborate_Subprogram
004e 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15				; Debug Table 0x1.0xd = 0x4e,0xfff2
004f 00c7       |    |		Action	Elaborate_Subprogram
0050 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16				; Debug Table 0x1.0xe = 0x50,0xfff1
0051 00c7       |    |		Action	Elaborate_Subprogram
0052 1d17       |    |		Execute_Immediate	Reference_Lex_1,0x17				; Debug Table 0x1.0xf = 0x52,0xfff0
0053 00c7       |    |		Action	Elaborate_Subprogram
0054			BODY_0008:
0054 00bc       |    |		Action	Signal_Activated
0055 00bb       |    |		Action	Signal_Completion
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 e21f       |    |		Load	0x1,0x1f							; Debug Table 0x2 = .DEBUG	0x005b,0x0234,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0027
													; Debug Table 0x2.0x0 = 0x5b,0x1
005c 0322       | "  |		Declare_Variable	Record
005d e21e       |    |		Load	0x1,0x1e
005e 00d9       |    |		Load_Top	At_Offset_1
005f 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0060 e210       |    |		Load	0x1,0x10
0061 e5ff       |    |		Load	0x2,-0x1
0062 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
0063 a5fe       |    |		Store_Unchecked	0x2,-0x2
0064 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2					; Debug Table 0x2.0x1 = 0x64,0x2
0065 0000 0000  |    |		.XXX[0x3]
0067 0000       |    |
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 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3 = .DEBUG	0x006b,0x023a,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0035
													; Debug Table 0x3.0x0 = 0x6b,0x1
006c 0217       |    |		Execute	Heap_Access,All_Reference
006d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
006e 021d       |    |		Execute	Heap_Access,Is_Null
006f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0070 ; --------------------------------------------------------------------------------------
0070 ; SUBPROGRAM
0070 ; --------------------------------------------------------------------------------------
0070 0073       | s  |		.CONST	0x0073								; Address of begin
0071 0004       |    |		.CONST	0x0004								; Address of exception handler
0072 0001       |    |		.CONST	0x0001								; Number of locals
0073			BODY_0070:
0073			INIT_0070:
0073 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x4 = .DEBUG	0x0073,0x023e,0x1001,0x0000,0x0036,0x09d4,0x0000,0x003e
													; Debug Table 0x4.0x0 = 0x73,0x1
0074 00db       |    |		Load_Top	At_Offset_3
0075 0217       |    |		Execute	Heap_Access,All_Reference
0076 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0077 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 0081       |    |		.CONST	0x0081								; Address of begin
0079 0004       |    |		.CONST	0x0004								; Address of exception handler
007a 0003       |    |		.CONST	0x0003								; Number of locals
007b			INIT_0078:
007b e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5 = .DEBUG	0x007b,0x0242,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0046
													; Debug Table 0x5.0x0 = 0x7b,0xffff
007c 00db       |    |		Load_Top	At_Offset_3
007d 0217       |    |		Execute	Heap_Access,All_Reference
007e 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
007f 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0080 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x1 = 0x80,0xfffe
0081			BODY_0078:
0081 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x2 = 0x81,0x1
0082 e5fe       |    |		Load	0x2,-0x2
0083 0217       |    |		Execute	Heap_Access,All_Reference
0084 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0085 781b       |x   |		Jump	0xa1
0086 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x5.0x3 = 0x86,0x3
0087 e5fe       |    |		Load	0x2,-0x2
0088 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0089 00d8       |    |		Load_Top	At_Offset_0
008a 0217       |    |		Execute	Heap_Access,All_Reference
008b 1c00       |    |		Execute_Immediate	Run_Utility,0x0
008c 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
008d 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x4 = 0x8d,0x4
													; Debug Table 0x5.0x5 = 0x8d,0x5
008e 0217       |    |		Execute	Heap_Access,All_Reference
008f 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0090 00d9       |    |		Load_Top	At_Offset_1
0091 0217       |    |		Execute	Heap_Access,All_Reference
0092 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0093 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x5.0x6 = 0x93,0x6
0094 0217       |    |		Execute	Heap_Access,All_Reference
0095 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0096 00d9       |    |		Load_Top	At_Offset_1
0097 0217       |    |		Execute	Heap_Access,All_Reference
0098 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0099 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x7 = 0x99,0x7
009a e5fe       |    |		Load	0x2,-0x2
009b 0217       |    |		Execute	Heap_Access,All_Reference
009c 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
009d 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x8 = 0x9d,0x8
009e 0217       |    |		Execute	Heap_Access,All_Reference
009f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00a0 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
00a1 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x9 = 0xa1,0x2
00a2 77e3       |w   |		Jump_Nonzero	0x86
00a3 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00a4 0000 0000  |    |		.BLANK	0000[0x4]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00b0       |    |		.CONST	0x00b0								; Address of begin
00a9 0004       |    |		.CONST	0x0004								; Address of exception handler
00aa 0002       |    |		.CONST	0x0002								; Number of locals
00ab			INIT_00a8:
00ab e21e       |    |		Load	0x1,0x1e							; Debug Table 0x6 = .DEBUG	0x00ab,0x0258,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0052
													; Debug Table 0x6.0x0 = 0xab,0xffff
00ac 00db       |    |		Load_Top	At_Offset_3
00ad 0217       |    |		Execute	Heap_Access,All_Reference
00ae 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00af 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00b0			BODY_00a8:
00b0 780c       |x   |		Jump	0xbd
00b1 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x1 = 0xb1,0x2
00b2 0217       |    |		Execute	Heap_Access,All_Reference
00b3 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00b4 e5fe       |    |		Load	0x2,-0x2
00b5 012f       | /  |		Execute	Any,Equal
00b6 6802       |h   |		Jump_Zero	0xb9
00b7 4801       |H   |		Short_Literal	0x1							; Debug Table 0x6.0x2 = 0xb7,0x3
00b8 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
00b9 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x3 = 0xb9,0x4
00ba 0217       |    |		Execute	Heap_Access,All_Reference
00bb 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00bc 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00bd 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x4 = 0xbd,0x1
00be 77f2       |w   |		Jump_Nonzero	0xb1
00bf 4800       |H   |		Short_Literal	0x0							; Debug Table 0x6.0x5 = 0xbf,0x5
00c0 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
00c1 0000 0000  |    |		.BLANK	0000[0x7]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00cc       |    |		.CONST	0x00cc								; 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 0x7 = .DEBUG	0x00cb,0x0266,0x1001,0x0000,0x0036,0x09d4,0x0000,0x005f
													; Debug Table 0x7.0x0 = 0xcb,0xffff
00cc			BODY_00c8:
00cc 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x7.0x1 = 0xcc,0x1
00cd e20f       |    |		Load	0x1,0xf
00ce 0119       |    |		Execute	Any,Check_In_Formal_Type
00cf e5fe       |    |		Load	0x2,-0x2
00d0 8215       |    |		Call	0x1,0x15
00d1 7019       |p   |		Jump_Nonzero	0xeb
00d2 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x7.0x2 = 0xd2,0x2
00d3 0217       |    |		Execute	Heap_Access,All_Reference
00d4 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d5 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
00d6 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x7.0x3 = 0xd6,0x3
00d7 e5fe       |    |		Load	0x2,-0x2
00d8 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
00d9 00d8       |    |		Load_Top	At_Offset_0
00da 0217       |    |		Execute	Heap_Access,All_Reference
00db 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00dc e5fe       |    |		Load	0x2,-0x2
00dd 0217       |    |		Execute	Heap_Access,All_Reference
00de 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00df 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x7.0x4 = 0xdf,0x4
													; Debug Table 0x7.0x5 = 0xdf,0x5
00e0 e5fe       |    |		Load	0x2,-0x2
00e1 0217       |    |		Execute	Heap_Access,All_Reference
00e2 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00e3 0217       |    |		Execute	Heap_Access,All_Reference
00e4 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
00e5 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x7.0x6 = 0xe5,0x6
00e6 e5fe       |    |		Load	0x2,-0x2
00e7 0217       |    |		Execute	Heap_Access,All_Reference
00e8 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
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 00f9       |    |		.CONST	0x00f9								; Address of begin
00f1 0004       |    |		.CONST	0x0004								; Address of exception handler
00f2 0003       |    |		.CONST	0x0003								; Number of locals
00f3			INIT_00f0:
00f3 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x8 = .DEBUG	0x00f3,0x0276,0x1001,0x0000,0x0036,0x09d4,0x0000,0x006b
													; Debug Table 0x8.0x0 = 0xf3,0xffff
00f4 e5fe       |    |		Load	0x2,-0x2
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 e21e       |    |		Load	0x1,0x1e							; Debug Table 0x8.0x1 = 0xf8,0xfffe
00f9			BODY_00f0:
00f9 781c       |x   |		Jump	0x116
00fa 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x2 = 0xfa,0x2
00fb 0217       |    |		Execute	Heap_Access,All_Reference
00fc 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00fd e5ff       |    |		Load	0x2,-0x1
00fe 012f       | /  |		Execute	Any,Equal
00ff 6810       |h   |		Jump_Zero	0x110
0100 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x8.0x3 = 0x100,0x3
0101 6807       |h   |		Jump_Zero	0x109
0102 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x4 = 0x102,0x4
0103 0217       |    |		Execute	Heap_Access,All_Reference
0104 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0105 00d9       |    |		Load_Top	At_Offset_1
0106 0217       |    |		Execute	Heap_Access,All_Reference
0107 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0108 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0109 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x5 = 0x109,0x5
010a 0217       |    |		Execute	Heap_Access,All_Reference
010b 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
010c e5fe       |    |		Load	0x2,-0x2
010d 0217       |    |		Execute	Heap_Access,All_Reference
010e 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
010f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2					; Debug Table 0x8.0x6 = 0x10f,0x6
0110 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x7 = 0x110,0x7
0111 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0112 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x8 = 0x112,0x8
0113 0217       |    |		Execute	Heap_Access,All_Reference
0114 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0115 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0116 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x8.0x9 = 0x116,0x1
0117 77e2       |w   |		Jump_Nonzero	0xfa
0118 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0119 0000 0000  |    |		.BLANK	0000[0x7]
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 0x9 = .DEBUG	0x0123,0x028c,0x1001,0x0000,0x0036,0x09d4,0x0000,0x007b
													; Debug Table 0x9.0x0 = 0x123,0x1
0124 0217       |    |		Execute	Heap_Access,All_Reference
0125 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0126 a5fe       |    |		Store_Unchecked	0x2,-0x2
0127 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
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 0xa = .DEBUG	0x012b,0x0290,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0087
													; Debug Table 0xa.0x0 = 0x12b,0x1
012c 0217       |    |		Execute	Heap_Access,All_Reference
012d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
012e 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
012f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0133       | 3  |		.CONST	0x0133								; Address of begin
0131 0004       |    |		.CONST	0x0004								; Address of exception handler
0132 0001       |    |		.CONST	0x0001								; Number of locals
0133			BODY_0130:
0133			INIT_0130:
0133 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xb = .DEBUG	0x0133,0x0294,0x1002,0x0000,0x0036,0x09d4,0x0000,0x008f
													; Debug Table 0xb.0x0 = 0x133,0x1
0134 0217       |    |		Execute	Heap_Access,All_Reference
0135 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
0136 00d8       |    |		Load_Top	At_Offset_0
0137 0120       |    |		Execute	Any,Is_Value
0138 7002       |p   |		Jump_Nonzero	0x13b
0139 00d8       |    |		Load_Top	At_Offset_0
013a 011e       |    |		Execute	Any,Convert
013b e20f       |    |		Load	0x1,0xf
013c 0119       |    |		Execute	Any,Check_In_Formal_Type
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 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xc = .DEBUG	0x0143,0x0298,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0098
													; Debug Table 0xc.0x0 = 0x143,0x1
0144 021d       |    |		Execute	Heap_Access,Is_Null
0145 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0146 0000 0000  |    |		.XXX[0x2]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014b       | K  |		.CONST	0x014b								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0001       |    |		.CONST	0x0001								; Number of locals
014b			BODY_0148:
014b			INIT_0148:
014b 4608       |F   |		Jump_Case	0x9							; Debug Table 0xd = .DEBUG	0x014b,0x029c,0x1005,0x0000,0x0036,0x09e4,0x0000,0x0008
014c 7808       |x   |		Jump	0x155								; case 0x0
014d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
014e 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
014f 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0150 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0151 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
0152 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
0153 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
0154 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
0155 00da       |    |		Load_Top	At_Offset_2
0156 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
0157 0125       | %  |		Execute	Any,Set_Constraint
0158 00da       |    |		Load_Top	At_Offset_2
0159 3400       |4   |		Execute	Record,Field_Reference,Field_Number 0x0
015a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
015b 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
015c 0000 0000  |    |		.BLANK	0000[0x4]
0160 ; --------------------------------------------------------------------------------------
0160 ; Debug Table
0160 ; --------------------------------------------------------------------------------------
0160 0003 000e  |    |		.CONST	0x0003,0x000e
0162 000b 01d2  |    |		.DEBUG	0x000b,0x01d2,0xc000,0x0000,0x0036,0x09d4,0x0000,0x0007
016a 0034 0212  | 4  |		.DEBUG	0x0034,0x0212,0xc000,0x0000,0x0036,0x09e4,0x0000,0x0003
0172 005b 0234  | [ 4|		.DEBUG	0x005b,0x0234,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0027
017a 006b 023a  | k :|		.DEBUG	0x006b,0x023a,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0035
0182 0073 023e  | s >|		.DEBUG	0x0073,0x023e,0x1001,0x0000,0x0036,0x09d4,0x0000,0x003e
018a 007b 0242  | { B|		.DEBUG	0x007b,0x0242,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0046
0192 00ab 0258  |   X|		.DEBUG	0x00ab,0x0258,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0052
019a 00cb 0266  |   f|		.DEBUG	0x00cb,0x0266,0x1001,0x0000,0x0036,0x09d4,0x0000,0x005f
01a2 00f3 0276  |   v|		.DEBUG	0x00f3,0x0276,0x1001,0x0000,0x0036,0x09d4,0x0000,0x006b
01aa 0123 028c  | #  |		.DEBUG	0x0123,0x028c,0x1001,0x0000,0x0036,0x09d4,0x0000,0x007b
01b2 012b 0290  | +  |		.DEBUG	0x012b,0x0290,0x1001,0x0000,0x0036,0x09d4,0x0000,0x0087
01ba 0133 0294  | 3  |		.DEBUG	0x0133,0x0294,0x1002,0x0000,0x0036,0x09d4,0x0000,0x008f
01c2 0143 0298  | C  |		.DEBUG	0x0143,0x0298,0x1002,0x0000,0x0036,0x09d4,0x0000,0x0098
01ca 014b 029c  | K  |		.DEBUG	0x014b,0x029c,0x1005,0x0000,0x0036,0x09e4,0x0000,0x0008
01d2 ; --------------------------------------------------------------------------------------
01d2 ; Debug3 Subtable 0x0
01d2 ; --------------------------------------------------------------------------------------
01d2 001f 0000  |    |		.DBG3TAB	0x001f,0x0000
01d4 000b ffff  |    |		.CONST	0x000b,0xffff
01d6 000b fffe  |    |		.CONST	0x000b,0xfffe
01d8 000b fffd  |    |		.CONST	0x000b,0xfffd
01da 000c fffc  |    |		.CONST	0x000c,0xfffc
01dc 000e fffb  |    |		.CONST	0x000e,0xfffb
01de 0010 fffa  |    |		.CONST	0x0010,0xfffa
01e0 0012 fff9  |    |		.CONST	0x0012,0xfff9
01e2 0014 fff8  |    |		.CONST	0x0014,0xfff8
01e4 0016 fff7  |    |		.CONST	0x0016,0xfff7
01e6 0018 fff6  |    |		.CONST	0x0018,0xfff6
01e8 001a fff5  |    |		.CONST	0x001a,0xfff5
01ea 001b fff4  |    |		.CONST	0x001b,0xfff4
01ec 001d fff3  |    |		.CONST	0x001d,0xfff3
01ee 001f fff2  |    |		.CONST	0x001f,0xfff2
01f0 0021 fff1  | !  |		.CONST	0x0021,0xfff1
01f2 0023 fff0  | #  |		.CONST	0x0023,0xfff0
01f4 0023 ffef  | #  |		.CONST	0x0023,0xffef
01f6 0023 ffee  | #  |		.CONST	0x0023,0xffee
01f8 0023 ffed  | #  |		.CONST	0x0023,0xffed
01fa 0023 ffec  | #  |		.CONST	0x0023,0xffec
01fc 0023 ffeb  | #  |		.CONST	0x0023,0xffeb
01fe 0023 ffea  | #  |		.CONST	0x0023,0xffea
0200 0023 ffe9  | #  |		.CONST	0x0023,0xffe9
0202 0023 ffe8  | #  |		.CONST	0x0023,0xffe8
0204 0025 ffe7  | %  |		.CONST	0x0025,0xffe7
0206 0029 ffe6  | )  |		.CONST	0x0029,0xffe6
0208 0029 ffe5  | )  |		.CONST	0x0029,0xffe5
020a 002d ffe4  | -  |		.CONST	0x002d,0xffe4
020c 002d ffe3  | -  |		.CONST	0x002d,0xffe3
020e 002f ffe2  | /  |		.CONST	0x002f,0xffe2
0210 0033 ffe1  | 3  |		.CONST	0x0033,0xffe1
0212 ; --------------------------------------------------------------------------------------
0212 ; Debug3 Subtable 0x1
0212 ; --------------------------------------------------------------------------------------
0212 0010 0000  |    |		.DBG3TAB	0x0010,0x0000
0214 0034 ffff  | 4  |		.CONST	0x0034,0xffff
0216 0034 fffe  | 4  |		.CONST	0x0034,0xfffe
0218 003a fffd  | :  |		.CONST	0x003a,0xfffd
021a 003e fffc  | >  |		.CONST	0x003e,0xfffc
021c 0040 fffb  | @  |		.CONST	0x0040,0xfffb
021e 0042 fffa  | B  |		.CONST	0x0042,0xfffa
0220 0044 fff9  | D  |		.CONST	0x0044,0xfff9
0222 0046 fff8  | F  |		.CONST	0x0046,0xfff8
0224 0048 fff7  | H  |		.CONST	0x0048,0xfff7
0226 004a fff6  | J  |		.CONST	0x004a,0xfff6
0228 004a fff5  | J  |		.CONST	0x004a,0xfff5
022a 004c fff4  | L  |		.CONST	0x004c,0xfff4
022c 004c fff3  | L  |		.CONST	0x004c,0xfff3
022e 004e fff2  | N  |		.CONST	0x004e,0xfff2
0230 0050 fff1  | P  |		.CONST	0x0050,0xfff1
0232 0052 fff0  | R  |		.CONST	0x0052,0xfff0
0234 ; --------------------------------------------------------------------------------------
0234 ; Debug3 Subtable 0x2
0234 ; --------------------------------------------------------------------------------------
0234 0000 0002  |    |		.DBG3TAB	0x0000,0x0002
0236 005b 0001  | [  |		.CONST	0x005b,0x0001
0238 0064 0002  | d  |		.CONST	0x0064,0x0002
023a ; --------------------------------------------------------------------------------------
023a ; Debug3 Subtable 0x3
023a ; --------------------------------------------------------------------------------------
023a 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
023c 006b 0001  | k  |		.CONST	0x006b,0x0001
023e ; --------------------------------------------------------------------------------------
023e ; Debug3 Subtable 0x4
023e ; --------------------------------------------------------------------------------------
023e 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0240 0073 0001  | s  |		.CONST	0x0073,0x0001
0242 ; --------------------------------------------------------------------------------------
0242 ; Debug3 Subtable 0x5
0242 ; --------------------------------------------------------------------------------------
0242 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0244 007b ffff  | {  |		.CONST	0x007b,0xffff
0246 0080 fffe  |    |		.CONST	0x0080,0xfffe
0248 0081 0001  |    |		.CONST	0x0081,0x0001
024a 0086 0003  |    |		.CONST	0x0086,0x0003
024c 008d 0004  |    |		.CONST	0x008d,0x0004
024e 008d 0005  |    |		.CONST	0x008d,0x0005
0250 0093 0006  |    |		.CONST	0x0093,0x0006
0252 0099 0007  |    |		.CONST	0x0099,0x0007
0254 009d 0008  |    |		.CONST	0x009d,0x0008
0256 00a1 0002  |    |		.CONST	0x00a1,0x0002
0258 ; --------------------------------------------------------------------------------------
0258 ; Debug3 Subtable 0x6
0258 ; --------------------------------------------------------------------------------------
0258 0001 0005  |    |		.DBG3TAB	0x0001,0x0005
025a 00ab ffff  |    |		.CONST	0x00ab,0xffff
025c 00b1 0002  |    |		.CONST	0x00b1,0x0002
025e 00b7 0003  |    |		.CONST	0x00b7,0x0003
0260 00b9 0004  |    |		.CONST	0x00b9,0x0004
0262 00bd 0001  |    |		.CONST	0x00bd,0x0001
0264 00bf 0005  |    |		.CONST	0x00bf,0x0005
0266 ; --------------------------------------------------------------------------------------
0266 ; Debug3 Subtable 0x7
0266 ; --------------------------------------------------------------------------------------
0266 0001 0006  |    |		.DBG3TAB	0x0001,0x0006
0268 00cb ffff  |    |		.CONST	0x00cb,0xffff
026a 00cc 0001  |    |		.CONST	0x00cc,0x0001
026c 00d2 0002  |    |		.CONST	0x00d2,0x0002
026e 00d6 0003  |    |		.CONST	0x00d6,0x0003
0270 00df 0004  |    |		.CONST	0x00df,0x0004
0272 00df 0005  |    |		.CONST	0x00df,0x0005
0274 00e5 0006  |    |		.CONST	0x00e5,0x0006
0276 ; --------------------------------------------------------------------------------------
0276 ; Debug3 Subtable 0x8
0276 ; --------------------------------------------------------------------------------------
0276 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0278 00f3 ffff  |    |		.CONST	0x00f3,0xffff
027a 00f8 fffe  |    |		.CONST	0x00f8,0xfffe
027c 00fa 0002  |    |		.CONST	0x00fa,0x0002
027e 0100 0003  |    |		.CONST	0x0100,0x0003
0280 0102 0004  |    |		.CONST	0x0102,0x0004
0282 0109 0005  |    |		.CONST	0x0109,0x0005
0284 010f 0006  |    |		.CONST	0x010f,0x0006
0286 0110 0007  |    |		.CONST	0x0110,0x0007
0288 0112 0008  |    |		.CONST	0x0112,0x0008
028a 0116 0001  |    |		.CONST	0x0116,0x0001
028c ; --------------------------------------------------------------------------------------
028c ; Debug3 Subtable 0x9
028c ; --------------------------------------------------------------------------------------
028c 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
028e 0123 0001  | #  |		.CONST	0x0123,0x0001
0290 ; --------------------------------------------------------------------------------------
0290 ; Debug3 Subtable 0xa
0290 ; --------------------------------------------------------------------------------------
0290 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0292 012b 0001  | +  |		.CONST	0x012b,0x0001
0294 ; --------------------------------------------------------------------------------------
0294 ; Debug3 Subtable 0xb
0294 ; --------------------------------------------------------------------------------------
0294 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0296 0133 0001  | 3  |		.CONST	0x0133,0x0001
0298 ; --------------------------------------------------------------------------------------
0298 ; Debug3 Subtable 0xc
0298 ; --------------------------------------------------------------------------------------
0298 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
029a 0143 0001  | C  |		.CONST	0x0143,0x0001
029c ; --------------------------------------------------------------------------------------
029c ; Debug3 Subtable 0xd
029c ; --------------------------------------------------------------------------------------
029c 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
029e 0000 0000  |    |		.BLANK	0000[0x162]