|
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 - download
Length: 2048 (0x800) Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_043cfb, seg_ccb0b3
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧ └─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦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 0360 | ` | .CONST 0x0360 ; 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 0010 | | .CONST 0x0010 ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 0001 | | .CONST 0x0001 ; Number of locals 000b INIT_0008: 000b 029a 001b | | Declare_Subprogram INIT_0018,For_Outer_Call,Visible,Unelaborated 000d 00bf | | Action Accept_Activation 000e 1d0d | | Execute_Immediate Reference_Lex_1,0xd 000f 00c7 | | Action Elaborate_Subprogram 0010 BODY_0008: 0010 00bc | | Action Signal_Activated 0011 00bb | | Action Signal_Completion 0012 0000 0000 | | .BLANK 0000[0x6] 0018 ; -------------------------------------------------------------------------------------- 0018 ; SUBPROGRAM 0018 ; -------------------------------------------------------------------------------------- 0018 0038 | 8 | .CONST 0x0038 ; Address of begin 0019 0004 | | .CONST 0x0004 ; Address of exception handler 001a 000c | | .CONST 0x000c ; Number of locals 001b INIT_0018: 001b 00e1 | | Load_Encached Boolean_Cache 001c 0601 | | Execute_Immediate Set_Value_Unchecked,0x1 001d 00e3 | | Load_Encached Natural_Cache 001e 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 001f 00e3 | | Load_Encached Natural_Cache 0020 0600 | | Execute_Immediate Set_Value_Unchecked,0x0 0021 e001 | | Load 0x0,0x1 0022 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0023 02c7 | | Declare_Variable Any 0024 00d8 | | Load_Top At_Offset_0 0025 1c00 | | Execute_Immediate Run_Utility,0x0 0026 e002 | | Load 0x0,0x2 0027 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0028 1b18 | | Execute Package,Field_Read,Field_Number 0x18 0029 02c7 | | Declare_Variable Any 002a 00d8 | | Load_Top At_Offset_0 002b 1c00 | | Execute_Immediate Run_Utility,0x0 002c 029f 006b | k| Declare_Subprogram INIT_0068,For_Call 002e 029f 008b | | Declare_Subprogram INIT_0088,For_Call 0030 029f 00db | | Declare_Subprogram INIT_00d8,For_Call 0032 029f 0103 | | Declare_Subprogram INIT_0100,For_Call 0034 029f 0173 | s| Declare_Subprogram INIT_0170,For_Call 0036 029f 01f3 | | Declare_Subprogram INIT_01f0,For_Call 0038 BODY_0018: 0038 8409 | | Call 0x2,0x9 0039 4800 |H | Short_Literal 0x0 003a 0092 0247 | G| Action Push_String_Extended,0x247 ; "[Program_Library_Maintenance.Verify (Worlds => \x22" 003c e5ff | | Load 0x2,-0x1 003d 01cc | | Execute Vector,Catenate 003e 0092 0248 | H| Action Push_String_Extended,0x248 ; "\x22, Options => \x22" 0040 01cc | | Execute Vector,Catenate 0041 e5fe | | Load 0x2,-0x2 0042 01cc | | Execute Vector,Catenate 0043 0092 0249 | I| Action Push_String_Extended,0x249 ; "\x22, Response => \x22" 0045 01cc | | Execute Vector,Catenate 0046 e5fd | | Load 0x2,-0x3 0047 01cc | | Execute Vector,Catenate 0048 0092 024a | J| Action Push_String_Extended,0x24a ; "\x22);]." 004a 01cc | | Execute Vector,Catenate 004b 8407 | | Call 0x2,0x7 004c 840a | | Call 0x2,0xa 004d 00cf | | Action Mark_Auxiliary 004e 780a |x | Jump 0x59 004f 840b | | Call 0x2,0xb 0050 e403 | | Load 0x2,0x3 0051 0a01 | | Execute_Immediate Plus,0x1 0052 c403 | | Store 0x2,0x3 0053 e406 | | Load 0x2,0x6 0054 e002 | | Load 0x0,0x2 0055 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0056 181d | | Execute Package,Field_Execute,Field_Number 0x1d 0057 c406 | | Store 0x2,0x6 0058 00c9 | | Action Pop_Auxiliary_Loop 0059 e406 | | Load 0x2,0x6 005a e002 | | Load 0x0,0x2 005b 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 005c 181e | | Execute Package,Field_Execute,Field_Number 0x1e 005d 6ff1 |o | Jump_Zero 0x4f 005e 00ce | | Action Pop_Auxiliary 005f 840c | | Call 0x2,0xc 0060 4800 |H | Short_Literal 0x0 0061 0092 024b | K| Action Push_String_Extended,0x24b ; "[End of Program_Library_Maintenance.Verify command]." 0063 8407 | | Call 0x2,0x7 0064 e402 | | Load 0x2,0x2 0065 4403 |D | Exit_Subprogram With_Value,New_Top_Offset 0x3 0066 0000 0000 | | .XXX[0x2] 0068 ; -------------------------------------------------------------------------------------- 0068 ; SUBPROGRAM 0068 ; -------------------------------------------------------------------------------------- 0068 006b | k | .CONST 0x006b ; Address of begin 0069 0004 | | .CONST 0x0004 ; Address of exception handler 006a 0001 | | .CONST 0x0001 ; Number of locals 006b BODY_0068: 006b INIT_0068: 006b e405 | | Load 0x2,0x5 006c e7fe | | Load 0x3,-0x2 006d e7ff | | Load 0x3,-0x1 006e e003 | | Load 0x0,0x3 006f 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0070 00db | | Load_Top At_Offset_3 0071 460b |F | Jump_Case 0xc 0072 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x0 0073 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x1 0074 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x2 0075 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x3 0076 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x4 0077 7806 |x | Jump 0x7e ; case 0x5 0078 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x6 0079 7804 |x | Jump 0x7e ; case 0x7 007a 7803 |x | Jump 0x7e ; case 0x8 007b 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0x9 007c 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0xa 007d 4503 |E | Exit_Suprogram New_Top_Offset 0x3 ; case 0xb 007e 4800 |H | Short_Literal 0x0 007f a402 | | Store_Unchecked 0x2,0x2 0080 4503 |E | Exit_Suprogram New_Top_Offset 0x3 0081 0000 0000 | | .BLANK 0000[0x7] 0088 ; -------------------------------------------------------------------------------------- 0088 ; SUBPROGRAM 0088 ; -------------------------------------------------------------------------------------- 0088 00b5 | | .CONST 0x00b5 ; Address of begin 0089 0004 | | .CONST 0x0004 ; Address of exception handler 008a 0005 | | .CONST 0x0005 ; Number of locals 008b INIT_0088: 008b e004 | | Load 0x0,0x4 008c 1b0d | | Execute Package,Field_Read,Field_Number 0xd 008d 02c7 | | Declare_Variable Any 008e 00db | | Load_Top At_Offset_3 008f a602 | | Store_Unchecked 0x3,0x2 0090 e004 | | Load 0x0,0x4 0091 1b11 | | Execute Package,Field_Read,Field_Number 0x11 0092 e004 | | Load 0x0,0x4 0093 1b11 | | Execute Package,Field_Read,Field_Number 0x11 0094 0266 | f | Execute Discrete,Bounds 0095 e001 | | Load 0x0,0x1 0096 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0097 02a0 | | Declare_Subprogram Null_Subprogram 0098 4801 |H | Short_Literal 0x1 0099 035d | ] | Declare_Type Array,Defined 009a 00d8 | | Load_Top At_Offset_0 009b 0337 | 7 | Declare_Variable Array 009c 00d8 | | Load_Top At_Offset_0 009d 0335 | 5 | Declare_Variable Array,Duplicate 009e 00cd | | Action Spare6_Action 009f 4802 |H | Short_Literal 0x2 00a0 4800 |H | Short_Literal 0x0 00a1 00da | | Load_Top At_Offset_2 00a2 01d6 | | Execute Vector,Field_Write 00a3 4806 |H | Short_Literal 0x6 00a4 4801 |H | Short_Literal 0x1 00a5 00da | | Load_Top At_Offset_2 00a6 01d6 | | Execute Vector,Field_Write 00a7 4807 |H | Short_Literal 0x7 00a8 4802 |H | Short_Literal 0x2 00a9 00da | | Load_Top At_Offset_2 00aa 01d6 | | Execute Vector,Field_Write 00ab 4807 |H | Short_Literal 0x7 00ac 4803 |H | Short_Literal 0x3 00ad 00da | | Load_Top At_Offset_2 00ae 01d6 | | Execute Vector,Field_Write 00af 4808 |H | Short_Literal 0x8 00b0 4804 |H | Short_Literal 0x4 00b1 00da | | Load_Top At_Offset_2 00b2 01d6 | | Execute Vector,Field_Write 00b3 00d9 | | Load_Top At_Offset_1 00b4 01d4 | | Execute Vector,Structure_Write 00b5 BODY_0088: 00b5 4800 |H | Short_Literal 0x0 00b6 a7fe | | Store_Unchecked 0x3,-0x2 00b7 00cf | | Action Mark_Auxiliary 00b8 7815 |x | Jump 0xce 00b9 e602 | | Load 0x3,0x2 00ba e004 | | Load 0x0,0x4 00bb 1813 | | Execute Package,Field_Execute,Field_Number 0x13 00bc a603 | | Store_Unchecked 0x3,0x3 00bd 00db | | Load_Top At_Offset_3 00be 0c02 | | Execute_Immediate Greater_Equal,0x2 00bf 6802 |h | Jump_Zero 0xc2 00c0 4801 |H | Short_Literal 0x1 00c1 a7fe | | Store_Unchecked 0x3,-0x2 00c2 00db | | Load_Top At_Offset_3 00c3 00da | | Load_Top At_Offset_2 00c4 01d7 | | Execute Vector,Field_Read 00c5 e602 | | Load 0x3,0x2 00c6 e004 | | Load 0x0,0x4 00c7 1816 | | Execute Package,Field_Execute,Field_Number 0x16 00c8 8407 | | Call 0x2,0x7 00c9 e602 | | Load 0x3,0x2 00ca e004 | | Load 0x0,0x4 00cb 1819 | | Execute Package,Field_Execute,Field_Number 0x19 00cc c602 | | Store 0x3,0x2 00cd 00c9 | | Action Pop_Auxiliary_Loop 00ce e602 | | Load 0x3,0x2 00cf e004 | | Load 0x0,0x4 00d0 181a | | Execute Package,Field_Execute,Field_Number 0x1a 00d1 6fe7 |o | Jump_Zero 0xb9 00d2 4502 |E | Exit_Suprogram New_Top_Offset 0x2 00d3 0000 0000 | | .BLANK 0000[0x5] 00d8 ; -------------------------------------------------------------------------------------- 00d8 ; SUBPROGRAM 00d8 ; -------------------------------------------------------------------------------------- 00d8 00e0 | | .CONST 0x00e0 ; Address of begin 00d9 0004 | | .CONST 0x0004 ; Address of exception handler 00da 0002 | | .CONST 0x0002 ; Number of locals 00db INIT_00d8: 00db e005 | | Load 0x0,0x5 00dc 1b0f | | Execute Package,Field_Read,Field_Number 0xf 00dd 02c7 | | Declare_Variable Any 00de 00d8 | | Load_Top At_Offset_0 00df 1c00 | | Execute_Immediate Run_Utility,0x0 00e0 BODY_00d8: 00e0 00d8 | | Load_Top At_Offset_0 00e1 e405 | | Load 0x2,0x5 00e2 0120 | | Execute Any,Is_Value 00e3 6803 |h | Jump_Zero 0xe7 00e4 e001 | | Load 0x0,0x1 00e5 1b0d | | Execute Package,Field_Read,Field_Number 0xd 00e6 7801 |x | Jump 0xe8 00e7 e405 | | Load 0x2,0x5 00e8 e5fd | | Load 0x2,-0x3 00e9 e001 | | Load 0x0,0x1 00ea 184c | L | Execute Package,Field_Execute,Field_Number 0x4c 00eb c405 | | Store 0x2,0x5 00ec c602 | | Store 0x3,0x2 00ed 4801 |H | Short_Literal 0x1 00ee 00d9 | | Load_Top At_Offset_1 00ef e005 | | Load 0x0,0x5 00f0 1817 | | Execute Package,Field_Execute,Field_Number 0x17 00f1 6808 |h | Jump_Zero 0xfa 00f2 e001 | | Load 0x0,0x1 00f3 180e | | Execute Package,Field_Execute,Field_Number 0xe 00f4 00d9 | | Load_Top At_Offset_1 00f5 e003 | | Load 0x0,0x3 00f6 1812 | | Execute Package,Field_Execute,Field_Number 0x12 00f7 4800 |H | Short_Literal 0x0 00f8 00cb | | Action Pop_Block_With_Result 00f9 4403 |D | Exit_Subprogram With_Value,New_Top_Offset 0x3 00fa 4501 |E | Exit_Suprogram New_Top_Offset 0x1 00fb 0000 0000 | | .BLANK 0000[0x5] 0100 ; -------------------------------------------------------------------------------------- 0100 ; SUBPROGRAM 0100 ; -------------------------------------------------------------------------------------- 0100 0106 | | .CONST 0x0106 ; Address of begin 0101 0004 | | .CONST 0x0004 ; Address of exception handler 0102 0002 | | .CONST 0x0002 ; Number of locals 0103 INIT_0100: 0103 e002 | | Load 0x0,0x2 0104 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0105 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0106 BODY_0100: 0106 e002 | | Load 0x0,0x2 0107 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0108 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0109 e406 | | Load 0x2,0x6 010a 6061 |`a | Indirect_Literal Discrete,0x16c,{0x00000000, 0x00004000} 010b e006 | | Load 0x0,0x6 010c 1b0e | | Execute Package,Field_Read,Field_Number 0xe 010d e007 | | Load 0x0,0x7 010e 1811 | | Execute Package,Field_Execute,Field_Number 0x11 010f e008 | | Load 0x0,0x8 0110 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0111 4801 |H | Short_Literal 0x1 0112 4800 |H | Short_Literal 0x0 0113 e007 | | Load 0x0,0x7 0114 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0115 e002 | | Load 0x0,0x2 0116 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0117 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0118 e5ff | | Load 0x2,-0x1 0119 e002 | | Load 0x0,0x2 011a 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 011b 181b | | Execute Package,Field_Execute,Field_Number 0x1b 011c c406 | | Store 0x2,0x6 011d 0059 | Y | Store_Top Discrete,At_Offset_1 011e 00d8 | | Load_Top At_Offset_0 011f 6828 |h( | Jump_Zero 0x148 0120 00d8 | | Load_Top At_Offset_0 0121 0e03 | | Execute_Immediate Not_Equal,0x3 0122 7005 |p | Jump_Nonzero 0x128 0123 e406 | | Load 0x2,0x6 0124 e002 | | Load 0x0,0x2 0125 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0126 181e | | Execute Package,Field_Execute,Field_Number 0x1e 0127 7020 |p | Jump_Nonzero 0x148 0128 4807 |H | Short_Literal 0x7 0129 0092 024c | L| Action Push_String_Extended,0x24c ; "Unable to resolve name \x22" 012b e5ff | | Load 0x2,-0x1 012c 01cc | | Execute Vector,Catenate 012d 0092 024d | M| Action Push_String_Extended,0x24d ; "\x22 because " 012f 01cc | | Execute Vector,Catenate 0130 603b |`; | Indirect_Literal Discrete,0x16c,{0x00000000, 0x00004000} 0131 e006 | | Load 0x0,0x6 0132 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0133 e007 | | Load 0x0,0x7 0134 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0135 e008 | | Load 0x0,0x8 0136 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0137 4801 |H | Short_Literal 0x1 0138 4800 |H | Short_Literal 0x0 0139 e007 | | Load 0x0,0x7 013a 1811 | | Execute Package,Field_Execute,Field_Number 0x11 013b e002 | | Load 0x0,0x2 013c 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 013d 1816 | | Execute Package,Field_Execute,Field_Number 0x16 013e e5ff | | Load 0x2,-0x1 013f e602 | | Load 0x3,0x2 0140 e002 | | Load 0x0,0x2 0141 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0142 1851 | Q | Execute Package,Field_Execute,Field_Number 0x51 0143 01cc | | Execute Vector,Catenate 0144 8407 | | Call 0x2,0x7 0145 4800 |H | Short_Literal 0x0 0146 00cb | | Action Pop_Block_With_Result 0147 4403 |D | Exit_Subprogram With_Value,New_Top_Offset 0x3 0148 00d8 | | Load_Top At_Offset_0 0149 0f03 | | Execute_Immediate Equal,0x3 014a 6820 |h | Jump_Zero 0x16b 014b 4802 |H | Short_Literal 0x2 014c 0092 024c | L| Action Push_String_Extended,0x24c ; "Unable to resolve name \x22" 014e e5ff | | Load 0x2,-0x1 014f 01cc | | Execute Vector,Catenate 0150 0092 024d | M| Action Push_String_Extended,0x24d ; "\x22 because " 0152 01cc | | Execute Vector,Catenate 0153 6018 |` | Indirect_Literal Discrete,0x16c,{0x00000000, 0x00004000} 0154 e006 | | Load 0x0,0x6 0155 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0156 e007 | | Load 0x0,0x7 0157 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0158 e008 | | Load 0x0,0x8 0159 1811 | | Execute Package,Field_Execute,Field_Number 0x11 015a 4801 |H | Short_Literal 0x1 015b 4800 |H | Short_Literal 0x0 015c e007 | | Load 0x0,0x7 015d 1811 | | Execute Package,Field_Execute,Field_Number 0x11 015e e002 | | Load 0x0,0x2 015f 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0160 1816 | | Execute Package,Field_Execute,Field_Number 0x16 0161 e5ff | | Load 0x2,-0x1 0162 e602 | | Load 0x3,0x2 0163 e002 | | Load 0x0,0x2 0164 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0165 1851 | Q | Execute Package,Field_Execute,Field_Number 0x51 0166 01cc | | Execute Vector,Catenate 0167 8407 | | Call 0x2,0x7 0168 4801 |H | Short_Literal 0x1 0169 00cb | | Action Pop_Block_With_Result 016a 4403 |D | Exit_Subprogram With_Value,New_Top_Offset 0x3 016b 4501 |E | Exit_Suprogram New_Top_Offset 0x1 016c 0000 0000 | | .LITERAL {0x00000000, 0x00004000} 0170 ; -------------------------------------------------------------------------------------- 0170 ; SUBPROGRAM 0170 ; -------------------------------------------------------------------------------------- 0170 0185 | | .CONST 0x0185 ; Address of begin 0171 01e6 | | .CONST 0x01e6 ; Address of exception handler 0172 0007 | | .CONST 0x0007 ; Number of locals 0173 INIT_0170: 0173 e002 | | Load 0x0,0x2 0174 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0175 e002 | | Load 0x0,0x2 0176 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0177 02c7 | | Declare_Variable Any 0178 00d8 | | Load_Top At_Offset_0 0179 1c00 | | Execute_Immediate Run_Utility,0x0 017a 00e1 | | Load_Encached Boolean_Cache 017b 03e9 | | Declare_Variable Discrete,Duplicate 017c e004 | | Load 0x0,0x4 017d 1b0d | | Execute Package,Field_Read,Field_Number 0xd 017e 02c7 | | Declare_Variable Any 017f 00d8 | | Load_Top At_Offset_0 0180 1c00 | | Execute_Immediate Run_Utility,0x0 0181 e406 | | Load 0x2,0x6 0182 e002 | | Load 0x0,0x2 0183 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0184 1825 | % | Execute Package,Field_Execute,Field_Number 0x25 0185 BODY_0170: 0185 e002 | | Load 0x0,0x2 0186 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0187 e603 | | Load 0x3,0x3 0188 0120 | | Execute Any,Is_Value 0189 6803 |h | Jump_Zero 0x18d 018a e002 | | Load 0x0,0x2 018b 1b0f | | Execute Package,Field_Read,Field_Number 0xf 018c 7801 |x | Jump 0x18e 018d e603 | | Load 0x3,0x3 018e e406 | | Load 0x2,0x6 018f e002 | | Load 0x0,0x2 0190 1b35 | 5 | Execute Package,Field_Read,Field_Number 0x35 0191 1822 | " | Execute Package,Field_Execute,Field_Number 0x22 0192 c603 | | Store 0x3,0x3 0193 c602 | | Store 0x3,0x2 0194 e602 | | Load 0x3,0x2 0195 6810 |h | Jump_Zero 0x1a6 0196 4807 |H | Short_Literal 0x7 0197 0092 024e | N| Action Push_String_Extended,0x24e ; "Bad status getting object for " 0199 00da | | Load_Top At_Offset_2 019a 01cc | | Execute Vector,Catenate 019b 0092 024f | O| Action Push_String_Extended,0x24f ; ": " 019d 01cc | | Execute Vector,Catenate 019e e602 | | Load 0x3,0x2 019f e002 | | Load 0x0,0x2 01a0 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01a1 025e | ^ | Execute Discrete,Convert 01a2 1c01 | | Execute_Immediate Run_Utility,0x1 01a3 01cc | | Execute Vector,Catenate 01a4 8407 | | Call 0x2,0x7 01a5 4501 |E | Exit_Suprogram New_Top_Offset 0x1 01a6 e004 | | Load 0x0,0x4 01a7 181b | | Execute Package,Field_Execute,Field_Number 0x1b 01a8 c606 | | Store 0x3,0x6 01a9 4802 |H | Short_Literal 0x2 01aa 0092 0250 | P| Action Push_String_Extended,0x250 ; "Verifying consistency of program library for world " 01ac 00da | | Load_Top At_Offset_2 01ad 01cc | | Execute Vector,Catenate 01ae 8407 | | Call 0x2,0x7 01af 00d9 | | Load_Top At_Offset_1 01b0 00e1 | | Load_Encached Boolean_Cache 01b1 e006 | | Load 0x0,0x6 01b2 1b0e | | Execute Package,Field_Read,Field_Number 0xe 01b3 e007 | | Load 0x0,0x7 01b4 1811 | | Execute Package,Field_Execute,Field_Number 0x11 01b5 e008 | | Load 0x0,0x8 01b6 1811 | | Execute Package,Field_Execute,Field_Number 0x11 01b7 e603 | | Load 0x3,0x3 01b8 e009 | | Load 0x0,0x9 01b9 1b73 | s | Execute Package,Field_Read,Field_Number 0x73 01ba 1b0f | | Execute Package,Field_Read,Field_Number 0xf 01bb 1810 | | Execute Package,Field_Execute,Field_Number 0x10 01bc c604 | | Store 0x3,0x4 01bd c606 | | Store 0x3,0x6 01be 00e1 | | Load_Encached Boolean_Cache 01bf 00da | | Load_Top At_Offset_2 01c0 8408 | | Call 0x2,0x8 01c1 005b | [ | Store_Top Discrete,At_Offset_3 01c2 00db | | Load_Top At_Offset_3 01c3 00db | | Load_Top At_Offset_3 01c4 027f | | Execute Discrete,Equal 01c5 6807 |h | Jump_Zero 0x1cd 01c6 4807 |H | Short_Literal 0x7 01c7 0092 0251 | Q| Action Push_String_Extended,0x251 ; "Error in program library verification for world " 01c9 00da | | Load_Top At_Offset_2 01ca 01cc | | Execute Vector,Catenate 01cb 8407 | | Call 0x2,0x7 01cc 4501 |E | Exit_Suprogram New_Top_Offset 0x1 01cd 00db | | Load_Top At_Offset_3 01ce 680d |h | Jump_Zero 0x1dc 01cf 4803 |H | Short_Literal 0x3 01d0 0092 0252 | R| Action Push_String_Extended,0x252 ; "Program library for world " 01d2 00da | | Load_Top At_Offset_2 01d3 01cc | | Execute Vector,Catenate 01d4 0092 0253 | S| Action Push_String_Extended,0x253 ; " is consistent" 01d6 01cc | | Execute Vector,Catenate 01d7 8407 | | Call 0x2,0x7 01d8 e404 | | Load 0x2,0x4 01d9 0a01 | | Execute_Immediate Plus,0x1 01da c404 | | Store 0x2,0x4 01db 4501 |E | Exit_Suprogram New_Top_Offset 0x1 01dc 4805 |H | Short_Literal 0x5 01dd 0092 0252 | R| Action Push_String_Extended,0x252 ; "Program library for world " 01df 00da | | Load_Top At_Offset_2 01e0 01cc | | Execute Vector,Catenate 01e1 0092 0254 | T| Action Push_String_Extended,0x254 ; " is inconsistent" 01e3 01cc | | Execute Vector,Catenate 01e4 8407 | | Call 0x2,0x7 01e5 4501 |E | Exit_Suprogram New_Top_Offset 0x1 01e6 TRAP_0170: 01e6 0007 | | Action Break_Optional 01e7 4808 |H | Short_Literal 0x8 01e8 0092 0255 | U| Action Push_String_Extended,0x255 ; "Unexpected exception raised during verification of program library for world " 01ea 00db | | Load_Top At_Offset_3 01eb 01cc | | Execute Vector,Catenate 01ec 8407 | | Call 0x2,0x7 01ed 4501 |E | Exit_Suprogram New_Top_Offset 0x1 01ee 0000 0000 | | .XXX[0x2] 01f0 ; -------------------------------------------------------------------------------------- 01f0 ; SUBPROGRAM 01f0 ; -------------------------------------------------------------------------------------- 01f0 01f7 | | .CONST 0x01f7 ; Address of begin 01f1 0004 | | .CONST 0x0004 ; Address of exception handler 01f2 0003 | | .CONST 0x0003 ; Number of locals 01f3 INIT_01f0: 01f3 e001 | | Load 0x0,0x1 01f4 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 01f5 029f 0233 | 3| Declare_Subprogram INIT_0230,For_Call 01f7 BODY_01f0: 01f7 e402 | | Load 0x2,0x2 01f8 6803 |h | Jump_Zero 0x1fc 01f9 4803 |H | Short_Literal 0x3 01fa 0052 | R | Store_Top_Unchecked Discrete,At_Offset_2 01fb 7802 |x | Jump 0x1fe 01fc 4805 |H | Short_Literal 0x5 01fd 0052 | R | Store_Top_Unchecked Discrete,At_Offset_2 01fe 00d9 | | Load_Top At_Offset_1 01ff 0092 0256 | V| Action Push_String_Extended,0x256 ; "Verified consistency of program librar" 0201 0092 0257 | W| Action Push_String_Extended,0x257 ; "y" 0203 e403 | | Load 0x2,0x3 0204 8603 | | Call 0x3,0x3 0205 01cc | | Execute Vector,Catenate 0206 0092 0258 | X| Action Push_String_Extended,0x258 ; " for" 0208 01cc | | Execute Vector,Catenate 0209 e403 | | Load 0x2,0x3 020a 00e0 | | Load_Encached Standard_Cache 020b 1818 | | Execute Package,Field_Execute,Field_Number 0x18 020c 01cc | | Execute Vector,Catenate 020d 0092 0259 | Y| Action Push_String_Extended,0x259 ; " world" 020f 01cc | | Execute Vector,Catenate 0210 00ea | | Load_Encached Null_String_Cache 0211 e403 | | Load 0x2,0x3 0212 8603 | | Call 0x3,0x3 0213 01cc | | Execute Vector,Catenate 0214 0092 025a | Z| Action Push_String_Extended,0x25a ; ", found problems in" 0216 01cc | | Execute Vector,Catenate 0217 e403 | | Load 0x2,0x3 0218 e404 | | Load 0x2,0x4 0219 0272 | r | Execute Discrete,Minus 021a 00e0 | | Load_Encached Standard_Cache 021b 1818 | | Execute Package,Field_Execute,Field_Number 0x18 021c 01cc | | Execute Vector,Catenate 021d 0092 0259 | Y| Action Push_String_Extended,0x259 ; " world" 021f 01cc | | Execute Vector,Catenate 0220 00ea | | Load_Encached Null_String_Cache 0221 e403 | | Load 0x2,0x3 0222 e404 | | Load 0x2,0x4 0223 0272 | r | Execute Discrete,Minus 0224 00e3 | | Load_Encached Natural_Cache 0225 025b | [ | Execute Discrete,Check_In_Type 0226 8603 | | Call 0x3,0x3 0227 01cc | | Execute Vector,Catenate 0228 8407 | | Call 0x2,0x7 0229 4501 |E | Exit_Suprogram New_Top_Offset 0x1 022a 0000 0000 | | .BLANK 0000[0x6] 0230 ; -------------------------------------------------------------------------------------- 0230 ; SUBPROGRAM 0230 ; -------------------------------------------------------------------------------------- 0230 0233 | 3 | .CONST 0x0233 ; Address of begin 0231 0004 | | .CONST 0x0004 ; Address of exception handler 0232 0001 | | .CONST 0x0001 ; Number of locals 0233 BODY_0230: 0233 INIT_0230: 0233 00da | | Load_Top At_Offset_2 0234 0f01 | | Execute_Immediate Equal,0x1 0235 6802 |h | Jump_Zero 0x238 0236 00db | | Load_Top At_Offset_3 0237 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0238 00db | | Load_Top At_Offset_3 0239 01db | | Execute Vector,Length 023a 7003 |p | Jump_Nonzero 0x23e 023b 0092 025b | [| Action Push_String_Extended,0x25b ; "s" 023d 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 023e 00db | | Load_Top At_Offset_3 023f 0092 0257 | W| Action Push_String_Extended,0x257 ; "y" 0241 01df | | Execute Vector,Equal 0242 6803 |h | Jump_Zero 0x246 0243 0092 025c | \| Action Push_String_Extended,0x25c ; "ies" 0245 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2 0246 0831 | 1 | Execute_Immediate Raise,0x31 0247 ; -------------------------------------------------------------------------------------- 0247 ; STRING TABLE 0247 ; -------------------------------------------------------------------------------------- 0247 002e | . | .STRTAB 0x002e->0x025e ; "[Program_Library_Maintenance.Verify (Worlds => \x22" 0248 005c | \ | .STRTAB 0x005c->0x0276 ; "\x22, Options => \x22" 0249 0069 | i | .STRTAB 0x0069->0x027d ; "\x22, Response => \x22" 024a 0077 | w | .STRTAB 0x0077->0x0285 ; "\x22);]." 024b 007a | z | .STRTAB 0x007a->0x0288 ; "[End of Program_Library_Maintenance.Verify command]." 024c 00ac | | .STRTAB 0x00ac->0x02a2 ; "Unable to resolve name \x22" 024d 00c2 | | .STRTAB 0x00c2->0x02ae ; "\x22 because " 024e 00ca | | .STRTAB 0x00ca->0x02b3 ; "Bad status getting object for " 024f 00e6 | | .STRTAB 0x00e6->0x02c2 ; ": " 0250 00e6 | | .STRTAB 0x00e6->0x02c3 ; "Verifying consistency of program library for world " 0251 0117 | | .STRTAB 0x0117->0x02dc ; "Error in program library verification for world " 0252 0145 | E | .STRTAB 0x0145->0x02f4 ; "Program library for world " 0253 015d | ] | .STRTAB 0x015d->0x0301 ; " is consistent" 0254 0169 | i | .STRTAB 0x0169->0x0308 ; " is inconsistent" 0255 0177 | w | .STRTAB 0x0177->0x0310 ; "Unexpected exception raised during verification of program library for world " 0256 01c2 | | .STRTAB 0x01c2->0x0337 ; "Verified consistency of program librar" 0257 01e6 | | .STRTAB 0x01e6->0x034a ; "y" 0258 01e5 | | .STRTAB 0x01e5->0x034a ; " for" 0259 01e7 | | .STRTAB 0x01e7->0x034c ; " world" 025a 01eb | | .STRTAB 0x01eb->0x034f ; ", found problems in" 025b 01fc | | .STRTAB 0x01fc->0x0359 ; "s" 025c 01fb | | .STRTAB 0x01fb->0x0359 ; "ies" 025d 01fc | | .STREND 0x01fc->0x035b 025e 5b50 726f |[Pro| .STRTAB_STRINGS 035b 0000 0000 | | .BLANK 0000[0x5] 0360 ; -------------------------------------------------------------------------------------- 0360 ; Debug Table 0360 ; -------------------------------------------------------------------------------------- 0360 0004 000f | | .DEBUG4 0x0004,0x000f,0xc084,0x0000,0x0001,0x0000 0366 0000 0000 | | .BLANK 0000[0x9a]