|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 2048 (0x800)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0694fc
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
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 For_Outer_Call,Visible,Unelaborated,INIT_0040
000d 029a 0063 | c| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0060
000f 029a 0083 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0080
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 For_Outer_Call,Visible,Unelaborated,INIT_00e0
001a c216 | | Store 0x1,0x16
001b 029a 012b | +| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0128
001d c210 | | Store 0x1,0x10
001e 029a 0163 | c| Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0160
0020 c211 | | Store 0x1,0x11
0021 029a 0183 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0180
0023 c212 | | Store 0x1,0x12
0024 029a 01a3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01a0
0026 c215 | | Store 0x1,0x15
0027 029a 020b | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_0208
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_Result,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_Result,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_Result,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_Result,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_Result,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 For_Call,INIT_0240
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_Result,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_Result,0x1
0120 8404 | | Call 0x2,0x4
0121 00ea | | Load_Encached Null_String_Cache
0122 4401 |D | Exit_Subprogram With_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Result,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_Subprogram 0x1
0248 TRAP_0240:
0248 0007 | | Action Break_Optional
0249 4501 |E | Exit_Subprogram 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_"
; "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|