|
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_1c4cec
└─⟦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 0250 | P | .CONST 0x0250 ; 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 0001 | | .CONST 0x0001 ; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 01bb | | .CONST 0x01bb ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0016 | | .CONST 0x0016 ; Number of locals
000b INIT_0008:
000b 029a 01c3 | | Declare_Subprogram For_Outer_Call,Visible,Unelaborated,INIT_01c0
000d 00bf | | Action Accept_Activation
000e 4800 |H | Short_Literal 0x0
000f 4807 |H | Short_Literal 0x7
0010 029f 01d3 | | Declare_Subprogram For_Call,INIT_01d0
0012 03fd | | Declare_Type Discrete,Defined
0013 4800 |H | Short_Literal 0x0
0014 4802 |H | Short_Literal 0x2
0015 e001 | | Load 0x0,0x1
0016 01d7 | | Execute Vector,Field_Read
0017 02a0 | | Declare_Subprogram Null_Subprogram
0018 038e | | Declare_Type Package,Defined
0019 e001 | | Load 0x0,0x1
001a 4801 |H | Short_Literal 0x1
001b e001 | | Load 0x0,0x1
001c 01d7 | | Execute Vector,Field_Read
001d 4802 |H | Short_Literal 0x2
001e 00db | | Load_Top At_Offset_3
001f 020e | | Execute Module,Augment_Imports
0020 0387 | | Declare_Variable Package
0021 e002 | | Load 0x0,0x2
0022 e003 | | Load 0x0,0x3
0023 e004 | | Load 0x0,0x4
0024 a005 | | Reference 0x0,0x5
0025 a006 | | Reference 0x0,0x6
0026 a007 | | Reference 0x0,0x7
0027 e008 | | Load 0x0,0x8
0028 e009 | | Load 0x0,0x9
0029 a00a | | Reference 0x0,0xa
002a e00b | | Load 0x0,0xb
002b a00c | | Reference 0x0,0xc
002c a00d | | Reference 0x0,0xd
002d e00e | | Load 0x0,0xe
002e e00f | | Load 0x0,0xf
002f a010 | | Reference 0x0,0x10
0030 e011 | | Load 0x0,0x11
0031 e012 | | Load 0x0,0x12
0032 e013 | | Load 0x0,0x13
0033 a014 | | Reference 0x0,0x14
0034 4813 |H | Short_Literal 0x13
0035 e20f | | Load 0x1,0xf
0036 020e | | Execute Module,Augment_Imports
0037 00d8 | | Load_Top At_Offset_0
0038 020f | | Execute Module,Activate
0039 4800 |H | Short_Literal 0x0
003a 4804 |H | Short_Literal 0x4
003b e001 | | Load 0x0,0x1
003c 01d7 | | Execute Vector,Field_Read
003d 02a0 | | Declare_Subprogram Null_Subprogram
003e 038e | | Declare_Type Package,Defined
003f e001 | | Load 0x0,0x1
0040 4803 |H | Short_Literal 0x3
0041 e001 | | Load 0x0,0x1
0042 01d7 | | Execute Vector,Field_Read
0043 4802 |H | Short_Literal 0x2
0044 00db | | Load_Top At_Offset_3
0045 020e | | Execute Module,Augment_Imports
0046 0387 | | Declare_Variable Package
0047 e002 | | Load 0x0,0x2
0048 e003 | | Load 0x0,0x3
0049 e004 | | Load 0x0,0x4
004a a005 | | Reference 0x0,0x5
004b a006 | | Reference 0x0,0x6
004c a007 | | Reference 0x0,0x7
004d e00e | | Load 0x0,0xe
004e e00f | | Load 0x0,0xf
004f a00a | | Reference 0x0,0xa
0050 e013 | | Load 0x0,0x13
0051 a010 | | Reference 0x0,0x10
0052 e011 | | Load 0x0,0x11
0053 e012 | | Load 0x0,0x12
0054 a00c | | Reference 0x0,0xc
0055 a014 | | Reference 0x0,0x14
0056 480f |H | Short_Literal 0xf
0057 e210 | | Load 0x1,0x10
0058 020e | | Execute Module,Augment_Imports
0059 00d8 | | Load_Top At_Offset_0
005a 020f | | Execute Module,Activate
005b 4800 |H | Short_Literal 0x0
005c 4808 |H | Short_Literal 0x8
005d e001 | | Load 0x0,0x1
005e 01d7 | | Execute Vector,Field_Read
005f 02a0 | | Declare_Subprogram Null_Subprogram
0060 038e | | Declare_Type Package,Defined
0061 e001 | | Load 0x0,0x1
0062 4807 |H | Short_Literal 0x7
0063 e001 | | Load 0x0,0x1
0064 01d7 | | Execute Vector,Field_Read
0065 4802 |H | Short_Literal 0x2
0066 00db | | Load_Top At_Offset_3
0067 020e | | Execute Module,Augment_Imports
0068 0387 | | Declare_Variable Package
0069 e002 | | Load 0x0,0x2
006a e003 | | Load 0x0,0x3
006b e004 | | Load 0x0,0x4
006c a005 | | Reference 0x0,0x5
006d a006 | | Reference 0x0,0x6
006e a007 | | Reference 0x0,0x7
006f e008 | | Load 0x0,0x8
0070 e015 | | Load 0x0,0x15
0071 a00a | | Reference 0x0,0xa
0072 e00b | | Load 0x0,0xb
0073 e00f | | Load 0x0,0xf
0074 a00d | | Reference 0x0,0xd
0075 e016 | | Load 0x0,0x16
0076 e017 | | Load 0x0,0x17
0077 e00e | | Load 0x0,0xe
0078 e013 | | Load 0x0,0x13
0079 a010 | | Reference 0x0,0x10
007a e011 | | Load 0x0,0x11
007b e012 | | Load 0x0,0x12
007c a00c | | Reference 0x0,0xc
007d a014 | | Reference 0x0,0x14
007e 4815 |H | Short_Literal 0x15
007f e211 | | Load 0x1,0x11
0080 020e | | Execute Module,Augment_Imports
0081 00d8 | | Load_Top At_Offset_0
0082 020f | | Execute Module,Activate
0083 4800 |H | Short_Literal 0x0
0084 4806 |H | Short_Literal 0x6
0085 e001 | | Load 0x0,0x1
0086 01d7 | | Execute Vector,Field_Read
0087 02a0 | | Declare_Subprogram Null_Subprogram
0088 038e | | Declare_Type Package,Defined
0089 e001 | | Load 0x0,0x1
008a 4805 |H | Short_Literal 0x5
008b e001 | | Load 0x0,0x1
008c 01d7 | | Execute Vector,Field_Read
008d 4802 |H | Short_Literal 0x2
008e 00db | | Load_Top At_Offset_3
008f 020e | | Execute Module,Augment_Imports
0090 0387 | | Declare_Variable Package
0091 e002 | | Load 0x0,0x2
0092 e003 | | Load 0x0,0x3
0093 e004 | | Load 0x0,0x4
0094 a005 | | Reference 0x0,0x5
0095 a006 | | Reference 0x0,0x6
0096 a007 | | Reference 0x0,0x7
0097 e00e | | Load 0x0,0xe
0098 e015 | | Load 0x0,0x15
0099 a00a | | Reference 0x0,0xa
009a e009 | | Load 0x0,0x9
009b a010 | | Reference 0x0,0x10
009c e008 | | Load 0x0,0x8
009d e00b | | Load 0x0,0xb
009e e013 | | Load 0x0,0x13
009f a00d | | Reference 0x0,0xd
00a0 e016 | | Load 0x0,0x16
00a1 e017 | | Load 0x0,0x17
00a2 e00f | | Load 0x0,0xf
00a3 e011 | | Load 0x0,0x11
00a4 e012 | | Load 0x0,0x12
00a5 a00c | | Reference 0x0,0xc
00a6 a014 | | Reference 0x0,0x14
00a7 4816 |H | Short_Literal 0x16
00a8 e212 | | Load 0x1,0x12
00a9 020e | | Execute Module,Augment_Imports
00aa 00d8 | | Load_Top At_Offset_0
00ab 020f | | Execute Module,Activate
00ac 4800 |H | Short_Literal 0x0
00ad 480c |H | Short_Literal 0xc
00ae e001 | | Load 0x0,0x1
00af 01d7 | | Execute Vector,Field_Read
00b0 02a0 | | Declare_Subprogram Null_Subprogram
00b1 038e | | Declare_Type Package,Defined
00b2 e001 | | Load 0x0,0x1
00b3 480b |H | Short_Literal 0xb
00b4 e001 | | Load 0x0,0x1
00b5 01d7 | | Execute Vector,Field_Read
00b6 4802 |H | Short_Literal 0x2
00b7 00db | | Load_Top At_Offset_3
00b8 020e | | Execute Module,Augment_Imports
00b9 0387 | | Declare_Variable Package
00ba e002 | | Load 0x0,0x2
00bb e003 | | Load 0x0,0x3
00bc e004 | | Load 0x0,0x4
00bd a005 | | Reference 0x0,0x5
00be a006 | | Reference 0x0,0x6
00bf a007 | | Reference 0x0,0x7
00c0 e00e | | Load 0x0,0xe
00c1 e015 | | Load 0x0,0x15
00c2 a00a | | Reference 0x0,0xa
00c3 e013 | | Load 0x0,0x13
00c4 a010 | | Reference 0x0,0x10
00c5 e008 | | Load 0x0,0x8
00c6 e00b | | Load 0x0,0xb
00c7 e00f | | Load 0x0,0xf
00c8 a00d | | Reference 0x0,0xd
00c9 e011 | | Load 0x0,0x11
00ca e012 | | Load 0x0,0x12
00cb a00c | | Reference 0x0,0xc
00cc a014 | | Reference 0x0,0x14
00cd 4813 |H | Short_Literal 0x13
00ce e213 | | Load 0x1,0x13
00cf 020e | | Execute Module,Augment_Imports
00d0 00d8 | | Load_Top At_Offset_0
00d1 020f | | Execute Module,Activate
00d2 4800 |H | Short_Literal 0x0
00d3 480a |H | Short_Literal 0xa
00d4 e001 | | Load 0x0,0x1
00d5 01d7 | | Execute Vector,Field_Read
00d6 02a0 | | Declare_Subprogram Null_Subprogram
00d7 038e | | Declare_Type Package,Defined
00d8 e001 | | Load 0x0,0x1
00d9 4809 |H | Short_Literal 0x9
00da e001 | | Load 0x0,0x1
00db 01d7 | | Execute Vector,Field_Read
00dc 4802 |H | Short_Literal 0x2
00dd 00db | | Load_Top At_Offset_3
00de 020e | | Execute Module,Augment_Imports
00df 0387 | | Declare_Variable Package
00e0 e002 | | Load 0x0,0x2
00e1 e003 | | Load 0x0,0x3
00e2 e004 | | Load 0x0,0x4
00e3 a005 | | Reference 0x0,0x5
00e4 a006 | | Reference 0x0,0x6
00e5 a007 | | Reference 0x0,0x7
00e6 e00e | | Load 0x0,0xe
00e7 e00f | | Load 0x0,0xf
00e8 a00a | | Reference 0x0,0xa
00e9 e013 | | Load 0x0,0x13
00ea a010 | | Reference 0x0,0x10
00eb e008 | | Load 0x0,0x8
00ec e015 | | Load 0x0,0x15
00ed e00b | | Load 0x0,0xb
00ee a00d | | Reference 0x0,0xd
00ef e011 | | Load 0x0,0x11
00f0 e012 | | Load 0x0,0x12
00f1 a00c | | Reference 0x0,0xc
00f2 a014 | | Reference 0x0,0x14
00f3 4813 |H | Short_Literal 0x13
00f4 e214 | | Load 0x1,0x14
00f5 020e | | Execute Module,Augment_Imports
00f6 00d8 | | Load_Top At_Offset_0
00f7 020f | | Execute Module,Activate
00f8 4800 |H | Short_Literal 0x0
00f9 480e |H | Short_Literal 0xe
00fa e001 | | Load 0x0,0x1
00fb 01d7 | | Execute Vector,Field_Read
00fc 02a0 | | Declare_Subprogram Null_Subprogram
00fd 038e | | Declare_Type Package,Defined
00fe e001 | | Load 0x0,0x1
00ff 480d |H | Short_Literal 0xd
0100 e001 | | Load 0x0,0x1
0101 01d7 | | Execute Vector,Field_Read
0102 4802 |H | Short_Literal 0x2
0103 00db | | Load_Top At_Offset_3
0104 020e | | Execute Module,Augment_Imports
0105 0387 | | Declare_Variable Package
0106 e002 | | Load 0x0,0x2
0107 e003 | | Load 0x0,0x3
0108 e004 | | Load 0x0,0x4
0109 a005 | | Reference 0x0,0x5
010a a006 | | Reference 0x0,0x6
010b a007 | | Reference 0x0,0x7
010c e00e | | Load 0x0,0xe
010d e00f | | Load 0x0,0xf
010e a00a | | Reference 0x0,0xa
010f e016 | | Load 0x0,0x16
0110 a010 | | Reference 0x0,0x10
0111 e008 | | Load 0x0,0x8
0112 e00b | | Load 0x0,0xb
0113 e013 | | Load 0x0,0x13
0114 a00d | | Reference 0x0,0xd
0115 e011 | | Load 0x0,0x11
0116 e012 | | Load 0x0,0x12
0117 a00c | | Reference 0x0,0xc
0118 a014 | | Reference 0x0,0x14
0119 4813 |H | Short_Literal 0x13
011a e215 | | Load 0x1,0x15
011b 020e | | Execute Module,Augment_Imports
011c 00d8 | | Load_Top At_Offset_0
011d 020f | | Execute Module,Activate
011e 0093 0000 | | PushFullAddress InMicrocode
0120 60ab |` | Indirect_Literal Discrete,0x1cc,{0x80000000, 0x00010000}
0121 0273 | s | Execute Discrete,Plus
0122 e018 | | Load 0x0,0x18
0123 0273 | s | Execute Discrete,Plus
0124 e019 | | Load 0x0,0x19
0125 0273 | s | Execute Discrete,Plus
0126 4806 |H | Short_Literal 0x6
0127 e20e | | Load 0x1,0xe
0128 4807 |H | Short_Literal 0x7
0129 4800 |H | Short_Literal 0x0
012a 0092 01f6 | | Action Push_String_Extended,0x1f6 ; "HOLDS_NIL"
012c e20f | | Load 0x1,0xf
012d 180d | | Execute Package,Field_Execute,Field_Number 0xd
012e e20f | | Load 0x1,0xf
012f 190e | | Execute Package,Field_Reference,Field_Number 0xe
0130 4801 |H | Short_Literal 0x1
0131 0092 01f7 | | Action Push_String_Extended,0x1f7 ; "HOLDS_NIL_SATISFIED"
0133 e210 | | Load 0x1,0x10
0134 180d | | Execute Package,Field_Execute,Field_Number 0xd
0135 e210 | | Load 0x1,0x10
0136 190e | | Execute Package,Field_Reference,Field_Number 0xe
0137 4802 |H | Short_Literal 0x2
0138 0092 01f8 | | Action Push_String_Extended,0x1f8 ; "HOLDS_OBJECT_CEIL"
013a e211 | | Load 0x1,0x11
013b 180d | | Execute Package,Field_Execute,Field_Number 0xd
013c e211 | | Load 0x1,0x11
013d 190e | | Execute Package,Field_Reference,Field_Number 0xe
013e 4803 |H | Short_Literal 0x3
013f 0092 01f9 | | Action Push_String_Extended,0x1f9 ; "HOLDS_OBJECT_CEIL_AT_OBJ"
0141 e212 | | Load 0x1,0x12
0142 180d | | Execute Package,Field_Execute,Field_Number 0xd
0143 e212 | | Load 0x1,0x12
0144 190e | | Execute Package,Field_Reference,Field_Number 0xe
0145 4804 |H | Short_Literal 0x4
0146 0092 01fa | | Action Push_String_Extended,0x1fa ; "HOLDS_OBJECT_NOT_CEIL_ON_LADDER"
0148 e213 | | Load 0x1,0x13
0149 180d | | Execute Package,Field_Execute,Field_Number 0xd
014a e213 | | Load 0x1,0x13
014b 190e | | Execute Package,Field_Reference,Field_Number 0xe
014c 4805 |H | Short_Literal 0x5
014d 0092 01fb | | Action Push_String_Extended,0x1fb ; "HOLDS_OBJECT_NOT_CEIL_AT"
014f e214 | | Load 0x1,0x14
0150 180d | | Execute Package,Field_Execute,Field_Number 0xd
0151 e214 | | Load 0x1,0x14
0152 190e | | Execute Package,Field_Reference,Field_Number 0xe
0153 4806 |H | Short_Literal 0x6
0154 0092 01fc | | Action Push_String_Extended,0x1fc ; "HOLDS_OBJECT_SATISFIED"
0156 e215 | | Load 0x1,0x15
0157 180d | | Execute Package,Field_Execute,Field_Number 0xd
0158 e215 | | Load 0x1,0x15
0159 190e | | Execute Package,Field_Reference,Field_Number 0xe
015a 4807 |H | Short_Literal 0x7
015b 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
015d 00c4 | | Action Make_Default
015e a01a | | Reference 0x0,0x1a
015f 4807 |H | Short_Literal 0x7
0160 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0162 00c4 | | Action Make_Default
0163 a01a | | Reference 0x0,0x1a
0164 4807 |H | Short_Literal 0x7
0165 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0167 00c4 | | Action Make_Default
0168 a01a | | Reference 0x0,0x1a
0169 4807 |H | Short_Literal 0x7
016a 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
016c 00c4 | | Action Make_Default
016d a01a | | Reference 0x0,0x1a
016e 4807 |H | Short_Literal 0x7
016f 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0171 00c4 | | Action Make_Default
0172 a01a | | Reference 0x0,0x1a
0173 4807 |H | Short_Literal 0x7
0174 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0176 00c4 | | Action Make_Default
0177 a01a | | Reference 0x0,0x1a
0178 4807 |H | Short_Literal 0x7
0179 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
017b 00c4 | | Action Make_Default
017c a01a | | Reference 0x0,0x1a
017d 4807 |H | Short_Literal 0x7
017e 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0180 00c4 | | Action Make_Default
0181 a01a | | Reference 0x0,0x1a
0182 4807 |H | Short_Literal 0x7
0183 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0185 00c4 | | Action Make_Default
0186 a01a | | Reference 0x0,0x1a
0187 4807 |H | Short_Literal 0x7
0188 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
018a 00c4 | | Action Make_Default
018b a01a | | Reference 0x0,0x1a
018c 4807 |H | Short_Literal 0x7
018d 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
018f 00c4 | | Action Make_Default
0190 a01a | | Reference 0x0,0x1a
0191 4807 |H | Short_Literal 0x7
0192 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0194 00c4 | | Action Make_Default
0195 a01a | | Reference 0x0,0x1a
0196 4807 |H | Short_Literal 0x7
0197 0092 01fd | | Action Push_String_Extended,0x1fd ; "NO_MORE"
0199 00c4 | | Action Make_Default
019a a01a | | Reference 0x0,0x1a
019b e01b | | Load 0x0,0x1b
019c c238 | 8 | Store 0x1,0x38
019d e01b | | Load 0x0,0x1b
019e c23c | < | Store 0x1,0x3c
019f e01b | | Load 0x0,0x1b
01a0 c240 | @ | Store 0x1,0x40
01a1 e01b | | Load 0x0,0x1b
01a2 c244 | D | Store 0x1,0x44
01a3 e01b | | Load 0x0,0x1b
01a4 c248 | H | Store 0x1,0x48
01a5 e01b | | Load 0x0,0x1b
01a6 c24c | L | Store 0x1,0x4c
01a7 e01b | | Load 0x0,0x1b
01a8 c250 | P | Store 0x1,0x50
01a9 e01b | | Load 0x0,0x1b
01aa c254 | T | Store 0x1,0x54
01ab e01b | | Load 0x0,0x1b
01ac c258 | X | Store 0x1,0x58
01ad e01b | | Load 0x0,0x1b
01ae c25c | \ | Store 0x1,0x5c
01af e01b | | Load 0x0,0x1b
01b0 c260 | ` | Store 0x1,0x60
01b1 e01b | | Load 0x0,0x1b
01b2 c264 | d | Store 0x1,0x64
01b3 e01b | | Load 0x0,0x1b
01b4 c268 | h | Store 0x1,0x68
01b5 e01c | | Load 0x0,0x1c
01b6 0387 | | Declare_Variable Package
01b7 00d8 | | Load_Top At_Offset_0
01b8 020f | | Execute Module,Activate
01b9 1d0d | | Execute_Immediate Reference_Lex_1,0xd
01ba 00c7 | | Action Elaborate_Subprogram
01bb BODY_0008:
01bb 00bc | | Action Signal_Activated
01bc 00bb | | Action Signal_Completion
01bd 0000 0000 | | .XXX[0x3]
01bf 0000 | |
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3 | | .CONST 0x01c3 ; Address of begin
01c1 0004 | | .CONST 0x0004 ; Address of exception handler
01c2 0001 | | .CONST 0x0001 ; Number of locals
01c3 BODY_01c0:
01c3 INIT_01c0:
01c3 00db | | Load_Top At_Offset_3
01c4 00db | | Load_Top At_Offset_3
01c5 e01d | | Load 0x0,0x1d
01c6 e216 | | Load 0x1,0x16
01c7 0096 | | Execute Package,Field_Execute_Dynamic
01c8 4503 |E | Exit_Subprogram 0x3
01c9 0000 0000 | | .XXX[0x3]
01cb 0000 | |
01cc 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01d3 | | .CONST 0x01d3 ; Address of begin
01d1 0004 | | .CONST 0x0004 ; Address of exception handler
01d2 0001 | | .CONST 0x0001 ; Number of locals
01d3 BODY_01d0:
01d3 INIT_01d0:
01d3 4607 |F | Jump_Case 0x7
01d4 4302 |C | Exit_Subprogram From_Utility,0x2 ; case 0x0
01d5 7807 |x | Jump 0x1dd ; case 0x1
01d6 780a |x | Jump 0x1e1 ; case 0x2
01d7 780e |x | Jump 0x1e6 ; case 0x3
01d8 7811 |x | Jump 0x1ea ; case 0x4
01d9 7812 |x | Jump 0x1ec ; case 0x5
01da 7813 |x | Jump 0x1ee ; case 0x6
01db 7816 |x | Jump 0x1f2 ; case 0x7
01dc 4302 |C | .XXX[0x1]
01dd 00da | | Load_Top At_Offset_2
01de 0091 01f6 | | Action Push_String_Extended_Indexed,0x1f6 ; "HOLDS_NIL"
01e0 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
01e1 00db | | Load_Top At_Offset_3
01e2 00db | | Load_Top At_Offset_3
01e3 00e0 | | Load_Encached Standard_Cache
01e4 181b | | Execute Package,Field_Execute,Field_Number 0x1b
01e5 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01e6 00da | | Load_Top At_Offset_2
01e7 00e0 | | Load_Encached Standard_Cache
01e8 181c | | Execute Package,Field_Execute,Field_Number 0x1c
01e9 4201 |B | Exit_Subprogram From_Utility,With_Result,0x1
01ea 00db | | Load_Top At_Offset_3
01eb 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01ec 00db | | Load_Top At_Offset_3
01ed 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01ee e20e | | Load 0x1,0xe
01ef 00dc | | Load_Top At_Offset_4
01f0 0267 | g | Execute Discrete,Predecessor
01f1 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01f2 e20e | | Load 0x1,0xe
01f3 00dc | | Load_Top At_Offset_4
01f4 0268 | h | Execute Discrete,Successor
01f5 4202 |B | Exit_Subprogram From_Utility,With_Result,0x2
01f6 ; --------------------------------------------------------------------------------------
01f6 ; STRING TABLE
01f6 ; --------------------------------------------------------------------------------------
01f6 0012 | | .STRTAB 0x0012->0x01ff ; "HOLDS_NIL"
; "HOLDS_NIL"
01f7 0019 | | .STRTAB 0x0019->0x0203 ; "HOLDS_NIL_SATISFIED"
01f8 002a | * | .STRTAB 0x002a->0x020d ; "HOLDS_OBJECT_CEIL"
01f9 0039 | 9 | .STRTAB 0x0039->0x0215 ; "HOLDS_OBJECT_CEIL_AT_OBJ"
01fa 004f | O | .STRTAB 0x004f->0x0221 ; "HOLDS_OBJECT_NOT_CEIL_ON_LADDER"
01fb 006c | l | .STRTAB 0x006c->0x0231 ; "HOLDS_OBJECT_NOT_CEIL_AT"
01fc 0082 | | .STRTAB 0x0082->0x023d ; "HOLDS_OBJECT_SATISFIED"
01fd 0096 | | .STRTAB 0x0096->0x0248 ; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
; "NO_MORE"
01fe 009b | | .STREND 0x009b->0x024b
01ff 484f 4c44 |HOLD| .STRTAB_STRINGS
024c 0000 0000 | | .BLANK 0000[0x4]
0250 ; --------------------------------------------------------------------------------------
0250 ; Debug Table
0250 ; --------------------------------------------------------------------------------------
0250 0004 0006 | | .DEBUG4 0x0004,0x0006,0xb2e6,0x0000,0x0001,0x0004
0256 000b 0266 | f| .DBG4T 0x000b,0x0266,0x8000,0x0000
025a 000e 0269 | i| .DBG4T 0x000e,0x0269,0x8000,0x0000
025e 01c3 027c | || .DBG4T 0x01c3,0x027c,0x0001,0x0000
0262 01d3 0000 | | .DBG4T 0x01d3,0x0000,0x0005,0x0000
0266 ; --------------------------------------------------------------------------------------
0266 ; Debug chain
0266 ; --------------------------------------------------------------------------------------
0266 0001 0000 | | .DBGLEN 0x0001,0x0000
0268 000b | | .DBGLNO 0x000b
0269 ; --------------------------------------------------------------------------------------
0269 ; Debug chain
0269 ; --------------------------------------------------------------------------------------
0269 0011 0000 | | .DBGLEN 0x0011,0x0000
026b 000e 0013 | | .DBGLNO 0x000e,0x0013,0x0021,0x0039,0x0047,0x005b,0x0069,0x0083,0x0091,0x00ac,0x00ba,0x00d2,0x00e0,0x00f8,0x0106,0x011e,0x01b9
027c ; --------------------------------------------------------------------------------------
027c ; Debug chain
027c ; --------------------------------------------------------------------------------------
027c 0000 0001 | | .DBGLEN 0x0000,0x0001
027e 01c3 | | .DBGLNO 0x01c3
027f 0000 0000 | | .BLANK 0000[0x181]