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

⟦ac9d0be1d⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0a7cf5

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 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0288       |    |		.CONST	0x0288								; 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 8001       |    |		.CONST	0x8001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 003d       | =  |		.CONST	0x003d								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0016       |    |		.CONST	0x0016								; Number of locals
000b			INIT_0008:
000b 029a 0043  |   C|		Declare_Subprogram	INIT_0040,For_Outer_Call,Visible,Unelaborated
000d 029a 0063  |   c|		Declare_Subprogram	INIT_0060,For_Outer_Call,Visible,Unelaborated
000f 029a 0083  |    |		Declare_Subprogram	INIT_0080,For_Outer_Call,Visible,Unelaborated
0011 00c4       |    |		Action	Make_Default
0012 00c4       |    |		Action	Make_Default
0013 00c4       |    |		Action	Make_Default
0014 00c4       |    |		Action	Make_Default
0015 00c4       |    |		Action	Make_Default
0016 00c4       |    |		Action	Make_Default
0017 00c4       |    |		Action	Make_Default
0018 029a 00e3  |    |		Declare_Subprogram	INIT_00e0,For_Outer_Call,Visible,Unelaborated
001a c216       |    |		Store	0x1,0x16
001b 029a 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated
001d c210       |    |		Store	0x1,0x10
001e 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
0020 c211       |    |		Store	0x1,0x11
0021 029a 0183  |    |		Declare_Subprogram	INIT_0180,For_Outer_Call,Visible,Unelaborated
0023 c212       |    |		Store	0x1,0x12
0024 029a 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call,Visible,Unelaborated
0026 c215       |    |		Store	0x1,0x15
0027 029a 020b  |    |		Declare_Subprogram	INIT_0208,For_Outer_Call,Visible,Unelaborated
0029 c214       |    |		Store	0x1,0x14
002a 00bf       |    |		Action	Accept_Activation
002b 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
002c 00c7       |    |		Action	Elaborate_Subprogram
002d 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe
002e 00c7       |    |		Action	Elaborate_Subprogram
002f 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
0030 00c7       |    |		Action	Elaborate_Subprogram
0031 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
0032 00c7       |    |		Action	Elaborate_Subprogram
0033 1d11       |    |		Execute_Immediate	Reference_Lex_1,0x11
0034 00c7       |    |		Action	Elaborate_Subprogram
0035 1d12       |    |		Execute_Immediate	Reference_Lex_1,0x12
0036 00c7       |    |		Action	Elaborate_Subprogram
0037 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0038 00c7       |    |		Action	Elaborate_Subprogram
0039 1d14       |    |		Execute_Immediate	Reference_Lex_1,0x14
003a 00c7       |    |		Action	Elaborate_Subprogram
003b 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
003c 00c7       |    |		Action	Elaborate_Subprogram
003d			BODY_0008:
003d 00bc       |    |		Action	Signal_Activated
003e 00bb       |    |		Action	Signal_Completion
003f 0000       |    |		.XXX[0x1]
0040 ; --------------------------------------------------------------------------------------
0040 ; SUBPROGRAM
0040 ; --------------------------------------------------------------------------------------
0040 004d       | M  |		.CONST	0x004d								; Address of begin
0041 0004       |    |		.CONST	0x0004								; Address of exception handler
0042 0004       |    |		.CONST	0x0004								; Number of locals
0043			INIT_0040:
0043 e001       |    |		Load	0x0,0x1
0044 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0045 02c7       |    |		Declare_Variable	Any
0046 00db       |    |		Load_Top	At_Offset_3
0047 e002       |    |		Load	0x0,0x2
0048 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0049 a402       |    |		Store_Unchecked	0x2,0x2
004a 00e1       |    |		Load_Encached	Boolean_Cache
004b e001       |    |		Load	0x0,0x1
004c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
004d			BODY_0040:
004d e001       |    |		Load	0x0,0x1
004e 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
004f 00e1       |    |		Load_Encached	Boolean_Cache
0050 600b       |`   |		Indirect_Literal	Discrete,0x5c,{0x00000000, 0x00004000}
0051 e003       |    |		Load	0x0,0x3
0052 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0053 e402       |    |		Load	0x2,0x2
0054 e001       |    |		Load	0x0,0x1
0055 1b3b       | ;  |		Execute	Package,Field_Read,Field_Number 0x3b
0056 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
0057 005b       | [  |		Store_Top	Discrete,At_Offset_3
0058 0059       | Y  |		Store_Top	Discrete,At_Offset_1
0059 00d9       |    |		Load_Top	At_Offset_1
005a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
005b 0000       |    |		.XXX[0x1]
005c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0060 ; --------------------------------------------------------------------------------------
0060 ; SUBPROGRAM
0060 ; --------------------------------------------------------------------------------------
0060 006d       | m  |		.CONST	0x006d								; Address of begin
0061 0004       |    |		.CONST	0x0004								; Address of exception handler
0062 0004       |    |		.CONST	0x0004								; Number of locals
0063			INIT_0060:
0063 e001       |    |		Load	0x0,0x1
0064 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0065 02c7       |    |		Declare_Variable	Any
0066 00db       |    |		Load_Top	At_Offset_3
0067 e002       |    |		Load	0x0,0x2
0068 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0069 a402       |    |		Store_Unchecked	0x2,0x2
006a 00e1       |    |		Load_Encached	Boolean_Cache
006b e001       |    |		Load	0x0,0x1
006c 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
006d			BODY_0060:
006d e001       |    |		Load	0x0,0x1
006e 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
006f 00e1       |    |		Load_Encached	Boolean_Cache
0070 67eb       |g   |		Indirect_Literal	Discrete,0x5c,{0x00000000, 0x00004000}
0071 e003       |    |		Load	0x0,0x3
0072 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0073 e402       |    |		Load	0x2,0x2
0074 e001       |    |		Load	0x0,0x1
0075 1b3b       | ;  |		Execute	Package,Field_Read,Field_Number 0x3b
0076 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
0077 005b       | [  |		Store_Top	Discrete,At_Offset_3
0078 0059       | Y  |		Store_Top	Discrete,At_Offset_1
0079 00d9       |    |		Load_Top	At_Offset_1
007a 0f00       |    |		Execute_Immediate	Equal,0x0
007b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
007c 0000 0000  |    |		.BLANK	0000[0x4]
0080 ; --------------------------------------------------------------------------------------
0080 ; SUBPROGRAM
0080 ; --------------------------------------------------------------------------------------
0080 009e       |    |		.CONST	0x009e								; Address of begin
0081 0004       |    |		.CONST	0x0004								; Address of exception handler
0082 0006       |    |		.CONST	0x0006								; Number of locals
0083			INIT_0080:
0083 e001       |    |		Load	0x0,0x1
0084 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0085 02c7       |    |		Declare_Variable	Any
0086 00db       |    |		Load_Top	At_Offset_3
0087 0092 024a  |   J|		Action	Push_String_Extended,0x24a					; ".state.model"
0089 01cc       |    |		Execute	Vector,Catenate
008a e002       |    |		Load	0x0,0x2
008b 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
008c a402       |    |		Store_Unchecked	0x2,0x2
008d e004       |    |		Load	0x0,0x4
008e 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
008f 02c7       |    |		Declare_Variable	Any
0090 00d8       |    |		Load_Top	At_Offset_0
0091 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0092 e001       |    |		Load	0x0,0x1
0093 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0094 02c7       |    |		Declare_Variable	Any
0095 00d8       |    |		Load_Top	At_Offset_0
0096 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0097 e001       |    |		Load	0x0,0x1
0098 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0099 e004       |    |		Load	0x0,0x4
009a 1b17       |    |		Execute	Package,Field_Read,Field_Number 0x17
009b 02c7       |    |		Declare_Variable	Any
009c 00d8       |    |		Load_Top	At_Offset_0
009d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
009e			BODY_0080:
009e 00be       |    |		Action	Activate_Tasks
009f e001       |    |		Load	0x0,0x1
00a0 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00a1 e403       |    |		Load	0x2,0x3
00a2 0120       |    |		Execute	Any,Is_Value
00a3 6803       |h   |		Jump_Zero	0xa7
00a4 e004       |    |		Load	0x0,0x4
00a5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00a6 7801       |x   |		Jump	0xa8
00a7 e403       |    |		Load	0x2,0x3
00a8 4801       |H   |		Short_Literal	0x1
00a9 4800       |H   |		Short_Literal	0x0
00aa e003       |    |		Load	0x0,0x3
00ab 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00ac e402       |    |		Load	0x2,0x2
00ad e004       |    |		Load	0x0,0x4
00ae 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
00af c403       |    |		Store	0x2,0x3
00b0 005a       | Z  |		Store_Top	Discrete,At_Offset_2
00b1 00d9       |    |		Load_Top	At_Offset_1
00b2 6802       |h   |		Jump_Zero	0xb5
00b3 00ea       |    |		Load_Encached	Null_String_Cache
00b4 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00b5 00d8       |    |		Load_Top	At_Offset_0
00b6 0120       |    |		Execute	Any,Is_Value
00b7 6803       |h   |		Jump_Zero	0xbb
00b8 e004       |    |		Load	0x0,0x4
00b9 1b17       |    |		Execute	Package,Field_Read,Field_Number 0x17
00ba 7801       |x   |		Jump	0xbc
00bb 00d8       |    |		Load_Top	At_Offset_0
00bc e403       |    |		Load	0x2,0x3
00bd e004       |    |		Load	0x0,0x4
00be 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
00bf c406       |    |		Store	0x2,0x6
00c0 00d8       |    |		Load_Top	At_Offset_0
00c1 e004       |    |		Load	0x0,0x4
00c2 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
00c3 6808       |h   |		Jump_Zero	0xcc
00c4 e001       |    |		Load	0x0,0x1
00c5 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00c6 e403       |    |		Load	0x2,0x3
00c7 e004       |    |		Load	0x0,0x4
00c8 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00c9 005a       | Z  |		Store_Top	Discrete,At_Offset_2
00ca 00ea       |    |		Load_Encached	Null_String_Cache
00cb 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00cc 00d8       |    |		Load_Top	At_Offset_0
00cd e004       |    |		Load	0x0,0x4
00ce 181a       |    |		Execute	Package,Field_Execute,Field_Number 0x1a
00cf c404       |    |		Store	0x2,0x4
00d0 e001       |    |		Load	0x0,0x1
00d1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00d2 e403       |    |		Load	0x2,0x3
00d3 e004       |    |		Load	0x0,0x4
00d4 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
00d5 005a       | Z  |		Store_Top	Discrete,At_Offset_2
00d6 00da       |    |		Load_Top	At_Offset_2
00d7 e001       |    |		Load	0x0,0x1
00d8 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
00d9 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
00da 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
00db 0000 0000  |    |		.BLANK	0000[0x5]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00f0       |    |		.CONST	0x00f0								; Address of begin
00e1 0113       |    |		.CONST	0x0113								; Address of exception handler
00e2 0004       |    |		.CONST	0x0004								; Number of locals
00e3			INIT_00e0:
00e3 e005       |    |		Load	0x0,0x5
00e4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
00e5 02c7       |    |		Declare_Variable	Any
00e6 00d8       |    |		Load_Top	At_Offset_0
00e7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00e8 603b       |`;  |		Indirect_Literal	Discrete,0x124,{0x00000000, 0x000007d0}
00e9 e006       |    |		Load	0x0,0x6
00ea 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
00eb 1c08       |    |		Execute_Immediate	Run_Utility,0x8
00ec 00d8       |    |		Load_Top	At_Offset_0
00ed 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00ee 029f 0243  |   C|		Declare_Subprogram	INIT_0240,For_Call
00f0			BODY_00e0:
00f0 00da       |    |		Load_Top	At_Offset_2
00f1 00ea       |    |		Load_Encached	Null_String_Cache
00f2 e5ff       |    |		Load	0x2,-0x1
00f3 0092 024b  |   K|		Action	Push_String_Extended,0x24b					; ".state.imports"
00f5 01cc       |    |		Execute	Vector,Catenate
00f6 4800       |H   |		Short_Literal	0x0
00f7 e005       |    |		Load	0x0,0x5
00f8 1815       |    |		Execute	Package,Field_Execute,Field_Number 0x15
00f9 c402       |    |		Store	0x2,0x2
00fa 00cf       |    |		Action	Mark_Auxiliary
00fb 780a       |x   |		Jump	0x106
00fc 00da       |    |		Load_Top	At_Offset_2
00fd 482c       |H,  |		Short_Literal	0x2c
00fe e402       |    |		Load	0x2,0x2
00ff e005       |    |		Load	0x0,0x5
0100 1866       | f  |		Execute	Package,Field_Execute,Field_Number 0x66
0101 01cb       |    |		Execute	Vector,Append
0102 e006       |    |		Load	0x0,0x6
0103 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
0104 00d1       |    |		Pop_Control	Pop_Count_1
0105 00c9       |    |		Action	Pop_Auxiliary_Loop
0106 00db       |    |		Load_Top	At_Offset_3
0107 e005       |    |		Load	0x0,0x5
0108 184b       | K  |		Execute	Package,Field_Execute,Field_Number 0x4b
0109 6ff2       |o   |		Jump_Zero	0xfc
010a 00ce       |    |		Action	Pop_Auxiliary
010b 00da       |    |		Load_Top	At_Offset_2
010c e005       |    |		Load	0x0,0x5
010d 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
010e c402       |    |		Store	0x2,0x2
010f 00d9       |    |		Load_Top	At_Offset_1
0110 e006       |    |		Load	0x0,0x6
0111 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0112 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0113			TRAP_00e0:
0113 010e       |    |		Execute	Exception,Is_Constraint_Error
0114 680b       |h   |		Jump_Zero	0x120
0115 00db       |    |		Load_Top	At_Offset_3
0116 e005       |    |		Load	0x0,0x5
0117 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0118 c402       |    |		Store	0x2,0x2
0119 00da       |    |		Load_Top	At_Offset_2
011a e006       |    |		Load	0x0,0x6
011b 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
011c 0092 024c  |   L|		Action	Push_String_Extended,0x24c					; ",<More>"
011e 01cc       |    |		Execute	Vector,Catenate
011f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0120 8404       |    |		Call	0x2,0x4
0121 00ea       |    |		Load_Encached	Null_String_Cache
0122 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0123 0000       |    |		.XXX[0x1]
0124 0000 0000  |    |		.LITERAL	{0x00000000, 0x000007d0}
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 0133       | 3  |		.CONST	0x0133								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0003       |    |		.CONST	0x0003								; Number of locals
012b			INIT_0128:
012b e001       |    |		Load	0x0,0x1
012c 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
012d 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
012e e001       |    |		Load	0x0,0x1
012f 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0130 02c7       |    |		Declare_Variable	Any
0131 00d8       |    |		Load_Top	At_Offset_0
0132 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0133			BODY_0128:
0133 e001       |    |		Load	0x0,0x1
0134 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0135 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
0136 00d9       |    |		Load_Top	At_Offset_1
0137 0120       |    |		Execute	Any,Is_Value
0138 6803       |h   |		Jump_Zero	0x13c
0139 e001       |    |		Load	0x0,0x1
013a 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
013b 7801       |x   |		Jump	0x13d
013c 00d9       |    |		Load_Top	At_Offset_1
013d 601e       |`   |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x00004000}
013e e003       |    |		Load	0x0,0x3
013f 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0140 e007       |    |		Load	0x0,0x7
0141 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0142 e001       |    |		Load	0x0,0x1
0143 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0144 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
0145 e5ff       |    |		Load	0x2,-0x1
0146 0092 024d  |   M|		Action	Push_String_Extended,0x24d					; ".$$"
0148 01cc       |    |		Execute	Vector,Catenate
0149 e001       |    |		Load	0x0,0x1
014a 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
014b 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
014c c403       |    |		Store	0x2,0x3
014d 005a       | Z  |		Store_Top	Discrete,At_Offset_2
014e 00d9       |    |		Load_Top	At_Offset_1
014f 6807       |h   |		Jump_Zero	0x157
0150 e008       |    |		Load	0x0,0x8
0151 1819       |    |		Execute	Package,Field_Execute,Field_Number 0x19
0152 e008       |    |		Load	0x0,0x8
0153 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0154 e008       |    |		Load	0x0,0x8
0155 1824       | $  |		Execute	Package,Field_Execute,Field_Number 0x24
0156 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0157 00d8       |    |		Load_Top	At_Offset_0
0158 e001       |    |		Load	0x0,0x1
0159 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
015a 1838       | 8  |		Execute	Package,Field_Execute,Field_Number 0x38
015b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
015c 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 0168       | h  |		.CONST	0x0168								; Address of begin
0161 0004       |    |		.CONST	0x0004								; Address of exception handler
0162 0003       |    |		.CONST	0x0003								; Number of locals
0163			INIT_0160:
0163 00da       |    |		Load_Top	At_Offset_2
0164 e001       |    |		Load	0x0,0x1
0165 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0166 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
0167 00e3       |    |		Load_Encached	Natural_Cache
0168			BODY_0160:
0168 4800       |H   |		Short_Literal	0x0
0169 00da       |    |		Load_Top	At_Offset_2
016a 0092 024e  |   N|		Action	Push_String_Extended,0x24e					; "_"
016c e009       |    |		Load	0x0,0x9
016d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
016e 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
016f 00d8       |    |		Load_Top	At_Offset_0
0170 7005       |p   |		Jump_Nonzero	0x176
0171 00d9       |    |		Load_Top	At_Offset_1
0172 0092 024f  |   O|		Action	Push_String_Extended,0x24f					; "_1"
0174 01cc       |    |		Execute	Vector,Catenate
0175 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0176 00d9       |    |		Load_Top	At_Offset_1
0177 01dd       |    |		Execute	Vector,First
0178 00d9       |    |		Load_Top	At_Offset_1
0179 00db       |    |		Load_Top	At_Offset_3
017a 01cf       |    |		Execute	Vector,Slice_Read
017b 0092 0250  |   P|		Action	Push_String_Extended,0x250					; "1"
017d 01cc       |    |		Execute	Vector,Catenate
017e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
017f 0000       |    |		.XXX[0x1]
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 0188       |    |		.CONST	0x0188								; Address of begin
0181 0004       |    |		.CONST	0x0004								; Address of exception handler
0182 0003       |    |		.CONST	0x0003								; Number of locals
0183			INIT_0180:
0183 00da       |    |		Load_Top	At_Offset_2
0184 e001       |    |		Load	0x0,0x1
0185 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0186 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
0187 00e3       |    |		Load_Encached	Natural_Cache
0188			BODY_0180:
0188 4800       |H   |		Short_Literal	0x0
0189 00da       |    |		Load_Top	At_Offset_2
018a 0092 024e  |   N|		Action	Push_String_Extended,0x24e					; "_"
018c e009       |    |		Load	0x0,0x9
018d 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
018e 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
018f 00d8       |    |		Load_Top	At_Offset_0
0190 7005       |p   |		Jump_Nonzero	0x196
0191 0092 0251  |   Q|		Action	Push_String_Extended,0x251					; "Code_"
0193 00da       |    |		Load_Top	At_Offset_2
0194 01cc       |    |		Execute	Vector,Catenate
0195 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0196 0092 0251  |   Q|		Action	Push_String_Extended,0x251					; "Code_"
0198 00d9       |    |		Load_Top	At_Offset_1
0199 00db       |    |		Load_Top	At_Offset_3
019a 01dc       |    |		Execute	Vector,Last
019b e402       |    |		Load	0x2,0x2
019c 01cf       |    |		Execute	Vector,Slice_Read
019d 01cc       |    |		Execute	Vector,Catenate
019e 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
019f 0000       |    |		.XXX[0x1]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01b2       |    |		.CONST	0x01b2								; Address of begin
01a1 01f4       |    |		.CONST	0x01f4								; Address of exception handler
01a2 0004       |    |		.CONST	0x0004								; Number of locals
01a3			INIT_01a0:
01a3 4be8       |K   |		Short_Literal	0x3e8
01a4 e006       |    |		Load	0x0,0x6
01a5 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01a6 1c08       |    |		Execute_Immediate	Run_Utility,0x8
01a7 00d8       |    |		Load_Top	At_Offset_0
01a8 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01a9 e001       |    |		Load	0x0,0x1
01aa 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ab 1b18       |    |		Execute	Package,Field_Read,Field_Number 0x18
01ac 02c7       |    |		Declare_Variable	Any
01ad 00d8       |    |		Load_Top	At_Offset_0
01ae 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01af e001       |    |		Load	0x0,0x1
01b0 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01b1 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01b2			BODY_01a0:
01b2 e001       |    |		Load	0x0,0x1
01b3 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01b4 1b0f       |    |		Execute	Package,Field_Read,Field_Number 0xf
01b5 00da       |    |		Load_Top	At_Offset_2
01b6 604d       |`M  |		Indirect_Literal	Discrete,0x204,{0x00000000, 0x00004000}
01b7 e003       |    |		Load	0x0,0x3
01b8 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
01b9 e007       |    |		Load	0x0,0x7
01ba 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01bb e00a       |    |		Load	0x0,0xa
01bc 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01bd 4801       |H   |		Short_Literal	0x1
01be 4800       |H   |		Short_Literal	0x0
01bf e007       |    |		Load	0x0,0x7
01c0 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01c1 e001       |    |		Load	0x0,0x1
01c2 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01c3 1816       |    |		Execute	Package,Field_Execute,Field_Number 0x16
01c4 e5ff       |    |		Load	0x2,-0x1
01c5 0092 0252  |   R|		Action	Push_String_Extended,0x252					; ".@'c(spec_view,load_view,comb_view)"
01c7 01cc       |    |		Execute	Vector,Catenate
01c8 e001       |    |		Load	0x0,0x1
01c9 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01ca 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
01cb c403       |    |		Store	0x2,0x3
01cc 0059       | Y  |		Store_Top	Discrete,At_Offset_1
01cd 00cf       |    |		Action	Mark_Auxiliary
01ce 7817       |x   |		Jump	0x1e6
01cf 00db       |    |		Load_Top	At_Offset_3
01d0 0092 0253  |   S|		Action	Push_String_Extended,0x253					; ","
01d2 e006       |    |		Load	0x0,0x6
01d3 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01d4 00d1       |    |		Pop_Control	Pop_Count_1
01d5 00db       |    |		Load_Top	At_Offset_3
01d6 00db       |    |		Load_Top	At_Offset_3
01d7 e001       |    |		Load	0x0,0x1
01d8 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01d9 1825       | %  |		Execute	Package,Field_Execute,Field_Number 0x25
01da e001       |    |		Load	0x0,0x1
01db 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01dc 1833       | 3  |		Execute	Package,Field_Execute,Field_Number 0x33
01dd e006       |    |		Load	0x0,0x6
01de 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
01df 00d1       |    |		Pop_Control	Pop_Count_1
01e0 00da       |    |		Load_Top	At_Offset_2
01e1 e001       |    |		Load	0x0,0x1
01e2 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01e3 181d       |    |		Execute	Package,Field_Execute,Field_Number 0x1d
01e4 c403       |    |		Store	0x2,0x3
01e5 00c9       |    |		Action	Pop_Auxiliary_Loop
01e6 00da       |    |		Load_Top	At_Offset_2
01e7 e001       |    |		Load	0x0,0x1
01e8 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
01e9 181e       |    |		Execute	Package,Field_Execute,Field_Number 0x1e
01ea 6fe4       |o   |		Jump_Zero	0x1cf
01eb 00ce       |    |		Action	Pop_Auxiliary
01ec 00da       |    |		Load_Top	At_Offset_2
01ed e006       |    |		Load	0x0,0x6
01ee 1825       | %  |		Execute	Package,Field_Execute,Field_Number 0x25
01ef 4802       |H   |		Short_Literal	0x2
01f0 e402       |    |		Load	0x2,0x2
01f1 e006       |    |		Load	0x0,0x6
01f2 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
01f3 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
01f4			TRAP_01a0:
01f4 010e       |    |		Execute	Exception,Is_Constraint_Error
01f5 680b       |h   |		Jump_Zero	0x201
01f6 00db       |    |		Load_Top	At_Offset_3
01f7 e006       |    |		Load	0x0,0x6
01f8 1825       | %  |		Execute	Package,Field_Execute,Field_Number 0x25
01f9 4802       |H   |		Short_Literal	0x2
01fa e402       |    |		Load	0x2,0x2
01fb e006       |    |		Load	0x0,0x6
01fc 1827       | '  |		Execute	Package,Field_Execute,Field_Number 0x27
01fd 0092 0254  |   T|		Action	Push_String_Extended,0x254					; ", <More>"
01ff 01cc       |    |		Execute	Vector,Catenate
0200 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0201 0100       |    |		Execute	Exception,Raise
0202 0000 0000  |    |		.XXX[0x2]
0204 0000 0000  |    |		.LITERAL	{0x00000000, 0x00004000}
0208 ; --------------------------------------------------------------------------------------
0208 ; SUBPROGRAM
0208 ; --------------------------------------------------------------------------------------
0208 0216       |    |		.CONST	0x0216								; Address of begin
0209 0004       |    |		.CONST	0x0004								; Address of exception handler
020a 0003       |    |		.CONST	0x0003								; Number of locals
020b			INIT_0208:
020b 00da       |    |		Load_Top	At_Offset_2
020c e002       |    |		Load	0x0,0x2
020d 180f       |    |		Execute	Package,Field_Execute,Field_Number 0xf
020e 00d8       |    |		Load_Top	At_Offset_0
020f 01db       |    |		Execute	Vector,Length
0210 0a0a       |    |		Execute_Immediate	Plus,0xa
0211 e006       |    |		Load	0x0,0x6
0212 1b0e       |    |		Execute	Package,Field_Read,Field_Number 0xe
0213 1c08       |    |		Execute_Immediate	Run_Utility,0x8
0214 00d8       |    |		Load_Top	At_Offset_0
0215 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0216			BODY_0208:
0216 00d8       |    |		Load_Top	At_Offset_0
0217 00da       |    |		Load_Top	At_Offset_2
0218 e006       |    |		Load	0x0,0x6
0219 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
021a 00d1       |    |		Pop_Control	Pop_Count_1
021b 00cf       |    |		Action	Mark_Auxiliary
021c 7818       |x   |		Jump	0x235
021d 00d9       |    |		Load_Top	At_Offset_1
021e e006       |    |		Load	0x0,0x6
021f 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0220 e002       |    |		Load	0x0,0x2
0221 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0222 e002       |    |		Load	0x0,0x2
0223 1819       |    |		Execute	Package,Field_Execute,Field_Number 0x19
0224 0f04       |    |		Execute_Immediate	Equal,0x4
0225 6804       |h   |		Jump_Zero	0x22a
0226 00d9       |    |		Load_Top	At_Offset_1
0227 e006       |    |		Load	0x0,0x6
0228 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
0229 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
022a 00d9       |    |		Load_Top	At_Offset_1
022b 00da       |    |		Load_Top	At_Offset_2
022c e006       |    |		Load	0x0,0x6
022d 1813       |    |		Execute	Package,Field_Execute,Field_Number 0x13
022e e001       |    |		Load	0x0,0x1
022f 1b35       | 5  |		Execute	Package,Field_Read,Field_Number 0x35
0230 1832       | 2  |		Execute	Package,Field_Execute,Field_Number 0x32
0231 e006       |    |		Load	0x0,0x6
0232 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0233 00d1       |    |		Pop_Control	Pop_Count_1
0234 00c9       |    |		Action	Pop_Auxiliary_Loop
0235 00d9       |    |		Load_Top	At_Offset_1
0236 e006       |    |		Load	0x0,0x6
0237 1825       | %  |		Execute	Package,Field_Execute,Field_Number 0x25
0238 77e4       |w   |		Jump_Nonzero	0x21d
0239 00ce       |    |		Action	Pop_Auxiliary
023a 00d9       |    |		Load_Top	At_Offset_1
023b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
023c 0000 0000  |    |		.BLANK	0000[0x4]
0240 ; --------------------------------------------------------------------------------------
0240 ; SUBPROGRAM
0240 ; --------------------------------------------------------------------------------------
0240 0243       | C  |		.CONST	0x0243								; Address of begin
0241 0248       | H  |		.CONST	0x0248								; Address of exception handler
0242 0001       |    |		.CONST	0x0001								; Number of locals
0243			BODY_0240:
0243			INIT_0240:
0243 e402       |    |		Load	0x2,0x2
0244 e005       |    |		Load	0x0,0x5
0245 181b       |    |		Execute	Package,Field_Execute,Field_Number 0x1b
0246 c402       |    |		Store	0x2,0x2
0247 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0248			TRAP_0240:
0248 0007       |    |		Action	Break_Optional
0249 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
024a ; --------------------------------------------------------------------------------------
024a ; STRING TABLE
024a ; --------------------------------------------------------------------------------------
024a 0018       |    |		.STRTAB	0x0018->0x0256							; ".state.model"
024b 0022       | "  |		.STRTAB	0x0022->0x025c							; ".state.imports"
024c 002e       | .  |		.STRTAB	0x002e->0x0263							; ",<More>"
024d 0033       | 3  |		.STRTAB	0x0033->0x0266							; ".$$"
024e 0034       | 4  |		.STRTAB	0x0034->0x0268							; "_"
024f 0033       | 3  |		.STRTAB	0x0033->0x0268							; "_1"
0250 0033       | 3  |		.STRTAB	0x0033->0x0269							; "1"
0251 0032       | 2  |		.STRTAB	0x0032->0x026a							; "Code_"
0252 0035       | 5  |		.STRTAB	0x0035->0x026c							; ".@'c(spec_view,load_view,comb_view)"
0253 0056       | V  |		.STRTAB	0x0056->0x027e							; ","
0254 0055       | U  |		.STRTAB	0x0055->0x027e							; ", <More>"
0255 005b       | [  |		.STREND 0x005b->0x0282
0256 2e73 7461  |.sta|		.STRTAB_STRINGS
0283 0000 0000  |    |		.BLANK	0000[0x5]
0288 ; --------------------------------------------------------------------------------------
0288 ; Debug Table
0288 ; --------------------------------------------------------------------------------------
0288 0004 0011  |    |		.DEBUG4	0x0004,0x0011,0xfa4c,0x0000,0x0001,0x0000
028e 0000 1801  |    |		.XXX[0x10]
0290 4000 0000  |@   |
0292 4000 0010  |@   |
0294 0000 0088  |    |
0296 0000 0000  |    |
0298 4000 0002  |@   |
029a 9000 0100  |    |
029c e986 c000  |    |
029e 0000 0000  |    |		.BLANK	0000[0x1a]
02b8 00c0 0049  |   I|		.XXX[0x1f]
02ba c390 a86c  |   l|
02bc 01b0 0006  |    |
02be bfd6 c990  |    |
02c0 1000 8000  |    |
02c2 9d00 0000  |    |
02c4 81fe 4000  |  @ |
02c6 0a00 0000  |    |
02c8 0300 2800  |  ( |
02ca 0000 0800  |    |
02cc 0002 0000  |    |
02ce 0011 0000  |    |
02d0 0000 0800  |    |
02d2 0000 5200  |  R |
02d4 0020 1d30  |   0|
02d6 d800       |    |
02d7 0000 0000  |    |		.BLANK	0000[0x1a]
02f1 0018 0009  |    |		.XXX[0x3]
02f3 3870       |8p  |
02f4 0000 0000  |    |		.BLANK	0000[0xd]
0301 0020 0500  |    |		.XXX[0xc]
0303 0000 0000  |    |
0305 0000 4000  |  @ |
0307 0002 2000  |    |
0309 0000 0100  |    |
030b 0000 0a00  |    |
030d 0000 0000  |    |		.BLANK	0000[0x2d]
033a 0004 00a0  |    |		.XXX[0xc]
033c 0000 0000  |    |
033e 0000 0800  |    |
0340 0000 4400  |  D |
0342 0000 0020  |    |
0344 0000 0140  |   @|
0346 0000 0000  |    |		.BLANK	0000[0x2e]
0374 8014 0000  |    |		.XXX[0xb]
0376 0000 0000  |    |
0378 0100 0000  |    |
037a 0880 0000  |    |
037c 0004 0000  |    |
037e 0028       | (  |
037f 0000 0000  |    |		.BLANK	0000[0x2e]
03ad 1002 8000  |    |		.XXX[0xb]
03af 0000 0000  |    |
03b1 0020 0000  |    |
03b3 0110 0000  |    |
03b5 0000 8000  |    |
03b7 0005       |    |
03b8 0000 0000  |    |		.BLANK	0000[0x48]