|
|
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, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0a7cf5
└─⟦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 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 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 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]