DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦7ba7406eb⟧

    Length: 3072 (0xc00)
    Notes: 00_class, 5811_R1K_CODE, 75_tag, NULL, R1k_Segment, seg_0500e0

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5811       |X   |		.CONST	0x5811								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 02d0       |    |		.CONST	0x02d0								; 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 0002       |    |		.CONST	0x0002								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 006f       | o  |		.CONST	0x006f								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 002c       | ,  |		.CONST	0x002c								; Number of locals
000b			INIT_0008:
000b 4805       |H   |		Short_Literal	0x5							; Debug Table 0x0 = .DEBUG	0x000b,0x0382,0xc000,0x0000,0x0033,0x70c4,0x0000,0x000b
													; Debug Table 0x0.0x0 = 0xb,0xffff
000c 032b       | +  |		Declare_Type	Record,Incomplete,Visible
000d e001       |    |		Load	0x0,0x1								; Debug Table 0x0.0x1 = 0xd,0xfffe
000e 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
000f 0129       | )  |		Execute	Any,Make_Visible
0010 e001       |    |		Load	0x0,0x1								; Debug Table 0x0.0x2 = 0x10,0xfffd
0011 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0012 0129       | )  |		Execute	Any,Make_Visible
0013 e001       |    |		Load	0x0,0x1								; Debug Table 0x0.0x3 = 0x13,0xfffc
0014 1b17       |    |		Execute	Package,Field_Read,Field_Number 0x17
0015 0129       | )  |		Execute	Any,Make_Visible
0016 e001       |    |		Load	0x0,0x1								; Debug Table 0x0.0x4 = 0x16,0xfffb
0017 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
0018 0129       | )  |		Execute	Any,Make_Visible
0019 029a 007b  |   {|		Declare_Subprogram	INIT_0078,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x5 = 0x19,0xfffa
001b 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x1b,0xfff9
001d 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x1d,0xfff8
001f 029a 00d3  |    |		Declare_Subprogram	INIT_00d0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x8 = 0x1f,0xfff7
0021 029a 0103  |    |		Declare_Subprogram	INIT_0100,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x9 = 0x21,0xfff6
0023 029a 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xa = 0x23,0xfff5
0025 029a 0123  |   #|		Declare_Subprogram	INIT_0120,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xb = 0x25,0xfff4
0027 029a 0133  |   3|		Declare_Subprogram	INIT_0130,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xc = 0x27,0xfff3
0029 029a 0143  |   C|		Declare_Subprogram	INIT_0140,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xd = 0x29,0xfff2
002b 029a 015b  |   [|		Declare_Subprogram	INIT_0158,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0xe = 0x2b,0xfff1
002d e002       |    |		Load	0x0,0x2								; Debug Table 0x0.0xf = 0x2d,0xfff0
002e 1b15       |    |		Execute	Package,Field_Read,Field_Number 0x15
002f e21b       |    |		Load	0x1,0x1b							; Debug Table 0x0.0x10 = 0x2f,0xffef
0030 e20f       |    |		Load	0x1,0xf
0031 00f0       |    |		Load_Encached	Segment_Cache
0032 00db       |    |		Load_Top	At_Offset_3
0033 e003       |    |		Load	0x0,0x3
0034 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0035 029f 017b  |   {|		Declare_Subprogram	INIT_0178,For_Call
0037 e217       |    |		Load	0x1,0x17
0038 0326       | &  |		Complete_Type	Record,By_Defining
0039 00bf       |    |		Action	Accept_Activation
003a 0007       |    |		Action	Break_Optional							; Debug Table 0x1 = .DEBUG	0x003a,0x03a6,0xc000,0x0000,0x0036,0x4384,0x0000,0x0013
													; Debug Table 0x1.0x0 = 0x3a,0xffff
003b e001       |    |		Load	0x0,0x1								; Debug Table 0x1.0x1 = 0x3b,0xfffe
003c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
003d 0007       |    |		Action	Break_Optional							; Debug Table 0x1.0x2 = 0x3d,0xfffd
003e 0007       |    |		Action	Break_Optional							; Debug Table 0x1.0x3 = 0x3e,0xfffc
003f 0007       |    |		Action	Break_Optional							; Debug Table 0x1.0x4 = 0x3f,0xfffb
0040 0007       |    |		Action	Break_Optional							; Debug Table 0x1.0x5 = 0x40,0xfffa
0041 4800       |H   |		Short_Literal	0x0							; Debug Table 0x1.0x6 = 0x41,0xfff9
0042 61c1       |a   |		Indirect_Literal	Discrete,0x204,{0x00049013, 0x000020b0}
0043 02a0       |    |		Declare_Subprogram	Null_Subprogram
0044 038e       |    |		Declare_Type	Package,Defined
0045 0387       |    |		Declare_Variable	Package
0046 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x1.0x7 = 0x46,0xfff8
0047 e004       |    |		Load	0x0,0x4
0048 e005       |    |		Load	0x0,0x5
0049 e006       |    |		Load	0x0,0x6
004a e007       |    |		Load	0x0,0x7
004b e008       |    |		Load	0x0,0x8
004c e001       |    |		Load	0x0,0x1
004d e009       |    |		Load	0x0,0x9
004e 4808       |H   |		Short_Literal	0x8
004f e228       | (  |		Load	0x1,0x28
0050 020e       |    |		Execute	Module,Augment_Imports
0051 00d8       |    |		Load_Top	At_Offset_0
0052 020f       |    |		Execute	Module,Activate
0053 029d 019b  |    |		Declare_Subprogram	INIT_0198,For_Outer_Call			; Debug Table 0x1.0x8 = 0x53,0xfff7
0055 029d 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Outer_Call			; Debug Table 0x1.0x9 = 0x55,0xfff6
0057 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e				; Debug Table 0x1.0xa = 0x57,0xfff5
0058 00c7       |    |		Action	Elaborate_Subprogram
0059 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f				; Debug Table 0x1.0xb = 0x59,0xfff4
005a 00c7       |    |		Action	Elaborate_Subprogram
005b 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20				; Debug Table 0x1.0xc = 0x5b,0xfff3
005c 00c7       |    |		Action	Elaborate_Subprogram
005d 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21				; Debug Table 0x1.0xd = 0x5d,0xfff2
005e 00c7       |    |		Action	Elaborate_Subprogram
005f 029d 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call			; Debug Table 0x1.0xe = 0x5f,0xfff1
0061 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d				; Debug Table 0x1.0xf = 0x61,0xfff0
0062 00c7       |    |		Action	Elaborate_Subprogram
0063 1d1c       |    |		Execute_Immediate	Reference_Lex_1,0x1c				; Debug Table 0x1.0x10 = 0x63,0xffef
0064 00c7       |    |		Action	Elaborate_Subprogram
0065 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22				; Debug Table 0x1.0x11 = 0x65,0xffee
0066 00c7       |    |		Action	Elaborate_Subprogram
0067 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23				; Debug Table 0x1.0x12 = 0x67,0xffed
0068 00c7       |    |		Action	Elaborate_Subprogram
0069 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24				; Debug Table 0x1.0x13 = 0x69,0xffec
006a 00c7       |    |		Action	Elaborate_Subprogram
006b 029d 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call			; Debug Table 0x1.0x14 = 0x6b,0xffeb
006d 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25				; Debug Table 0x1.0x15 = 0x6d,0xffea
006e 00c7       |    |		Action	Elaborate_Subprogram
006f			BODY_0008:
006f 00bc       |    |		Action	Signal_Activated
0070 00bb       |    |		Action	Signal_Completion
0071 0000 0000  |    |		.BLANK	0000[0x7]
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 007b       | {  |		.CONST	0x007b								; Address of begin
0079 0004       |    |		.CONST	0x0004								; Address of exception handler
007a 0001       |    |		.CONST	0x0001								; Number of locals
007b			BODY_0078:
007b			INIT_0078:
007b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2 = .DEBUG	0x007b,0x03d4,0x1002,0x0000,0x0033,0x70c4,0x0000,0x0086
													; Debug Table 0x2.0x0 = 0x7b,0x1
007c e001       |    |		Load	0x0,0x1
007d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
007e 0f01       |    |		Execute_Immediate	Equal,0x1
007f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 0083       |    |		.CONST	0x0083								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0001       |    |		.CONST	0x0001								; Number of locals
0083			BODY_0080:
0083			INIT_0080:
0083 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3 = .DEBUG	0x0083,0x03d8,0x1002,0x0000,0x0033,0x70c4,0x0000,0x008f
													; Debug Table 0x3.0x0 = 0x83,0x1
0084 e001       |    |		Load	0x0,0x1
0085 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0086 00db       |    |		Load_Top	At_Offset_3
0087 822b       | +  |		Call	0x1,0x2b
0088 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0089 0000 0000  |    |		.BLANK	0000[0x7]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 0097       |    |		.CONST	0x0097								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0002       |    |		.CONST	0x0002								; Number of locals
0093			INIT_0090:
0093 e217       |    |		Load	0x1,0x17							; Debug Table 0x4 = .DEBUG	0x0093,0x03dc,0x1001,0x0000,0x0033,0x70c4,0x0000,0x0098
													; Debug Table 0x4.0x0 = 0x93,0xffff
0094 0322       | "  |		Declare_Variable	Record
0095 00d8       |    |		Load_Top	At_Offset_0
0096 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0097			BODY_0090:
0097 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x4.0x1 = 0x97,0x1
0098 e001       |    |		Load	0x0,0x1
0099 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
009a 00d9       |    |		Load_Top	At_Offset_1
009b 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
009c e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x4.0x2 = 0x9c,0x2
009d 6807       |h   |		Jump_Zero	0xa5
009e 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x3 = 0x9e,0x3
009f 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00a0 e5ff       |    |		Load	0x2,-0x1
00a1 8210       |    |		Call	0x1,0x10
00a2 00d9       |    |		Load_Top	At_Offset_1
00a3 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00a4 7820       |x   |		Jump	0xc5
00a5 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x4 = 0xa5,0x4
00a6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00a7 4603       |F   |		Jump_Case	0x4
00a8 7803       |x   |		Jump	0xac								; case 0x0
00a9 7809       |x   |		Jump	0xb3								; case 0x1
00aa 7810       |x   |		Jump	0xbb								; case 0x2
00ab 7800       |x   |		Jump	0xac								; case 0x3
00ac 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x5 = 0xac,0x5
00ad 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00ae e5ff       |    |		Load	0x2,-0x1
00af 8211       |    |		Call	0x1,0x11
00b0 00d9       |    |		Load_Top	At_Offset_1
00b1 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00b2 7812       |x   |		Jump	0xc5
00b3 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x6 = 0xb3,0x6
00b4 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
00b5 e5ff       |    |		Load	0x2,-0x1
00b6 e003       |    |		Load	0x0,0x3
00b7 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
00b8 00d9       |    |		Load_Top	At_Offset_1
00b9 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
00ba 780a       |x   |		Jump	0xc5
00bb 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x7 = 0xbb,0x7
00bc 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00bd e228       | (  |		Load	0x1,0x28
00be 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
00bf 00d9       |    |		Load_Top	At_Offset_1
00c0 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
00c1 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x4.0x8 = 0xc1,0x8
00c2 822a       | *  |		Call	0x1,0x2a
00c3 00d9       |    |		Load_Top	At_Offset_1
00c4 3803       |8   |		Execute	Record,Field_Write,Field_Number 0x3
00c5 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x9 = 0xc5,0x9
00c6 e5fc       |    |		Load	0x2,-0x4
00c7 017d       | }  |		Execute	Record,Structure_Write
00c8 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
00c9 0000 0000  |    |		.BLANK	0000[0x7]
00d0 ; --------------------------------------------------------------------------------------
00d0 ; SUBPROGRAM
00d0 ; --------------------------------------------------------------------------------------
00d0 00d3       |    |		.CONST	0x00d3								; Address of begin
00d1 0004       |    |		.CONST	0x0004								; Address of exception handler
00d2 0001       |    |		.CONST	0x0001								; Number of locals
00d3			BODY_00d0:
00d3			INIT_00d0:
00d3 4800       |H   |		Short_Literal	0x0							; Debug Table 0x5 = .DEBUG	0x00d3,0x03f2,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ac
													; Debug Table 0x5.0x0 = 0xd3,0x1
00d4 a5fe       |    |		Store_Unchecked	0x2,-0x2
00d5 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0x1 = 0xd5,0x2
00d6 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
00d7 4603       |F   |		Jump_Case	0x4
00d8 7803       |x   |		Jump	0xdc								; case 0x0
00d9 7808       |x   |		Jump	0xe2								; case 0x1
00da 7817       |x   |		Jump	0xf2								; case 0x2
00db 7800       |x   |		Jump	0xdc								; case 0x3
00dc 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0x2 = 0xdc,0x3
00dd 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
00de 8212       |    |		Call	0x1,0x12
00df 00db       |    |		Load_Top	At_Offset_3
00e0 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
00e1 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00e2 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0x3 = 0xe2,0x4
00e3 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
00e4 e003       |    |		Load	0x0,0x3
00e5 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
00e6 e00a       |    |		Load	0x0,0xa
00e7 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
00e8 1b15       |    |		Execute	Package,Field_Read,Field_Number 0x15
00e9 1819       |    |		Execute	Package,Field_Execute,Field_Number 0x19
00ea a5fe       |    |		Store_Unchecked	0x2,-0x2
00eb 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0x4 = 0xeb,0x5
00ec 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
00ed e003       |    |		Load	0x0,0x3
00ee 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00ef 00db       |    |		Load_Top	At_Offset_3
00f0 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
00f1 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00f2 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x5.0x5 = 0xf2,0x6
00f3 3403       |4   |		Execute	Record,Field_Reference,Field_Number 0x3
00f4 00db       |    |		Load_Top	At_Offset_3
00f5 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
00f6 e228       | (  |		Load	0x1,0x28
00f7 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
00f8 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
00f9 0000 0000  |    |		.BLANK	0000[0x7]
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 0x6 = .DEBUG	0x0103,0x0400,0x1002,0x0000,0x0033,0x70c4,0x0000,0x00b8
													; Debug Table 0x6.0x0 = 0x103,0x1
0104 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0105 e20f       |    |		Load	0x1,0xf
0106 0119       |    |		Execute	Any,Check_In_Formal_Type
0107 8216       |    |		Call	0x1,0x16
0108 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0109 0000 0000  |    |		.BLANK	0000[0x7]
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 0x7 = .DEBUG	0x0113,0x0404,0x1002,0x0000,0x0033,0x70c4,0x0000,0x00c1
													; Debug Table 0x7.0x0 = 0x113,0x1
0114 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0115 e20f       |    |		Load	0x1,0xf
0116 0119       |    |		Execute	Any,Check_In_Formal_Type
0117 8215       |    |		Call	0x1,0x15
0118 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
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 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x8 = .DEBUG	0x0123,0x0408,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ca
													; Debug Table 0x8.0x0 = 0x123,0x1
0124 00db       |    |		Load_Top	At_Offset_3
0125 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0126 e20f       |    |		Load	0x1,0xf
0127 0119       |    |		Execute	Any,Check_In_Formal_Type
0128 8213       |    |		Call	0x1,0x13
0129 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
012a 0000 0000  |    |		.BLANK	0000[0x6]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 0137       | 7  |		.CONST	0x0137								; Address of begin
0131 0004       |    |		.CONST	0x0004								; Address of exception handler
0132 0002       |    |		.CONST	0x0002								; Number of locals
0133			INIT_0130:
0133 4801       |H   |		Short_Literal	0x1							; Debug Table 0x9 = .DEBUG	0x0133,0x040c,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00d6
													; Debug Table 0x9.0x0 = 0x133,0xffff
0134 4801       |H   |		Short_Literal	0x1
0135 e219       |    |		Load	0x1,0x19
0136 0334       | 4  |		Declare_Variable	Array,With_Constraint
0137			BODY_0130:
0137 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x9.0x1 = 0x137,0x1
0138 e5ff       |    |		Load	0x2,-0x1
0139 8222       | "  |		Call	0x1,0x22
013a 00d2       |    |		Pop_Control	Pop_Count_2
013b 4801       |H   |		Short_Literal	0x1							; Debug Table 0x9.0x2 = 0x13b,0x2
013c 00d9       |    |		Load_Top	At_Offset_1
013d 01d7       |    |		Execute	Vector,Field_Read
013e a5fe       |    |		Store_Unchecked	0x2,-0x2
013f 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0145       | E  |		.CONST	0x0145								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0002       |    |		.CONST	0x0002								; Number of locals
0143			INIT_0140:
0143 e218       |    |		Load	0x1,0x18							; Debug Table 0xa = .DEBUG	0x0143,0x0414,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00e2
													; Debug Table 0xa.0x0 = 0x143,0xffff
0144 0007       |    |		Action	Break_Optional
0145			BODY_0140:
0145 e218       |    |		Load	0x1,0x18							; Debug Table 0xa.0x1 = 0x145,0x1
0146 e5ff       |    |		Load	0x2,-0x1
0147 8223       | #  |		Call	0x1,0x23
0148 00d1       |    |		Pop_Control	Pop_Count_1
0149 0059       | Y  |		Store_Top	Discrete,At_Offset_1
014a 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0xa.0x2 = 0x14a,0x2
014b 00d8       |    |		Load_Top	At_Offset_0
014c 00e8       |    |		Load_Encached	Character_Cache
014d 0260       | `  |		Execute	Discrete,In_Type
014e 7002       |p   |		Jump_Nonzero	0x151
014f 48e0       |H   |		Short_Literal	0xe0
0150 0257       | W  |		Execute	Discrete,Raise
0151 a5fe       |    |		Store_Unchecked	0x2,-0x2
0152 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0153 0000 0000  |    |		.BLANK	0000[0x5]
0158 ; --------------------------------------------------------------------------------------
0158 ; SUBPROGRAM
0158 ; --------------------------------------------------------------------------------------
0158 015b       | [  |		.CONST	0x015b								; Address of begin
0159 0004       |    |		.CONST	0x0004								; Address of exception handler
015a 0001       |    |		.CONST	0x0001								; Number of locals
015b			BODY_0158:
015b			INIT_0158:
015b 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb = .DEBUG	0x015b,0x041c,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ee
													; Debug Table 0xb.0x0 = 0x15b,0x1
015c 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
015d 4603       |F   |		Jump_Case	0x4
015e 7803       |x   |		Jump	0x162								; case 0x0
015f 7809       |x   |		Jump	0x169								; case 0x1
0160 7810       |x   |		Jump	0x171								; case 0x2
0161 7800       |x   |		Jump	0x162								; case 0x3
0162 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb.0x1 = 0x162,0x2
0163 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0164 00db       |    |		Load_Top	At_Offset_3
0165 822c       | ,  |		Call	0x1,0x2c
0166 e5fe       |    |		Load	0x2,-0x2
0167 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
0168 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0169 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb.0x2 = 0x169,0x3
016a 3c04       |<   |		Execute	Record,Field_Read,Field_Number 0x4
016b 00db       |    |		Load_Top	At_Offset_3
016c e003       |    |		Load	0x0,0x3
016d 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
016e e5fe       |    |		Load	0x2,-0x2
016f 3804       |8   |		Execute	Record,Field_Write,Field_Number 0x4
0170 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0171 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xb.0x3 = 0x171,0x4
0172 e5fe       |    |		Load	0x2,-0x2
0173 3c02       |<   |		Execute	Record,Field_Read,Field_Number 0x2
0174 e228       | (  |		Load	0x1,0x28
0175 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0176 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0177 0000       |    |		.XXX[0x1]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 017b       | {  |		.CONST	0x017b								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0001       |    |		.CONST	0x0001								; Number of locals
017b			BODY_0178:
017b			INIT_0178:
017b 4608       |F   |		Jump_Case	0x9							; Debug Table 0xc = .DEBUG	0x017b,0x0426,0x1005,0x0000,0x0033,0x70c4,0x0000,0x0101
017c 7808       |x   |		Jump	0x185								; case 0x0
017d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
017e 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x2
017f 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x3
0180 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x4
0181 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x5
0182 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x6
0183 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x7
0184 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x8
0185 00da       |    |		Load_Top	At_Offset_2
0186 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
0187 0125       | %  |		Execute	Any,Set_Constraint
0188 00da       |    |		Load_Top	At_Offset_2
0189 3401       |4   |		Execute	Record,Field_Reference,Field_Number 0x1
018a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
018b 00da       |    |		Load_Top	At_Offset_2
018c 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
018d 0125       | %  |		Execute	Any,Set_Constraint
018e 00da       |    |		Load_Top	At_Offset_2
018f 3404       |4   |		Execute	Record,Field_Reference,Field_Number 0x4
0190 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0191 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0192 0000 0000  |    |		.BLANK	0000[0x6]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 01a2       |    |		.CONST	0x01a2								; Address of begin
0199 0004       |    |		.CONST	0x0004								; Address of exception handler
019a 0002       |    |		.CONST	0x0002								; Number of locals
019b			INIT_0198:
019b 4800       |H   |		Short_Literal	0x0							; Debug Table 0xd = .DEBUG	0x019b,0x0428,0x1002,0x0000,0x0036,0x4384,0x0000,0x01bc
													; Debug Table 0xd.0x0 = 0x19b,0xffff
019c 00db       |    |		Load_Top	At_Offset_3
019d 482e       |H.  |		Short_Literal	0x2e
019e e00b       |    |		Load	0x0,0xb
019f 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
01a0 00e3       |    |		Load_Encached	Natural_Cache
01a1 03f1       |    |		Declare_Variable	Discrete,With_Value
01a2			BODY_0198:
01a2 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xd.0x1 = 0x1a2,0x1
01a3 01dd       |    |		Execute	Vector,First
01a4 00d9       |    |		Load_Top	At_Offset_1
01a5 0aff       |    |		Execute_Immediate	Plus,-0x1
01a6 0248       | H  |		Execute	Discrete,Check_In_Integer
01a7 e5ff       |    |		Load	0x2,-0x1
01a8 01cf       |    |		Execute	Vector,Slice_Read
01a9 00e2       |    |		Load_Encached	Integer_Cache
01aa 00e0       |    |		Load_Encached	Standard_Cache
01ab 1819       |    |		Execute	Package,Field_Execute,Field_Number 0x19
01ac 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01ad 0000 0000  |    |		.XXX[0x3]
01af 0000       |    |
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01b3       |    |		.CONST	0x01b3								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0001       |    |		.CONST	0x0001								; Number of locals
01b3			BODY_01b0:
01b3			INIT_01b0:
01b3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xe = .DEBUG	0x01b3,0x042e,0x1002,0x0000,0x0036,0x4384,0x0000,0x01e5
													; Debug Table 0xe.0x0 = 0x1b3,0x1
01b4 8229       | )  |		Call	0x1,0x29
01b5 e00c       |    |		Load	0x0,0xc
01b6 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
01b7 e00c       |    |		Load	0x0,0xc
01b8 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
01b9 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01ba 0000 0000  |    |		.BLANK	0000[0x6]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xf = .DEBUG	0x01c3,0x0432,0x1002,0x0000,0x0036,0x4384,0x0000,0x02f1
													; Debug Table 0xf.0x0 = 0x1c3,0x1
01c4 0f02       |    |		Execute_Immediate	Equal,0x2
01c5 6808       |h   |		Jump_Zero	0x1ce
01c6 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xf.0x1 = 0x1c6,0x2
01c7 822a       | *  |		Call	0x1,0x2a
01c8 e008       |    |		Load	0x0,0x8
01c9 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
01ca 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
01cb 6802       |h   |		Jump_Zero	0x1ce
01cc 4800       |H   |		Short_Literal	0x0							; Debug Table 0xf.0x2 = 0x1cc,0x3
01cd 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01ce 4801       |H   |		Short_Literal	0x1							; Debug Table 0xf.0x3 = 0x1ce,0x4
01cf 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01d8       |    |		.CONST	0x01d8								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0003       |    |		.CONST	0x0003								; Number of locals
01d3			INIT_01d0:
01d3 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x10 = .DEBUG	0x01d3,0x043c,0x1001,0x0000,0x0036,0x4384,0x0000,0x03a8
													; Debug Table 0x10.0x0 = 0x1d3,0xffff
01d4 01dd       |    |		Execute	Vector,First
01d5 00e2       |    |		Load_Encached	Integer_Cache
01d6 03f1       |    |		Declare_Variable	Discrete,With_Value
01d7 00e2       |    |		Load_Encached	Integer_Cache						; Debug Table 0x10.0x1 = 0x1d7,0xfffe
01d8			BODY_01d0:
01d8 0007       |    |		Action	Break_Optional							; Debug Table 0x10.0x2 = 0x1d8,0x1
01d9 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x10.0x3 = 0x1d9,0x2
01da 6025       |`%  |		Indirect_Literal	Discrete,0x200,{0x00000000, 0x00000400}
01db 0273       | s  |		Execute	Discrete,Plus
01dc 0aff       |    |		Execute_Immediate	Plus,-0x1
01dd 0248       | H  |		Execute	Discrete,Check_In_Integer
01de 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
01df 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x10.0x4 = 0x1df,0x3
01e0 e5ff       |    |		Load	0x2,-0x1
01e1 01dc       |    |		Execute	Vector,Last
01e2 027d       | }  |		Execute	Discrete,Greater
01e3 7011       |p   |		Jump_Nonzero	0x1f5
01e4 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x10.0x5 = 0x1e4,0x4
01e5 00d9       |    |		Load_Top	At_Offset_1
01e6 e5ff       |    |		Load	0x2,-0x1
01e7 01cf       |    |		Execute	Vector,Slice_Read
01e8 e001       |    |		Load	0x0,0x1
01e9 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01ea 01c7       |    |		Execute	Vector,Convert
01eb e5fe       |    |		Load	0x2,-0x2
01ec e20f       |    |		Load	0x1,0xf
01ed 0119       |    |		Execute	Any,Check_In_Formal_Type
01ee 8214       |    |		Call	0x1,0x14
01ef 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x10.0x6 = 0x1ef,0x5
01f0 600f       |`   |		Indirect_Literal	Discrete,0x200,{0x00000000, 0x00000400}
01f1 0273       | s  |		Execute	Discrete,Plus
01f2 0248       | H  |		Execute	Discrete,Check_In_Integer
01f3 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
01f4 7fe4       |    |		Jump	0x1d9
01f5 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x10.0x7 = 0x1f5,0x6
01f6 e5ff       |    |		Load	0x2,-0x1
01f7 01dc       |    |		Execute	Vector,Last
01f8 e5ff       |    |		Load	0x2,-0x1
01f9 01cf       |    |		Execute	Vector,Slice_Read
01fa e5fe       |    |		Load	0x2,-0x2
01fb e20f       |    |		Load	0x1,0xf
01fc 0119       |    |		Execute	Any,Check_In_Formal_Type
01fd 8214       |    |		Call	0x1,0x14
01fe 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01ff 0000       |    |		.XXX[0x1]
0200 0000 0000  |    |		.LITERAL	{0x00000000, 0x00000400}
0204 0004 9013  |    |		.LITERAL	{0x00049013, 0x000020b0}
0208 022c 0004  | ,  |		.XXX[0x3]
020a 0015       |    |
020b 029a 0233  |   3|		Declare_Subprogram	INIT_0230,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x11 = .DEBUG	0x020b,0x044e,0x0000,0x0000,0x0036,0x4384,0x0000,0x0048
													; Debug Table 0x11.0x0 = 0x20b,0xffff
020d 029a 0253  |   S|		Declare_Subprogram	INIT_0250,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x11.0x1 = 0x20d,0xfffe
020f 029a 0283  |    |		Declare_Subprogram	INIT_0280,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x11.0x2 = 0x20f,0xfffd
0211 00bf       |    |		Action	Accept_Activation
0212 e001       |    |		Load	0x0,0x1								; Debug Table 0x12 = .DEBUG	0x0212,0x0456,0x0000,0x0000,0x0036,0x4384,0x0000,0x0073
													; Debug Table 0x12.0x0 = 0x212,0xffff
0213 02a0       |    |		Declare_Subprogram	Null_Subprogram
0214 03ad       |    |		Declare_Type	Heap_Access,Defined
0215 0007       |    |		Action	Break_Optional							; Debug Table 0x12.0x1 = 0x215,0xfffe
0216 e002       |    |		Load	0x0,0x2								; Debug Table 0x12.0x2 = 0x216,0xfffd
0217 1b11       |    |		Execute	Package,Field_Read,Field_Number 0x11
0218 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x12.0x3 = 0x218,0xfffc
0219 02a0       |    |		Declare_Subprogram	Null_Subprogram
021a 03ad       |    |		Declare_Type	Heap_Access,Defined
021b 0007       |    |		Action	Break_Optional							; Debug Table 0x12.0x4 = 0x21b,0xfffb
021c e003       |    |		Load	0x0,0x3								; Debug Table 0x12.0x5 = 0x21c,0xfffa
021d 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
021e 0007       |    |		Action	Break_Optional							; Debug Table 0x12.0x6 = 0x21e,0xfff9
021f 6084       |`   |		Indirect_Literal	Discrete,0x2a4,{0x00000000, 0x00002000}		; Debug Table 0x12.0x7 = 0x21f,0xfff8
0220 e004       |    |		Load	0x0,0x4
0221 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0222 03f1       |    |		Declare_Variable	Discrete,With_Value
0223 e004       |    |		Load	0x0,0x4								; Debug Table 0x12.0x8 = 0x223,0xfff7
0224 191e       |    |		Execute	Package,Field_Reference,Field_Number 0x1e
0225 0007       |    |		Action	Break_Optional
0226 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd				; Debug Table 0x12.0x9 = 0x226,0xfff6
0227 00c7       |    |		Action	Elaborate_Subprogram
0228 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe				; Debug Table 0x12.0xa = 0x228,0xfff5
0229 00c7       |    |		Action	Elaborate_Subprogram
022a 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf				; Debug Table 0x12.0xb = 0x22a,0xfff4
022b 00c7       |    |		Action	Elaborate_Subprogram
022c 00bc       |    |		Action	Signal_Activated
022d 00bb       |    |		Action	Signal_Completion
022e 0000 0000  |    |		.XXX[0x2]
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 0234       | 4  |		.CONST	0x0234								; Address of begin
0231 0004       |    |		.CONST	0x0004								; Address of exception handler
0232 0001       |    |		.CONST	0x0001								; Number of locals
0233			INIT_0230:
0233 0007       |    |		Action	Break_Optional							; Debug Table 0x13 = .DEBUG	0x0233,0x0470,0x0001,0x0000,0x0036,0x4384,0x0000,0x0049
													; Debug Table 0x13.0x0 = 0x233,0xffff
0234			BODY_0230:
0234 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x13.0x1 = 0x234,0x1
0235 00f0       |    |		Load_Encached	Segment_Cache
0236 021f       |    |		Execute	Heap_Access,Equal
0237 6807       |h   |		Jump_Zero	0x23f
0238 00f0       |    |		Load_Encached	Segment_Cache						; Debug Table 0x13.0x2 = 0x238,0x2
0239 4875       |Hu  |		Short_Literal	0x75
023a 4800       |H   |		Short_Literal	0x0
023b e005       |    |		Load	0x0,0x5
023c 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
023d 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
023e 7805       |x   |		Jump	0x244
023f 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x13.0x3 = 0x23f,0x3
0240 8215       |    |		Call	0x1,0x15
0241 e006       |    |		Load	0x0,0x6
0242 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
0243 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
0244 e214       |    |		Load	0x1,0x14							; Debug Table 0x13.0x4 = 0x244,0x4
0245 00db       |    |		Load_Top	At_Offset_3
0246 e004       |    |		Load	0x0,0x4
0247 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0248 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0249 0000 0000  |    |		.BLANK	0000[0x7]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 025c       | \  |		.CONST	0x025c								; Address of begin
0251 0004       |    |		.CONST	0x0004								; Address of exception handler
0252 0005       |    |		.CONST	0x0005								; Number of locals
0253			INIT_0250:
0253 e210       |    |		Load	0x1,0x10							; Debug Table 0x14 = .DEBUG	0x0253,0x047c,0x0001,0x0000,0x0036,0x4384,0x0000,0x0053
													; Debug Table 0x14.0x0 = 0x253,0xffff
0254 0007       |    |		Action	Break_Optional
0255 e212       |    |		Load	0x1,0x12							; Debug Table 0x14.0x1 = 0x255,0xfffe
0256 0007       |    |		Action	Break_Optional
0257 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x14.0x2 = 0x257,0xfffd
0258 01dd       |    |		Execute	Vector,First
0259 00e3       |    |		Load_Encached	Natural_Cache
025a 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
025b 00e3       |    |		Load_Encached	Natural_Cache						; Debug Table 0x14.0x3 = 0x25b,0xfffc
025c			BODY_0250:
025c e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x14.0x4 = 0x25c,0x1
025d 01dc       |    |		Execute	Vector,Last
025e 67a1       |g   |		Indirect_Literal	Discrete,0x200,{0x00000000, 0x00000400}
025f 027f       |    |		Execute	Discrete,Equal
0260 680d       |h   |		Jump_Zero	0x26e
0261 e5fe       |    |		Load	0x2,-0x2
0262 01dd       |    |		Execute	Vector,First
0263 0f01       |    |		Execute_Immediate	Equal,0x1
0264 6809       |h   |		Jump_Zero	0x26e
0265 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x14.0x5 = 0x265,0x2
0266 e007       |    |		Load	0x0,0x7
0267 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0268 01c3       |    |		Execute	Vector,Check_In_Type
0269 e210       |    |		Load	0x1,0x10
026a e5ff       |    |		Load	0x2,-0x1
026b 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
026c a402       |    |		Store_Unchecked	0x2,0x2
026d 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3					; Debug Table 0x14.0x6 = 0x26d,0x3
026e e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x14.0x7 = 0x26e,0x4
026f 01d9       |    |		Execute	Vector,Reverse_Bounds
0270 0263       | c  |		Execute	Discrete,Above_Bound
0271 7008       |p   |		Jump_Nonzero	0x27a
0272 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x14.0x8 = 0x272,0x5
0273 e5fe       |    |		Load	0x2,-0x2
0274 01d7       |    |		Execute	Vector,Field_Read
0275 e212       |    |		Load	0x1,0x12
0276 e5ff       |    |		Load	0x2,-0x1
0277 0396       |    |		Declare_Variable	Heap_Access,By_Allocation,With_Value
0278 a403       |    |		Store_Unchecked	0x2,0x3
0279 3ff8       |?   |		Loop_Increasing	0x272							; Debug Table 0x14.0x9 = 0x279,0x6
027a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
027b 0000 0000  |    |		.BLANK	0000[0x5]
0280 ; --------------------------------------------------------------------------------------
0280 ; SUBPROGRAM
0280 ; --------------------------------------------------------------------------------------
0280 0285       |    |		.CONST	0x0285								; Address of begin
0281 0004       |    |		.CONST	0x0004								; Address of exception handler
0282 0002       |    |		.CONST	0x0002								; Number of locals
0283			INIT_0280:
0283 e213       |    |		Load	0x1,0x13							; Debug Table 0x15 = .DEBUG	0x0283,0x0492,0x0001,0x0000,0x0036,0x4384,0x0000,0x0061
													; Debug Table 0x15.0x0 = 0x283,0xffff
0284 0007       |    |		Action	Break_Optional
0285			BODY_0280:
0285 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x15.0x1 = 0x285,0x1
0286 e006       |    |		Load	0x0,0x6
0287 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
0288 180e       |    |		Execute	Package,Field_Execute,Field_Number 0xe
0289 680b       |h   |		Jump_Zero	0x295
028a 0092 02a8  |    |		Action	Push_String_Extended,0x2a8					; " -- do not take a snapshot!"
													; Debug Table 0x15.0x2 = 0x28a,0x2
028c 4803       |H   |		Short_Literal	0x3
028d 0092 02a9  |    |		Action	Push_String_Extended,0x2a9					; "Code Segment Exists"
028f e008       |    |		Load	0x0,0x8
0290 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0291 0092 02aa  |    |		Action	Push_String_Extended,0x2aa					; "Test_Bed.Make_Code_Segment"
0293 e008       |    |		Load	0x0,0x8
0294 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0295 e003       |    |		Load	0x0,0x3								; Debug Table 0x15.0x3 = 0x295,0x3
0296 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0297 e5ff       |    |		Load	0x2,-0x1
0298 8215       |    |		Call	0x1,0x15
0299 4801       |H   |		Short_Literal	0x1
029a 4800       |H   |		Short_Literal	0x0
029b e5fe       |    |		Load	0x2,-0x2
029c e006       |    |		Load	0x0,0x6
029d 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
029e 1817       |    |		Execute	Package,Field_Execute,Field_Number 0x17
029f 0059       | Y  |		Store_Top	Discrete,At_Offset_1
02a0 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02a1 0000 0000  |    |		.XXX[0x3]
02a3 0000       |    |
02a4 0000 0000  |    |		.LITERAL	{0x00000000, 0x00002000}
02a8 ; --------------------------------------------------------------------------------------
02a8 ; STRING TABLE
02a8 ; --------------------------------------------------------------------------------------
02a8 0008       |    |		.STRTAB	0x0008->0x02ac							; " -- do not take a snapshot!"
02a9 0021       | !  |		.STRTAB	0x0021->0x02b9							; "Code Segment Exists"
02aa 0032       | 2  |		.STRTAB	0x0032->0x02c3							; "Test_Bed.Make_Code_Segment"
02ab 004a       | J  |		.STREND 0x004a->0x02d0
02ac 202d 2d20  | -- |		.STRTAB_STRINGS
02d0 ; --------------------------------------------------------------------------------------
02d0 ; Debug Table
02d0 ; --------------------------------------------------------------------------------------
02d0 0003 0016  |    |		.CONST	0x0003,0x0016
02d2 000b 0382  |    |		.DEBUG	0x000b,0x0382,0xc000,0x0000,0x0033,0x70c4,0x0000,0x000b
02da 003a 03a6  | :  |		.DEBUG	0x003a,0x03a6,0xc000,0x0000,0x0036,0x4384,0x0000,0x0013
02e2 007b 03d4  | {  |		.DEBUG	0x007b,0x03d4,0x1002,0x0000,0x0033,0x70c4,0x0000,0x0086
02ea 0083 03d8  |    |		.DEBUG	0x0083,0x03d8,0x1002,0x0000,0x0033,0x70c4,0x0000,0x008f
02f2 0093 03dc  |    |		.DEBUG	0x0093,0x03dc,0x1001,0x0000,0x0033,0x70c4,0x0000,0x0098
02fa 00d3 03f2  |    |		.DEBUG	0x00d3,0x03f2,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ac
0302 0103 0400  |    |		.DEBUG	0x0103,0x0400,0x1002,0x0000,0x0033,0x70c4,0x0000,0x00b8
030a 0113 0404  |    |		.DEBUG	0x0113,0x0404,0x1002,0x0000,0x0033,0x70c4,0x0000,0x00c1
0312 0123 0408  | #  |		.DEBUG	0x0123,0x0408,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ca
031a 0133 040c  | 3  |		.DEBUG	0x0133,0x040c,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00d6
0322 0143 0414  | C  |		.DEBUG	0x0143,0x0414,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00e2
032a 015b 041c  | [  |		.DEBUG	0x015b,0x041c,0x1001,0x0000,0x0033,0x70c4,0x0000,0x00ee
0332 017b 0426  | { &|		.DEBUG	0x017b,0x0426,0x1005,0x0000,0x0033,0x70c4,0x0000,0x0101
033a 019b 0428  |   (|		.DEBUG	0x019b,0x0428,0x1002,0x0000,0x0036,0x4384,0x0000,0x01bc
0342 01b3 042e  |   .|		.DEBUG	0x01b3,0x042e,0x1002,0x0000,0x0036,0x4384,0x0000,0x01e5
034a 01c3 0432  |   2|		.DEBUG	0x01c3,0x0432,0x1002,0x0000,0x0036,0x4384,0x0000,0x02f1
0352 01d3 043c  |   <|		.DEBUG	0x01d3,0x043c,0x1001,0x0000,0x0036,0x4384,0x0000,0x03a8
035a 020b 044e  |   N|		.DEBUG	0x020b,0x044e,0x0000,0x0000,0x0036,0x4384,0x0000,0x0048
0362 0212 0456  |   V|		.DEBUG	0x0212,0x0456,0x0000,0x0000,0x0036,0x4384,0x0000,0x0073
036a 0233 0470  | 3 p|		.DEBUG	0x0233,0x0470,0x0001,0x0000,0x0036,0x4384,0x0000,0x0049
0372 0253 047c  | S ||		.DEBUG	0x0253,0x047c,0x0001,0x0000,0x0036,0x4384,0x0000,0x0053
037a 0283 0492  |    |		.DEBUG	0x0283,0x0492,0x0001,0x0000,0x0036,0x4384,0x0000,0x0061
0382 ; --------------------------------------------------------------------------------------
0382 ; Debug3 Subtable 0x0
0382 ; --------------------------------------------------------------------------------------
0382 0011 0000  |    |		.DBG3TAB	0x0011,0x0000
0384 000b ffff  |    |		.CONST	0x000b,0xffff
0386 000d fffe  |    |		.CONST	0x000d,0xfffe
0388 0010 fffd  |    |		.CONST	0x0010,0xfffd
038a 0013 fffc  |    |		.CONST	0x0013,0xfffc
038c 0016 fffb  |    |		.CONST	0x0016,0xfffb
038e 0019 fffa  |    |		.CONST	0x0019,0xfffa
0390 001b fff9  |    |		.CONST	0x001b,0xfff9
0392 001d fff8  |    |		.CONST	0x001d,0xfff8
0394 001f fff7  |    |		.CONST	0x001f,0xfff7
0396 0021 fff6  | !  |		.CONST	0x0021,0xfff6
0398 0023 fff5  | #  |		.CONST	0x0023,0xfff5
039a 0025 fff4  | %  |		.CONST	0x0025,0xfff4
039c 0027 fff3  | '  |		.CONST	0x0027,0xfff3
039e 0029 fff2  | )  |		.CONST	0x0029,0xfff2
03a0 002b fff1  | +  |		.CONST	0x002b,0xfff1
03a2 002d fff0  | -  |		.CONST	0x002d,0xfff0
03a4 002f ffef  | /  |		.CONST	0x002f,0xffef
03a6 ; --------------------------------------------------------------------------------------
03a6 ; Debug3 Subtable 0x1
03a6 ; --------------------------------------------------------------------------------------
03a6 0016 0000  |    |		.DBG3TAB	0x0016,0x0000
03a8 003a ffff  | :  |		.CONST	0x003a,0xffff
03aa 003b fffe  | ;  |		.CONST	0x003b,0xfffe
03ac 003d fffd  | =  |		.CONST	0x003d,0xfffd
03ae 003e fffc  | >  |		.CONST	0x003e,0xfffc
03b0 003f fffb  | ?  |		.CONST	0x003f,0xfffb
03b2 0040 fffa  | @  |		.CONST	0x0040,0xfffa
03b4 0041 fff9  | A  |		.CONST	0x0041,0xfff9
03b6 0046 fff8  | F  |		.CONST	0x0046,0xfff8
03b8 0053 fff7  | S  |		.CONST	0x0053,0xfff7
03ba 0055 fff6  | U  |		.CONST	0x0055,0xfff6
03bc 0057 fff5  | W  |		.CONST	0x0057,0xfff5
03be 0059 fff4  | Y  |		.CONST	0x0059,0xfff4
03c0 005b fff3  | [  |		.CONST	0x005b,0xfff3
03c2 005d fff2  | ]  |		.CONST	0x005d,0xfff2
03c4 005f fff1  | _  |		.CONST	0x005f,0xfff1
03c6 0061 fff0  | a  |		.CONST	0x0061,0xfff0
03c8 0063 ffef  | c  |		.CONST	0x0063,0xffef
03ca 0065 ffee  | e  |		.CONST	0x0065,0xffee
03cc 0067 ffed  | g  |		.CONST	0x0067,0xffed
03ce 0069 ffec  | i  |		.CONST	0x0069,0xffec
03d0 006b ffeb  | k  |		.CONST	0x006b,0xffeb
03d2 006d ffea  | m  |		.CONST	0x006d,0xffea
03d4 ; --------------------------------------------------------------------------------------
03d4 ; Debug3 Subtable 0x2
03d4 ; --------------------------------------------------------------------------------------
03d4 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
03d6 007b 0001  | {  |		.CONST	0x007b,0x0001
03d8 ; --------------------------------------------------------------------------------------
03d8 ; Debug3 Subtable 0x3
03d8 ; --------------------------------------------------------------------------------------
03d8 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
03da 0083 0001  |    |		.CONST	0x0083,0x0001
03dc ; --------------------------------------------------------------------------------------
03dc ; Debug3 Subtable 0x4
03dc ; --------------------------------------------------------------------------------------
03dc 0001 0009  |    |		.DBG3TAB	0x0001,0x0009
03de 0093 ffff  |    |		.CONST	0x0093,0xffff
03e0 0097 0001  |    |		.CONST	0x0097,0x0001
03e2 009c 0002  |    |		.CONST	0x009c,0x0002
03e4 009e 0003  |    |		.CONST	0x009e,0x0003
03e6 00a5 0004  |    |		.CONST	0x00a5,0x0004
03e8 00ac 0005  |    |		.CONST	0x00ac,0x0005
03ea 00b3 0006  |    |		.CONST	0x00b3,0x0006
03ec 00bb 0007  |    |		.CONST	0x00bb,0x0007
03ee 00c1 0008  |    |		.CONST	0x00c1,0x0008
03f0 00c5 0009  |    |		.CONST	0x00c5,0x0009
03f2 ; --------------------------------------------------------------------------------------
03f2 ; Debug3 Subtable 0x5
03f2 ; --------------------------------------------------------------------------------------
03f2 0000 0006  |    |		.DBG3TAB	0x0000,0x0006
03f4 00d3 0001  |    |		.CONST	0x00d3,0x0001
03f6 00d5 0002  |    |		.CONST	0x00d5,0x0002
03f8 00dc 0003  |    |		.CONST	0x00dc,0x0003
03fa 00e2 0004  |    |		.CONST	0x00e2,0x0004
03fc 00eb 0005  |    |		.CONST	0x00eb,0x0005
03fe 00f2 0006  |    |		.CONST	0x00f2,0x0006
0400 ; --------------------------------------------------------------------------------------
0400 ; Debug3 Subtable 0x6
0400 ; --------------------------------------------------------------------------------------
0400 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0402 0103 0001  |    |		.CONST	0x0103,0x0001
0404 ; --------------------------------------------------------------------------------------
0404 ; Debug3 Subtable 0x7
0404 ; --------------------------------------------------------------------------------------
0404 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0406 0113 0001  |    |		.CONST	0x0113,0x0001
0408 ; --------------------------------------------------------------------------------------
0408 ; Debug3 Subtable 0x8
0408 ; --------------------------------------------------------------------------------------
0408 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
040a 0123 0001  | #  |		.CONST	0x0123,0x0001
040c ; --------------------------------------------------------------------------------------
040c ; Debug3 Subtable 0x9
040c ; --------------------------------------------------------------------------------------
040c 0001 0002  |    |		.DBG3TAB	0x0001,0x0002
040e 0133 ffff  | 3  |		.CONST	0x0133,0xffff
0410 0137 0001  | 7  |		.CONST	0x0137,0x0001
0412 013b 0002  | ;  |		.CONST	0x013b,0x0002
0414 ; --------------------------------------------------------------------------------------
0414 ; Debug3 Subtable 0xa
0414 ; --------------------------------------------------------------------------------------
0414 0001 0002  |    |		.DBG3TAB	0x0001,0x0002
0416 0143 ffff  | C  |		.CONST	0x0143,0xffff
0418 0145 0001  | E  |		.CONST	0x0145,0x0001
041a 014a 0002  | J  |		.CONST	0x014a,0x0002
041c ; --------------------------------------------------------------------------------------
041c ; Debug3 Subtable 0xb
041c ; --------------------------------------------------------------------------------------
041c 0000 0004  |    |		.DBG3TAB	0x0000,0x0004
041e 015b 0001  | [  |		.CONST	0x015b,0x0001
0420 0162 0002  | b  |		.CONST	0x0162,0x0002
0422 0169 0003  | i  |		.CONST	0x0169,0x0003
0424 0171 0004  | q  |		.CONST	0x0171,0x0004
0426 ; --------------------------------------------------------------------------------------
0426 ; Debug3 Subtable 0xc
0426 ; --------------------------------------------------------------------------------------
0426 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
0428 ; --------------------------------------------------------------------------------------
0428 ; Debug3 Subtable 0xd
0428 ; --------------------------------------------------------------------------------------
0428 0001 0001  |    |		.DBG3TAB	0x0001,0x0001
042a 019b ffff  |    |		.CONST	0x019b,0xffff
042c 01a2 0001  |    |		.CONST	0x01a2,0x0001
042e ; --------------------------------------------------------------------------------------
042e ; Debug3 Subtable 0xe
042e ; --------------------------------------------------------------------------------------
042e 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
0430 01b3 0001  |    |		.CONST	0x01b3,0x0001
0432 ; --------------------------------------------------------------------------------------
0432 ; Debug3 Subtable 0xf
0432 ; --------------------------------------------------------------------------------------
0432 0000 0004  |    |		.DBG3TAB	0x0000,0x0004
0434 01c3 0001  |    |		.CONST	0x01c3,0x0001
0436 01c6 0002  |    |		.CONST	0x01c6,0x0002
0438 01cc 0003  |    |		.CONST	0x01cc,0x0003
043a 01ce 0004  |    |		.CONST	0x01ce,0x0004
043c ; --------------------------------------------------------------------------------------
043c ; Debug3 Subtable 0x10
043c ; --------------------------------------------------------------------------------------
043c 0002 0006  |    |		.DBG3TAB	0x0002,0x0006
043e 01d3 ffff  |    |		.CONST	0x01d3,0xffff
0440 01d7 fffe  |    |		.CONST	0x01d7,0xfffe
0442 01d8 0001  |    |		.CONST	0x01d8,0x0001
0444 01d9 0002  |    |		.CONST	0x01d9,0x0002
0446 01df 0003  |    |		.CONST	0x01df,0x0003
0448 01e4 0004  |    |		.CONST	0x01e4,0x0004
044a 01ef 0005  |    |		.CONST	0x01ef,0x0005
044c 01f5 0006  |    |		.CONST	0x01f5,0x0006
044e ; --------------------------------------------------------------------------------------
044e ; Debug3 Subtable 0x11
044e ; --------------------------------------------------------------------------------------
044e 0003 0000  |    |		.DBG3TAB	0x0003,0x0000
0450 020b ffff  |    |		.CONST	0x020b,0xffff
0452 020d fffe  |    |		.CONST	0x020d,0xfffe
0454 020f fffd  |    |		.CONST	0x020f,0xfffd
0456 ; --------------------------------------------------------------------------------------
0456 ; Debug3 Subtable 0x12
0456 ; --------------------------------------------------------------------------------------
0456 000c 0000  |    |		.DBG3TAB	0x000c,0x0000
0458 0212 ffff  |    |		.CONST	0x0212,0xffff
045a 0215 fffe  |    |		.CONST	0x0215,0xfffe
045c 0216 fffd  |    |		.CONST	0x0216,0xfffd
045e 0218 fffc  |    |		.CONST	0x0218,0xfffc
0460 021b fffb  |    |		.CONST	0x021b,0xfffb
0462 021c fffa  |    |		.CONST	0x021c,0xfffa
0464 021e fff9  |    |		.CONST	0x021e,0xfff9
0466 021f fff8  |    |		.CONST	0x021f,0xfff8
0468 0223 fff7  | #  |		.CONST	0x0223,0xfff7
046a 0226 fff6  | &  |		.CONST	0x0226,0xfff6
046c 0228 fff5  | (  |		.CONST	0x0228,0xfff5
046e 022a fff4  | *  |		.CONST	0x022a,0xfff4
0470 ; --------------------------------------------------------------------------------------
0470 ; Debug3 Subtable 0x13
0470 ; --------------------------------------------------------------------------------------
0470 0001 0004  |    |		.DBG3TAB	0x0001,0x0004
0472 0233 ffff  | 3  |		.CONST	0x0233,0xffff
0474 0234 0001  | 4  |		.CONST	0x0234,0x0001
0476 0238 0002  | 8  |		.CONST	0x0238,0x0002
0478 023f 0003  | ?  |		.CONST	0x023f,0x0003
047a 0244 0004  | D  |		.CONST	0x0244,0x0004
047c ; --------------------------------------------------------------------------------------
047c ; Debug3 Subtable 0x14
047c ; --------------------------------------------------------------------------------------
047c 0004 0006  |    |		.DBG3TAB	0x0004,0x0006
047e 0253 ffff  | S  |		.CONST	0x0253,0xffff
0480 0255 fffe  | U  |		.CONST	0x0255,0xfffe
0482 0257 fffd  | W  |		.CONST	0x0257,0xfffd
0484 025b fffc  | [  |		.CONST	0x025b,0xfffc
0486 025c 0001  | \  |		.CONST	0x025c,0x0001
0488 0265 0002  | e  |		.CONST	0x0265,0x0002
048a 026d 0003  | m  |		.CONST	0x026d,0x0003
048c 026e 0004  | n  |		.CONST	0x026e,0x0004
048e 0272 0005  | r  |		.CONST	0x0272,0x0005
0490 0279 0006  | y  |		.CONST	0x0279,0x0006
0492 ; --------------------------------------------------------------------------------------
0492 ; Debug3 Subtable 0x15
0492 ; --------------------------------------------------------------------------------------
0492 0001 0003  |    |		.DBG3TAB	0x0001,0x0003
0494 0283 ffff  |    |		.CONST	0x0283,0xffff
0496 0285 0001  |    |		.CONST	0x0285,0x0001
0498 028a 0002  |    |		.CONST	0x028a,0x0002
049a 0295 0003  |    |		.CONST	0x0295,0x0003
049c 0000 0000  |    |		.BLANK	0000[0x164]