DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦a0073b5a1⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_11e4d9

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

Disassembly

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	INIT_01c0,For_Outer_Call,Visible,Unelaborated
000d 00bf       |    |		Action	Accept_Activation
000e 4800       |H   |		Short_Literal	0x0
000f 4807       |H   |		Short_Literal	0x7
0010 029f 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Call
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       |    |		Store_Unchecked	0x0,0x5
0025 a006       |    |		Store_Unchecked	0x0,0x6
0026 a007       |    |		Store_Unchecked	0x0,0x7
0027 e008       |    |		Load	0x0,0x8
0028 e009       |    |		Load	0x0,0x9
0029 a00a       |    |		Store_Unchecked	0x0,0xa
002a e00b       |    |		Load	0x0,0xb
002b a00c       |    |		Store_Unchecked	0x0,0xc
002c a00d       |    |		Store_Unchecked	0x0,0xd
002d e00e       |    |		Load	0x0,0xe
002e e00f       |    |		Load	0x0,0xf
002f a010       |    |		Store_Unchecked	0x0,0x10
0030 e011       |    |		Load	0x0,0x11
0031 e012       |    |		Load	0x0,0x12
0032 e013       |    |		Load	0x0,0x13
0033 a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
004b a006       |    |		Store_Unchecked	0x0,0x6
004c a007       |    |		Store_Unchecked	0x0,0x7
004d e00e       |    |		Load	0x0,0xe
004e e00f       |    |		Load	0x0,0xf
004f a00a       |    |		Store_Unchecked	0x0,0xa
0050 e013       |    |		Load	0x0,0x13
0051 a010       |    |		Store_Unchecked	0x0,0x10
0052 e011       |    |		Load	0x0,0x11
0053 e012       |    |		Load	0x0,0x12
0054 a00c       |    |		Store_Unchecked	0x0,0xc
0055 a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
006d a006       |    |		Store_Unchecked	0x0,0x6
006e a007       |    |		Store_Unchecked	0x0,0x7
006f e008       |    |		Load	0x0,0x8
0070 e015       |    |		Load	0x0,0x15
0071 a00a       |    |		Store_Unchecked	0x0,0xa
0072 e00b       |    |		Load	0x0,0xb
0073 e00f       |    |		Load	0x0,0xf
0074 a00d       |    |		Store_Unchecked	0x0,0xd
0075 e016       |    |		Load	0x0,0x16
0076 e017       |    |		Load	0x0,0x17
0077 e00e       |    |		Load	0x0,0xe
0078 e013       |    |		Load	0x0,0x13
0079 a010       |    |		Store_Unchecked	0x0,0x10
007a e011       |    |		Load	0x0,0x11
007b e012       |    |		Load	0x0,0x12
007c a00c       |    |		Store_Unchecked	0x0,0xc
007d a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
0095 a006       |    |		Store_Unchecked	0x0,0x6
0096 a007       |    |		Store_Unchecked	0x0,0x7
0097 e00e       |    |		Load	0x0,0xe
0098 e015       |    |		Load	0x0,0x15
0099 a00a       |    |		Store_Unchecked	0x0,0xa
009a e009       |    |		Load	0x0,0x9
009b a010       |    |		Store_Unchecked	0x0,0x10
009c e008       |    |		Load	0x0,0x8
009d e00b       |    |		Load	0x0,0xb
009e e013       |    |		Load	0x0,0x13
009f a00d       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0xc
00a6 a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
00be a006       |    |		Store_Unchecked	0x0,0x6
00bf a007       |    |		Store_Unchecked	0x0,0x7
00c0 e00e       |    |		Load	0x0,0xe
00c1 e015       |    |		Load	0x0,0x15
00c2 a00a       |    |		Store_Unchecked	0x0,0xa
00c3 e013       |    |		Load	0x0,0x13
00c4 a010       |    |		Store_Unchecked	0x0,0x10
00c5 e008       |    |		Load	0x0,0x8
00c6 e00b       |    |		Load	0x0,0xb
00c7 e00f       |    |		Load	0x0,0xf
00c8 a00d       |    |		Store_Unchecked	0x0,0xd
00c9 e011       |    |		Load	0x0,0x11
00ca e012       |    |		Load	0x0,0x12
00cb a00c       |    |		Store_Unchecked	0x0,0xc
00cc a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
00e4 a006       |    |		Store_Unchecked	0x0,0x6
00e5 a007       |    |		Store_Unchecked	0x0,0x7
00e6 e00e       |    |		Load	0x0,0xe
00e7 e00f       |    |		Load	0x0,0xf
00e8 a00a       |    |		Store_Unchecked	0x0,0xa
00e9 e013       |    |		Load	0x0,0x13
00ea a010       |    |		Store_Unchecked	0x0,0x10
00eb e008       |    |		Load	0x0,0x8
00ec e015       |    |		Load	0x0,0x15
00ed e00b       |    |		Load	0x0,0xb
00ee a00d       |    |		Store_Unchecked	0x0,0xd
00ef e011       |    |		Load	0x0,0x11
00f0 e012       |    |		Load	0x0,0x12
00f1 a00c       |    |		Store_Unchecked	0x0,0xc
00f2 a014       |    |		Store_Unchecked	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       |    |		Store_Unchecked	0x0,0x5
010a a006       |    |		Store_Unchecked	0x0,0x6
010b a007       |    |		Store_Unchecked	0x0,0x7
010c e00e       |    |		Load	0x0,0xe
010d e00f       |    |		Load	0x0,0xf
010e a00a       |    |		Store_Unchecked	0x0,0xa
010f e016       |    |		Load	0x0,0x16
0110 a010       |    |		Store_Unchecked	0x0,0x10
0111 e008       |    |		Load	0x0,0x8
0112 e00b       |    |		Load	0x0,0xb
0113 e013       |    |		Load	0x0,0x13
0114 a00d       |    |		Store_Unchecked	0x0,0xd
0115 e011       |    |		Load	0x0,0x11
0116 e012       |    |		Load	0x0,0x12
0117 a00c       |    |		Store_Unchecked	0x0,0xc
0118 a014       |    |		Store_Unchecked	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  |    |		push_full_address	0x0
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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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       |    |		Store_Unchecked	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,Entry
01c8 4503       |E   |		Exit_Suprogram	New_Top_Offset 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	0x8
01d4 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 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,New_Top_Offset 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,New_Top_Offset 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,New_Top_Offset 0x1
01ea 00db       |    |		Load_Top	At_Offset_3
01eb 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
01ec 00db       |    |		Load_Top	At_Offset_3
01ed 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 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,New_Top_Offset 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,New_Top_Offset 0x2
01f6 ; --------------------------------------------------------------------------------------
01f6 ; STRING TABLE
01f6 ; --------------------------------------------------------------------------------------
01f6 0012       |    |		.STRTAB	0x0012->0x01ff							; "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"
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,0xafb4,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]