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

⟦24569a707⟧

    Length: 3072 (0xc00)
    Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_1cd4f8

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 03f8       |    |		.CONST	0x03f8								; 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 0002       |    |		.CONST	0x0002								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0139       | 9  |		.CONST	0x0139								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 003b       | ;  |		.CONST	0x003b								; Number of locals
000b			INIT_0008:
000b 0007       |    |		Action	Break_Optional
000c 0007       |    |		Action	Break_Optional
000d 4800       |H   |		Short_Literal	0x0
000e e20f       |    |		Load	0x1,0xf
000f 00e3       |    |		Load_Encached	Natural_Cache
0010 03f9       |    |		Declare_Type	Discrete,Constrained,Visible
0011 029a 0143  |   C|		Declare_Subprogram	INIT_0140,For_Outer_Call,Visible,Unelaborated
0013 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated
0015 029a 0183  |    |		Declare_Subprogram	INIT_0180,For_Outer_Call,Visible,Unelaborated
0017 029a 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call,Visible,Unelaborated
0019 4800       |H   |		Short_Literal	0x0
001a 4804       |H   |		Short_Literal	0x4
001b e001       |    |		Load	0x0,0x1
001c 01d7       |    |		Execute	Vector,Field_Read
001d 02a0       |    |		Declare_Subprogram	Null_Subprogram
001e 038f       |    |		Declare_Type	Package,Defined,Visible
001f e001       |    |		Load	0x0,0x1
0020 4803       |H   |		Short_Literal	0x3
0021 e001       |    |		Load	0x0,0x1
0022 01d7       |    |		Execute	Vector,Field_Read
0023 e213       |    |		Load	0x1,0x13
0024 e21d       |    |		Load	0x1,0x1d
0025 e214       |    |		Load	0x1,0x14
0026 4805       |H   |		Short_Literal	0x5
0027 e222       | "  |		Load	0x1,0x22
0028 020e       |    |		Execute	Module,Augment_Imports
0029 0386       |    |		Declare_Variable	Package,Visible
002a 0093 0000  |    |		push_full_address	0x0
002c 6133       |a3  |		Indirect_Literal	Discrete,0x160,{0x80000000, 0x00010000}
002d 0273       | s  |		Execute	Discrete,Plus
002e e20d       |    |		Load	0x1,0xd
002f 612c       |a,  |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x0000ffff}
0030 0279       | y  |		Execute	Discrete,And
0031 0273       | s  |		Execute	Discrete,Plus
0032 e002       |    |		Load	0x0,0x2
0033 0273       | s  |		Execute	Discrete,Plus
0034 00d9       |    |		Load_Top	At_Offset_1
0035 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
0036 00da       |    |		Load_Top	At_Offset_2
0037 190e       |    |		Execute	Package,Field_Reference,Field_Number 0xe
0038 00db       |    |		Load_Top	At_Offset_3
0039 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
003a e003       |    |		Load	0x0,0x3
003b 0386       |    |		Declare_Variable	Package,Visible
003c 00d8       |    |		Load_Top	At_Offset_0
003d 020f       |    |		Execute	Module,Activate
003e 029a 01d3  |    |		Declare_Subprogram	INIT_01d0,For_Outer_Call,Visible,Unelaborated
0040 029a 024b  |   K|		Declare_Subprogram	INIT_0248,For_Outer_Call,Visible,Unelaborated
0042 029a 0293  |    |		Declare_Subprogram	INIT_0290,For_Outer_Call,Visible,Unelaborated
0044 029a 02db  |    |		Declare_Subprogram	INIT_02d8,For_Outer_Call,Visible,Unelaborated
0046 029a 02e3  |    |		Declare_Subprogram	INIT_02e0,For_Outer_Call,Visible,Unelaborated
0048 029a 02eb  |    |		Declare_Subprogram	INIT_02e8,For_Outer_Call,Visible,Unelaborated
004a 029a 02f3  |    |		Declare_Subprogram	INIT_02f0,For_Outer_Call,Visible,Unelaborated
004c 0093 0000  |    |		push_full_address	0x0
004e 6109       |a   |		Indirect_Literal	Discrete,0x158,{0x80000000, 0x00010000}
004f 0273       | s  |		Execute	Discrete,Plus
0050 e20d       |    |		Load	0x1,0xd
0051 610a       |a   |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x0000ffff}
0052 0279       | y  |		Execute	Discrete,And
0053 0273       | s  |		Execute	Discrete,Plus
0054 0129       | )  |		Execute	Any,Make_Visible
0055 0093 0000  |    |		push_full_address	0x0
0057 60fc       |`   |		Indirect_Literal	Discrete,0x154,{0x80000000, 0x00020000}
0058 0273       | s  |		Execute	Discrete,Plus
0059 e20d       |    |		Load	0x1,0xd
005a 6101       |a   |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x0000ffff}
005b 0279       | y  |		Execute	Discrete,And
005c 0273       | s  |		Execute	Discrete,Plus
005d 0129       | )  |		Execute	Any,Make_Visible
005e 0093 0000  |    |		push_full_address	0x0
0060 60ef       |`   |		Indirect_Literal	Discrete,0x150,{0x80000000, 0x00030000}
0061 0273       | s  |		Execute	Discrete,Plus
0062 e20d       |    |		Load	0x1,0xd
0063 60f8       |`   |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x0000ffff}
0064 0279       | y  |		Execute	Discrete,And
0065 0273       | s  |		Execute	Discrete,Plus
0066 0129       | )  |		Execute	Any,Make_Visible
0067 4854       |HT  |		Short_Literal	0x54
0068 4802       |H   |		Short_Literal	0x2
0069 e001       |    |		Load	0x0,0x1
006a 01d7       |    |		Execute	Vector,Field_Read
006b 02a0       |    |		Declare_Subprogram	Null_Subprogram
006c 038d       |    |		Declare_Type	Package,Defined,Visible,Not_Elaborated
006d e001       |    |		Load	0x0,0x1
006e 4801       |H   |		Short_Literal	0x1
006f e001       |    |		Load	0x0,0x1
0070 01d7       |    |		Execute	Vector,Field_Read
0071 4802       |H   |		Short_Literal	0x2
0072 00db       |    |		Load_Top	At_Offset_3
0073 020e       |    |		Execute	Module,Augment_Imports
0074 00bf       |    |		Action	Accept_Activation
0075 0093 0000  |    |		push_full_address	0x0
0077 60d4       |`   |		Indirect_Literal	Discrete,0x14c,{0x80000000, 0x00020000}
0078 0273       | s  |		Execute	Discrete,Plus
0079 e20d       |    |		Load	0x1,0xd
007a 60e1       |`   |		Indirect_Literal	Discrete,0x15c,{0x00000000, 0x0000ffff}
007b 0279       | y  |		Execute	Discrete,And
007c 0273       | s  |		Execute	Discrete,Plus
007d e004       |    |		Load	0x0,0x4
007e 0273       | s  |		Execute	Discrete,Plus
007f e210       |    |		Load	0x1,0x10
0080 e217       |    |		Load	0x1,0x17
0081 e218       |    |		Load	0x1,0x18
0082 e217       |    |		Load	0x1,0x17
0083 011e       |    |		Execute	Any,Convert
0084 e219       |    |		Load	0x1,0x19
0085 e005       |    |		Load	0x0,0x5
0086 0387       |    |		Declare_Variable	Package
0087 00d8       |    |		Load_Top	At_Offset_0
0088 020f       |    |		Execute	Module,Activate
0089 0007       |    |		Action	Break_Optional
008a 0007       |    |		Action	Break_Optional
008b 0007       |    |		Action	Break_Optional
008c 0007       |    |		Action	Break_Optional
008d e21d       |    |		Load	0x1,0x1d
008e e006       |    |		Load	0x0,0x6
008f e211       |    |		Load	0x1,0x11
0090 00e3       |    |		Load_Encached	Natural_Cache
0091 e007       |    |		Load	0x0,0x7
0092 4801       |H   |		Short_Literal	0x1
0093 60b4       |`   |		Indirect_Literal	Discrete,0x148,{0x00000000, 0x7fffffff}
0094 e21d       |    |		Load	0x1,0x1d
0095 0269       | i  |		Execute	Discrete,Last
0096 026c       | l  |		Execute	Discrete,Minimum
0097 e008       |    |		Load	0x0,0x8
0098 e22f       | /  |		Load	0x1,0x2f
0099 0098       |    |		Execute	Package,Field_Read_Dynamic
009a 034e       | N  |		QQ_Declare_Type	Array,Constrained,Bounds_With_Object
009b 029f 02fb  |    |		Declare_Subprogram	INIT_02f8,For_Call
009d 4800       |H   |		Short_Literal	0x0
009e 4801       |H   |		Short_Literal	0x1
009f 4804       |H   |		Short_Literal	0x4
00a0 4800       |H   |		Short_Literal	0x0
00a1 4801       |H   |		Short_Literal	0x1
00a2 4801       |H   |		Short_Literal	0x1
00a3 031d       |    |		Declare_Type	Variant_Record,Defined
00a4 4800       |H   |		Short_Literal	0x0
00a5 00d9       |    |		Load_Top	At_Offset_1
00a6 1c08       |    |		Execute_Immediate	Run_Utility,0x8
00a7 e009       |    |		Load	0x0,0x9
00a8 00d9       |    |		Load_Top	At_Offset_1
00a9 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
00aa e211       |    |		Load	0x1,0x11
00ab 026a       | j  |		Execute	Discrete,First
00ac 00d9       |    |		Load_Top	At_Offset_1
00ad 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
00ae 4800       |H   |		Short_Literal	0x0
00af 00d9       |    |		Load_Top	At_Offset_1
00b0 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
00b1 e007       |    |		Load	0x0,0x7
00b2 00d9       |    |		Load_Top	At_Offset_1
00b3 2805       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x5
00b4 00d8       |    |		Load_Top	At_Offset_0
00b5 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00b6 0335       | 5  |		Declare_Variable	Array,Duplicate
00b7 00cd       |    |		Action	Spare6_Action
00b8 00d9       |    |		Load_Top	At_Offset_1
00b9 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00ba 01d9       |    |		Execute	Vector,Reverse_Bounds
00bb 0263       | c  |		Execute	Discrete,Above_Bound
00bc 7005       |p   |		Jump_Nonzero	0xc2
00bd 4801       |H   |		Short_Literal	0x1
00be 00d9       |    |		Load_Top	At_Offset_1
00bf e232       | 2  |		Load	0x1,0x32
00c0 01d6       |    |		Execute	Vector,Field_Write
00c1 3ffb       |?   |		Loop_Increasing	0xbd
00c2 00d9       |    |		Load_Top	At_Offset_1
00c3 00d8       |    |		Load_Top	At_Offset_0
00c4 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00c5 00da       |    |		Load_Top	At_Offset_2
00c6 01da       |    |		Execute	Vector,Bounds
00c7 00da       |    |		Load_Top	At_Offset_2
00c8 01da       |    |		Execute	Vector,Bounds
00c9 00da       |    |		Load_Top	At_Offset_2
00ca 027f       |    |		Execute	Discrete,Equal
00cb 7001       |p   |		Jump_Nonzero	0xcd
00cc 08e0       |    |		Execute_Immediate	Raise,0xe0
00cd 00cd       |    |		Action	Spare6_Action
00ce 027f       |    |		Execute	Discrete,Equal
00cf 7001       |p   |		Jump_Nonzero	0xd1
00d0 08e0       |    |		Execute_Immediate	Raise,0xe0
00d1 00d2       |    |		Pop_Control	Pop_Count_2
00d2 00d9       |    |		Load_Top	At_Offset_1
00d3 2906       |)   |		Execute	Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x6
00d4 4801       |H   |		Short_Literal	0x1
00d5 e20e       |    |		Load	0x1,0xe
00d6 00e3       |    |		Load_Encached	Natural_Cache
00d7 03f8       |    |		Declare_Type	Discrete,Constrained
00d8 4801       |H   |		Short_Literal	0x1
00d9 00d9       |    |		Load_Top	At_Offset_1
00da 0269       | i  |		Execute	Discrete,Last
00db e230       | 0  |		Load	0x1,0x30
00dc 029f 0343  |   C|		Declare_Subprogram	INIT_0340,For_Call
00de 4801       |H   |		Short_Literal	0x1
00df 035d       | ]  |		Declare_Type	Array,Defined
00e0 00d8       |    |		Load_Top	At_Offset_0
00e1 0337       | 7  |		Declare_Variable	Array
00e2 00d8       |    |		Load_Top	At_Offset_0
00e3 0335       | 5  |		Declare_Variable	Array,Duplicate
00e4 00cd       |    |		Action	Spare6_Action
00e5 00d9       |    |		Load_Top	At_Offset_1
00e6 01d9       |    |		Execute	Vector,Reverse_Bounds
00e7 0263       | c  |		Execute	Discrete,Above_Bound
00e8 7005       |p   |		Jump_Nonzero	0xee
00e9 e231       | 1  |		Load	0x1,0x31
00ea 00d9       |    |		Load_Top	At_Offset_1
00eb e235       | 5  |		Load	0x1,0x35
00ec 01d6       |    |		Execute	Vector,Field_Write
00ed 3ffb       |?   |		Loop_Increasing	0xe9
00ee 00d9       |    |		Load_Top	At_Offset_1
00ef 01d4       |    |		Execute	Vector,Structure_Write
00f0 00e3       |    |		Load_Encached	Natural_Cache
00f1 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f2 00e3       |    |		Load_Encached	Natural_Cache
00f3 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f4 00e7       |    |		Load_Encached	Duration_Cache
00f5 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f6 00e3       |    |		Load_Encached	Natural_Cache
00f7 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f8 00e1       |    |		Load_Encached	Boolean_Cache
00f9 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00fa e234       | 4  |		Load	0x1,0x34
00fb a00a       |    |		Store_Unchecked	0x0,0xa
00fc a00b       |    |		Store_Unchecked	0x0,0xb
00fd a00c       |    |		Store_Unchecked	0x0,0xc
00fe a00d       |    |		Store_Unchecked	0x0,0xd
00ff 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0100 a00e       |    |		Store_Unchecked	0x0,0xe
0101 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0102 a00f       |    |		Store_Unchecked	0x0,0xf
0103 e212       |    |		Load	0x1,0x12
0104 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0105 a010       |    |		Store_Unchecked	0x0,0x10
0106 480c       |H   |		Short_Literal	0xc
0107 e222       | "  |		Load	0x1,0x22
0108 020e       |    |		Execute	Module,Augment_Imports
0109 e222       | "  |		Load	0x1,0x22
010a 020f       |    |		Execute	Module,Activate
010b 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
010c 00c7       |    |		Action	Elaborate_Subprogram
010d 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
010e 00c7       |    |		Action	Elaborate_Subprogram
010f 029d 035b  |   [|		Declare_Subprogram	INIT_0358,For_Outer_Call
0111 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0112 00c7       |    |		Action	Elaborate_Subprogram
0113 029d 036b  |   k|		Declare_Subprogram	INIT_0368,For_Outer_Call
0115 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
0116 00c7       |    |		Action	Elaborate_Subprogram
0117 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
0118 00c7       |    |		Action	Elaborate_Subprogram
0119 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
011a 00c7       |    |		Action	Elaborate_Subprogram
011b 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
011c 00c7       |    |		Action	Elaborate_Subprogram
011d 1d28       | (  |		Execute_Immediate	Reference_Lex_1,0x28
011e 00c7       |    |		Action	Elaborate_Subprogram
011f 1d29       | )  |		Execute_Immediate	Reference_Lex_1,0x29
0120 00c7       |    |		Action	Elaborate_Subprogram
0121 1d2a       | *  |		Execute_Immediate	Reference_Lex_1,0x2a
0122 00c7       |    |		Action	Elaborate_Subprogram
0123 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0124 00c7       |    |		Action	Elaborate_Subprogram
0125 e234       | 4  |		Load	0x1,0x34
0126 e22b       | +  |		Load	0x1,0x2b
0127 e008       |    |		Load	0x0,0x8
0128 e22f       | /  |		Load	0x1,0x2f
0129 0098       |    |		Execute	Package,Field_Read_Dynamic
012a e006       |    |		Load	0x0,0x6
012b 1d35       | 5  |		Execute_Immediate	Reference_Lex_1,0x35
012c e20e       |    |		Load	0x1,0xe
012d e22d       | -  |		Load	0x1,0x2d
012e e011       |    |		Load	0x0,0x11
012f e22f       | /  |		Load	0x1,0x2f
0130 0095       |    |		Execute	Package,Field_Reference_Dynamic
0131 a012       |    |		Store_Unchecked	0x0,0x12
0132 e230       | 0  |		Load	0x1,0x30
0133 a013       |    |		Store_Unchecked	0x0,0x13
0134 480b       |H   |		Short_Literal	0xb
0135 e22e       | .  |		Load	0x1,0x2e
0136 020e       |    |		Execute	Module,Augment_Imports
0137 e22e       | .  |		Load	0x1,0x2e
0138 020d       |    |		Execute	Module,Elaborate
0139			BODY_0008:
0139 00bc       |    |		Action	Signal_Activated
013a 00bb       |    |		Action	Signal_Completion
013b 0000 0000  |    |		.BLANK	0000[0x5]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 0143       | C  |		.CONST	0x0143								; Address of begin
0141 0004       |    |		.CONST	0x0004								; Address of exception handler
0142 0001       |    |		.CONST	0x0001								; Number of locals
0143			BODY_0140:
0143			INIT_0140:
0143 e235       | 5  |		Load	0x1,0x35
0144 00ca       |    |		Action	Exit_Nullary_Function
0145 0000 0000  |    |		.XXX[0x3]
0147 0000       |    |
0148 0000 0000  |    |		.LITERAL	{0x00000000, 0x7fffffff}
014c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0150 8000 0000  |    |		.LITERAL	{0x80000000, 0x00030000}
0154 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0158 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
015c 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
0160 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
0164 0000 0000  |    |		.BLANK	0000[0x4]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b       | k  |		.CONST	0x016b								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0001       |    |		.CONST	0x0001								; Number of locals
016b			BODY_0168:
016b			INIT_0168:
016b 00da       |    |		Load_Top	At_Offset_2
016c 823a       | :  |		Call	0x1,0x3a
016d 680a       |h   |		Jump_Zero	0x178
016e 00da       |    |		Load_Top	At_Offset_2
016f e234       | 4  |		Load	0x1,0x34
0170 01d5       |    |		Execute	Vector,Field_Reference
0171 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
0172 00d8       |    |		Load_Top	At_Offset_0
0173 e211       |    |		Load	0x1,0x11
0174 0260       | `  |		Execute	Discrete,In_Type
0175 7001       |p   |		Jump_Nonzero	0x177
0176 0801       |    |		Execute_Immediate	Raise,0x1
0177 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0178 e22c       | ,  |		Load	0x1,0x2c
0179 0257       | W  |		Execute	Discrete,Raise
017a 0000 0000  |    |		.BLANK	0000[0x6]
0180 ; --------------------------------------------------------------------------------------
0180 ; SUBPROGRAM
0180 ; --------------------------------------------------------------------------------------
0180 018c       |    |		.CONST	0x018c								; Address of begin
0181 0004       |    |		.CONST	0x0004								; Address of exception handler
0182 0003       |    |		.CONST	0x0003								; Number of locals
0183			INIT_0180:
0183 00da       |    |		Load_Top	At_Offset_2
0184 e234       | 4  |		Load	0x1,0x34
0185 01d5       |    |		Execute	Vector,Field_Reference
0186 0007       |    |		Action	Break_Optional
0187 00d8       |    |		Load_Top	At_Offset_0
0188 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0189 e014       |    |		Load	0x0,0x14
018a e22f       | /  |		Load	0x1,0x2f
018b 0096       |    |		Execute	Package,Entry
018c			BODY_0180:
018c e5fe       |    |		Load	0x2,-0x2
018d 0092 03cc  |    |		Action	Push_String_Extended,0x3cc					; "Rule'("
018f 800b       |    |		Call	0x0,0xb
0190 e5fe       |    |		Load	0x2,-0x2
0191 800c       |    |		Call	0x0,0xc
0192 e5fe       |    |		Load	0x2,-0x2
0193 0092 03cd  |    |		Action	Push_String_Extended,0x3cd					; "The_Date  => "
0195 800d       |    |		Call	0x0,0xd
0196 e5fe       |    |		Load	0x2,-0x2
0197 00da       |    |		Load_Top	At_Offset_2
0198 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
0199 8015       |    |		Call	0x0,0x15
019a e5fe       |    |		Load	0x2,-0x2
019b 00ea       |    |		Load_Encached	Null_String_Cache
019c 800b       |    |		Call	0x0,0xb
019d e5fe       |    |		Load	0x2,-0x2
019e 0092 03ce  |    |		Action	Push_String_Extended,0x3ce					; "The_Bundle  => "
01a0 800d       |    |		Call	0x0,0xd
01a1 e5fe       |    |		Load	0x2,-0x2
01a2 00da       |    |		Load_Top	At_Offset_2
01a3 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
01a4 e211       |    |		Load	0x1,0x11
01a5 1c04       |    |		Execute_Immediate	Run_Utility,0x4
01a6 e211       |    |		Load	0x1,0x11
01a7 0122       | "  |		Execute	Any,Make_Root_Type
01a8 011c       |    |		Execute	Any,Convert_Unchecked
01a9 1c01       |    |		Execute_Immediate	Run_Utility,0x1
01aa 800b       |    |		Call	0x0,0xb
01ab e5fe       |    |		Load	0x2,-0x2
01ac 0092 03cf  |    |		Action	Push_String_Extended,0x3cf					; "The_rule    => "
01ae 800d       |    |		Call	0x0,0xd
01af e5fe       |    |		Load	0x2,-0x2
01b0 00da       |    |		Load_Top	At_Offset_2
01b1 2c05       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x5
01b2 8016       |    |		Call	0x0,0x16
01b3 800b       |    |		Call	0x0,0xb
01b4 e5fe       |    |		Load	0x2,-0x2
01b5 0092 03d0  |    |		Action	Push_String_Extended,0x3d0					; "The_premiss => "
01b7 800d       |    |		Call	0x0,0xd
01b8 e5fe       |    |		Load	0x2,-0x2
01b9 00d9       |    |		Load_Top	At_Offset_1
01ba 821c       |    |		Call	0x1,0x1c
01bb e5fe       |    |		Load	0x2,-0x2
01bc 800f       |    |		Call	0x0,0xf
01bd e5fe       |    |		Load	0x2,-0x2
01be 0092 03d1  |    |		Action	Push_String_Extended,0x3d1					; ")"
01c0 800b       |    |		Call	0x0,0xb
01c1 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01c2 0000 0000  |    |		.BLANK	0000[0x6]
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01cb       |    |		.CONST	0x01cb								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0001       |    |		.CONST	0x0001								; Number of locals
01cb			BODY_01c8:
01cb			INIT_01c8:
01cb 0008       |    |		Action	Idle
01cc 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01cd 0000 0000  |    |		.XXX[0x3]
01cf 0000       |    |
01d0 ; --------------------------------------------------------------------------------------
01d0 ; SUBPROGRAM
01d0 ; --------------------------------------------------------------------------------------
01d0 01f0       |    |		.CONST	0x01f0								; Address of begin
01d1 0004       |    |		.CONST	0x0004								; Address of exception handler
01d2 0009       |    |		.CONST	0x0009								; Number of locals
01d3			INIT_01d0:
01d3 e017       |    |		Load	0x0,0x17
01d4 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d5 02c7       |    |		Declare_Variable	Any
01d6 00d8       |    |		Load_Top	At_Offset_0
01d7 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d8 e017       |    |		Load	0x0,0x17
01d9 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01da 02c7       |    |		Declare_Variable	Any
01db 00d8       |    |		Load_Top	At_Offset_0
01dc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01dd e222       | "  |		Load	0x1,0x22
01de 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
01df 02ff       |    |		Declare_Variable	Variant_Record
01e0 00d8       |    |		Load_Top	At_Offset_0
01e1 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01e2 00e3       |    |		Load_Encached	Natural_Cache
01e3 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
01e4 e230       | 0  |		Load	0x1,0x30
01e5 02ff       |    |		Declare_Variable	Variant_Record
01e6 e231       | 1  |		Load	0x1,0x31
01e7 00d9       |    |		Load_Top	At_Offset_1
01e8 016d       | m  |		Execute	Variant_Record,Structure_Write
01e9 e006       |    |		Load	0x0,0x6
01ea 02ff       |    |		Declare_Variable	Variant_Record
01eb 00d8       |    |		Load_Top	At_Offset_0
01ec 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01ed 8018       |    |		Call	0x0,0x18
01ee 029f 037b  |   {|		Declare_Subprogram	INIT_0378,For_Call
01f0			BODY_01d0:
01f0 e5fc       |    |		Load	0x2,-0x4
01f1 e019       |    |		Load	0x0,0x19
01f2 e223       | #  |		Load	0x1,0x23
01f3 0096       |    |		Execute	Package,Entry
01f4 4800       |H   |		Short_Literal	0x0
01f5 a239       | 9  |		Store_Unchecked	0x1,0x39
01f6 4800       |H   |		Short_Literal	0x0
01f7 a236       | 6  |		Store_Unchecked	0x1,0x36
01f8 e017       |    |		Load	0x0,0x17
01f9 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01fa c402       |    |		Store	0x2,0x2
01fb 00cf       |    |		Action	Mark_Auxiliary
01fc 0007       |    |		Action	Break_Optional
01fd e239       | 9  |		Load	0x1,0x39
01fe 702c       |p,  |		Jump_Nonzero	0x22b
01ff e01a       |    |		Load	0x0,0x1a
0200 e223       | #  |		Load	0x1,0x23
0201 0096       |    |		Execute	Package,Entry
0202 00cf       |    |		Action	Mark_Auxiliary
0203 e235       | 5  |		Load	0x1,0x35
0204 4801       |H   |		Short_Literal	0x1
0205 0263       | c  |		Execute	Discrete,Above_Bound
0206 7003       |p   |		Jump_Nonzero	0x20a
0207 8409       |    |		Call	0x2,0x9
0208 00c8       |    |		Action	Pop_Auxiliary_Range
0209 3ffd       |?   |		Loop_Increasing	0x207
020a 00ce       |    |		Action	Pop_Auxiliary
020b e01b       |    |		Load	0x0,0x1b
020c e223       | #  |		Load	0x1,0x23
020d 0096       |    |		Execute	Package,Entry
020e 701c       |p   |		Jump_Nonzero	0x22b
020f e01c       |    |		Load	0x0,0x1c
0210 e223       | #  |		Load	0x1,0x23
0211 0096       |    |		Execute	Package,Entry
0212 e404       |    |		Load	0x2,0x4
0213 016d       | m  |		Execute	Variant_Record,Structure_Write
0214 e404       |    |		Load	0x2,0x4
0215 e222       | "  |		Load	0x1,0x22
0216 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0217 a405       |    |		Store_Unchecked	0x2,0x5
0218 801d       |    |		Call	0x0,0x1d
0219 00db       |    |		Load_Top	At_Offset_3
021a 8012       |    |		Call	0x0,0x12
021b 00d1       |    |		Pop_Control	Pop_Count_1
021c 00db       |    |		Load_Top	At_Offset_3
021d e405       |    |		Load	0x2,0x5
021e e234       | 4  |		Load	0x1,0x34
021f 01d5       |    |		Execute	Vector,Field_Reference
0220 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0221 e404       |    |		Load	0x2,0x4
0222 e222       | "  |		Load	0x1,0x22
0223 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0224 e405       |    |		Load	0x2,0x5
0225 85fe       |    |		Call	0x2,-0x2
0226 e236       | 6  |		Load	0x1,0x36
0227 0a01       |    |		Execute_Immediate	Plus,0x1
0228 c236       | 6  |		Store	0x1,0x36
0229 00c9       |    |		Action	Pop_Auxiliary_Loop
022a 7fd2       |    |		Jump	0x1fd
022b 00ce       |    |		Action	Pop_Auxiliary
022c e017       |    |		Load	0x0,0x17
022d 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
022e c403       |    |		Store	0x2,0x3
022f e402       |    |		Load	0x2,0x2
0230 e403       |    |		Load	0x2,0x3
0231 e017       |    |		Load	0x0,0x17
0232 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0233 a237       | 7  |		Store_Unchecked	0x1,0x37
0234 8228       | (  |		Call	0x1,0x28
0235 0237       | 7  |		Execute	Float,Convert_From_Discrete
0236 8229       | )  |		Call	0x1,0x29
0237 0237       | 7  |		Execute	Float,Convert_From_Discrete
0238 5807       |X   |		Indirect_Literal	Float,0x240,3.0517578125e-05
0239 023b       | ;  |		Execute	Float,Times
023a 023a       | :  |		Execute	Float,Divide
023b 0235       | 5  |		Execute	Float,Round_To_Discrete
023c 00e3       |    |		Load_Encached	Natural_Cache
023d 025e       | ^  |		Execute	Discrete,Convert
023e a238       | 8  |		Store_Unchecked	0x1,0x38
023f 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
0240 3f00 0000  |?   |		.DBL	3.0517578125e-05
0242 0000 0000  |    |
0244 0000 0000  |    |		.BLANK	0000[0x4]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; --------------------------------------------------------------------------------------
0248 025d       | ]  |		.CONST	0x025d								; Address of begin
0249 0004       |    |		.CONST	0x0004								; Address of exception handler
024a 0006       |    |		.CONST	0x0006								; Number of locals
024b			INIT_0248:
024b e222       | "  |		Load	0x1,0x22
024c 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
024d 02ff       |    |		Declare_Variable	Variant_Record
024e 00d8       |    |		Load_Top	At_Offset_0
024f 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0250 00e3       |    |		Load_Encached	Natural_Cache
0251 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0252 e230       | 0  |		Load	0x1,0x30
0253 02ff       |    |		Declare_Variable	Variant_Record
0254 e231       | 1  |		Load	0x1,0x31
0255 00d9       |    |		Load_Top	At_Offset_1
0256 016d       | m  |		Execute	Variant_Record,Structure_Write
0257 e006       |    |		Load	0x0,0x6
0258 02ff       |    |		Declare_Variable	Variant_Record
0259 00d8       |    |		Load_Top	At_Offset_0
025a 1c00       |    |		Execute_Immediate	Run_Utility,0x0
025b 029f 0393  |    |		Declare_Subprogram	INIT_0390,For_Call
025d			BODY_0248:
025d e5fc       |    |		Load	0x2,-0x4
025e e019       |    |		Load	0x0,0x19
025f e223       | #  |		Load	0x1,0x23
0260 0096       |    |		Execute	Package,Entry
0261 e01a       |    |		Load	0x0,0x1a
0262 e223       | #  |		Load	0x1,0x23
0263 0096       |    |		Execute	Package,Entry
0264 00cf       |    |		Action	Mark_Auxiliary
0265 e235       | 5  |		Load	0x1,0x35
0266 4801       |H   |		Short_Literal	0x1
0267 0263       | c  |		Execute	Discrete,Above_Bound
0268 7003       |p   |		Jump_Nonzero	0x26c
0269 8406       |    |		Call	0x2,0x6
026a 00c8       |    |		Action	Pop_Auxiliary_Range
026b 3ffd       |?   |		Loop_Increasing	0x269
026c 00ce       |    |		Action	Pop_Auxiliary
026d e01b       |    |		Load	0x0,0x1b
026e e223       | #  |		Load	0x1,0x23
026f 0096       |    |		Execute	Package,Entry
0270 6802       |h   |		Jump_Zero	0x273
0271 4800       |H   |		Short_Literal	0x0
0272 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0273 e01c       |    |		Load	0x0,0x1c
0274 e223       | #  |		Load	0x1,0x23
0275 0096       |    |		Execute	Package,Entry
0276 e402       |    |		Load	0x2,0x2
0277 016d       | m  |		Execute	Variant_Record,Structure_Write
0278 e402       |    |		Load	0x2,0x2
0279 e222       | "  |		Load	0x1,0x22
027a 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
027b a403       |    |		Store_Unchecked	0x2,0x3
027c 801d       |    |		Call	0x0,0x1d
027d 00d9       |    |		Load_Top	At_Offset_1
027e 8012       |    |		Call	0x0,0x12
027f 00d1       |    |		Pop_Control	Pop_Count_1
0280 00d9       |    |		Load_Top	At_Offset_1
0281 e403       |    |		Load	0x2,0x3
0282 e234       | 4  |		Load	0x1,0x34
0283 01d5       |    |		Execute	Vector,Field_Reference
0284 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0285 e402       |    |		Load	0x2,0x2
0286 e222       | "  |		Load	0x1,0x22
0287 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0288 e403       |    |		Load	0x2,0x3
0289 85fe       |    |		Call	0x2,-0x2
028a 4801       |H   |		Short_Literal	0x1
028b 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
028c 0000 0000  |    |		.BLANK	0000[0x4]
0290 ; --------------------------------------------------------------------------------------
0290 ; SUBPROGRAM
0290 ; --------------------------------------------------------------------------------------
0290 02a4       |    |		.CONST	0x02a4								; Address of begin
0291 0004       |    |		.CONST	0x0004								; Address of exception handler
0292 0006       |    |		.CONST	0x0006								; Number of locals
0293			INIT_0290:
0293 00e1       |    |		Load_Encached	Boolean_Cache
0294 e017       |    |		Load	0x0,0x17
0295 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0296 02c7       |    |		Declare_Variable	Any
0297 00d8       |    |		Load_Top	At_Offset_0
0298 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0299 e017       |    |		Load	0x0,0x17
029a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
029b 02c7       |    |		Declare_Variable	Any
029c 00d8       |    |		Load_Top	At_Offset_0
029d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
029e e006       |    |		Load	0x0,0x6
029f 02ff       |    |		Declare_Variable	Variant_Record
02a0 00d8       |    |		Load_Top	At_Offset_0
02a1 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02a2 029f 03ab  |    |		Declare_Subprogram	INIT_03a8,For_Call
02a4			BODY_0290:
02a4 4800       |H   |		Short_Literal	0x0
02a5 a239       | 9  |		Store_Unchecked	0x1,0x39
02a6 4800       |H   |		Short_Literal	0x0
02a7 a236       | 6  |		Store_Unchecked	0x1,0x36
02a8 e017       |    |		Load	0x0,0x17
02a9 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
02aa c403       |    |		Store	0x2,0x3
02ab 00cf       |    |		Action	Mark_Auxiliary
02ac 0007       |    |		Action	Break_Optional
02ad 4800       |H   |		Short_Literal	0x0
02ae a402       |    |		Store_Unchecked	0x2,0x2
02af e239       | 9  |		Load	0x1,0x39
02b0 700d       |p   |		Jump_Nonzero	0x2be
02b1 00cf       |    |		Action	Mark_Auxiliary
02b2 e235       | 5  |		Load	0x1,0x35
02b3 4801       |H   |		Short_Literal	0x1
02b4 0263       | c  |		Execute	Discrete,Above_Bound
02b5 7003       |p   |		Jump_Nonzero	0x2b9
02b6 8406       |    |		Call	0x2,0x6
02b7 00c8       |    |		Action	Pop_Auxiliary_Range
02b8 3ffd       |?   |		Loop_Increasing	0x2b6
02b9 00ce       |    |		Action	Pop_Auxiliary
02ba e402       |    |		Load	0x2,0x2
02bb 6802       |h   |		Jump_Zero	0x2be
02bc 00c9       |    |		Action	Pop_Auxiliary_Loop
02bd 7fef       |    |		Jump	0x2ad
02be 00ce       |    |		Action	Pop_Auxiliary
02bf e017       |    |		Load	0x0,0x17
02c0 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
02c1 c404       |    |		Store	0x2,0x4
02c2 00db       |    |		Load_Top	At_Offset_3
02c3 00db       |    |		Load_Top	At_Offset_3
02c4 e017       |    |		Load	0x0,0x17
02c5 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
02c6 a237       | 7  |		Store_Unchecked	0x1,0x37
02c7 8228       | (  |		Call	0x1,0x28
02c8 0237       | 7  |		Execute	Float,Convert_From_Discrete
02c9 8229       | )  |		Call	0x1,0x29
02ca 0237       | 7  |		Execute	Float,Convert_From_Discrete
02cb 5808       |X   |		Indirect_Literal	Float,0x2d4,3.0517578125e-05
02cc 023b       | ;  |		Execute	Float,Times
02cd 023a       | :  |		Execute	Float,Divide
02ce 0235       | 5  |		Execute	Float,Round_To_Discrete
02cf 00e3       |    |		Load_Encached	Natural_Cache
02d0 025e       | ^  |		Execute	Discrete,Convert
02d1 a238       | 8  |		Store_Unchecked	0x1,0x38
02d2 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02d3 0000       |    |		.XXX[0x1]
02d4 3f00 0000  |?   |		.DBL	3.0517578125e-05
02d6 0000 0000  |    |
02d8 ; --------------------------------------------------------------------------------------
02d8 ; SUBPROGRAM
02d8 ; --------------------------------------------------------------------------------------
02d8 02db       |    |		.CONST	0x02db								; Address of begin
02d9 0004       |    |		.CONST	0x0004								; Address of exception handler
02da 0001       |    |		.CONST	0x0001								; Number of locals
02db			BODY_02d8:
02db			INIT_02d8:
02db 4801       |H   |		Short_Literal	0x1
02dc a239       | 9  |		Store_Unchecked	0x1,0x39
02dd 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02de 0000 0000  |    |		.XXX[0x2]
02e0 ; --------------------------------------------------------------------------------------
02e0 ; SUBPROGRAM
02e0 ; --------------------------------------------------------------------------------------
02e0 02e3       |    |		.CONST	0x02e3								; Address of begin
02e1 0004       |    |		.CONST	0x0004								; Address of exception handler
02e2 0001       |    |		.CONST	0x0001								; Number of locals
02e3			BODY_02e0:
02e3			INIT_02e0:
02e3 e236       | 6  |		Load	0x1,0x36
02e4 00ca       |    |		Action	Exit_Nullary_Function
02e5 0000 0000  |    |		.XXX[0x3]
02e7 0000       |    |
02e8 ; --------------------------------------------------------------------------------------
02e8 ; SUBPROGRAM
02e8 ; --------------------------------------------------------------------------------------
02e8 02eb       |    |		.CONST	0x02eb								; Address of begin
02e9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ea 0001       |    |		.CONST	0x0001								; Number of locals
02eb			BODY_02e8:
02eb			INIT_02e8:
02eb e237       | 7  |		Load	0x1,0x37
02ec 00ca       |    |		Action	Exit_Nullary_Function
02ed 0000 0000  |    |		.XXX[0x3]
02ef 0000       |    |
02f0 ; --------------------------------------------------------------------------------------
02f0 ; SUBPROGRAM
02f0 ; --------------------------------------------------------------------------------------
02f0 02f3       |    |		.CONST	0x02f3								; Address of begin
02f1 0004       |    |		.CONST	0x0004								; Address of exception handler
02f2 0001       |    |		.CONST	0x0001								; Number of locals
02f3			BODY_02f0:
02f3			INIT_02f0:
02f3 e238       | 8  |		Load	0x1,0x38
02f4 00ca       |    |		Action	Exit_Nullary_Function
02f5 0000 0000  |    |		.XXX[0x3]
02f7 0000       |    |
02f8 ; --------------------------------------------------------------------------------------
02f8 ; SUBPROGRAM
02f8 ; --------------------------------------------------------------------------------------
02f8 02fb       |    |		.CONST	0x02fb								; Address of begin
02f9 0004       |    |		.CONST	0x0004								; Address of exception handler
02fa 0001       |    |		.CONST	0x0001								; Number of locals
02fb			BODY_02f8:
02fb			INIT_02f8:
02fb 4609       |F   |		Jump_Case	0xa
02fc 7809       |x   |		Jump	0x306								; case 0x0
02fd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
02fe 7817       |x   |		Jump	0x316								; case 0x2
02ff 781a       |x   |		Jump	0x31a								; case 0x3
0300 783a       |x:  |		Jump	0x33b								; case 0x4
0301 7839       |x9  |		Jump	0x33b								; case 0x5
0302 7838       |x8  |		Jump	0x33b								; case 0x6
0303 781c       |x   |		Jump	0x320								; case 0x7
0304 7826       |x&  |		Jump	0x32b								; case 0x8
0305 7831       |x1  |		Jump	0x337								; case 0x9
0306 00da       |    |		Load_Top	At_Offset_2
0307 016c       | l  |		Execute	Variant_Record,Is_Constrained
0308 7009       |p   |		Jump_Nonzero	0x312
0309 00cf       |    |		Action	Mark_Auxiliary
030a 4800       |H   |		Short_Literal	0x0
030b e5ff       |    |		Load	0x2,-0x1
030c 1c08       |    |		Execute_Immediate	Run_Utility,0x8
030d 00d8       |    |		Load_Top	At_Offset_0
030e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
030f c5ff       |    |		Store	0x2,-0x1
0310 00ce       |    |		Action	Pop_Auxiliary
0311 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0312 00da       |    |		Load_Top	At_Offset_2
0313 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
0314 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0315 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0316 4801       |H   |		Short_Literal	0x1
0317 4806       |H   |		Short_Literal	0x6
0318 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
0319 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
031a e5fd       |    |		Load	0x2,-0x3
031b 00db       |    |		Load_Top	At_Offset_3
031c 1c07       |    |		Execute_Immediate	Run_Utility,0x7
031d e5fe       |    |		Load	0x2,-0x2
031e 0306       |    |		Complete_Type	Variant_Record,By_Renaming
031f 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
0320 00db       |    |		Load_Top	At_Offset_3
0321 4801       |H   |		Short_Literal	0x1
0322 e5fe       |    |		Load	0x2,-0x2
0323 e008       |    |		Load	0x0,0x8
0324 e22f       | /  |		Load	0x1,0x2f
0325 0098       |    |		Execute	Package,Field_Read_Dynamic
0326 035b       | [  |		Declare_Type	Array,Constrained
0327 4801       |H   |		Short_Literal	0x1
0328 e5ff       |    |		Load	0x2,-0x1
0329 031b       |    |		Declare_Type	Variant_Record,Constrained
032a 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
032b 00db       |    |		Load_Top	At_Offset_3
032c 00db       |    |		Load_Top	At_Offset_3
032d 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
032e 4801       |H   |		Short_Literal	0x1
032f e5fe       |    |		Load	0x2,-0x2
0330 e008       |    |		Load	0x0,0x8
0331 e22f       | /  |		Load	0x1,0x2f
0332 0098       |    |		Execute	Package,Field_Read_Dynamic
0333 0334       | 4  |		Declare_Variable	Array,With_Constraint
0334 2d06       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x6
0335 016a       | j  |		QQ_execute	Variant_Record,XXX
0336 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0337 4800       |H   |		Short_Literal	0x0
0338 00db       |    |		Load_Top	At_Offset_3
0339 1c07       |    |		Execute_Immediate	Run_Utility,0x7
033a 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
033b 0869       | i  |		Execute_Immediate	Raise,0x69
033c 0000 0000  |    |		.BLANK	0000[0x4]
0340 ; --------------------------------------------------------------------------------------
0340 ; SUBPROGRAM
0340 ; --------------------------------------------------------------------------------------
0340 0343       | C  |		.CONST	0x0343								; Address of begin
0341 0004       |    |		.CONST	0x0004								; Address of exception handler
0342 0001       |    |		.CONST	0x0001								; Number of locals
0343			BODY_0340:
0343			INIT_0340:
0343 00d1       |    |		Pop_Control	Pop_Count_1
0344 00da       |    |		Load_Top	At_Offset_2
0345 01d8       |    |		Execute	Vector,Element_Type
0346 02ff       |    |		Declare_Variable	Variant_Record
0347 00d8       |    |		Load_Top	At_Offset_0
0348 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0349 00db       |    |		Load_Top	At_Offset_3
034a 01dc       |    |		Execute	Vector,Last
034b e5ff       |    |		Load	0x2,-0x1
034c 01dd       |    |		Execute	Vector,First
034d 0263       | c  |		Execute	Discrete,Above_Bound
034e 7006       |p   |		Jump_Nonzero	0x355
034f 00da       |    |		Load_Top	At_Offset_2
0350 00d9       |    |		Load_Top	At_Offset_1
0351 e5ff       |    |		Load	0x2,-0x1
0352 01d6       |    |		Execute	Vector,Field_Write
0353 0a01       |    |		Execute_Immediate	Plus,0x1
0354 7ff8       |    |		Jump	0x34d
0355 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0356 0000 0000  |    |		.XXX[0x2]
0358 ; --------------------------------------------------------------------------------------
0358 ; SUBPROGRAM
0358 ; --------------------------------------------------------------------------------------
0358 035b       | [  |		.CONST	0x035b								; Address of begin
0359 0004       |    |		.CONST	0x0004								; Address of exception handler
035a 0001       |    |		.CONST	0x0001								; Number of locals
035b			BODY_0358:
035b			INIT_0358:
035b 00da       |    |		Load_Top	At_Offset_2
035c 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
035d 6804       |h   |		Jump_Zero	0x362
035e 00da       |    |		Load_Top	At_Offset_2
035f e20e       |    |		Load	0x1,0xe
0360 027a       | z  |		Execute	Discrete,Less_Equal
0361 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0362 4800       |H   |		Short_Literal	0x0
0363 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0364 0000 0000  |    |		.BLANK	0000[0x4]
0368 ; --------------------------------------------------------------------------------------
0368 ; SUBPROGRAM
0368 ; --------------------------------------------------------------------------------------
0368 036b       | k  |		.CONST	0x036b								; Address of begin
0369 0004       |    |		.CONST	0x0004								; Address of exception handler
036a 0001       |    |		.CONST	0x0001								; Number of locals
036b			BODY_0368:
036b			INIT_0368:
036b 00da       |    |		Load_Top	At_Offset_2
036c 823a       | :  |		Call	0x1,0x3a
036d 6806       |h   |		Jump_Zero	0x374
036e 00da       |    |		Load_Top	At_Offset_2
036f e234       | 4  |		Load	0x1,0x34
0370 01d5       |    |		Execute	Vector,Field_Reference
0371 02fd       |    |		Declare_Variable	Variant_Record,Duplicate
0372 00cd       |    |		Action	Spare6_Action
0373 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0374 e22c       | ,  |		Load	0x1,0x2c
0375 0257       | W  |		Execute	Discrete,Raise
0376 0000 0000  |    |		.XXX[0x2]
0378 ; --------------------------------------------------------------------------------------
0378 ; SUBPROGRAM
0378 ; --------------------------------------------------------------------------------------
0378 037b       | {  |		.CONST	0x037b								; Address of begin
0379 0004       |    |		.CONST	0x0004								; Address of exception handler
037a 0001       |    |		.CONST	0x0001								; Number of locals
037b			BODY_0378:
037b			INIT_0378:
037b e40d       |    |		Load	0x2,0xd
037c e234       | 4  |		Load	0x1,0x34
037d 01d5       |    |		Execute	Vector,Field_Reference
037e 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
037f e014       |    |		Load	0x0,0x14
0380 e22f       | /  |		Load	0x1,0x2f
0381 0096       |    |		Execute	Package,Entry
0382 e40d       |    |		Load	0x2,0xd
0383 85fd       |    |		Call	0x2,-0x3
0384 e01e       |    |		Load	0x0,0x1e
0385 e223       | #  |		Load	0x1,0x23
0386 0096       |    |		Execute	Package,Entry
0387 6803       |h   |		Jump_Zero	0x38b
0388 00cc       |    |		Action	Pop_Block
0389 00d2       |    |		Pop_Control	Pop_Count_2
038a 7e7f       |~   |		Jump	0x20a
038b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
038c 0000 0000  |    |		.BLANK	0000[0x4]
0390 ; --------------------------------------------------------------------------------------
0390 ; SUBPROGRAM
0390 ; --------------------------------------------------------------------------------------
0390 0393       |    |		.CONST	0x0393								; Address of begin
0391 0004       |    |		.CONST	0x0004								; Address of exception handler
0392 0001       |    |		.CONST	0x0001								; Number of locals
0393			BODY_0390:
0393			INIT_0390:
0393 e409       |    |		Load	0x2,0x9
0394 e234       | 4  |		Load	0x1,0x34
0395 01d5       |    |		Execute	Vector,Field_Reference
0396 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0397 e014       |    |		Load	0x0,0x14
0398 e22f       | /  |		Load	0x1,0x2f
0399 0096       |    |		Execute	Package,Entry
039a e409       |    |		Load	0x2,0x9
039b 85fd       |    |		Call	0x2,-0x3
039c e01e       |    |		Load	0x0,0x1e
039d e223       | #  |		Load	0x1,0x23
039e 0096       |    |		Execute	Package,Entry
039f 6803       |h   |		Jump_Zero	0x3a3
03a0 00cc       |    |		Action	Pop_Block
03a1 00d2       |    |		Pop_Control	Pop_Count_2
03a2 7ec9       |~   |		Jump	0x26c
03a3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03a4 0000 0000  |    |		.BLANK	0000[0x4]
03a8 ; --------------------------------------------------------------------------------------
03a8 ; SUBPROGRAM
03a8 ; --------------------------------------------------------------------------------------
03a8 03b3       |    |		.CONST	0x03b3								; Address of begin
03a9 0004       |    |		.CONST	0x0004								; Address of exception handler
03aa 0002       |    |		.CONST	0x0002								; Number of locals
03ab			INIT_03a8:
03ab e40a       |    |		Load	0x2,0xa
03ac e234       | 4  |		Load	0x1,0x34
03ad 01d5       |    |		Execute	Vector,Field_Reference
03ae 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
03af e014       |    |		Load	0x0,0x14
03b0 e22f       | /  |		Load	0x1,0x2f
03b1 0096       |    |		Execute	Package,Entry
03b2 821b       |    |		Call	0x1,0x1b
03b3			BODY_03a8:
03b3 00d8       |    |		Load_Top	At_Offset_0
03b4 e214       |    |		Load	0x1,0x14
03b5 01de       |    |		Execute	Vector,Not_Equal
03b6 6814       |h   |		Jump_Zero	0x3cb
03b7 e405       |    |		Load	0x2,0x5
03b8 8012       |    |		Call	0x0,0x12
03b9 00d1       |    |		Pop_Control	Pop_Count_1
03ba e405       |    |		Load	0x2,0x5
03bb e40a       |    |		Load	0x2,0xa
03bc e234       | 4  |		Load	0x1,0x34
03bd 01d5       |    |		Execute	Vector,Field_Reference
03be 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
03bf 00d8       |    |		Load_Top	At_Offset_0
03c0 e40a       |    |		Load	0x2,0xa
03c1 85fe       |    |		Call	0x2,-0x2
03c2 4801       |H   |		Short_Literal	0x1
03c3 a402       |    |		Store_Unchecked	0x2,0x2
03c4 e236       | 6  |		Load	0x1,0x36
03c5 0a01       |    |		Execute_Immediate	Plus,0x1
03c6 c236       | 6  |		Store	0x1,0x36
03c7 801d       |    |		Call	0x0,0x1d
03c8 00cc       |    |		Action	Pop_Block
03c9 00d2       |    |		Pop_Control	Pop_Count_2
03ca 7eee       |~   |		Jump	0x2b9
03cb 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03cc ; --------------------------------------------------------------------------------------
03cc ; STRING TABLE
03cc ; --------------------------------------------------------------------------------------
03cc 000e       |    |		.STRTAB	0x000e->0x03d3							; "Rule'("
03cd 0012       |    |		.STRTAB	0x0012->0x03d6							; "The_Date  => "
03ce 001d       |    |		.STRTAB	0x001d->0x03dc							; "The_Bundle  => "
03cf 002a       | *  |		.STRTAB	0x002a->0x03e4							; "The_rule    => "
03d0 0037       | 7  |		.STRTAB	0x0037->0x03eb							; "The_premiss => "
03d1 0044       | D  |		.STRTAB	0x0044->0x03f3							; ")"
03d2 0043       | C  |		.STREND 0x0043->0x03f3
03d3 5275 6c65  |Rule|		.STRTAB_STRINGS
03f4 0000 0000  |    |		.BLANK	0000[0x4]
03f8 ; --------------------------------------------------------------------------------------
03f8 ; Debug Table
03f8 ; --------------------------------------------------------------------------------------
03f8 0004 0009  |    |		.DEBUG4	0x0004,0x0009,0x37bd,0x0000,0x0001,0x0014
03fe 000b 044e  |   N|		.DBG4T	0x000b,0x044e,0xc000,0x0000
0402 0075 0464  | u d|		.DBG4T	0x0075,0x0464,0xc000,0x0000
0406 0143 0484  | C  |		.DBG4T	0x0143,0x0484,0x1002,0x0000
040a 016b 0487  | k  |		.DBG4T	0x016b,0x0487,0x1002,0x0000
040e 0183 048c  |    |		.DBG4T	0x0183,0x048c,0x1001,0x0000
0412 01cb 049d  |    |		.DBG4T	0x01cb,0x049d,0x1001,0x0000
0416 01d3 04a0  |    |		.DBG4T	0x01d3,0x04a0,0x3801,0x0002
041a 024b 04bc  | K  |		.DBG4T	0x024b,0x04bc,0x3802,0x0002
041e 0293 04cf  |    |		.DBG4T	0x0293,0x04cf,0x3801,0x0002
0422 02db 04e0  |    |		.DBG4T	0x02db,0x04e0,0x1001,0x0000
0426 02e3 04e3  |    |		.DBG4T	0x02e3,0x04e3,0x1002,0x0000
042a 02eb 04e6  |    |		.DBG4T	0x02eb,0x04e6,0x1002,0x0000
042e 02f3 04e9  |    |		.DBG4T	0x02f3,0x04e9,0x1002,0x0000
0432 02fb 0000  |    |		.DBG4T	0x02fb,0x0000,0x1005,0x0000
0436 0343 0000  | C  |		.DBG4T	0x0343,0x0000,0x1005,0x0000
043a 035b 04ec  | [  |		.DBG4T	0x035b,0x04ec,0x1002,0x0000
043e 036b 04ef  | k  |		.DBG4T	0x036b,0x04ef,0x1002,0x0000
0442 037b 04f4  | {  |		.DBG4T	0x037b,0x04f4,0x1804,0x0002
0446 0393 04f8  |    |		.DBG4T	0x0393,0x04f8,0x1804,0x0002
044a 03ab 04fc  |    |		.DBG4T	0x03ab,0x04fc,0x1804,0x0002
044e ; --------------------------------------------------------------------------------------
044e ; Debug chain
044e ; --------------------------------------------------------------------------------------
044e 0014 0000  |    |		.DBGLEN	0x0014,0x0000
0450 000b 000c  |    |		.DBGLNO	0x000b,0x000c,0x000d,0x0011,0x0013,0x0015,0x0017,0x0019,0x002a,0x003e,0x0040,0x0042,0x0044,0x0046,0x0048,0x004a,0x004c,0x0055,0x005e,0x0067
0464 ; --------------------------------------------------------------------------------------
0464 ; Debug chain
0464 ; --------------------------------------------------------------------------------------
0464 001e 0000  |    |		.DBGLEN	0x001e,0x0000
0466 0075 0089  | u  |		.DBGLNO	0x0075,0x0089,0x008a,0x008b,0x008c,0x008d,0x00a4,0x00d4,0x00d8,0x00e0,0x00f0,0x00f2,0x00f4,0x00f6,0x00f8,0x00fa,0x010b,0x010d,0x010f,0x0111,0x0113,0x0115,0x0117,0x0119,0x011b,0x011d,0x011f,0x0121,0x0123,0x0125
0484 ; --------------------------------------------------------------------------------------
0484 ; Debug chain
0484 ; --------------------------------------------------------------------------------------
0484 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0486 0143       | C  |		.DBGLNO	0x0143
0487 ; --------------------------------------------------------------------------------------
0487 ; Debug chain
0487 ; --------------------------------------------------------------------------------------
0487 0000 0003  |    |		.DBGLEN	0x0000,0x0003
0489 016b 016e  | k n|		.DBGLNO	0x016b,0x016e,0x0178
048c ; --------------------------------------------------------------------------------------
048c ; Debug chain
048c ; --------------------------------------------------------------------------------------
048c 0002 000d  |    |		.DBGLEN	0x0002,0x000d
048e 0183 0187  |    |		.DBGLNO	0x0183,0x0187,0x018c,0x0190,0x0192,0x0196,0x019a,0x019d,0x01a1,0x01ab,0x01af,0x01b4,0x01b8,0x01bb,0x01bd
049d ; --------------------------------------------------------------------------------------
049d ; Debug chain
049d ; --------------------------------------------------------------------------------------
049d 0000 0001  |    |		.DBGLEN	0x0000,0x0001
049f 01cb       |    |		.DBGLNO	0x01cb
04a0 ; --------------------------------------------------------------------------------------
04a0 ; Debug chain
04a0 ; --------------------------------------------------------------------------------------
04a0 0006 0014  |    |		.DBGLEN	0x0006,0x0014
04a2 01d3 01dd  |    |		.DBGLNO	0x01d3,0x01dd,0x01e2,0x01e4,0x01e9,0x01ed,0x01f0,0x01f4,0x01f6,0x01f8,0x01fc,0x01fd,0x01ff,0x0203,0x0207,0x020b,0x020f,0x0214,0x0218,0x0219,0x021c,0x0221,0x0226,0x022c,0x022f,0x0234
04bc ; --------------------------------------------------------------------------------------
04bc ; Debug chain
04bc ; --------------------------------------------------------------------------------------
04bc 0004 000d  |    |		.DBGLEN	0x0004,0x000d
04be 024b 0250  | K P|		.DBGLNO	0x024b,0x0250,0x0252,0x0257,0x025d,0x0261,0x0265,0x0269,0x026d,0x0271,0x0273,0x0278,0x027c,0x027d,0x0280,0x0285,0x028a
04cf ; --------------------------------------------------------------------------------------
04cf ; Debug chain
04cf ; --------------------------------------------------------------------------------------
04cf 0003 000c  |    |		.DBGLEN	0x0003,0x000c
04d1 0293 0294  |    |		.DBGLNO	0x0293,0x0294,0x029e,0x02a4,0x02a6,0x02a8,0x02ac,0x02ad,0x02af,0x02b2,0x02b6,0x02ba,0x02bf,0x02c2,0x02c7
04e0 ; --------------------------------------------------------------------------------------
04e0 ; Debug chain
04e0 ; --------------------------------------------------------------------------------------
04e0 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04e2 02db       |    |		.DBGLNO	0x02db
04e3 ; --------------------------------------------------------------------------------------
04e3 ; Debug chain
04e3 ; --------------------------------------------------------------------------------------
04e3 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04e5 02e3       |    |		.DBGLNO	0x02e3
04e6 ; --------------------------------------------------------------------------------------
04e6 ; Debug chain
04e6 ; --------------------------------------------------------------------------------------
04e6 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04e8 02eb       |    |		.DBGLNO	0x02eb
04e9 ; --------------------------------------------------------------------------------------
04e9 ; Debug chain
04e9 ; --------------------------------------------------------------------------------------
04e9 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04eb 02f3       |    |		.DBGLNO	0x02f3
04ec ; --------------------------------------------------------------------------------------
04ec ; Debug chain
04ec ; --------------------------------------------------------------------------------------
04ec 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04ee 035b       | [  |		.DBGLNO	0x035b
04ef ; --------------------------------------------------------------------------------------
04ef ; Debug chain
04ef ; --------------------------------------------------------------------------------------
04ef 0000 0003  |    |		.DBGLEN	0x0000,0x0003
04f1 036b 036e  | k n|		.DBGLNO	0x036b,0x036e,0x0374
04f4 ; --------------------------------------------------------------------------------------
04f4 ; Debug chain
04f4 ; --------------------------------------------------------------------------------------
04f4 0000 0002  |    |		.DBGLEN	0x0000,0x0002
04f6 037b 0384  | {  |		.DBGLNO	0x037b,0x0384
04f8 ; --------------------------------------------------------------------------------------
04f8 ; Debug chain
04f8 ; --------------------------------------------------------------------------------------
04f8 0000 0002  |    |		.DBGLEN	0x0000,0x0002
04fa 0393 039c  |    |		.DBGLNO	0x0393,0x039c
04fc ; --------------------------------------------------------------------------------------
04fc ; Debug chain
04fc ; --------------------------------------------------------------------------------------
04fc 0001 0008  |    |		.DBGLEN	0x0001,0x0008
04fe 03ab 03b3  |    |		.DBGLNO	0x03ab,0x03b3,0x03b7,0x03ba,0x03bf,0x03c2,0x03c4,0x03c7,0x03c8
0507 0000 0000  |    |		.BLANK	0000[0xf9]