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

⟦3ddf6b7c5⟧

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

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 5813       |X   |		.CONST	0x5813								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 02e8       |    |		.CONST	0x02e8								; 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 00a7       |    |		.CONST	0x00a7								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0021       | !  |		.CONST	0x0021								; Number of locals
000b			INIT_0008:
000b 029a 010b  |    |		Declare_Subprogram	INIT_0108,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0 = .DEBUG	0x000b,0x034a,0x8000,0x0000,0x005a,0x64e5,0x0000,0x0007
													; Debug Table 0x0.0x0 = 0xb,0xffff
000d 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x1 = 0xd,0xfffe
000f 029a 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x2 = 0xf,0xfffd
0011 029a 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x3 = 0x11,0xfffc
0013 029a 01eb  |    |		Declare_Subprogram	INIT_01e8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x4 = 0x13,0xfffb
0015 0007       |    |		Action	Break_Optional							; Debug Table 0x0.0x5 = 0x15,0xfffa
0016 029a 01fb  |    |		Declare_Subprogram	INIT_01f8,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x6 = 0x16,0xfff9
0018 029a 0203  |    |		Declare_Subprogram	INIT_0200,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0.0x7 = 0x18,0xfff8
001a 00bf       |    |		Action	Accept_Activation
001b e001       |    |		Load	0x0,0x1								; Debug Table 0x1 = .DEBUG	0x001b,0x035c,0x8000,0x0000,0x005a,0x66c5,0x0000,0x000b
													; Debug Table 0x1.0x0 = 0x1b,0xffff
001c 1910       |    |		Execute	Package,Field_Reference,Field_Number 0x10
001d 0007       |    |		Action	Break_Optional
001e 00e8       |    |		Load_Encached	Character_Cache						; Debug Table 0x1.0x1 = 0x1e,0xfffe
001f 0266       | f  |		Execute	Discrete,Bounds
0020 4800       |H   |		Short_Literal	0x0
0021 483f       |H?  |		Short_Literal	0x3f
0022 00e1       |    |		Load_Encached	Boolean_Cache
0023 02a0       |    |		Declare_Subprogram	Null_Subprogram
0024 4802       |H   |		Short_Literal	0x2
0025 035d       | ]  |		Declare_Type	Array,Defined
0026 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x2 = 0x26,0xfffd
0027 0337       | 7  |		Declare_Variable	Array
0028 00d9       |    |		Load_Top	At_Offset_1
0029 0337       | 7  |		Declare_Variable	Array
002a 487f       |H   |		Short_Literal	0x7f
002b 4800       |H   |		Short_Literal	0x0
002c 483f       |H?  |		Short_Literal	0x3f
002d 4800       |H   |		Short_Literal	0x0
002e 4800       |H   |		Short_Literal	0x0
002f 00d9       |    |		Load_Top	At_Offset_1
0030 e219       |    |		Load	0x1,0x19
0031 e217       |    |		Load	0x1,0x17
0032 01a6       |    |		Execute	Matrix,Field_Write
0033 3ffa       |?   |		Loop_Increasing	0x2e
0034 3ff7       |?   |		Loop_Increasing	0x2c
0035 00d9       |    |		Load_Top	At_Offset_1
0036 01a4       |    |		Execute	Matrix,Structure_Write
0037 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x1.0x3 = 0x37,0xfffc
0038 0337       | 7  |		Declare_Variable	Array
0039 00da       |    |		Load_Top	At_Offset_2
003a 0337       | 7  |		Declare_Variable	Array
003b 487f       |H   |		Short_Literal	0x7f
003c 4800       |H   |		Short_Literal	0x0
003d 483f       |H?  |		Short_Literal	0x3f
003e 4800       |H   |		Short_Literal	0x0
003f 4800       |H   |		Short_Literal	0x0
0040 00d9       |    |		Load_Top	At_Offset_1
0041 e21a       |    |		Load	0x1,0x1a
0042 e218       |    |		Load	0x1,0x18
0043 01a6       |    |		Execute	Matrix,Field_Write
0044 3ffa       |?   |		Loop_Increasing	0x3f
0045 3ff7       |?   |		Loop_Increasing	0x3d
0046 00d9       |    |		Load_Top	At_Offset_1
0047 01a4       |    |		Execute	Matrix,Structure_Write
0048 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x1.0x4 = 0x48,0xfffb
0049 0337       | 7  |		Declare_Variable	Array
004a 00db       |    |		Load_Top	At_Offset_3
004b 0337       | 7  |		Declare_Variable	Array
004c 487f       |H   |		Short_Literal	0x7f
004d 4800       |H   |		Short_Literal	0x0
004e 483f       |H?  |		Short_Literal	0x3f
004f 4800       |H   |		Short_Literal	0x0
0050 4800       |H   |		Short_Literal	0x0
0051 00d9       |    |		Load_Top	At_Offset_1
0052 e21b       |    |		Load	0x1,0x1b
0053 e219       |    |		Load	0x1,0x19
0054 01a6       |    |		Execute	Matrix,Field_Write
0055 3ffa       |?   |		Loop_Increasing	0x50
0056 3ff7       |?   |		Loop_Increasing	0x4e
0057 00d9       |    |		Load_Top	At_Offset_1
0058 01a4       |    |		Execute	Matrix,Structure_Write
0059 00e8       |    |		Load_Encached	Character_Cache						; Debug Table 0x1.0x5 = 0x59,0xfffa
005a 0266       | f  |		Execute	Discrete,Bounds
005b e002       |    |		Load	0x0,0x2
005c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
005d 02a0       |    |		Declare_Subprogram	Null_Subprogram
005e 4801       |H   |		Short_Literal	0x1
005f 035d       | ]  |		Declare_Type	Array,Defined
0060 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x6 = 0x60,0xfff9
0061 0337       | 7  |		Declare_Variable	Array
0062 00d9       |    |		Load_Top	At_Offset_1
0063 0337       | 7  |		Declare_Variable	Array
0064 487f       |H   |		Short_Literal	0x7f
0065 4800       |H   |		Short_Literal	0x0
0066 483f       |H?  |		Short_Literal	0x3f
0067 00d9       |    |		Load_Top	At_Offset_1
0068 e21b       |    |		Load	0x1,0x1b
0069 01d6       |    |		Execute	Vector,Field_Write
006a 3ffb       |?   |		Loop_Increasing	0x66
006b 00d9       |    |		Load_Top	At_Offset_1
006c 01d4       |    |		Execute	Vector,Structure_Write
006d 4800       |H   |		Short_Literal	0x0							; Debug Table 0x1.0x7 = 0x6d,0xfff8
006e 483f       |H?  |		Short_Literal	0x3f
006f 00e8       |    |		Load_Encached	Character_Cache
0070 02a0       |    |		Declare_Subprogram	Null_Subprogram
0071 4801       |H   |		Short_Literal	0x1
0072 035d       | ]  |		Declare_Type	Array,Defined
0073 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x8 = 0x73,0xfff7
0074 0337       | 7  |		Declare_Variable	Array
0075 00d9       |    |		Load_Top	At_Offset_1
0076 0337       | 7  |		Declare_Variable	Array
0077 483f       |H?  |		Short_Literal	0x3f
0078 4800       |H   |		Short_Literal	0x0
0079 483f       |H?  |		Short_Literal	0x3f
007a 00d9       |    |		Load_Top	At_Offset_1
007b e21d       |    |		Load	0x1,0x1d
007c 01d6       |    |		Execute	Vector,Field_Write
007d 3ffb       |?   |		Loop_Increasing	0x79
007e 00d9       |    |		Load_Top	At_Offset_1
007f 01d4       |    |		Execute	Vector,Structure_Write
0080 00e8       |    |		Load_Encached	Character_Cache						; Debug Table 0x1.0x9 = 0x80,0xfff6
0081 0266       | f  |		Execute	Discrete,Bounds
0082 00e3       |    |		Load_Encached	Natural_Cache
0083 02a0       |    |		Declare_Subprogram	Null_Subprogram
0084 4801       |H   |		Short_Literal	0x1
0085 035d       | ]  |		Declare_Type	Array,Defined
0086 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0xa = 0x86,0xfff5
0087 0337       | 7  |		Declare_Variable	Array
0088 00d9       |    |		Load_Top	At_Offset_1
0089 0337       | 7  |		Declare_Variable	Array
008a 487f       |H   |		Short_Literal	0x7f
008b 4800       |H   |		Short_Literal	0x0
008c 4800       |H   |		Short_Literal	0x0
008d 00d9       |    |		Load_Top	At_Offset_1
008e e21f       |    |		Load	0x1,0x1f
008f 01d6       |    |		Execute	Vector,Field_Write
0090 3ffb       |?   |		Loop_Increasing	0x8c
0091 00d9       |    |		Load_Top	At_Offset_1
0092 01d4       |    |		Execute	Vector,Structure_Write
0093 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd				; Debug Table 0x1.0xb = 0x93,0xfff4
0094 00c7       |    |		Action	Elaborate_Subprogram
0095 029d 0243  |   C|		Declare_Subprogram	INIT_0240,For_Outer_Call			; Debug Table 0x1.0xc = 0x95,0xfff3
0097 029d 0273  |   s|		Declare_Subprogram	INIT_0270,For_Outer_Call			; Debug Table 0x1.0xd = 0x97,0xfff2
0099 029d 02bb  |    |		Declare_Subprogram	INIT_02b8,For_Outer_Call			; Debug Table 0x1.0xe = 0x99,0xfff1
009b 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe				; Debug Table 0x1.0xf = 0x9b,0xfff0
009c 00c7       |    |		Action	Elaborate_Subprogram
009d 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf				; Debug Table 0x1.0x10 = 0x9d,0xffef
009e 00c7       |    |		Action	Elaborate_Subprogram
009f 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10				; Debug Table 0x1.0x11 = 0x9f,0xffee
00a0 00c7       |    |		Action	Elaborate_Subprogram
00a1 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11				; Debug Table 0x1.0x12 = 0xa1,0xffed
00a2 00c7       |    |		Action	Elaborate_Subprogram
00a3 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12				; Debug Table 0x1.0x13 = 0xa3,0xffec
00a4 00c7       |    |		Action	Elaborate_Subprogram
00a5 1d13       |    |		Execute_Immediate	Reference_Lex_1,0x13				; Debug Table 0x1.0x14 = 0xa5,0xffeb
00a6 00c7       |    |		Action	Elaborate_Subprogram
00a7			BODY_0008:
00a7 0007       |    |		Action	Break_Optional							; Debug Table 0x1.0x15 = 0xa7,0x1
00a8 00cf       |    |		Action	Mark_Auxiliary							; Debug Table 0x1.0x16 = 0xa8,0x2
00a9 e002       |    |		Load	0x0,0x2								; Debug Table 0x1.0x17 = 0xa9,0x3
00aa 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00ab 01d9       |    |		Execute	Vector,Reverse_Bounds
00ac 0007       |    |		Action	Break_Optional
00ad 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x18 = 0xad,0x4
00ae 0aff       |    |		Execute_Immediate	Plus,-0x1
00af e002       |    |		Load	0x0,0x2
00b0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00b1 025b       | [  |		Execute	Discrete,Check_In_Type
00b2 00d9       |    |		Load_Top	At_Offset_1
00b3 e002       |    |		Load	0x0,0x2
00b4 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00b5 01d7       |    |		Execute	Vector,Field_Read
00b6 e21a       |    |		Load	0x1,0x1a
00b7 01d6       |    |		Execute	Vector,Field_Write
00b8 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x19 = 0xb8,0x5
00b9 e002       |    |		Load	0x0,0x2
00ba 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00bb 01d7       |    |		Execute	Vector,Field_Read
00bc 00d9       |    |		Load_Top	At_Offset_1
00bd 0aff       |    |		Execute_Immediate	Plus,-0x1
00be 0248       | H  |		Execute	Discrete,Check_In_Integer
00bf e002       |    |		Load	0x0,0x2
00c0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00c1 025b       | [  |		Execute	Discrete,Check_In_Type
00c2 e21c       |    |		Load	0x1,0x1c
00c3 01d6       |    |		Execute	Vector,Field_Write
00c4 4801       |H   |		Short_Literal	0x1							; Debug Table 0x1.0x1a = 0xc4,0x6
00c5 00d9       |    |		Load_Top	At_Offset_1
00c6 e002       |    |		Load	0x0,0x2
00c7 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00c8 01d7       |    |		Execute	Vector,Field_Read
00c9 e21a       |    |		Load	0x1,0x1a
00ca 01d7       |    |		Execute	Vector,Field_Read
00cb 00da       |    |		Load_Top	At_Offset_2
00cc e002       |    |		Load	0x0,0x2
00cd 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00ce 01d7       |    |		Execute	Vector,Field_Read
00cf e216       |    |		Load	0x1,0x16
00d0 01a6       |    |		Execute	Matrix,Field_Write
00d1 00c8       |    |		Action	Pop_Auxiliary_Range
00d2 3fda       |?   |		Loop_Increasing	0xad
00d3 00ce       |    |		Action	Pop_Auxiliary
00d4 e216       |    |		Load	0x1,0x16							; Debug Table 0x1.0x1b = 0xd4,0x7
00d5 e218       |    |		Load	0x1,0x18
00d6 01a4       |    |		Execute	Matrix,Structure_Write
00d7 e216       |    |		Load	0x1,0x16							; Debug Table 0x1.0x1c = 0xd7,0x8
00d8 e217       |    |		Load	0x1,0x17
00d9 01a4       |    |		Execute	Matrix,Structure_Write
00da 00cf       |    |		Action	Mark_Auxiliary
00db 487a       |Hz  |		Short_Literal	0x7a							; Debug Table 0x1.0x1d = 0xdb,0x9
00dc 4861       |Ha  |		Short_Literal	0x61
00dd 0007       |    |		Action	Break_Optional
00de 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x1e = 0xde,0xa
00df 0a9f       |    |		Execute_Immediate	Plus,-0x61
00e0 00d9       |    |		Load_Top	At_Offset_1
00e1 e21e       |    |		Load	0x1,0x1e
00e2 01d6       |    |		Execute	Vector,Field_Write
00e3 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x1.0x1f = 0xe3,0xb
00e4 e21e       |    |		Load	0x1,0x1e
00e5 01d7       |    |		Execute	Vector,Field_Read
00e6 00d9       |    |		Load_Top	At_Offset_1
00e7 8214       |    |		Call	0x1,0x14
00e8 e21e       |    |		Load	0x1,0x1e
00e9 01d6       |    |		Execute	Vector,Field_Write
00ea 4801       |H   |		Short_Literal	0x1							; Debug Table 0x1.0x20 = 0xea,0xc
00eb 00d9       |    |		Load_Top	At_Offset_1
00ec 8214       |    |		Call	0x1,0x14
00ed e21a       |    |		Load	0x1,0x1a
00ee 01d7       |    |		Execute	Vector,Field_Read
00ef 00da       |    |		Load_Top	At_Offset_2
00f0 e218       |    |		Load	0x1,0x18
00f1 01a6       |    |		Execute	Matrix,Field_Write
00f2 4801       |H   |		Short_Literal	0x1							; Debug Table 0x1.0x21 = 0xf2,0xd
00f3 00d9       |    |		Load_Top	At_Offset_1
00f4 e21a       |    |		Load	0x1,0x1a
00f5 01d7       |    |		Execute	Vector,Field_Read
00f6 00da       |    |		Load_Top	At_Offset_2
00f7 8214       |    |		Call	0x1,0x14
00f8 e218       |    |		Load	0x1,0x18
00f9 01a6       |    |		Execute	Matrix,Field_Write
00fa 4801       |H   |		Short_Literal	0x1							; Debug Table 0x1.0x22 = 0xfa,0xe
00fb 00d9       |    |		Load_Top	At_Offset_1
00fc e21a       |    |		Load	0x1,0x1a
00fd 01d7       |    |		Execute	Vector,Field_Read
00fe 00da       |    |		Load_Top	At_Offset_2
00ff 8214       |    |		Call	0x1,0x14
0100 e217       |    |		Load	0x1,0x17
0101 01a6       |    |		Execute	Matrix,Field_Write
0102 00c8       |    |		Action	Pop_Auxiliary_Range
0103 3fda       |?   |		Loop_Increasing	0xde
0104 00ce       |    |		Action	Pop_Auxiliary
0105 00bc       |    |		Action	Signal_Activated
0106 00bb       |    |		Action	Signal_Completion
0107 0000       |    |		.XXX[0x1]
0108 ; --------------------------------------------------------------------------------------
0108 ; SUBPROGRAM
0108 ; --------------------------------------------------------------------------------------
0108 0117       |    |		.CONST	0x0117								; Address of begin
0109 0004       |    |		.CONST	0x0004								; Address of exception handler
010a 0004       |    |		.CONST	0x0004								; Number of locals
010b			INIT_0108:
010b 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2 = .DEBUG	0x010b,0x03a4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0008
													; Debug Table 0x2.0x0 = 0x10b,0xffff
010c 01db       |    |		Execute	Vector,Length
010d 00e3       |    |		Load_Encached	Natural_Cache
010e 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
010f 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x2.0x1 = 0x10f,0xfffe
0110 01dd       |    |		Execute	Vector,First
0111 0aff       |    |		Execute_Immediate	Plus,-0x1
0112 00e3       |    |		Load_Encached	Natural_Cache
0113 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
0114 e5fd       |    |		Load	0x2,-0x3							; Debug Table 0x2.0x2 = 0x114,0xfffd
0115 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
0116 0007       |    |		Action	Break_Optional
0117			BODY_0108:
0117 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2.0x3 = 0x117,0x1
0118 4800       |H   |		Short_Literal	0x0
0119 00da       |    |		Load_Top	At_Offset_2
011a 01d7       |    |		Execute	Vector,Field_Read
011b 027e       | ~  |		Execute	Discrete,Not_Equal
011c 6802       |h   |		Jump_Zero	0x11f
011d 4800       |H   |		Short_Literal	0x0							; Debug Table 0x2.0x4 = 0x11d,0x2
011e 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
011f e5fc       |    |		Load	0x2,-0x4							; Debug Table 0x2.0x5 = 0x11f,0x3
0120 6817       |h   |		Jump_Zero	0x138
0121 00cf       |    |		Action	Mark_Auxiliary
0122 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x2.0x6 = 0x122,0x4
0123 4801       |H   |		Short_Literal	0x1
0124 0263       | c  |		Execute	Discrete,Above_Bound
0125 7010       |p   |		Jump_Nonzero	0x136
0126 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x2.0x7 = 0x126,0x5
0127 e404       |    |		Load	0x2,0x4
0128 01d7       |    |		Execute	Vector,Field_Read
0129 e403       |    |		Load	0x2,0x3
012a 00da       |    |		Load_Top	At_Offset_2
012b 0273       | s  |		Execute	Discrete,Plus
012c 0248       | H  |		Execute	Discrete,Check_In_Integer
012d e5ff       |    |		Load	0x2,-0x1
012e 01d7       |    |		Execute	Vector,Field_Read
012f e218       |    |		Load	0x1,0x18
0130 01a7       |    |		Execute	Matrix,Field_Read
0131 7002       |p   |		Jump_Nonzero	0x134
0132 4800       |H   |		Short_Literal	0x0							; Debug Table 0x2.0x8 = 0x132,0x6
0133 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0134 00c8       |    |		Action	Pop_Auxiliary_Range
0135 3ff0       |?   |		Loop_Increasing	0x126
0136 00ce       |    |		Action	Pop_Auxiliary
0137 7822       |x"  |		Jump	0x15a
0138 4801       |H   |		Short_Literal	0x1							; Debug Table 0x2.0x9 = 0x138,0x7
0139 00d9       |    |		Load_Top	At_Offset_1
013a 01d7       |    |		Execute	Vector,Field_Read
013b e5ff       |    |		Load	0x2,-0x1
013c 01dd       |    |		Execute	Vector,First
013d e5ff       |    |		Load	0x2,-0x1
013e 01d7       |    |		Execute	Vector,Field_Read
013f e217       |    |		Load	0x1,0x17
0140 01a7       |    |		Execute	Matrix,Field_Read
0141 7002       |p   |		Jump_Nonzero	0x144
0142 4800       |H   |		Short_Literal	0x0							; Debug Table 0x2.0xa = 0x142,0x8
0143 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0144 00cf       |    |		Action	Mark_Auxiliary
0145 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x2.0xb = 0x145,0x9
0146 4802       |H   |		Short_Literal	0x2
0147 0263       | c  |		Execute	Discrete,Above_Bound
0148 7010       |p   |		Jump_Nonzero	0x159
0149 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x2.0xc = 0x149,0xa
014a e404       |    |		Load	0x2,0x4
014b 01d7       |    |		Execute	Vector,Field_Read
014c e403       |    |		Load	0x2,0x3
014d 00da       |    |		Load_Top	At_Offset_2
014e 0273       | s  |		Execute	Discrete,Plus
014f 0248       | H  |		Execute	Discrete,Check_In_Integer
0150 e5ff       |    |		Load	0x2,-0x1
0151 01d7       |    |		Execute	Vector,Field_Read
0152 e216       |    |		Load	0x1,0x16
0153 01a7       |    |		Execute	Matrix,Field_Read
0154 7002       |p   |		Jump_Nonzero	0x157
0155 4800       |H   |		Short_Literal	0x0							; Debug Table 0x2.0xd = 0x155,0xb
0156 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0157 00c8       |    |		Action	Pop_Auxiliary_Range
0158 3ff0       |?   |		Loop_Increasing	0x149
0159 00ce       |    |		Action	Pop_Auxiliary
015a e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x2.0xe = 0x15a,0xc
015b 7004       |p   |		Jump_Nonzero	0x160
015c e5fd       |    |		Load	0x2,-0x3
015d 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
015e 0f00       |    |		Execute_Immediate	Equal,0x0
015f 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0160 4801       |H   |		Short_Literal	0x1
0161 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0162 0000 0000  |    |		.BLANK	0000[0x6]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 0178       | x  |		.CONST	0x0178								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0003       |    |		.CONST	0x0003								; Number of locals
016b			INIT_0168:
016b 4800       |H   |		Short_Literal	0x0							; Debug Table 0x3 = .DEBUG	0x016b,0x03c4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x001f
													; Debug Table 0x3.0x0 = 0x16b,0xffff
016c e5fe       |    |		Load	0x2,-0x2
016d 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
016e 01d7       |    |		Execute	Vector,Field_Read
016f 00e3       |    |		Load_Encached	Natural_Cache
0170 03f1       |    |		Declare_Variable	Discrete,With_Value
0171 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0x1 = 0x171,0xfffe
0172 01db       |    |		Execute	Vector,Length
0173 00d9       |    |		Load_Top	At_Offset_1
0174 0272       | r  |		Execute	Discrete,Minus
0175 0248       | H  |		Execute	Discrete,Check_In_Integer
0176 00e2       |    |		Load_Encached	Integer_Cache
0177 03f1       |    |		Declare_Variable	Discrete,With_Value
0178			BODY_0168:
0178 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x3.0x2 = 0x178,0x1
0179 00d8       |    |		Load_Top	At_Offset_0
017a 4fff       |O   |		Short_Literal	-0x1
017b 027f       |    |		Execute	Discrete,Equal
017c 7006       |p   |		Jump_Nonzero	0x183
017d 0b00       |    |		Execute_Immediate	Case_Compare,0x0
017e 700c       |p   |		Jump_Nonzero	0x18b
017f 0b01       |    |		Execute_Immediate	Case_Compare,0x1
0180 7012       |p   |		Jump_Nonzero	0x193
0181 4800       |H   |		Short_Literal	0x0							; Debug Table 0x3.0x3 = 0x181,0x5
0182 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0183 4801       |H   |		Short_Literal	0x1							; Debug Table 0x3.0x4 = 0x183,0x2
0184 00db       |    |		Load_Top	At_Offset_3
0185 e5fe       |    |		Load	0x2,-0x2
0186 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
0187 01cf       |    |		Execute	Vector,Slice_Read
0188 e5ff       |    |		Load	0x2,-0x1
0189 821f       |    |		Call	0x1,0x1f
018a 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
018b 4801       |H   |		Short_Literal	0x1							; Debug Table 0x3.0x5 = 0x18b,0x3
018c 00db       |    |		Load_Top	At_Offset_3
018d e5fe       |    |		Load	0x2,-0x2
018e 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
018f 01cf       |    |		Execute	Vector,Slice_Read
0190 e5ff       |    |		Load	0x2,-0x1
0191 8220       |    |		Call	0x1,0x20
0192 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0193 4801       |H   |		Short_Literal	0x1							; Debug Table 0x3.0x6 = 0x193,0x4
0194 00db       |    |		Load_Top	At_Offset_3
0195 e5fe       |    |		Load	0x2,-0x2
0196 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
0197 01cf       |    |		Execute	Vector,Slice_Read
0198 e5ff       |    |		Load	0x2,-0x1
0199 8221       | !  |		Call	0x1,0x21
019a 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
019b 0000 0000  |    |		.BLANK	0000[0x5]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01ab       |    |		.CONST	0x01ab								; Address of begin
01a1 0004       |    |		.CONST	0x0004								; Address of exception handler
01a2 0003       |    |		.CONST	0x0003								; Number of locals
01a3			INIT_01a0:
01a3 4800       |H   |		Short_Literal	0x0							; Debug Table 0x4 = .DEBUG	0x01a3,0x03d4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x002e
													; Debug Table 0x4.0x0 = 0x1a3,0xffff
01a4 00db       |    |		Load_Top	At_Offset_3
01a5 01db       |    |		Execute	Vector,Length
01a6 e002       |    |		Load	0x0,0x2
01a7 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
01a8 0334       | 4  |		Declare_Variable	Array,With_Constraint
01a9 00e3       |    |		Load_Encached	Natural_Cache						; Debug Table 0x4.0x1 = 0x1a9,0xfffe
01aa 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
01ab			BODY_01a0:
01ab e5ff       |    |		Load	0x2,-0x1							; Debug Table 0x4.0x2 = 0x1ab,0x1
01ac 01db       |    |		Execute	Vector,Length
01ad e002       |    |		Load	0x0,0x2
01ae 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01af 025b       | [  |		Execute	Discrete,Check_In_Type
01b0 4800       |H   |		Short_Literal	0x0
01b1 00db       |    |		Load_Top	At_Offset_3
01b2 01d6       |    |		Execute	Vector,Field_Write
01b3 00cf       |    |		Action	Mark_Auxiliary
01b4 e5ff       |    |		Load	0x2,-0x1							; Debug Table 0x4.0x3 = 0x1b4,0x2
01b5 01d9       |    |		Execute	Vector,Reverse_Bounds
01b6 0263       | c  |		Execute	Discrete,Above_Bound
01b7 700d       |p   |		Jump_Nonzero	0x1c5
01b8 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x4 = 0x1b8,0x3
01b9 e5ff       |    |		Load	0x2,-0x1
01ba 01d7       |    |		Execute	Vector,Field_Read
01bb e21a       |    |		Load	0x1,0x1a
01bc 01d7       |    |		Execute	Vector,Field_Read
01bd e403       |    |		Load	0x2,0x3
01be e402       |    |		Load	0x2,0x2
01bf 01d6       |    |		Execute	Vector,Field_Write
01c0 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x4.0x5 = 0x1c0,0x4
01c1 0a01       |    |		Execute_Immediate	Plus,0x1
01c2 c403       |    |		Store	0x2,0x3
01c3 00c8       |    |		Action	Pop_Auxiliary_Range
01c4 3ff3       |?   |		Loop_Increasing	0x1b8
01c5 00ce       |    |		Action	Pop_Auxiliary
01c6 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x4.0x6 = 0x1c6,0x5
01c7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01d4       |    |		.CONST	0x01d4								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0003       |    |		.CONST	0x0003								; Number of locals
01cb			INIT_01c8:
01cb 4800       |H   |		Short_Literal	0x0							; Debug Table 0x5 = .DEBUG	0x01cb,0x03e4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0039
													; Debug Table 0x5.0x0 = 0x1cb,0xffff
01cc 00db       |    |		Load_Top	At_Offset_3
01cd 01d7       |    |		Execute	Vector,Field_Read
01ce 00e3       |    |		Load_Encached	Natural_Cache
01cf 03f1       |    |		Declare_Variable	Discrete,With_Value
01d0 4801       |H   |		Short_Literal	0x1							; Debug Table 0x5.0x1 = 0x1d0,0xfffe
01d1 00d9       |    |		Load_Top	At_Offset_1
01d2 00e9       |    |		Load_Encached	String_Cache
01d3 0334       | 4  |		Declare_Variable	Array,With_Constraint
01d4			BODY_01c8:
01d4 00cf       |    |		Action	Mark_Auxiliary
01d5 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x5.0x2 = 0x1d5,0x1
01d6 01d9       |    |		Execute	Vector,Reverse_Bounds
01d7 0263       | c  |		Execute	Discrete,Above_Bound
01d8 700a       |p   |		Jump_Nonzero	0x1e3
01d9 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x3 = 0x1d9,0x2
01da e5ff       |    |		Load	0x2,-0x1
01db 01d7       |    |		Execute	Vector,Field_Read
01dc e21c       |    |		Load	0x1,0x1c
01dd 01d7       |    |		Execute	Vector,Field_Read
01de 00d9       |    |		Load_Top	At_Offset_1
01df e403       |    |		Load	0x2,0x3
01e0 01d6       |    |		Execute	Vector,Field_Write
01e1 00c8       |    |		Action	Pop_Auxiliary_Range
01e2 3ff6       |?   |		Loop_Increasing	0x1d9
01e3 00ce       |    |		Action	Pop_Auxiliary
01e4 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x5.0x4 = 0x1e4,0x3
01e5 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01e6 0000 0000  |    |		.XXX[0x2]
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01ee       |    |		.CONST	0x01ee								; Address of begin
01e9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ea 0002       |    |		.CONST	0x0002								; Number of locals
01eb			INIT_01e8:
01eb 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x6 = .DEBUG	0x01eb,0x03f0,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0044
													; Debug Table 0x6.0x0 = 0x1eb,0xffff
01ec 3402       |4   |		Execute	Record,Field_Reference,Field_Number 0x2
01ed 8210       |    |		Call	0x1,0x10
01ee			BODY_01e8:
01ee 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x6.0x1 = 0x1ee,0x1
01ef 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
01f0 6804       |h   |		Jump_Zero	0x1f5
01f1 482e       |H.  |		Short_Literal	0x2e							; Debug Table 0x6.0x2 = 0x1f1,0x2
01f2 00d9       |    |		Load_Top	At_Offset_1
01f3 01cb       |    |		Execute	Vector,Append
01f4 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01f5 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x6.0x3 = 0x1f5,0x3
01f6 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01f7 0000       |    |		.XXX[0x1]
01f8 ; --------------------------------------------------------------------------------------
01f8 ; SUBPROGRAM
01f8 ; --------------------------------------------------------------------------------------
01f8 01fb       |    |		.CONST	0x01fb								; Address of begin
01f9 0004       |    |		.CONST	0x0004								; Address of exception handler
01fa 0001       |    |		.CONST	0x0001								; Number of locals
01fb			BODY_01f8:
01fb			INIT_01f8:
01fb 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x7 = .DEBUG	0x01fb,0x03fa,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0055
													; Debug Table 0x7.0x0 = 0x1fb,0x1
01fc e21e       |    |		Load	0x1,0x1e
01fd 01d7       |    |		Execute	Vector,Field_Read
01fe 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01ff 0000       |    |		.XXX[0x1]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 0220       |    |		.CONST	0x0220								; Address of begin
0201 0004       |    |		.CONST	0x0004								; Address of exception handler
0202 0009       |    |		.CONST	0x0009								; Number of locals
0203			INIT_0200:
0203 e002       |    |		Load	0x0,0x2								; Debug Table 0x8 = .DEBUG	0x0203,0x03fe,0x0002,0x0000,0x005a,0x64e5,0x0000,0x005e
													; Debug Table 0x8.0x0 = 0x203,0xffff
0204 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0205 00e1       |    |		Load_Encached	Boolean_Cache
0206 4800       |H   |		Short_Literal	0x0
0207 e5fd       |    |		Load	0x2,-0x3
0208 01db       |    |		Execute	Vector,Length
0209 0aff       |    |		Execute_Immediate	Plus,-0x1
020a 0248       | H  |		Execute	Discrete,Check_In_Integer
020b e002       |    |		Load	0x0,0x2
020c 1b10       |    |		Execute	Package,Field_Read,Field_Number 0x10
020d 035b       | [  |		Declare_Type	Array,Constrained
020e 02a0       |    |		Declare_Subprogram	Null_Subprogram
020f 4803       |H   |		Short_Literal	0x3
0210 032d       | -  |		Declare_Type	Record,Defined
0211 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x8.0x1 = 0x211,0xfffe
0212 02a0       |    |		Declare_Subprogram	Null_Subprogram
0213 03ad       |    |		Declare_Type	Heap_Access,Defined
0214 0007       |    |		Action	Break_Optional							; Debug Table 0x8.0x2 = 0x214,0xfffd
0215 a003       |    |		Store_Unchecked	0x0,0x3							; Debug Table 0x8.0x3 = 0x215,0xfffc
0216 00c6       |    |		Action	Check_Subprogram_Elaborated
0217 00d8       |    |		Load_Top	At_Offset_0
0218 e002       |    |		Load	0x0,0x2
0219 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
021a 60c9       |`   |		Indirect_Literal	Discrete,0x2e4,{0x00000000, 0x005a66c5}
021b 4bcf       |K   |		Short_Literal	0x3cf
021c 4808       |H   |		Short_Literal	0x8
021d 0007       |    |		Action	Break_Optional
021e e403       |    |		Load	0x2,0x3								; Debug Table 0x8.0x4 = 0x21e,0xfffb
021f 0007       |    |		Action	Break_Optional
0220			BODY_0200:
0220 e403       |    |		Load	0x2,0x3								; Debug Table 0x8.0x5 = 0x220,0x1
0221 e5fc       |    |		Load	0x2,-0x4
0222 039c       |    |		Declare_Variable	Heap_Access,By_Allocation
0223 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0224 0007       |    |		Action	Break_Optional							; Debug Table 0x8.0x6 = 0x224,0x2
0225 e5ff       |    |		Load	0x2,-0x1							; Debug Table 0x8.0x7 = 0x225,0x3
0226 00d9       |    |		Load_Top	At_Offset_1
0227 0217       |    |		Execute	Heap_Access,All_Reference
0228 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0229 e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x8.0x8 = 0x229,0x4
022a 00d9       |    |		Load_Top	At_Offset_1
022b 0217       |    |		Execute	Heap_Access,All_Reference
022c 3801       |8   |		Execute	Record,Field_Write,Field_Number 0x1
022d e5fd       |    |		Load	0x2,-0x3							; Debug Table 0x8.0x9 = 0x22d,0x5
022e 00d9       |    |		Load_Top	At_Offset_1
022f 0217       |    |		Execute	Heap_Access,All_Reference
0230 3802       |8   |		Execute	Record,Field_Write,Field_Number 0x2
0231 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x8.0xa = 0x231,0x6
0232 e404       |    |		Load	0x2,0x4
0233 e405       |    |		Load	0x2,0x5
0234 4806       |H   |		Short_Literal	0x6
0235 4802       |H   |		Short_Literal	0x2
0236 0099       |    |		Action	Reference_Dynamic
0237 8003       |    |		Call	0x0,0x3
0238 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0239 0000 0000  |    |		.BLANK	0000[0x7]
0240 ; --------------------------------------------------------------------------------------
0240 ; SUBPROGRAM
0240 ; --------------------------------------------------------------------------------------
0240 0249       | I  |		.CONST	0x0249								; Address of begin
0241 0004       |    |		.CONST	0x0004								; Address of exception handler
0242 0003       |    |		.CONST	0x0003								; Number of locals
0243			INIT_0240:
0243 00e1       |    |		Load_Encached	Boolean_Cache						; Debug Table 0x9 = .DEBUG	0x0243,0x0416,0x0002,0x0000,0x005a,0x66c5,0x0000,0x013b
													; Debug Table 0x9.0x0 = 0x243,0xffff
0244 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0245 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x9.0x1 = 0x245,0xfffe
0246 01dd       |    |		Execute	Vector,First
0247 00e3       |    |		Load_Encached	Natural_Cache
0248 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
0249			BODY_0240:
0249 00cf       |    |		Action	Mark_Auxiliary
024a e5fe       |    |		Load	0x2,-0x2							; Debug Table 0x9.0x2 = 0x24a,0x1
024b 01db       |    |		Execute	Vector,Length
024c 4801       |H   |		Short_Literal	0x1
024d 0263       | c  |		Execute	Discrete,Above_Bound
024e 701d       |p   |		Jump_Nonzero	0x26c
024f 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x9.0x3 = 0x24f,0x2
0250 e5fe       |    |		Load	0x2,-0x2
0251 01d7       |    |		Execute	Vector,Field_Read
0252 e403       |    |		Load	0x2,0x3
0253 e5ff       |    |		Load	0x2,-0x1
0254 01d7       |    |		Execute	Vector,Field_Read
0255 e218       |    |		Load	0x1,0x18
0256 01a7       |    |		Execute	Matrix,Field_Read
0257 680b       |h   |		Jump_Zero	0x263
0258 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x9.0x4 = 0x258,0x3
0259 e5ff       |    |		Load	0x2,-0x1
025a 01dc       |    |		Execute	Vector,Last
025b 027f       |    |		Execute	Discrete,Equal
025c 6802       |h   |		Jump_Zero	0x25f
025d 00d2       |    |		Pop_Control	Pop_Count_2
025e 780d       |x   |		Jump	0x26c
025f 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x9.0x5 = 0x25f,0x4
0260 0a01       |    |		Execute_Immediate	Plus,0x1
0261 c403       |    |		Store	0x2,0x3
0262 7807       |x   |		Jump	0x26a
0263 e402       |    |		Load	0x2,0x2								; Debug Table 0x9.0x6 = 0x263,0x5
0264 7003       |p   |		Jump_Nonzero	0x268
0265 4801       |H   |		Short_Literal	0x1							; Debug Table 0x9.0x7 = 0x265,0x6
0266 a402       |    |		Store_Unchecked	0x2,0x2
0267 7802       |x   |		Jump	0x26a
0268 4800       |H   |		Short_Literal	0x0							; Debug Table 0x9.0x8 = 0x268,0x7
0269 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
026a 00c8       |    |		Action	Pop_Auxiliary_Range
026b 3fe3       |?   |		Loop_Increasing	0x24f
026c 00ce       |    |		Action	Pop_Auxiliary
026d 4801       |H   |		Short_Literal	0x1							; Debug Table 0x9.0x9 = 0x26d,0x8
026e 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
026f 0000       |    |		.XXX[0x1]
0270 ; --------------------------------------------------------------------------------------
0270 ; SUBPROGRAM
0270 ; --------------------------------------------------------------------------------------
0270 0279       | y  |		.CONST	0x0279								; Address of begin
0271 0004       |    |		.CONST	0x0004								; Address of exception handler
0272 0003       |    |		.CONST	0x0003								; Number of locals
0273			INIT_0270:
0273 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0xa = .DEBUG	0x0273,0x042c,0x0002,0x0000,0x005a,0x66c5,0x0000,0x0191
													; Debug Table 0xa.0x0 = 0x273,0xffff
0274 01dd       |    |		Execute	Vector,First
0275 00e3       |    |		Load_Encached	Natural_Cache
0276 03ec       |    |		Declare_Variable	Discrete,With_Value,With_Constraint
0277 00e3       |    |		Load_Encached	Natural_Cache						; Debug Table 0xa.0x1 = 0x277,0xfffe
0278 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0279			BODY_0270:
0279 00cf       |    |		Action	Mark_Auxiliary
027a e5fe       |    |		Load	0x2,-0x2							; Debug Table 0xa.0x2 = 0x27a,0x1
027b 01d9       |    |		Execute	Vector,Reverse_Bounds
027c 0263       | c  |		Execute	Discrete,Above_Bound
027d 7032       |p2  |		Jump_Nonzero	0x2b0
027e 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0xa.0x3 = 0x27e,0x2
027f e5fe       |    |		Load	0x2,-0x2
0280 01d7       |    |		Execute	Vector,Field_Read
0281 e402       |    |		Load	0x2,0x2
0282 e5ff       |    |		Load	0x2,-0x1
0283 01d7       |    |		Execute	Vector,Field_Read
0284 e218       |    |		Load	0x1,0x18
0285 01a7       |    |		Execute	Matrix,Field_Read
0286 6801       |h   |		Jump_Zero	0x288
0287 7823       |x#  |		Jump	0x2ab								; Debug Table 0xa.0x4 = 0x287,0x3
0288 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xa.0x5 = 0x288,0x4
0289 7003       |p   |		Jump_Nonzero	0x28d
028a 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0xa.0x6 = 0x28a,0x5
028b a403       |    |		Store_Unchecked	0x2,0x3
028c 781e       |x   |		Jump	0x2ab
028d 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xa.0x7 = 0x28d,0x6
028e 00d9       |    |		Load_Top	At_Offset_1
028f 0aff       |    |		Execute_Immediate	Plus,-0x1
0290 027f       |    |		Execute	Discrete,Equal
0291 6817       |h   |		Jump_Zero	0x2a9
0292 00d8       |    |		Load_Top	At_Offset_0
0293 e5fe       |    |		Load	0x2,-0x2
0294 01d7       |    |		Execute	Vector,Field_Read
0295 e402       |    |		Load	0x2,0x2
0296 0aff       |    |		Execute_Immediate	Plus,-0x1
0297 0248       | H  |		Execute	Discrete,Check_In_Integer
0298 e5ff       |    |		Load	0x2,-0x1
0299 01d7       |    |		Execute	Vector,Field_Read
029a e218       |    |		Load	0x1,0x18
029b 01a7       |    |		Execute	Matrix,Field_Read
029c 680c       |h   |		Jump_Zero	0x2a9
029d 00d8       |    |		Load_Top	At_Offset_0
029e 0aff       |    |		Execute_Immediate	Plus,-0x1
029f 0248       | H  |		Execute	Discrete,Check_In_Integer
02a0 e5fe       |    |		Load	0x2,-0x2
02a1 01d7       |    |		Execute	Vector,Field_Read
02a2 e402       |    |		Load	0x2,0x2
02a3 e5ff       |    |		Load	0x2,-0x1
02a4 01d7       |    |		Execute	Vector,Field_Read
02a5 e218       |    |		Load	0x1,0x18
02a6 01a7       |    |		Execute	Matrix,Field_Read
02a7 6801       |h   |		Jump_Zero	0x2a9
02a8 7802       |x   |		Jump	0x2ab								; Debug Table 0xa.0x8 = 0x2a8,0x7
02a9 4800       |H   |		Short_Literal	0x0							; Debug Table 0xa.0x9 = 0x2a9,0x8
02aa 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02ab e402       |    |		Load	0x2,0x2								; Debug Table 0xa.0xa = 0x2ab,0x9
02ac 0a01       |    |		Execute_Immediate	Plus,0x1
02ad c402       |    |		Store	0x2,0x2
02ae 00c8       |    |		Action	Pop_Auxiliary_Range
02af 3fce       |?   |		Loop_Increasing	0x27e
02b0 00ce       |    |		Action	Pop_Auxiliary
02b1 4801       |H   |		Short_Literal	0x1							; Debug Table 0xa.0xb = 0x2b1,0xa
02b2 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02b3 0000 0000  |    |		.BLANK	0000[0x5]
02b8 ; --------------------------------------------------------------------------------------
02b8 ; SUBPROGRAM
02b8 ; --------------------------------------------------------------------------------------
02b8 02bf       |    |		.CONST	0x02bf								; Address of begin
02b9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ba 0003       |    |		.CONST	0x0003								; Number of locals
02bb			INIT_02b8:
02bb 00e1       |    |		Load_Encached	Boolean_Cache						; Debug Table 0xb = .DEBUG	0x02bb,0x0446,0x0002,0x0000,0x005a,0x66c5,0x0000,0x020d
													; Debug Table 0xb.0x0 = 0x2bb,0xffff
02bc 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
02bd 00e3       |    |		Load_Encached	Natural_Cache						; Debug Table 0xb.0x1 = 0x2bd,0xfffe
02be 0601       |    |		Execute_Immediate	Set_Value_Unchecked,0x1
02bf			BODY_02b8:
02bf 00cf       |    |		Action	Mark_Auxiliary
02c0 e5ff       |    |		Load	0x2,-0x1							; Debug Table 0xb.0x2 = 0x2c0,0x1
02c1 01d9       |    |		Execute	Vector,Reverse_Bounds
02c2 0263       | c  |		Execute	Discrete,Above_Bound
02c3 701d       |p   |		Jump_Nonzero	0x2e1
02c4 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb.0x3 = 0x2c4,0x2
02c5 e5fe       |    |		Load	0x2,-0x2
02c6 01d7       |    |		Execute	Vector,Field_Read
02c7 00d9       |    |		Load_Top	At_Offset_1
02c8 e5ff       |    |		Load	0x2,-0x1
02c9 01d7       |    |		Execute	Vector,Field_Read
02ca e218       |    |		Load	0x1,0x18
02cb 01a7       |    |		Execute	Matrix,Field_Read
02cc 680b       |h   |		Jump_Zero	0x2d8
02cd 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb.0x4 = 0x2cd,0x3
02ce e5fe       |    |		Load	0x2,-0x2
02cf 01dc       |    |		Execute	Vector,Last
02d0 027f       |    |		Execute	Discrete,Equal
02d1 6802       |h   |		Jump_Zero	0x2d4
02d2 00d2       |    |		Pop_Control	Pop_Count_2
02d3 780d       |x   |		Jump	0x2e1
02d4 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0xb.0x5 = 0x2d4,0x4
02d5 0a01       |    |		Execute_Immediate	Plus,0x1
02d6 c403       |    |		Store	0x2,0x3
02d7 7807       |x   |		Jump	0x2df
02d8 e402       |    |		Load	0x2,0x2								; Debug Table 0xb.0x6 = 0x2d8,0x5
02d9 7003       |p   |		Jump_Nonzero	0x2dd
02da 4801       |H   |		Short_Literal	0x1							; Debug Table 0xb.0x7 = 0x2da,0x6
02db a402       |    |		Store_Unchecked	0x2,0x2
02dc 7802       |x   |		Jump	0x2df
02dd 4800       |H   |		Short_Literal	0x0							; Debug Table 0xb.0x8 = 0x2dd,0x7
02de 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02df 00c8       |    |		Action	Pop_Auxiliary_Range
02e0 3fe3       |?   |		Loop_Increasing	0x2c4
02e1 00ce       |    |		Action	Pop_Auxiliary
02e2 4801       |H   |		Short_Literal	0x1							; Debug Table 0xb.0x9 = 0x2e2,0x8
02e3 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
02e4 0000 0000  |    |		.LITERAL	{0x00000000, 0x005a66c5}
02e8 ; --------------------------------------------------------------------------------------
02e8 ; Debug Table
02e8 ; --------------------------------------------------------------------------------------
02e8 0003 000c  |    |		.CONST	0x0003,0x000c
02ea 000b 034a  |   J|		.DEBUG	0x000b,0x034a,0x8000,0x0000,0x005a,0x64e5,0x0000,0x0007
02f2 001b 035c  |   \|		.DEBUG	0x001b,0x035c,0x8000,0x0000,0x005a,0x66c5,0x0000,0x000b
02fa 010b 03a4  |    |		.DEBUG	0x010b,0x03a4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0008
0302 016b 03c4  | k  |		.DEBUG	0x016b,0x03c4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x001f
030a 01a3 03d4  |    |		.DEBUG	0x01a3,0x03d4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x002e
0312 01cb 03e4  |    |		.DEBUG	0x01cb,0x03e4,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0039
031a 01eb 03f0  |    |		.DEBUG	0x01eb,0x03f0,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0044
0322 01fb 03fa  |    |		.DEBUG	0x01fb,0x03fa,0x0002,0x0000,0x005a,0x64e5,0x0000,0x0055
032a 0203 03fe  |    |		.DEBUG	0x0203,0x03fe,0x0002,0x0000,0x005a,0x64e5,0x0000,0x005e
0332 0243 0416  | C  |		.DEBUG	0x0243,0x0416,0x0002,0x0000,0x005a,0x66c5,0x0000,0x013b
033a 0273 042c  | s ,|		.DEBUG	0x0273,0x042c,0x0002,0x0000,0x005a,0x66c5,0x0000,0x0191
0342 02bb 0446  |   F|		.DEBUG	0x02bb,0x0446,0x0002,0x0000,0x005a,0x66c5,0x0000,0x020d
034a ; --------------------------------------------------------------------------------------
034a ; Debug3 Subtable 0x0
034a ; --------------------------------------------------------------------------------------
034a 0008 0000  |    |		.DBG3TAB	0x0008,0x0000
034c 000b ffff  |    |		.CONST	0x000b,0xffff
034e 000d fffe  |    |		.CONST	0x000d,0xfffe
0350 000f fffd  |    |		.CONST	0x000f,0xfffd
0352 0011 fffc  |    |		.CONST	0x0011,0xfffc
0354 0013 fffb  |    |		.CONST	0x0013,0xfffb
0356 0015 fffa  |    |		.CONST	0x0015,0xfffa
0358 0016 fff9  |    |		.CONST	0x0016,0xfff9
035a 0018 fff8  |    |		.CONST	0x0018,0xfff8
035c ; --------------------------------------------------------------------------------------
035c ; Debug3 Subtable 0x1
035c ; --------------------------------------------------------------------------------------
035c 0015 000e  |    |		.DBG3TAB	0x0015,0x000e
035e 001b ffff  |    |		.CONST	0x001b,0xffff
0360 001e fffe  |    |		.CONST	0x001e,0xfffe
0362 0026 fffd  | &  |		.CONST	0x0026,0xfffd
0364 0037 fffc  | 7  |		.CONST	0x0037,0xfffc
0366 0048 fffb  | H  |		.CONST	0x0048,0xfffb
0368 0059 fffa  | Y  |		.CONST	0x0059,0xfffa
036a 0060 fff9  | `  |		.CONST	0x0060,0xfff9
036c 006d fff8  | m  |		.CONST	0x006d,0xfff8
036e 0073 fff7  | s  |		.CONST	0x0073,0xfff7
0370 0080 fff6  |    |		.CONST	0x0080,0xfff6
0372 0086 fff5  |    |		.CONST	0x0086,0xfff5
0374 0093 fff4  |    |		.CONST	0x0093,0xfff4
0376 0095 fff3  |    |		.CONST	0x0095,0xfff3
0378 0097 fff2  |    |		.CONST	0x0097,0xfff2
037a 0099 fff1  |    |		.CONST	0x0099,0xfff1
037c 009b fff0  |    |		.CONST	0x009b,0xfff0
037e 009d ffef  |    |		.CONST	0x009d,0xffef
0380 009f ffee  |    |		.CONST	0x009f,0xffee
0382 00a1 ffed  |    |		.CONST	0x00a1,0xffed
0384 00a3 ffec  |    |		.CONST	0x00a3,0xffec
0386 00a5 ffeb  |    |		.CONST	0x00a5,0xffeb
0388 00a7 0001  |    |		.CONST	0x00a7,0x0001
038a 00a8 0002  |    |		.CONST	0x00a8,0x0002
038c 00a9 0003  |    |		.CONST	0x00a9,0x0003
038e 00ad 0004  |    |		.CONST	0x00ad,0x0004
0390 00b8 0005  |    |		.CONST	0x00b8,0x0005
0392 00c4 0006  |    |		.CONST	0x00c4,0x0006
0394 00d4 0007  |    |		.CONST	0x00d4,0x0007
0396 00d7 0008  |    |		.CONST	0x00d7,0x0008
0398 00db 0009  |    |		.CONST	0x00db,0x0009
039a 00de 000a  |    |		.CONST	0x00de,0x000a
039c 00e3 000b  |    |		.CONST	0x00e3,0x000b
039e 00ea 000c  |    |		.CONST	0x00ea,0x000c
03a0 00f2 000d  |    |		.CONST	0x00f2,0x000d
03a2 00fa 000e  |    |		.CONST	0x00fa,0x000e
03a4 ; --------------------------------------------------------------------------------------
03a4 ; Debug3 Subtable 0x2
03a4 ; --------------------------------------------------------------------------------------
03a4 0003 000c  |    |		.DBG3TAB	0x0003,0x000c
03a6 010b ffff  |    |		.CONST	0x010b,0xffff
03a8 010f fffe  |    |		.CONST	0x010f,0xfffe
03aa 0114 fffd  |    |		.CONST	0x0114,0xfffd
03ac 0117 0001  |    |		.CONST	0x0117,0x0001
03ae 011d 0002  |    |		.CONST	0x011d,0x0002
03b0 011f 0003  |    |		.CONST	0x011f,0x0003
03b2 0122 0004  | "  |		.CONST	0x0122,0x0004
03b4 0126 0005  | &  |		.CONST	0x0126,0x0005
03b6 0132 0006  | 2  |		.CONST	0x0132,0x0006
03b8 0138 0007  | 8  |		.CONST	0x0138,0x0007
03ba 0142 0008  | B  |		.CONST	0x0142,0x0008
03bc 0145 0009  | E  |		.CONST	0x0145,0x0009
03be 0149 000a  | I  |		.CONST	0x0149,0x000a
03c0 0155 000b  | U  |		.CONST	0x0155,0x000b
03c2 015a 000c  | Z  |		.CONST	0x015a,0x000c
03c4 ; --------------------------------------------------------------------------------------
03c4 ; Debug3 Subtable 0x3
03c4 ; --------------------------------------------------------------------------------------
03c4 0002 0005  |    |		.DBG3TAB	0x0002,0x0005
03c6 016b ffff  | k  |		.CONST	0x016b,0xffff
03c8 0171 fffe  | q  |		.CONST	0x0171,0xfffe
03ca 0178 0001  | x  |		.CONST	0x0178,0x0001
03cc 0181 0005  |    |		.CONST	0x0181,0x0005
03ce 0183 0002  |    |		.CONST	0x0183,0x0002
03d0 018b 0003  |    |		.CONST	0x018b,0x0003
03d2 0193 0004  |    |		.CONST	0x0193,0x0004
03d4 ; --------------------------------------------------------------------------------------
03d4 ; Debug3 Subtable 0x4
03d4 ; --------------------------------------------------------------------------------------
03d4 0002 0005  |    |		.DBG3TAB	0x0002,0x0005
03d6 01a3 ffff  |    |		.CONST	0x01a3,0xffff
03d8 01a9 fffe  |    |		.CONST	0x01a9,0xfffe
03da 01ab 0001  |    |		.CONST	0x01ab,0x0001
03dc 01b4 0002  |    |		.CONST	0x01b4,0x0002
03de 01b8 0003  |    |		.CONST	0x01b8,0x0003
03e0 01c0 0004  |    |		.CONST	0x01c0,0x0004
03e2 01c6 0005  |    |		.CONST	0x01c6,0x0005
03e4 ; --------------------------------------------------------------------------------------
03e4 ; Debug3 Subtable 0x5
03e4 ; --------------------------------------------------------------------------------------
03e4 0002 0003  |    |		.DBG3TAB	0x0002,0x0003
03e6 01cb ffff  |    |		.CONST	0x01cb,0xffff
03e8 01d0 fffe  |    |		.CONST	0x01d0,0xfffe
03ea 01d5 0001  |    |		.CONST	0x01d5,0x0001
03ec 01d9 0002  |    |		.CONST	0x01d9,0x0002
03ee 01e4 0003  |    |		.CONST	0x01e4,0x0003
03f0 ; --------------------------------------------------------------------------------------
03f0 ; Debug3 Subtable 0x6
03f0 ; --------------------------------------------------------------------------------------
03f0 0001 0003  |    |		.DBG3TAB	0x0001,0x0003
03f2 01eb ffff  |    |		.CONST	0x01eb,0xffff
03f4 01ee 0001  |    |		.CONST	0x01ee,0x0001
03f6 01f1 0002  |    |		.CONST	0x01f1,0x0002
03f8 01f5 0003  |    |		.CONST	0x01f5,0x0003
03fa ; --------------------------------------------------------------------------------------
03fa ; Debug3 Subtable 0x7
03fa ; --------------------------------------------------------------------------------------
03fa 0000 0001  |    |		.DBG3TAB	0x0000,0x0001
03fc 01fb 0001  |    |		.CONST	0x01fb,0x0001
03fe ; --------------------------------------------------------------------------------------
03fe ; Debug3 Subtable 0x8
03fe ; --------------------------------------------------------------------------------------
03fe 0005 0006  |    |		.DBG3TAB	0x0005,0x0006
0400 0203 ffff  |    |		.CONST	0x0203,0xffff
0402 0211 fffe  |    |		.CONST	0x0211,0xfffe
0404 0214 fffd  |    |		.CONST	0x0214,0xfffd
0406 0215 fffc  |    |		.CONST	0x0215,0xfffc
0408 021e fffb  |    |		.CONST	0x021e,0xfffb
040a 0220 0001  |    |		.CONST	0x0220,0x0001
040c 0224 0002  | $  |		.CONST	0x0224,0x0002
040e 0225 0003  | %  |		.CONST	0x0225,0x0003
0410 0229 0004  | )  |		.CONST	0x0229,0x0004
0412 022d 0005  | -  |		.CONST	0x022d,0x0005
0414 0231 0006  | 1  |		.CONST	0x0231,0x0006
0416 ; --------------------------------------------------------------------------------------
0416 ; Debug3 Subtable 0x9
0416 ; --------------------------------------------------------------------------------------
0416 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0418 0243 ffff  | C  |		.CONST	0x0243,0xffff
041a 0245 fffe  | E  |		.CONST	0x0245,0xfffe
041c 024a 0001  | J  |		.CONST	0x024a,0x0001
041e 024f 0002  | O  |		.CONST	0x024f,0x0002
0420 0258 0003  | X  |		.CONST	0x0258,0x0003
0422 025f 0004  | _  |		.CONST	0x025f,0x0004
0424 0263 0005  | c  |		.CONST	0x0263,0x0005
0426 0265 0006  | e  |		.CONST	0x0265,0x0006
0428 0268 0007  | h  |		.CONST	0x0268,0x0007
042a 026d 0008  | m  |		.CONST	0x026d,0x0008
042c ; --------------------------------------------------------------------------------------
042c ; Debug3 Subtable 0xa
042c ; --------------------------------------------------------------------------------------
042c 0002 000a  |    |		.DBG3TAB	0x0002,0x000a
042e 0273 ffff  | s  |		.CONST	0x0273,0xffff
0430 0277 fffe  | w  |		.CONST	0x0277,0xfffe
0432 027a 0001  | z  |		.CONST	0x027a,0x0001
0434 027e 0002  | ~  |		.CONST	0x027e,0x0002
0436 0287 0003  |    |		.CONST	0x0287,0x0003
0438 0288 0004  |    |		.CONST	0x0288,0x0004
043a 028a 0005  |    |		.CONST	0x028a,0x0005
043c 028d 0006  |    |		.CONST	0x028d,0x0006
043e 02a8 0007  |    |		.CONST	0x02a8,0x0007
0440 02a9 0008  |    |		.CONST	0x02a9,0x0008
0442 02ab 0009  |    |		.CONST	0x02ab,0x0009
0444 02b1 000a  |    |		.CONST	0x02b1,0x000a
0446 ; --------------------------------------------------------------------------------------
0446 ; Debug3 Subtable 0xb
0446 ; --------------------------------------------------------------------------------------
0446 0002 0008  |    |		.DBG3TAB	0x0002,0x0008
0448 02bb ffff  |    |		.CONST	0x02bb,0xffff
044a 02bd fffe  |    |		.CONST	0x02bd,0xfffe
044c 02c0 0001  |    |		.CONST	0x02c0,0x0001
044e 02c4 0002  |    |		.CONST	0x02c4,0x0002
0450 02cd 0003  |    |		.CONST	0x02cd,0x0003
0452 02d4 0004  |    |		.CONST	0x02d4,0x0004
0454 02d8 0005  |    |		.CONST	0x02d8,0x0005
0456 02da 0006  |    |		.CONST	0x02da,0x0006
0458 02dd 0007  |    |		.CONST	0x02dd,0x0007
045a 02e2 0008  |    |		.CONST	0x02e2,0x0008
045c 0000 0000  |    |		.BLANK	0000[0x1a4]