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

⟦b5b6f341a⟧

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

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 5900       |Y   |		.CONST	0x5900								; 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 0012  |    |		.DEBUG4	0x0004,0x0012,0x5bf7,0x0000,0x0001,0x0000
028e 2514 e100  |%   |		.XXX[0x172]
0290 08c2 2302  |  # |
0292 c044 2a6a  | D*j|
0294 0011 8469  |   i|
0296 8280 3a60  |  :`|
0298 9100 2309  |  # |
029a 1a0c 00a4  |    |
029c 7b88 0046  |{  F|
029e 12c2 1601  |    |
02a0 0b34 9000  | 4  |
02a2 8c26 a00c  | &  |
02a4 007a 6908  | zi |
02a6 0118 4f78  |  Ox|
02a8 6001 c8db  |`   |
02aa 4002 30a3  |@ 0 |
02ac 60b0 0ce2  |`   |
02ae ce80 0461  |   a|
02b0 4fa0 a005  |O   |
02b2 68dc 4000  |h @ |
02b4 0000 02c0  |    |
02b6 3a4e f200  |:N  |
02b8 1185 8585  |    |
02ba 805b 7ed4  | [~ |
02bc 0023 0b52  | # R|
02be 0500 9456  |   V|
02c0 c200 4617  |  F |
02c2 3216 01a6  |2   |
02c4 6910 008c  |i   |
02c6 2f80 2c00  |/ , |
02c8 8513 a000  |    |
02ca 0000 0058  |   X|
02cc 00f8 da40  |   @|
02ce 0230 c6e0  | 0  |
02d0 780d 3cf2  |x < |
02d2 2004 6196  |  a |
02d4 a160 2189  | `! |
02d6 3900 08c3  |9   |
02d8 3f02 c029  |?  )|
02da 1ef2 0011  |    |
02dc 86a1 8580  |    |
02de 5352 b400  |SR  |
02e0 230d 8a05  |#   |
02e2 0048 b2e2  | H  |
02e4 0046 1ba2  | F  |
02e6 1801 1d9d  |    |
02e8 5000 8c38  |P  8|
02ea 602c 03b0  |`,  |
02ec 6720 0118  |g   |
02ee 72f8 6001  |r ` |
02f0 a643 4002  | C@ |
02f2 30ea 6078  |0 `x|
02f4 0e17 d420  |    |
02f6 0000 0000  |    |
02f8 f015 1374  |   t|
02fa 4008 c3cd  |@   |
02fc 02c0 332a  |  3*|
02fe c200 1187  |    |
0300 bd83 c032  |   2|
0302 9b91 0023  |   #|
0304 0fc2 0780  |    |
0306 70a1 c200  |p   |
0308 4620 120a  |F   |
030a 00ad 5c84  |  \ |
030c 008c 4140  |  A@|
030e 0c00 7360  |  s`|
0310 0801 1884  |    |
0312 b860 00ba  | `  |
0314 e540 0231  | @ 1|
0316 0de0 b801  |    |
0318 9ed4 8004  |    |
031a 6224 a0f0  |b$  |
031c 12ae 4c40  |  L@|
031e 0000 0002  |    |
0320 c02e fe2a  | . *|
0322 0011 88d9  |    |
0324 8600 1da9  |    |
0326 3400 2311  |4 # |
0328 fa03 0033  |   3|
032a 12e2 0046  |   F|
032c 2482 1600  |$   |
032e ed6f 9000  | o  |
0330 8c4a 202c  | J ,|
0332 006d bf20  | m  |
0334 0000 0000  |    |
0336 5808 563f  |X V?|
0338 4002 3131  |@ 11|
033a 60b0 0f81  |`   |
033c f480 0462  |   b|
033e 6ba1 601d  |k ` |
0340 52fd 0008  |R   |
0342 c4e9 02c0  |    |
0344 0905 9200  |    |
0346 1189 f585  |    |
0348 8016 5e64  |  ^d|
034a 0023 1432  | # 2|
034c 0b00 2a93  |  * |
034e 2800 4628  |( F(|
0350 f216 0152  |   R|
0352 ed90 008c  |    |
0354 5300 2c03  |S , |
0356 5242 a001  |RB  |
0358 18a8 383c  |  8<|
035a 03e6 0810  |    |
035c 0000 0000  |    |
035e 3002 c08a  |0   |
0360 2004 62b2  |  b |
0362 a160 08ad  | `  |
0364 d100 08c5  |    |
0366 7701 4026  |w @&|
0368 5148 8011  |QH  |
036a 8b11 8580  |    |
036c 51d7 2400  |Q $ |
036e 2316 6a0b  |# j |
0370 010d a5e8  |    |
0372 0046 2d62  | F-b|
0374 1800 6dfe  |  m |
0376 d000 8c5b  |   [|
0378 e01e 0358  |   X|
037a e708 0000  |    |
037c 0000 3c02  |  < |
037e c121 1002  | !  |
0380 3178 6040  |1x`@|
0382 069b 1820  |    |
0384 0462 f9a0  | b  |
0386 a004 f040  |   @|
0388 4008 c605  |@   |
038a 02c0 398e  |  9 |
038c 0200 118c  |    |
038e 2d82 8028  |-  (|
0390 6631 0023  |f1 #|
0392 18a2 0c00  |    |
0394 3a44 6800  |:Dh |
0396 4631 d216  |F1  |
0398 00d1 12d0  |    |
039a 008c 64c0  |  d |
039c 1e01 8595  |    |
039e 0800 0000  |    |
03a0 003c 05c4  | <  |
03a2 d410 0231  |   1|
03a4 9be0 4005  |  @ |
03a6 df9c 2004  |    |
03a8 6340 a0a0  |c@  |
03aa 0d34 9840  | 4 @|
03ac 08c6 9302  |    |
03ae c015 abba  |    |
03b0 0011 8d49  |   I|
03b2 8280 2209  |  " |
03b4 9100 231a  |  # |
03b6 da0c 0032  |   2|
03b8 ac68 0046  | h F|
03ba 3642 1601  |6B  |
03bc d22c 1000  | ,  |
03be 8c6d a00c  | m  |
03c0 0096 6388  |  c |
03c2 0118 dd78  |   x|
03c4 5801 08f9  |X   |
03c6 4000 0000  |@   |
03c8 0078 0774  | x t|
03ca 6020 0463  |`  c|
03cc 87a0 f011  |    |
03ce 9658 4008  | X@ |
03d0 c721 02c0  | !  |
03d2 0e3a 4200  | :B |
03d4 118e 6585  |  e |
03d6 8086 1204  |    |
03d8 0023 1d12  | #  |
03da 0b00 a67f  |    |
03dc a800 463a  |  F:|
03de b216 0151  |   Q|
03e0 5290 008c  |R   |
03e2 7680 3000  |v 0 |
03e4 d7c5 a001  |    |
03e6 18ef 3858  |  8X|
03e8 0253 4c40  | SL@|
03ea 0231 e2e0  | 1  |
03ec 3001 e00e  |0   |
03ee 2004 63ce  |  c |
03f0 a0f0 1875  |   u|
03f2 6840 0000  |h@  |
03f4 0001 e03a  |   :|
03f6 2228 8011  |"(  |
03f8 8f81 83c0  |    |
03fa 4551 8100  |EQ  |
03fc 231f 4a0b  |# J |
03fe 00cc 8548  |   H|