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

⟦08270f29b⟧

    Length: 3072 (0xc00)
    Notes: 00_class, 5811_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 5811       |X   |		.CONST	0x5811								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 03f0       |    |		.CONST	0x03f0								; 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 0010       |    |		.CONST	0x0010								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0001       |    |		.CONST	0x0001								; Number of locals
000b			INIT_0008:
000b 029a 001b  |    |		Declare_Subprogram	INIT_0018,For_Outer_Call,Visible,Unelaborated	; Debug Table 0x0 = .DEBUG	0x000b,0x041a,0x8000,0x0000,0x002c,0xbbc4,0x0000,0x001a
000d 00bf       |    |		Action	Accept_Activation
000e 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
000f 00c7       |    |		Action	Elaborate_Subprogram
0010			BODY_0008:
0010 00bc       |    |		Action	Signal_Activated
0011 00bb       |    |		Action	Signal_Completion
0012 0000 0000  |    |		.BLANK	0000[0x6]
0018 ; --------------------------------------------------------------------------------------
0018 ; SUBPROGRAM
0018 ; --------------------------------------------------------------------------------------
0018 0033       | 3  |		.CONST	0x0033								; Address of begin
0019 003f       | ?  |		.CONST	0x003f								; Address of exception handler
001a 000c       |    |		.CONST	0x000c								; Number of locals
001b			INIT_0018:
001b e001       |    |		Load	0x0,0x1								; Debug Table 0x1 = .DEBUG	0x001b,0x041c,0x8001,0x0000,0x002c,0xbbc4,0x0000,0x001a
													; Debug Table 0x1.0x0 = 0x1b,0xffff
001c 1915       |    |		Execute	Package,Field_Reference,Field_Number 0x15
001d 00c6       |    |		Action	Check_Subprogram_Elaborated
001e e002       |    |		Load	0x0,0x2
001f 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0020 62e3       |b   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}
0021 481d       |H   |		Short_Literal	0x1d
0022 4805       |H   |		Short_Literal	0x5
0023 0007       |    |		Action	Break_Optional
0024 e001       |    |		Load	0x0,0x1								; Debug Table 0x1.0x1 = 0x24,0xfffe
0025 1915       |    |		Execute	Package,Field_Reference,Field_Number 0x15
0026 00c6       |    |		Action	Check_Subprogram_Elaborated
0027 e002       |    |		Load	0x0,0x2
0028 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0029 62da       |b   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}
002a 4827       |H'  |		Short_Literal	0x27
002b 4809       |H   |		Short_Literal	0x9
002c 0007       |    |		Action	Break_Optional
002d 029f 0053  |   S|		Declare_Subprogram	INIT_0050,For_Call				; Debug Table 0x1.0x2 = 0x2d,0xfffd
002f 029f 012b  |   +|		Declare_Subprogram	INIT_0128,For_Call				; Debug Table 0x1.0x3 = 0x2f,0xfffc
0031 029f 0203  |    |		Declare_Subprogram	INIT_0200,For_Call				; Debug Table 0x1.0x4 = 0x31,0xfffb
0033			BODY_0018:
0033 0092 0308  |    |		Action	Push_String_Extended,0x308					; "FILE MANAGER TEST - extensive IO tests"
													; Debug Table 0x1.0x5 = 0x33,0x1
0035 0092 0309  |    |		Action	Push_String_Extended,0x309					; "File_#1"
0037 e001       |    |		Load	0x0,0x1
0038 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
0039 840a       |    |		Call	0x2,0xa								; Debug Table 0x1.0x6 = 0x39,0x2
003a 840b       |    |		Call	0x2,0xb								; Debug Table 0x1.0x7 = 0x3a,0x3
003b 840c       |    |		Call	0x2,0xc								; Debug Table 0x1.0x8 = 0x3b,0x4
003c e001       |    |		Load	0x0,0x1								; Debug Table 0x1.0x9 = 0x3c,0x5
003d 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
003e 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
003f			TRAP_0018:
003f 0007       |    |		Action	Break_Optional
0040 0092 030a  |    |		Action	Push_String_Extended,0x30a					; "Unhandled exception: "
													; Debug Table 0x1.0xa = 0x40,0x6
0042 e003       |    |		Load	0x0,0x3
0043 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
0044 01cc       |    |		Execute	Vector,Catenate
0045 0092 030b  |    |		Action	Push_String_Extended,0x30b					; "."
0047 01cc       |    |		Execute	Vector,Catenate
0048 e001       |    |		Load	0x0,0x1
0049 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
004a e001       |    |		Load	0x0,0x1								; Debug Table 0x1.0xb = 0x4a,0x7
004b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
004c 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
004d 0000 0000  |    |		.XXX[0x3]
004f 0000       |    |
0050 ; --------------------------------------------------------------------------------------
0050 ; SUBPROGRAM
0050 ; --------------------------------------------------------------------------------------
0050 0075       | u  |		.CONST	0x0075								; Address of begin
0051 0116       |    |		.CONST	0x0116								; Address of exception handler
0052 0008       |    |		.CONST	0x0008								; Number of locals
0053			INIT_0050:
0053 e004       |    |		Load	0x0,0x4								; Debug Table 0x2 = .DEBUG	0x0053,0x0436,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x0031
													; Debug Table 0x2.0x0 = 0x53,0xffff
0054 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0055 02ff       |    |		Declare_Variable	Variant_Record
0056 00d8       |    |		Load_Top	At_Offset_0
0057 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0058 e004       |    |		Load	0x0,0x4								; Debug Table 0x2.0x1 = 0x58,0xfffe
0059 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
005a 02c7       |    |		Declare_Variable	Any
005b 00d8       |    |		Load_Top	At_Offset_0
005c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
005d e004       |    |		Load	0x0,0x4								; Debug Table 0x2.0x2 = 0x5d,0xfffd
005e 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
005f 02c7       |    |		Declare_Variable	Any
0060 e004       |    |		Load	0x0,0x4
0061 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0062 c604       |    |		Store	0x3,0x4
0063 e005       |    |		Load	0x0,0x5								; Debug Table 0x2.0x3 = 0x63,0xfffc
0064 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0065 02c7       |    |		Declare_Variable	Any
0066 00d8       |    |		Load_Top	At_Offset_0
0067 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0068 e002       |    |		Load	0x0,0x2								; Debug Table 0x2.0x4 = 0x68,0xfffb
0069 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
006a e002       |    |		Load	0x0,0x2								; Debug Table 0x2.0x5 = 0x6a,0xfffa
006b 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
006c 6297       |b   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}		; Debug Table 0x2.0x6 = 0x6c,0xfff9
006d 485d       |H]  |		Short_Literal	0x5d
006e e006       |    |		Load	0x0,0x6
006f 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0070 e004       |    |		Load	0x0,0x4
0071 1b2c       | ,  |		Execute	Package,Field_Read,Field_Number 0x2c
0072 0387       |    |		Declare_Variable	Package
0073 00d8       |    |		Load_Top	At_Offset_0
0074 020f       |    |		Execute	Module,Activate
0075			BODY_0050:
0075 00be       |    |		Action	Activate_Tasks
0076 0092 030c  |    |		Action	Push_String_Extended,0x30c					; "Test Read and Write of Bounded Strings"
													; Debug Table 0x2.0x7 = 0x76,0x1
0078 e001       |    |		Load	0x0,0x1
0079 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
007a e007       |    |		Load	0x0,0x7								; Debug Table 0x2.0x8 = 0x7a,0x2
007b 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
007c e005       |    |		Load	0x0,0x5
007d 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
007e c605       |    |		Store	0x3,0x5
007f 0092 030d  |    |		Action	Push_String_Extended,0x30d					; "Read and open a file"
													; Debug Table 0x2.0x9 = 0x7f,0x3
0081 e001       |    |		Load	0x0,0x1
0082 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0083 e002       |    |		Load	0x0,0x2								; Debug Table 0x2.0xa = 0x83,0x4
0084 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0085 e602       |    |		Load	0x3,0x2
0086 e005       |    |		Load	0x0,0x5
0087 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0088 4800       |H   |		Short_Literal	0x0
0089 4800       |H   |		Short_Literal	0x0
008a e004       |    |		Load	0x0,0x4
008b 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
008c 4800       |H   |		Short_Literal	0x0
008d 4800       |H   |		Short_Literal	0x0
008e e008       |    |		Load	0x0,0x8
008f 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0090 4800       |H   |		Short_Literal	0x0
0091 e009       |    |		Load	0x0,0x9
0092 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
0093 e004       |    |		Load	0x0,0x4
0094 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
0095 00d1       |    |		Pop_Control	Pop_Count_1
0096 005b       | [  |		Store_Top	Discrete,At_Offset_3
0097 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x2.0xb = 0x97,0x5
0098 0092 030e  |    |		Action	Push_String_Extended,0x30e					; "Create"
009a e402       |    |		Load	0x2,0x2
009b 4803       |H   |		Short_Literal	0x3
009c 4802       |H   |		Short_Literal	0x2
009d 0099       |    |		Action	Reference_Dynamic
009e e001       |    |		Load	0x0,0x1
009f 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
00a0 e002       |    |		Load	0x0,0x2								; Debug Table 0x2.0xc = 0xa0,0x6
00a1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00a2 e603       |    |		Load	0x3,0x3
00a3 0120       |    |		Execute	Any,Is_Value
00a4 6803       |h   |		Jump_Zero	0xa8
00a5 e004       |    |		Load	0x0,0x4
00a6 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
00a7 7801       |x   |		Jump	0xa9
00a8 e603       |    |		Load	0x3,0x3
00a9 e605       |    |		Load	0x3,0x5
00aa 4800       |H   |		Short_Literal	0x0
00ab 4802       |H   |		Short_Literal	0x2
00ac e602       |    |		Load	0x3,0x2
00ad e004       |    |		Load	0x0,0x4
00ae 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00af c603       |    |		Store	0x3,0x3
00b0 005a       | Z  |		Store_Top	Discrete,At_Offset_2
00b1 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x2.0xd = 0xb1,0x7
00b2 0092 030f  |    |		Action	Push_String_Extended,0x30f					; "Open"
00b4 e406       |    |		Load	0x2,0x6
00b5 4807       |H   |		Short_Literal	0x7
00b6 4802       |H   |		Short_Literal	0x2
00b7 0099       |    |		Action	Reference_Dynamic
00b8 e001       |    |		Load	0x0,0x1
00b9 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
00ba e004       |    |		Load	0x0,0x4								; Debug Table 0x2.0xe = 0xba,0x8
00bb 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
00bc c604       |    |		Store	0x3,0x4
00bd 480a       |H   |		Short_Literal	0xa							; Debug Table 0x2.0xf = 0xbd,0x9
00be 4801       |H   |		Short_Literal	0x1
00bf 0007       |    |		Action	Break_Optional
00c0 480c       |H   |		Short_Literal	0xc							; Debug Table 0x2.0x10 = 0xc0,0xa
00c1 4801       |H   |		Short_Literal	0x1
00c2 0007       |    |		Action	Break_Optional
00c3 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x2.0x11 = 0xc3,0xb
00c4 e00a       |    |		Load	0x0,0xa
00c5 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
00c6 01d7       |    |		Execute	Vector,Field_Read
00c7 0227       | '  |		Execute	Access,All_Reference
00c8 e604       |    |		Load	0x3,0x4
00c9 e603       |    |		Load	0x3,0x3
00ca e608       |    |		Load	0x3,0x8
00cb 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
00cc e604       |    |		Load	0x3,0x4								; Debug Table 0x2.0x12 = 0xcc,0xc
00cd e603       |    |		Load	0x3,0x3
00ce e608       |    |		Load	0x3,0x8
00cf 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00d0 c604       |    |		Store	0x3,0x4
00d1 3ff1       |?   |		Loop_Increasing	0xc3
00d2 3fed       |?   |		Loop_Increasing	0xc0
00d3 0092 0310  |    |		Action	Push_String_Extended,0x310					; "Write Finished."
													; Debug Table 0x2.0x13 = 0xd3,0xd
00d5 e001       |    |		Load	0x0,0x1
00d6 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
00d7 e004       |    |		Load	0x0,0x4								; Debug Table 0x2.0x14 = 0xd7,0xe
00d8 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
00d9 c604       |    |		Store	0x3,0x4
00da 480a       |H   |		Short_Literal	0xa							; Debug Table 0x2.0x15 = 0xda,0xf
00db 4801       |H   |		Short_Literal	0x1
00dc 0007       |    |		Action	Break_Optional
00dd 480c       |H   |		Short_Literal	0xc							; Debug Table 0x2.0x16 = 0xdd,0x10
00de 4801       |H   |		Short_Literal	0x1
00df 0007       |    |		Action	Break_Optional
00e0 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x2.0x17 = 0xe0,0x11
00e1 e00a       |    |		Load	0x0,0xa
00e2 1b12       |    |		Execute	Package,Field_Read,Field_Number 0x12
00e3 01d7       |    |		Execute	Vector,Field_Read
00e4 0227       | '  |		Execute	Access,All_Reference
00e5 e604       |    |		Load	0x3,0x4
00e6 e603       |    |		Load	0x3,0x3
00e7 e608       |    |		Load	0x3,0x8
00e8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00e9 016e       | n  |		Execute	Variant_Record,Not_Equal
00ea 6804       |h   |		Jump_Zero	0xef
00eb 0092 0311  |    |		Action	Push_String_Extended,0x311					; "Read Failed"
													; Debug Table 0x2.0x18 = 0xeb,0x12
00ed e001       |    |		Load	0x0,0x1
00ee 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00ef e604       |    |		Load	0x3,0x4								; Debug Table 0x2.0x19 = 0xef,0x13
00f0 e603       |    |		Load	0x3,0x3
00f1 e608       |    |		Load	0x3,0x8
00f2 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00f3 c604       |    |		Store	0x3,0x4
00f4 3feb       |?   |		Loop_Increasing	0xe0
00f5 3fe7       |?   |		Loop_Increasing	0xdd
00f6 0092 0312  |    |		Action	Push_String_Extended,0x312					; "Read Finished"
													; Debug Table 0x2.0x1a = 0xf6,0x14
00f8 e001       |    |		Load	0x0,0x1
00f9 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
00fa e002       |    |		Load	0x0,0x2								; Debug Table 0x2.0x1b = 0xfa,0x15
00fb 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00fc e603       |    |		Load	0x3,0x3
00fd 4800       |H   |		Short_Literal	0x0
00fe e004       |    |		Load	0x0,0x4
00ff 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
0100 c603       |    |		Store	0x3,0x3
0101 005a       | Z  |		Store_Top	Discrete,At_Offset_2
0102 00d9       |    |		Load_Top	At_Offset_1						; Debug Table 0x2.0x1c = 0x102,0x16
0103 0092 0313  |    |		Action	Push_String_Extended,0x313					; "Close"
0105 e406       |    |		Load	0x2,0x6
0106 4807       |H   |		Short_Literal	0x7
0107 4802       |H   |		Short_Literal	0x2
0108 0099       |    |		Action	Reference_Dynamic
0109 e001       |    |		Load	0x0,0x1
010a 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
010b 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x2.0x1d = 0x10b,0x17
010c 4801       |H   |		Short_Literal	0x1
010d 4800       |H   |		Short_Literal	0x0
010e e005       |    |		Load	0x0,0x5
010f 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0110 c605       |    |		Store	0x3,0x5
0111 0092 0314  |    |		Action	Push_String_Extended,0x314					; "Bounded Test Done"
													; Debug Table 0x2.0x1e = 0x111,0x18
0113 e001       |    |		Load	0x0,0x1
0114 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0115 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0116			TRAP_0050:
0116 0007       |    |		Action	Break_Optional
0117 0092 0315  |    |		Action	Push_String_Extended,0x315					; "Exception: "
													; Debug Table 0x2.0x1f = 0x117,0x19
0119 e003       |    |		Load	0x0,0x3
011a 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
011b 01cc       |    |		Execute	Vector,Catenate
011c e001       |    |		Load	0x0,0x1
011d 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
011e e605       |    |		Load	0x3,0x5								; Debug Table 0x2.0x20 = 0x11e,0x1a
011f 4801       |H   |		Short_Literal	0x1
0120 4800       |H   |		Short_Literal	0x0
0121 e005       |    |		Load	0x0,0x5
0122 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0123 c605       |    |		Store	0x3,0x5
0124 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0125 0000 0000  |    |		.XXX[0x3]
0127 0000       |    |
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 0150       | P  |		.CONST	0x0150								; Address of begin
0129 01ed       |    |		.CONST	0x01ed								; Address of exception handler
012a 0009       |    |		.CONST	0x0009								; Number of locals
012b			INIT_0128:
012b e004       |    |		Load	0x0,0x4								; Debug Table 0x3 = .DEBUG	0x012b,0x047a,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x013a
													; Debug Table 0x3.0x0 = 0x12b,0xffff
012c 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
012d 02ff       |    |		Declare_Variable	Variant_Record
012e 00d8       |    |		Load_Top	At_Offset_0
012f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0130 e004       |    |		Load	0x0,0x4								; Debug Table 0x3.0x1 = 0x130,0xfffe
0131 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0132 02c7       |    |		Declare_Variable	Any
0133 00d8       |    |		Load_Top	At_Offset_0
0134 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0135 e004       |    |		Load	0x0,0x4								; Debug Table 0x3.0x2 = 0x135,0xfffd
0136 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0137 02c7       |    |		Declare_Variable	Any
0138 e004       |    |		Load	0x0,0x4
0139 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
013a c604       |    |		Store	0x3,0x4
013b e005       |    |		Load	0x0,0x5								; Debug Table 0x3.0x3 = 0x13b,0xfffc
013c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
013d 02c7       |    |		Declare_Variable	Any
013e 00d8       |    |		Load_Top	At_Offset_0
013f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0140 e002       |    |		Load	0x0,0x2								; Debug Table 0x3.0x4 = 0x140,0xfffb
0141 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0142 e002       |    |		Load	0x0,0x2								; Debug Table 0x3.0x5 = 0x142,0xfffa
0143 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0144 4825       |H%  |		Short_Literal	0x25							; Debug Table 0x3.0x6 = 0x144,0xfff9
0145 e006       |    |		Load	0x0,0x6
0146 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0147 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0148 61bb       |a   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}		; Debug Table 0x3.0x7 = 0x148,0xfff8
0149 4974       |It  |		Short_Literal	0x174
014a 00da       |    |		Load_Top	At_Offset_2
014b e004       |    |		Load	0x0,0x4
014c 1b2c       | ,  |		Execute	Package,Field_Read,Field_Number 0x2c
014d 0387       |    |		Declare_Variable	Package
014e 00d8       |    |		Load_Top	At_Offset_0
014f 020f       |    |		Execute	Module,Activate
0150			BODY_0128:
0150 00be       |    |		Action	Activate_Tasks
0151 0092 0316  |    |		Action	Push_String_Extended,0x316					; "Test read/write of constrained subtype of Bounded"
													; Debug Table 0x3.0x8 = 0x151,0x1
0153 e001       |    |		Load	0x0,0x1
0154 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0155 e007       |    |		Load	0x0,0x7								; Debug Table 0x3.0x9 = 0x155,0x2
0156 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0157 e005       |    |		Load	0x0,0x5
0158 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
0159 c605       |    |		Store	0x3,0x5
015a 0092 0317  |    |		Action	Push_String_Extended,0x317					; "Create and open a file"
													; Debug Table 0x3.0xa = 0x15a,0x3
015c e001       |    |		Load	0x0,0x1
015d 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
015e e002       |    |		Load	0x0,0x2								; Debug Table 0x3.0xb = 0x15e,0x4
015f 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0160 e602       |    |		Load	0x3,0x2
0161 e005       |    |		Load	0x0,0x5
0162 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0163 4800       |H   |		Short_Literal	0x0
0164 4800       |H   |		Short_Literal	0x0
0165 e004       |    |		Load	0x0,0x4
0166 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0167 4800       |H   |		Short_Literal	0x0
0168 4800       |H   |		Short_Literal	0x0
0169 e008       |    |		Load	0x0,0x8
016a 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
016b 4800       |H   |		Short_Literal	0x0
016c e009       |    |		Load	0x0,0x9
016d 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
016e e004       |    |		Load	0x0,0x4
016f 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
0170 00d1       |    |		Pop_Control	Pop_Count_1
0171 c606       |    |		Store	0x3,0x6
0172 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x3.0xc = 0x172,0x5
0173 0092 030e  |    |		Action	Push_String_Extended,0x30e					; "Create"
0175 e402       |    |		Load	0x2,0x2
0176 4803       |H   |		Short_Literal	0x3
0177 4802       |H   |		Short_Literal	0x2
0178 0099       |    |		Action	Reference_Dynamic
0179 e001       |    |		Load	0x0,0x1
017a 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
017b e002       |    |		Load	0x0,0x2								; Debug Table 0x3.0xd = 0x17b,0x6
017c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
017d e603       |    |		Load	0x3,0x3
017e 0120       |    |		Execute	Any,Is_Value
017f 6803       |h   |		Jump_Zero	0x183
0180 e004       |    |		Load	0x0,0x4
0181 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0182 7801       |x   |		Jump	0x184
0183 e603       |    |		Load	0x3,0x3
0184 e605       |    |		Load	0x3,0x5
0185 4800       |H   |		Short_Literal	0x0
0186 4802       |H   |		Short_Literal	0x2
0187 e602       |    |		Load	0x3,0x2
0188 e004       |    |		Load	0x0,0x4
0189 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
018a c603       |    |		Store	0x3,0x3
018b 005b       | [  |		Store_Top	Discrete,At_Offset_3
018c 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3.0xe = 0x18c,0x7
018d 0092 030f  |    |		Action	Push_String_Extended,0x30f					; "Open"
018f e406       |    |		Load	0x2,0x6
0190 4807       |H   |		Short_Literal	0x7
0191 4802       |H   |		Short_Literal	0x2
0192 0099       |    |		Action	Reference_Dynamic
0193 e001       |    |		Load	0x0,0x1
0194 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
0195 e004       |    |		Load	0x0,0x4								; Debug Table 0x3.0xf = 0x195,0x8
0196 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0197 c604       |    |		Store	0x3,0x4
0198 480c       |H   |		Short_Literal	0xc							; Debug Table 0x3.0x10 = 0x198,0x9
0199 4801       |H   |		Short_Literal	0x1
019a 0007       |    |		Action	Break_Optional
019b 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x3.0x11 = 0x19b,0xa
019c e00a       |    |		Load	0x0,0xa
019d 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
019e 01d5       |    |		Execute	Vector,Field_Reference
019f e006       |    |		Load	0x0,0x6
01a0 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
01a1 e608       |    |		Load	0x3,0x8
01a2 0161       | a  |		Execute	Variant_Record,Check_In_Formal_Type
01a3 e604       |    |		Load	0x3,0x4
01a4 e603       |    |		Load	0x3,0x3
01a5 e609       |    |		Load	0x3,0x9
01a6 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01a7 e604       |    |		Load	0x3,0x4								; Debug Table 0x3.0x12 = 0x1a7,0xb
01a8 e603       |    |		Load	0x3,0x3
01a9 e609       |    |		Load	0x3,0x9
01aa 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
01ab c604       |    |		Store	0x3,0x4
01ac 3fee       |?   |		Loop_Increasing	0x19b
01ad 0092 0310  |    |		Action	Push_String_Extended,0x310					; "Write Finished."
													; Debug Table 0x3.0x13 = 0x1ad,0xc
01af e001       |    |		Load	0x0,0x1
01b0 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
01b1 e004       |    |		Load	0x0,0x4								; Debug Table 0x3.0x14 = 0x1b1,0xd
01b2 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01b3 c604       |    |		Store	0x3,0x4
01b4 480c       |H   |		Short_Literal	0xc							; Debug Table 0x3.0x15 = 0x1b4,0xe
01b5 4801       |H   |		Short_Literal	0x1
01b6 0007       |    |		Action	Break_Optional
01b7 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x3.0x16 = 0x1b7,0xf
01b8 e00a       |    |		Load	0x0,0xa
01b9 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01ba 01d5       |    |		Execute	Vector,Field_Reference
01bb e604       |    |		Load	0x3,0x4
01bc e603       |    |		Load	0x3,0x3
01bd e609       |    |		Load	0x3,0x9
01be 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01bf e006       |    |		Load	0x0,0x6
01c0 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
01c1 01de       |    |		Execute	Vector,Not_Equal
01c2 6804       |h   |		Jump_Zero	0x1c7
01c3 0092 0311  |    |		Action	Push_String_Extended,0x311					; "Read Failed"
													; Debug Table 0x3.0x17 = 0x1c3,0x10
01c5 e001       |    |		Load	0x0,0x1
01c6 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01c7 e604       |    |		Load	0x3,0x4								; Debug Table 0x3.0x18 = 0x1c7,0x11
01c8 e603       |    |		Load	0x3,0x3
01c9 e609       |    |		Load	0x3,0x9
01ca 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
01cb c604       |    |		Store	0x3,0x4
01cc 3fea       |?   |		Loop_Increasing	0x1b7
01cd 0092 0312  |    |		Action	Push_String_Extended,0x312					; "Read Finished"
													; Debug Table 0x3.0x19 = 0x1cd,0x12
01cf e001       |    |		Load	0x0,0x1
01d0 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
01d1 e002       |    |		Load	0x0,0x2								; Debug Table 0x3.0x1a = 0x1d1,0x13
01d2 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d3 e603       |    |		Load	0x3,0x3
01d4 4800       |H   |		Short_Literal	0x0
01d5 e004       |    |		Load	0x0,0x4
01d6 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
01d7 c603       |    |		Store	0x3,0x3
01d8 005b       | [  |		Store_Top	Discrete,At_Offset_3
01d9 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x3.0x1b = 0x1d9,0x14
01da 0092 0313  |    |		Action	Push_String_Extended,0x313					; "Close"
01dc e406       |    |		Load	0x2,0x6
01dd 4807       |H   |		Short_Literal	0x7
01de 4802       |H   |		Short_Literal	0x2
01df 0099       |    |		Action	Reference_Dynamic
01e0 e001       |    |		Load	0x0,0x1
01e1 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
01e2 e605       |    |		Load	0x3,0x5								; Debug Table 0x3.0x1c = 0x1e2,0x15
01e3 4801       |H   |		Short_Literal	0x1
01e4 4800       |H   |		Short_Literal	0x0
01e5 e005       |    |		Load	0x0,0x5
01e6 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01e7 c605       |    |		Store	0x3,0x5
01e8 0092 0318  |    |		Action	Push_String_Extended,0x318					; "Constrained Test Done"
													; Debug Table 0x3.0x1d = 0x1e8,0x16
01ea e001       |    |		Load	0x0,0x1
01eb 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
01ec 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01ed			TRAP_0128:
01ed 0007       |    |		Action	Break_Optional
01ee 0092 0315  |    |		Action	Push_String_Extended,0x315					; "Exception: "
													; Debug Table 0x3.0x1e = 0x1ee,0x17
01f0 e003       |    |		Load	0x0,0x3
01f1 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
01f2 01cc       |    |		Execute	Vector,Catenate
01f3 e001       |    |		Load	0x0,0x1
01f4 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01f5 e605       |    |		Load	0x3,0x5								; Debug Table 0x3.0x1f = 0x1f5,0x18
01f6 4801       |H   |		Short_Literal	0x1
01f7 4800       |H   |		Short_Literal	0x0
01f8 e005       |    |		Load	0x0,0x5
01f9 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01fa c605       |    |		Store	0x3,0x5
01fb 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
01fc 0000 0000  |    |		.BLANK	0000[0x4]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 023a       | :  |		.CONST	0x023a								; Address of begin
0201 02f2       |    |		.CONST	0x02f2								; Address of exception handler
0202 000c       |    |		.CONST	0x000c								; Number of locals
0203			INIT_0200:
0203 e005       |    |		Load	0x0,0x5								; Debug Table 0x4 = .DEBUG	0x0203,0x04bc,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x0245
													; Debug Table 0x4.0x0 = 0x203,0xffff
0204 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0205 02c7       |    |		Declare_Variable	Any
0206 e007       |    |		Load	0x0,0x7
0207 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0208 e005       |    |		Load	0x0,0x5
0209 1814       |    |		Execute	Package,Field_Execute,Field_Number 0x14
020a c602       |    |		Store	0x3,0x2
020b 00e2       |    |		Load_Encached	Integer_Cache						; Debug Table 0x4.0x1 = 0x20b,0xfffe
020c 02a0       |    |		Declare_Subprogram	Null_Subprogram
020d 4801       |H   |		Short_Literal	0x1
020e 032d       | -  |		Declare_Type	Record,Defined
020f 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x2 = 0x20f,0xfffd
0210 02a0       |    |		Declare_Subprogram	Null_Subprogram
0211 03ad       |    |		Declare_Type	Heap_Access,Defined
0212 0007       |    |		Action	Break_Optional							; Debug Table 0x4.0x3 = 0x212,0xfffc
0213 00d8       |    |		Load_Top	At_Offset_0						; Debug Table 0x4.0x4 = 0x213,0xfffb
0214 0007       |    |		Action	Break_Optional
0215 e004       |    |		Load	0x0,0x4								; Debug Table 0x4.0x5 = 0x215,0xfffa
0216 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0217 02ff       |    |		Declare_Variable	Variant_Record
0218 00d8       |    |		Load_Top	At_Offset_0
0219 1c00       |    |		Execute_Immediate	Run_Utility,0x0
021a e004       |    |		Load	0x0,0x4								; Debug Table 0x4.0x6 = 0x21a,0xfff9
021b 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
021c 02c7       |    |		Declare_Variable	Any
021d 00d8       |    |		Load_Top	At_Offset_0
021e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
021f e004       |    |		Load	0x0,0x4								; Debug Table 0x4.0x7 = 0x21f,0xfff8
0220 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0221 02c7       |    |		Declare_Variable	Any
0222 e004       |    |		Load	0x0,0x4
0223 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0224 c608       |    |		Store	0x3,0x8
0225 e002       |    |		Load	0x0,0x2								; Debug Table 0x4.0x8 = 0x225,0xfff7
0226 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0227 e002       |    |		Load	0x0,0x2								; Debug Table 0x4.0x9 = 0x227,0xfff6
0228 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0229 60da       |`   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}		; Debug Table 0x4.0xa = 0x229,0xfff5
022a 4a8c       |J   |		Short_Literal	0x28c
022b e603       |    |		Load	0x3,0x3
022c e004       |    |		Load	0x0,0x4
022d 1b2c       | ,  |		Execute	Package,Field_Read,Field_Number 0x2c
022e 0387       |    |		Declare_Variable	Package
022f 00d8       |    |		Load_Top	At_Offset_0
0230 020f       |    |		Execute	Module,Activate
0231 60d2       |`   |		Indirect_Literal	Discrete,0x304,{0x00000000, 0x002cbbc4}		; Debug Table 0x4.0xb = 0x231,0xfff4
0232 4a94       |J   |		Short_Literal	0x294
0233 e603       |    |		Load	0x3,0x3
0234 e604       |    |		Load	0x3,0x4
0235 e004       |    |		Load	0x0,0x4
0236 1b2d       | -  |		Execute	Package,Field_Read,Field_Number 0x2d
0237 0387       |    |		Declare_Variable	Package
0238 00d8       |    |		Load_Top	At_Offset_0
0239 020f       |    |		Execute	Module,Activate
023a			BODY_0200:
023a 00be       |    |		Action	Activate_Tasks
023b 0092 0319  |    |		Action	Push_String_Extended,0x319					; "Check access operations"
													; Debug Table 0x4.0xc = 0x23b,0x1
023d e001       |    |		Load	0x0,0x1
023e 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
023f e002       |    |		Load	0x0,0x2								; Debug Table 0x4.0xd = 0x23f,0x2
0240 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0241 e606       |    |		Load	0x3,0x6
0242 e005       |    |		Load	0x0,0x5
0243 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0244 4800       |H   |		Short_Literal	0x0
0245 4800       |H   |		Short_Literal	0x0
0246 e004       |    |		Load	0x0,0x4
0247 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0248 4800       |H   |		Short_Literal	0x0
0249 4800       |H   |		Short_Literal	0x0
024a e008       |    |		Load	0x0,0x8
024b 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
024c 4800       |H   |		Short_Literal	0x0
024d e009       |    |		Load	0x0,0x9
024e 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
024f e004       |    |		Load	0x0,0x4
0250 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
0251 00d1       |    |		Pop_Control	Pop_Count_1
0252 c609       |    |		Store	0x3,0x9
0253 00db       |    |		Load_Top	At_Offset_3						; Debug Table 0x4.0xe = 0x253,0x3
0254 0092 030e  |    |		Action	Push_String_Extended,0x30e					; "Create"
0256 e402       |    |		Load	0x2,0x2
0257 4803       |H   |		Short_Literal	0x3
0258 4802       |H   |		Short_Literal	0x2
0259 0099       |    |		Action	Reference_Dynamic
025a e001       |    |		Load	0x0,0x1
025b 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
025c e002       |    |		Load	0x0,0x2								; Debug Table 0x4.0xf = 0x25c,0x4
025d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
025e e607       |    |		Load	0x3,0x7
025f 0120       |    |		Execute	Any,Is_Value
0260 6803       |h   |		Jump_Zero	0x264
0261 e004       |    |		Load	0x0,0x4
0262 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0263 7801       |x   |		Jump	0x265
0264 e607       |    |		Load	0x3,0x7
0265 e602       |    |		Load	0x3,0x2
0266 4800       |H   |		Short_Literal	0x0
0267 4802       |H   |		Short_Literal	0x2
0268 e606       |    |		Load	0x3,0x6
0269 e004       |    |		Load	0x0,0x4
026a 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
026b c607       |    |		Store	0x3,0x7
026c 005b       | [  |		Store_Top	Discrete,At_Offset_3
026d 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x4.0x10 = 0x26d,0x5
026e 0092 030f  |    |		Action	Push_String_Extended,0x30f					; "Open"
0270 e406       |    |		Load	0x2,0x6
0271 4807       |H   |		Short_Literal	0x7
0272 4802       |H   |		Short_Literal	0x2
0273 0099       |    |		Action	Reference_Dynamic
0274 e001       |    |		Load	0x0,0x1
0275 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
0276 0092 031a  |    |		Action	Push_String_Extended,0x31a					; "Initialize file"
													; Debug Table 0x4.0x11 = 0x276,0x6
0278 e001       |    |		Load	0x0,0x1
0279 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
027a 4be8       |K   |		Short_Literal	0x3e8							; Debug Table 0x4.0x12 = 0x27a,0x7
027b 4801       |H   |		Short_Literal	0x1
027c 0007       |    |		Action	Break_Optional
027d e603       |    |		Load	0x3,0x3								; Debug Table 0x4.0x13 = 0x27d,0x8
027e 0322       | "  |		Declare_Variable	Record
027f 00d9       |    |		Load_Top	At_Offset_1
0280 00d9       |    |		Load_Top	At_Offset_1
0281 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
0282 e608       |    |		Load	0x3,0x8
0283 e607       |    |		Load	0x3,0x7
0284 e60b       |    |		Load	0x3,0xb
0285 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0286 e608       |    |		Load	0x3,0x8								; Debug Table 0x4.0x14 = 0x286,0x9
0287 e607       |    |		Load	0x3,0x7
0288 e60b       |    |		Load	0x3,0xb
0289 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
028a c608       |    |		Store	0x3,0x8
028b 3ff1       |?   |		Loop_Increasing	0x27d
028c 0092 031b  |    |		Action	Push_String_Extended,0x31b					; "Read file and alter values"
													; Debug Table 0x4.0x15 = 0x28c,0xa
028e e001       |    |		Load	0x0,0x1
028f 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
0290 e004       |    |		Load	0x0,0x4								; Debug Table 0x4.0x16 = 0x290,0xb
0291 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0292 c608       |    |		Store	0x3,0x8
0293 4be8       |K   |		Short_Literal	0x3e8							; Debug Table 0x4.0x17 = 0x293,0xc
0294 4801       |H   |		Short_Literal	0x1
0295 0007       |    |		Action	Break_Optional
0296 e608       |    |		Load	0x3,0x8								; Debug Table 0x4.0x18 = 0x296,0xd
0297 e607       |    |		Load	0x3,0x7
0298 e60c       |    |		Load	0x3,0xc
0299 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
029a a605       |    |		Store_Unchecked	0x3,0x5
029b e605       |    |		Load	0x3,0x5								; Debug Table 0x4.0x19 = 0x29b,0xe
029c 0217       |    |		Execute	Heap_Access,All_Reference
029d 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
029e 00d9       |    |		Load_Top	At_Offset_1
029f 027e       | ~  |		Execute	Discrete,Not_Equal
02a0 6804       |h   |		Jump_Zero	0x2a5
02a1 0092 031c  |    |		Action	Push_String_Extended,0x31c					; "Access read failed"
													; Debug Table 0x4.0x1a = 0x2a1,0xf
02a3 e001       |    |		Load	0x0,0x1
02a4 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02a5 e605       |    |		Load	0x3,0x5								; Debug Table 0x4.0x1b = 0x2a5,0x10
02a6 0217       |    |		Execute	Heap_Access,All_Reference
02a7 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02a8 0901       |    |		Execute_Immediate	Binary_Scale,0x1
02a9 0248       | H  |		Execute	Discrete,Check_In_Integer
02aa 0a61       | a  |		Execute_Immediate	Plus,0x61
02ab e605       |    |		Load	0x3,0x5
02ac 0217       |    |		Execute	Heap_Access,All_Reference
02ad 3800       |8   |		Execute	Record,Field_Write,Field_Number 0x0
02ae e608       |    |		Load	0x3,0x8								; Debug Table 0x4.0x1c = 0x2ae,0x11
02af e607       |    |		Load	0x3,0x7
02b0 e60b       |    |		Load	0x3,0xb
02b1 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
02b2 c608       |    |		Store	0x3,0x8
02b3 3fe2       |?   |		Loop_Increasing	0x296
02b4 0092 031d  |    |		Action	Push_String_Extended,0x31d					; "Read file again"
													; Debug Table 0x4.0x1d = 0x2b4,0x12
02b6 e001       |    |		Load	0x0,0x1
02b7 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
02b8 e004       |    |		Load	0x0,0x4								; Debug Table 0x4.0x1e = 0x2b8,0x13
02b9 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
02ba c608       |    |		Store	0x3,0x8
02bb 4be8       |K   |		Short_Literal	0x3e8							; Debug Table 0x4.0x1f = 0x2bb,0x14
02bc 4801       |H   |		Short_Literal	0x1
02bd 0007       |    |		Action	Break_Optional
02be e608       |    |		Load	0x3,0x8								; Debug Table 0x4.0x20 = 0x2be,0x15
02bf e607       |    |		Load	0x3,0x7
02c0 e60c       |    |		Load	0x3,0xc
02c1 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02c2 a605       |    |		Store_Unchecked	0x3,0x5
02c3 e605       |    |		Load	0x3,0x5								; Debug Table 0x4.0x21 = 0x2c3,0x16
02c4 0217       |    |		Execute	Heap_Access,All_Reference
02c5 3c00       |<   |		Execute	Record,Field_Read,Field_Number 0x0
02c6 00d9       |    |		Load_Top	At_Offset_1
02c7 0901       |    |		Execute_Immediate	Binary_Scale,0x1
02c8 0248       | H  |		Execute	Discrete,Check_In_Integer
02c9 0a61       | a  |		Execute_Immediate	Plus,0x61
02ca 027e       | ~  |		Execute	Discrete,Not_Equal
02cb 6804       |h   |		Jump_Zero	0x2d0
02cc 0092 031c  |    |		Action	Push_String_Extended,0x31c					; "Access read failed"
													; Debug Table 0x4.0x22 = 0x2cc,0x17
02ce e001       |    |		Load	0x0,0x1
02cf 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02d0 e608       |    |		Load	0x3,0x8								; Debug Table 0x4.0x23 = 0x2d0,0x18
02d1 e607       |    |		Load	0x3,0x7
02d2 e60b       |    |		Load	0x3,0xb
02d3 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
02d4 c608       |    |		Store	0x3,0x8
02d5 3fe8       |?   |		Loop_Increasing	0x2be
02d6 e002       |    |		Load	0x0,0x2								; Debug Table 0x4.0x24 = 0x2d6,0x19
02d7 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
02d8 e607       |    |		Load	0x3,0x7
02d9 4800       |H   |		Short_Literal	0x0
02da e004       |    |		Load	0x0,0x4
02db 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
02dc c607       |    |		Store	0x3,0x7
02dd 005b       | [  |		Store_Top	Discrete,At_Offset_3
02de 00da       |    |		Load_Top	At_Offset_2						; Debug Table 0x4.0x25 = 0x2de,0x1a
02df 0092 0313  |    |		Action	Push_String_Extended,0x313					; "Close"
02e1 e406       |    |		Load	0x2,0x6
02e2 4807       |H   |		Short_Literal	0x7
02e3 4802       |H   |		Short_Literal	0x2
02e4 0099       |    |		Action	Reference_Dynamic
02e5 e001       |    |		Load	0x0,0x1
02e6 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
02e7 e602       |    |		Load	0x3,0x2								; Debug Table 0x4.0x26 = 0x2e7,0x1b
02e8 4801       |H   |		Short_Literal	0x1
02e9 4801       |H   |		Short_Literal	0x1
02ea e005       |    |		Load	0x0,0x5
02eb 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
02ec c602       |    |		Store	0x3,0x2
02ed 0092 031e  |    |		Action	Push_String_Extended,0x31e					; "Access Test Done"
													; Debug Table 0x4.0x27 = 0x2ed,0x1c
02ef e001       |    |		Load	0x0,0x1
02f0 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
02f1 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02f2			TRAP_0200:
02f2 0007       |    |		Action	Break_Optional
02f3 0092 0315  |    |		Action	Push_String_Extended,0x315					; "Exception: "
													; Debug Table 0x4.0x28 = 0x2f3,0x1d
02f5 e003       |    |		Load	0x0,0x3
02f6 180d       |    |		Execute	Package,Field_Execute,Field_Number 0xd
02f7 01cc       |    |		Execute	Vector,Catenate
02f8 e001       |    |		Load	0x0,0x1
02f9 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
02fa e602       |    |		Load	0x3,0x2								; Debug Table 0x4.0x29 = 0x2fa,0x1e
02fb 4801       |H   |		Short_Literal	0x1
02fc 4800       |H   |		Short_Literal	0x0
02fd e005       |    |		Load	0x0,0x5
02fe 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
02ff c602       |    |		Store	0x3,0x2
0300 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0301 0000 0000  |    |		.XXX[0x3]
0303 0000       |    |
0304 0000 0000  |    |		.LITERAL	{0x00000000, 0x002cbbc4}
0308 ; --------------------------------------------------------------------------------------
0308 ; STRING TABLE
0308 ; --------------------------------------------------------------------------------------
0308 0030       | 0  |		.STRTAB	0x0030->0x0320							; "FILE MANAGER TEST - extensive IO tests"
0309 0054       | T  |		.STRTAB	0x0054->0x0333							; "File_#1"
030a 0059       | Y  |		.STRTAB	0x0059->0x0336							; "Unhandled exception: "
030b 006c       | l  |		.STRTAB	0x006c->0x0341							; "."
030c 006b       | k  |		.STRTAB	0x006b->0x0341							; "Test Read and Write of Bounded Strings"
030d 008f       |    |		.STRTAB	0x008f->0x0354							; "Read and open a file"
030e 00a1       |    |		.STRTAB	0x00a1->0x035e							; "Create"
030f 00a5       |    |		.STRTAB	0x00a5->0x0361							; "Open"
0310 00a7       |    |		.STRTAB	0x00a7->0x0363							; "Write Finished."
0311 00b4       |    |		.STRTAB	0x00b4->0x036b							; "Read Failed"
0312 00bd       |    |		.STRTAB	0x00bd->0x0370							; "Read Finished"
0313 00c8       |    |		.STRTAB	0x00c8->0x0377							; "Close"
0314 00cb       |    |		.STRTAB	0x00cb->0x0379							; "Bounded Test Done"
0315 00da       |    |		.STRTAB	0x00da->0x0382							; "Exception: "
0316 00e3       |    |		.STRTAB	0x00e3->0x0387							; "Test read/write of constrained subtype of Bounded"
0317 0112       |    |		.STRTAB	0x0112->0x03a0							; "Create and open a file"
0318 0126       | &  |		.STRTAB	0x0126->0x03ab							; "Constrained Test Done"
0319 0139       | 9  |		.STRTAB	0x0139->0x03b5							; "Check access operations"
031a 014e       | N  |		.STRTAB	0x014e->0x03c1							; "Initialize file"
031b 015b       | [  |		.STRTAB	0x015b->0x03c8							; "Read file and alter values"
031c 0173       | s  |		.STRTAB	0x0173->0x03d5							; "Access read failed"
031d 0183       |    |		.STRTAB	0x0183->0x03de							; "Read file again"
031e 0190       |    |		.STRTAB	0x0190->0x03e6							; "Access Test Done"
031f 019e       |    |		.STREND 0x019e->0x03ee
0320 4649 4c45  |FILE|		.STRTAB_STRINGS
03ee 0000 0000  |    |		.XXX[0x2]
03f0 ; --------------------------------------------------------------------------------------
03f0 ; Debug Table
03f0 ; --------------------------------------------------------------------------------------
03f0 0003 0005  |    |		.CONST	0x0003,0x0005
03f2 000b 041a  |    |		.DEBUG	0x000b,0x041a,0x8000,0x0000,0x002c,0xbbc4,0x0000,0x001a
03fa 001b 041c  |    |		.DEBUG	0x001b,0x041c,0x8001,0x0000,0x002c,0xbbc4,0x0000,0x001a
0402 0053 0436  | S 6|		.DEBUG	0x0053,0x0436,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x0031
040a 012b 047a  | + z|		.DEBUG	0x012b,0x047a,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x013a
0412 0203 04bc  |    |		.DEBUG	0x0203,0x04bc,0x0001,0x0000,0x002c,0xbbc4,0x0000,0x0245
041a ; --------------------------------------------------------------------------------------
041a ; Debug3 Subtable 0x0
041a ; --------------------------------------------------------------------------------------
041a 0000 0000  |    |		.DBG3TAB	0x0000,0x0000
041c ; --------------------------------------------------------------------------------------
041c ; Debug3 Subtable 0x1
041c ; --------------------------------------------------------------------------------------
041c 0005 0007  |    |		.DBG3TAB	0x0005,0x0007
041e 001b ffff  |    |		.CONST	0x001b,0xffff
0420 0024 fffe  | $  |		.CONST	0x0024,0xfffe
0422 002d fffd  | -  |		.CONST	0x002d,0xfffd
0424 002f fffc  | /  |		.CONST	0x002f,0xfffc
0426 0031 fffb  | 1  |		.CONST	0x0031,0xfffb
0428 0033 0001  | 3  |		.CONST	0x0033,0x0001
042a 0039 0002  | 9  |		.CONST	0x0039,0x0002
042c 003a 0003  | :  |		.CONST	0x003a,0x0003
042e 003b 0004  | ;  |		.CONST	0x003b,0x0004
0430 003c 0005  | <  |		.CONST	0x003c,0x0005
0432 0040 0006  | @  |		.CONST	0x0040,0x0006
0434 004a 0007  | J  |		.CONST	0x004a,0x0007
0436 ; --------------------------------------------------------------------------------------
0436 ; Debug3 Subtable 0x2
0436 ; --------------------------------------------------------------------------------------
0436 0007 001a  |    |		.DBG3TAB	0x0007,0x001a
0438 0053 ffff  | S  |		.CONST	0x0053,0xffff
043a 0058 fffe  | X  |		.CONST	0x0058,0xfffe
043c 005d fffd  | ]  |		.CONST	0x005d,0xfffd
043e 0063 fffc  | c  |		.CONST	0x0063,0xfffc
0440 0068 fffb  | h  |		.CONST	0x0068,0xfffb
0442 006a fffa  | j  |		.CONST	0x006a,0xfffa
0444 006c fff9  | l  |		.CONST	0x006c,0xfff9
0446 0076 0001  | v  |		.CONST	0x0076,0x0001
0448 007a 0002  | z  |		.CONST	0x007a,0x0002
044a 007f 0003  |    |		.CONST	0x007f,0x0003
044c 0083 0004  |    |		.CONST	0x0083,0x0004
044e 0097 0005  |    |		.CONST	0x0097,0x0005
0450 00a0 0006  |    |		.CONST	0x00a0,0x0006
0452 00b1 0007  |    |		.CONST	0x00b1,0x0007
0454 00ba 0008  |    |		.CONST	0x00ba,0x0008
0456 00bd 0009  |    |		.CONST	0x00bd,0x0009
0458 00c0 000a  |    |		.CONST	0x00c0,0x000a
045a 00c3 000b  |    |		.CONST	0x00c3,0x000b
045c 00cc 000c  |    |		.CONST	0x00cc,0x000c
045e 00d3 000d  |    |		.CONST	0x00d3,0x000d
0460 00d7 000e  |    |		.CONST	0x00d7,0x000e
0462 00da 000f  |    |		.CONST	0x00da,0x000f
0464 00dd 0010  |    |		.CONST	0x00dd,0x0010
0466 00e0 0011  |    |		.CONST	0x00e0,0x0011
0468 00eb 0012  |    |		.CONST	0x00eb,0x0012
046a 00ef 0013  |    |		.CONST	0x00ef,0x0013
046c 00f6 0014  |    |		.CONST	0x00f6,0x0014
046e 00fa 0015  |    |		.CONST	0x00fa,0x0015
0470 0102 0016  |    |		.CONST	0x0102,0x0016
0472 010b 0017  |    |		.CONST	0x010b,0x0017
0474 0111 0018  |    |		.CONST	0x0111,0x0018
0476 0117 0019  |    |		.CONST	0x0117,0x0019
0478 011e 001a  |    |		.CONST	0x011e,0x001a
047a ; --------------------------------------------------------------------------------------
047a ; Debug3 Subtable 0x3
047a ; --------------------------------------------------------------------------------------
047a 0008 0018  |    |		.DBG3TAB	0x0008,0x0018
047c 012b ffff  | +  |		.CONST	0x012b,0xffff
047e 0130 fffe  | 0  |		.CONST	0x0130,0xfffe
0480 0135 fffd  | 5  |		.CONST	0x0135,0xfffd
0482 013b fffc  | ;  |		.CONST	0x013b,0xfffc
0484 0140 fffb  | @  |		.CONST	0x0140,0xfffb
0486 0142 fffa  | B  |		.CONST	0x0142,0xfffa
0488 0144 fff9  | D  |		.CONST	0x0144,0xfff9
048a 0148 fff8  | H  |		.CONST	0x0148,0xfff8
048c 0151 0001  | Q  |		.CONST	0x0151,0x0001
048e 0155 0002  | U  |		.CONST	0x0155,0x0002
0490 015a 0003  | Z  |		.CONST	0x015a,0x0003
0492 015e 0004  | ^  |		.CONST	0x015e,0x0004
0494 0172 0005  | r  |		.CONST	0x0172,0x0005
0496 017b 0006  | {  |		.CONST	0x017b,0x0006
0498 018c 0007  |    |		.CONST	0x018c,0x0007
049a 0195 0008  |    |		.CONST	0x0195,0x0008
049c 0198 0009  |    |		.CONST	0x0198,0x0009
049e 019b 000a  |    |		.CONST	0x019b,0x000a
04a0 01a7 000b  |    |		.CONST	0x01a7,0x000b
04a2 01ad 000c  |    |		.CONST	0x01ad,0x000c
04a4 01b1 000d  |    |		.CONST	0x01b1,0x000d
04a6 01b4 000e  |    |		.CONST	0x01b4,0x000e
04a8 01b7 000f  |    |		.CONST	0x01b7,0x000f
04aa 01c3 0010  |    |		.CONST	0x01c3,0x0010
04ac 01c7 0011  |    |		.CONST	0x01c7,0x0011
04ae 01cd 0012  |    |		.CONST	0x01cd,0x0012
04b0 01d1 0013  |    |		.CONST	0x01d1,0x0013
04b2 01d9 0014  |    |		.CONST	0x01d9,0x0014
04b4 01e2 0015  |    |		.CONST	0x01e2,0x0015
04b6 01e8 0016  |    |		.CONST	0x01e8,0x0016
04b8 01ee 0017  |    |		.CONST	0x01ee,0x0017
04ba 01f5 0018  |    |		.CONST	0x01f5,0x0018
04bc ; --------------------------------------------------------------------------------------
04bc ; Debug3 Subtable 0x4
04bc ; --------------------------------------------------------------------------------------
04bc 000c 001e  |    |		.DBG3TAB	0x000c,0x001e
04be 0203 ffff  |    |		.CONST	0x0203,0xffff
04c0 020b fffe  |    |		.CONST	0x020b,0xfffe
04c2 020f fffd  |    |		.CONST	0x020f,0xfffd
04c4 0212 fffc  |    |		.CONST	0x0212,0xfffc
04c6 0213 fffb  |    |		.CONST	0x0213,0xfffb
04c8 0215 fffa  |    |		.CONST	0x0215,0xfffa
04ca 021a fff9  |    |		.CONST	0x021a,0xfff9
04cc 021f fff8  |    |		.CONST	0x021f,0xfff8
04ce 0225 fff7  | %  |		.CONST	0x0225,0xfff7
04d0 0227 fff6  | '  |		.CONST	0x0227,0xfff6
04d2 0229 fff5  | )  |		.CONST	0x0229,0xfff5
04d4 0231 fff4  | 1  |		.CONST	0x0231,0xfff4
04d6 023b 0001  | ;  |		.CONST	0x023b,0x0001
04d8 023f 0002  | ?  |		.CONST	0x023f,0x0002
04da 0253 0003  | S  |		.CONST	0x0253,0x0003
04dc 025c 0004  | \  |		.CONST	0x025c,0x0004
04de 026d 0005  | m  |		.CONST	0x026d,0x0005
04e0 0276 0006  | v  |		.CONST	0x0276,0x0006
04e2 027a 0007  | z  |		.CONST	0x027a,0x0007
04e4 027d 0008  | }  |		.CONST	0x027d,0x0008
04e6 0286 0009  |    |		.CONST	0x0286,0x0009
04e8 028c 000a  |    |		.CONST	0x028c,0x000a
04ea 0290 000b  |    |		.CONST	0x0290,0x000b
04ec 0293 000c  |    |		.CONST	0x0293,0x000c
04ee 0296 000d  |    |		.CONST	0x0296,0x000d
04f0 029b 000e  |    |		.CONST	0x029b,0x000e
04f2 02a1 000f  |    |		.CONST	0x02a1,0x000f
04f4 02a5 0010  |    |		.CONST	0x02a5,0x0010
04f6 02ae 0011  |    |		.CONST	0x02ae,0x0011
04f8 02b4 0012  |    |		.CONST	0x02b4,0x0012
04fa 02b8 0013  |    |		.CONST	0x02b8,0x0013
04fc 02bb 0014  |    |		.CONST	0x02bb,0x0014
04fe 02be 0015  |    |		.CONST	0x02be,0x0015
0500 02c3 0016  |    |		.CONST	0x02c3,0x0016
0502 02cc 0017  |    |		.CONST	0x02cc,0x0017
0504 02d0 0018  |    |		.CONST	0x02d0,0x0018
0506 02d6 0019  |    |		.CONST	0x02d6,0x0019
0508 02de 001a  |    |		.CONST	0x02de,0x001a
050a 02e7 001b  |    |		.CONST	0x02e7,0x001b
050c 02ed 001c  |    |		.CONST	0x02ed,0x001c
050e 02f3 001d  |    |		.CONST	0x02f3,0x001d
0510 02fa 001e  |    |		.CONST	0x02fa,0x001e
0512 0000 0000  |    |		.BLANK	0000[0xee]