|
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_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 For_Outer_Call,Visible,Unelaborated,INIT_0018
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 For_Call,INIT_0068
002e 029f 008b | | Declare_Subprogram For_Call,INIT_0088
0030 029f 00db | | Declare_Subprogram For_Call,INIT_00d8
0032 029f 0103 | | Declare_Subprogram For_Call,INIT_0100
0034 029f 0173 | s| Declare_Subprogram For_Call,INIT_0170
0036 029f 01f3 | | Declare_Subprogram For_Call,INIT_01f0
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_Result,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 0xb
0072 4503 |E | Exit_Subprogram 0x3 ; case 0x0
0073 4503 |E | Exit_Subprogram 0x3 ; case 0x1
0074 4503 |E | Exit_Subprogram 0x3 ; case 0x2
0075 4503 |E | Exit_Subprogram 0x3 ; case 0x3
0076 4503 |E | Exit_Subprogram 0x3 ; case 0x4
0077 7806 |x | Jump 0x7e ; case 0x5
0078 4503 |E | Exit_Subprogram 0x3 ; case 0x6
0079 7804 |x | Jump 0x7e ; case 0x7
007a 7803 |x | Jump 0x7e ; case 0x8
007b 4503 |E | Exit_Subprogram 0x3 ; case 0x9
007c 4503 |E | Exit_Subprogram 0x3 ; case 0xa
007d 4503 |E | Exit_Subprogram 0x3 ; case 0xb
007e 4800 |H | Short_Literal 0x0
007f a402 | | Store_Unchecked 0x2,0x2
0080 4503 |E | Exit_Subprogram 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_Subprogram 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_Result,0x3
00fa 4501 |E | Exit_Subprogram 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_Result,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_Result,0x3
016b 4501 |E | Exit_Subprogram 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_Subprogram 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_Subprogram 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_Subprogram 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_Subprogram 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_Subprogram 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 For_Call,INIT_0230
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_Subprogram 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_Result,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_Result,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_Result,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"
; "Unable to resolve name \x22"
024d 00c2 | | .STRTAB 0x00c2->0x02ae ; "\x22 because "
; "\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 "
; "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"
; "y"
0258 01e5 | | .STRTAB 0x01e5->0x034a ; " for"
0259 01e7 | | .STRTAB 0x01e7->0x034c ; " world"
; " 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]