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

⟦2f468b5c3⟧

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

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 03f0       |    |		.CONST	0x03f0								; 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 028b  |    |		Declare_Subprogram	INIT_0288,For_Outer_Call,Visible,Unelaborated
0044 029a 02d3  |    |		Declare_Subprogram	INIT_02d0,For_Outer_Call,Visible,Unelaborated
0046 029a 02db  |    |		Declare_Subprogram	INIT_02d8,For_Outer_Call,Visible,Unelaborated
0048 029a 02e3  |    |		Declare_Subprogram	INIT_02e0,For_Outer_Call,Visible,Unelaborated
004a 029a 02eb  |    |		Declare_Subprogram	INIT_02e8,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 02f3  |    |		Declare_Subprogram	INIT_02f0,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 033b  |   ;|		Declare_Subprogram	INIT_0338,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 0353  |   S|		Declare_Subprogram	INIT_0350,For_Outer_Call
0111 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0112 00c7       |    |		Action	Elaborate_Subprogram
0113 029d 0363  |   c|		Declare_Subprogram	INIT_0360,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 03c4  |    |		Action	Push_String_Extended,0x3c4					; "Rule'("
018f 800b       |    |		Call	0x0,0xb
0190 e5fe       |    |		Load	0x2,-0x2
0191 800c       |    |		Call	0x0,0xc
0192 e5fe       |    |		Load	0x2,-0x2
0193 0092 03c5  |    |		Action	Push_String_Extended,0x3c5					; "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 03c6  |    |		Action	Push_String_Extended,0x3c6					; "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 03c7  |    |		Action	Push_String_Extended,0x3c7					; "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 03c8  |    |		Action	Push_String_Extended,0x3c8					; "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 03c9  |    |		Action	Push_String_Extended,0x3c9					; ")"
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 0373  |   s|		Declare_Subprogram	INIT_0370,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 038b  |    |		Declare_Subprogram	INIT_0388,For_Call
025d			BODY_0248:
025d e01a       |    |		Load	0x0,0x1a
025e e223       | #  |		Load	0x1,0x23
025f 0096       |    |		Execute	Package,Entry
0260 00cf       |    |		Action	Mark_Auxiliary
0261 e235       | 5  |		Load	0x1,0x35
0262 4801       |H   |		Short_Literal	0x1
0263 0263       | c  |		Execute	Discrete,Above_Bound
0264 7003       |p   |		Jump_Nonzero	0x268
0265 8406       |    |		Call	0x2,0x6
0266 00c8       |    |		Action	Pop_Auxiliary_Range
0267 3ffd       |?   |		Loop_Increasing	0x265
0268 00ce       |    |		Action	Pop_Auxiliary
0269 e01b       |    |		Load	0x0,0x1b
026a e223       | #  |		Load	0x1,0x23
026b 0096       |    |		Execute	Package,Entry
026c 6802       |h   |		Jump_Zero	0x26f
026d 4800       |H   |		Short_Literal	0x0
026e 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
026f e01c       |    |		Load	0x0,0x1c
0270 e223       | #  |		Load	0x1,0x23
0271 0096       |    |		Execute	Package,Entry
0272 e402       |    |		Load	0x2,0x2
0273 016d       | m  |		Execute	Variant_Record,Structure_Write
0274 e402       |    |		Load	0x2,0x2
0275 e222       | "  |		Load	0x1,0x22
0276 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0277 a403       |    |		Store_Unchecked	0x2,0x3
0278 801d       |    |		Call	0x0,0x1d
0279 00d9       |    |		Load_Top	At_Offset_1
027a 8012       |    |		Call	0x0,0x12
027b 00d1       |    |		Pop_Control	Pop_Count_1
027c 00d9       |    |		Load_Top	At_Offset_1
027d e403       |    |		Load	0x2,0x3
027e e234       | 4  |		Load	0x1,0x34
027f 01d5       |    |		Execute	Vector,Field_Reference
0280 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0281 e402       |    |		Load	0x2,0x2
0282 e222       | "  |		Load	0x1,0x22
0283 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0284 e403       |    |		Load	0x2,0x3
0285 85fe       |    |		Call	0x2,-0x2
0286 4801       |H   |		Short_Literal	0x1
0287 4404       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x4
0288 ; --------------------------------------------------------------------------------------
0288 ; SUBPROGRAM
0288 ; --------------------------------------------------------------------------------------
0288 029c       |    |		.CONST	0x029c								; Address of begin
0289 0004       |    |		.CONST	0x0004								; Address of exception handler
028a 0006       |    |		.CONST	0x0006								; Number of locals
028b			INIT_0288:
028b 00e1       |    |		Load_Encached	Boolean_Cache
028c e017       |    |		Load	0x0,0x17
028d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
028e 02c7       |    |		Declare_Variable	Any
028f 00d8       |    |		Load_Top	At_Offset_0
0290 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0291 e017       |    |		Load	0x0,0x17
0292 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0293 02c7       |    |		Declare_Variable	Any
0294 00d8       |    |		Load_Top	At_Offset_0
0295 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0296 e006       |    |		Load	0x0,0x6
0297 02ff       |    |		Declare_Variable	Variant_Record
0298 00d8       |    |		Load_Top	At_Offset_0
0299 1c00       |    |		Execute_Immediate	Run_Utility,0x0
029a 029f 03a3  |    |		Declare_Subprogram	INIT_03a0,For_Call
029c			BODY_0288:
029c 4800       |H   |		Short_Literal	0x0
029d a239       | 9  |		Store_Unchecked	0x1,0x39
029e 4800       |H   |		Short_Literal	0x0
029f a236       | 6  |		Store_Unchecked	0x1,0x36
02a0 e017       |    |		Load	0x0,0x17
02a1 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
02a2 c403       |    |		Store	0x2,0x3
02a3 00cf       |    |		Action	Mark_Auxiliary
02a4 0007       |    |		Action	Break_Optional
02a5 4800       |H   |		Short_Literal	0x0
02a6 a402       |    |		Store_Unchecked	0x2,0x2
02a7 e239       | 9  |		Load	0x1,0x39
02a8 700d       |p   |		Jump_Nonzero	0x2b6
02a9 00cf       |    |		Action	Mark_Auxiliary
02aa e235       | 5  |		Load	0x1,0x35
02ab 4801       |H   |		Short_Literal	0x1
02ac 0263       | c  |		Execute	Discrete,Above_Bound
02ad 7003       |p   |		Jump_Nonzero	0x2b1
02ae 8406       |    |		Call	0x2,0x6
02af 00c8       |    |		Action	Pop_Auxiliary_Range
02b0 3ffd       |?   |		Loop_Increasing	0x2ae
02b1 00ce       |    |		Action	Pop_Auxiliary
02b2 e402       |    |		Load	0x2,0x2
02b3 6802       |h   |		Jump_Zero	0x2b6
02b4 00c9       |    |		Action	Pop_Auxiliary_Loop
02b5 7fef       |    |		Jump	0x2a5
02b6 00ce       |    |		Action	Pop_Auxiliary
02b7 e017       |    |		Load	0x0,0x17
02b8 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
02b9 c404       |    |		Store	0x2,0x4
02ba 00db       |    |		Load_Top	At_Offset_3
02bb 00db       |    |		Load_Top	At_Offset_3
02bc e017       |    |		Load	0x0,0x17
02bd 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
02be a237       | 7  |		Store_Unchecked	0x1,0x37
02bf 8228       | (  |		Call	0x1,0x28
02c0 0237       | 7  |		Execute	Float,Convert_From_Discrete
02c1 8229       | )  |		Call	0x1,0x29
02c2 0237       | 7  |		Execute	Float,Convert_From_Discrete
02c3 5808       |X   |		Indirect_Literal	Float,0x2cc,3.0517578125e-05
02c4 023b       | ;  |		Execute	Float,Times
02c5 023a       | :  |		Execute	Float,Divide
02c6 0235       | 5  |		Execute	Float,Round_To_Discrete
02c7 00e3       |    |		Load_Encached	Natural_Cache
02c8 025e       | ^  |		Execute	Discrete,Convert
02c9 a238       | 8  |		Store_Unchecked	0x1,0x38
02ca 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
02cb 0000       |    |		.XXX[0x1]
02cc 3f00 0000  |?   |		.DBL	3.0517578125e-05
02ce 0000 0000  |    |
02d0 ; --------------------------------------------------------------------------------------
02d0 ; SUBPROGRAM
02d0 ; --------------------------------------------------------------------------------------
02d0 02d3       |    |		.CONST	0x02d3								; Address of begin
02d1 0004       |    |		.CONST	0x0004								; Address of exception handler
02d2 0001       |    |		.CONST	0x0001								; Number of locals
02d3			BODY_02d0:
02d3			INIT_02d0:
02d3 4801       |H   |		Short_Literal	0x1
02d4 a239       | 9  |		Store_Unchecked	0x1,0x39
02d5 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02d6 0000 0000  |    |		.XXX[0x2]
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 e236       | 6  |		Load	0x1,0x36
02dc 00ca       |    |		Action	Exit_Nullary_Function
02dd 0000 0000  |    |		.XXX[0x3]
02df 0000       |    |
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 e237       | 7  |		Load	0x1,0x37
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 e238       | 8  |		Load	0x1,0x38
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 4609       |F   |		Jump_Case	0xa
02f4 7809       |x   |		Jump	0x2fe								; case 0x0
02f5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
02f6 7817       |x   |		Jump	0x30e								; case 0x2
02f7 781a       |x   |		Jump	0x312								; case 0x3
02f8 783a       |x:  |		Jump	0x333								; case 0x4
02f9 7839       |x9  |		Jump	0x333								; case 0x5
02fa 7838       |x8  |		Jump	0x333								; case 0x6
02fb 781c       |x   |		Jump	0x318								; case 0x7
02fc 7826       |x&  |		Jump	0x323								; case 0x8
02fd 7831       |x1  |		Jump	0x32f								; case 0x9
02fe 00da       |    |		Load_Top	At_Offset_2
02ff 016c       | l  |		Execute	Variant_Record,Is_Constrained
0300 7009       |p   |		Jump_Nonzero	0x30a
0301 00cf       |    |		Action	Mark_Auxiliary
0302 4800       |H   |		Short_Literal	0x0
0303 e5ff       |    |		Load	0x2,-0x1
0304 1c08       |    |		Execute_Immediate	Run_Utility,0x8
0305 00d8       |    |		Load_Top	At_Offset_0
0306 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0307 c5ff       |    |		Store	0x2,-0x1
0308 00ce       |    |		Action	Pop_Auxiliary
0309 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
030a 00da       |    |		Load_Top	At_Offset_2
030b 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
030c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
030d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
030e 4801       |H   |		Short_Literal	0x1
030f 4806       |H   |		Short_Literal	0x6
0310 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
0311 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0312 e5fd       |    |		Load	0x2,-0x3
0313 00db       |    |		Load_Top	At_Offset_3
0314 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0315 e5fe       |    |		Load	0x2,-0x2
0316 0306       |    |		Complete_Type	Variant_Record,By_Renaming
0317 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
0318 00db       |    |		Load_Top	At_Offset_3
0319 4801       |H   |		Short_Literal	0x1
031a e5fe       |    |		Load	0x2,-0x2
031b e008       |    |		Load	0x0,0x8
031c e22f       | /  |		Load	0x1,0x2f
031d 0098       |    |		Execute	Package,Field_Read_Dynamic
031e 035b       | [  |		Declare_Type	Array,Constrained
031f 4801       |H   |		Short_Literal	0x1
0320 e5ff       |    |		Load	0x2,-0x1
0321 031b       |    |		Declare_Type	Variant_Record,Constrained
0322 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0323 00db       |    |		Load_Top	At_Offset_3
0324 00db       |    |		Load_Top	At_Offset_3
0325 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
0326 4801       |H   |		Short_Literal	0x1
0327 e5fe       |    |		Load	0x2,-0x2
0328 e008       |    |		Load	0x0,0x8
0329 e22f       | /  |		Load	0x1,0x2f
032a 0098       |    |		Execute	Package,Field_Read_Dynamic
032b 0334       | 4  |		Declare_Variable	Array,With_Constraint
032c 2d06       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x6
032d 016a       | j  |		QQ_execute	Variant_Record,XXX
032e 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
032f 4800       |H   |		Short_Literal	0x0
0330 00db       |    |		Load_Top	At_Offset_3
0331 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0332 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0333 0869       | i  |		Execute_Immediate	Raise,0x69
0334 0000 0000  |    |		.BLANK	0000[0x4]
0338 ; --------------------------------------------------------------------------------------
0338 ; SUBPROGRAM
0338 ; --------------------------------------------------------------------------------------
0338 033b       | ;  |		.CONST	0x033b								; Address of begin
0339 0004       |    |		.CONST	0x0004								; Address of exception handler
033a 0001       |    |		.CONST	0x0001								; Number of locals
033b			BODY_0338:
033b			INIT_0338:
033b 00d1       |    |		Pop_Control	Pop_Count_1
033c 00da       |    |		Load_Top	At_Offset_2
033d 01d8       |    |		Execute	Vector,Element_Type
033e 02ff       |    |		Declare_Variable	Variant_Record
033f 00d8       |    |		Load_Top	At_Offset_0
0340 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0341 00db       |    |		Load_Top	At_Offset_3
0342 01dc       |    |		Execute	Vector,Last
0343 e5ff       |    |		Load	0x2,-0x1
0344 01dd       |    |		Execute	Vector,First
0345 0263       | c  |		Execute	Discrete,Above_Bound
0346 7006       |p   |		Jump_Nonzero	0x34d
0347 00da       |    |		Load_Top	At_Offset_2
0348 00d9       |    |		Load_Top	At_Offset_1
0349 e5ff       |    |		Load	0x2,-0x1
034a 01d6       |    |		Execute	Vector,Field_Write
034b 0a01       |    |		Execute_Immediate	Plus,0x1
034c 7ff8       |    |		Jump	0x345
034d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
034e 0000 0000  |    |		.XXX[0x2]
0350 ; --------------------------------------------------------------------------------------
0350 ; SUBPROGRAM
0350 ; --------------------------------------------------------------------------------------
0350 0353       | S  |		.CONST	0x0353								; Address of begin
0351 0004       |    |		.CONST	0x0004								; Address of exception handler
0352 0001       |    |		.CONST	0x0001								; Number of locals
0353			BODY_0350:
0353			INIT_0350:
0353 00da       |    |		Load_Top	At_Offset_2
0354 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0355 6804       |h   |		Jump_Zero	0x35a
0356 00da       |    |		Load_Top	At_Offset_2
0357 e20e       |    |		Load	0x1,0xe
0358 027a       | z  |		Execute	Discrete,Less_Equal
0359 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
035a 4800       |H   |		Short_Literal	0x0
035b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
035c 0000 0000  |    |		.BLANK	0000[0x4]
0360 ; --------------------------------------------------------------------------------------
0360 ; SUBPROGRAM
0360 ; --------------------------------------------------------------------------------------
0360 0363       | c  |		.CONST	0x0363								; Address of begin
0361 0004       |    |		.CONST	0x0004								; Address of exception handler
0362 0001       |    |		.CONST	0x0001								; Number of locals
0363			BODY_0360:
0363			INIT_0360:
0363 00da       |    |		Load_Top	At_Offset_2
0364 823a       | :  |		Call	0x1,0x3a
0365 6806       |h   |		Jump_Zero	0x36c
0366 00da       |    |		Load_Top	At_Offset_2
0367 e234       | 4  |		Load	0x1,0x34
0368 01d5       |    |		Execute	Vector,Field_Reference
0369 02fd       |    |		Declare_Variable	Variant_Record,Duplicate
036a 00cd       |    |		Action	Spare6_Action
036b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
036c e22c       | ,  |		Load	0x1,0x2c
036d 0257       | W  |		Execute	Discrete,Raise
036e 0000 0000  |    |		.XXX[0x2]
0370 ; --------------------------------------------------------------------------------------
0370 ; SUBPROGRAM
0370 ; --------------------------------------------------------------------------------------
0370 0373       | s  |		.CONST	0x0373								; Address of begin
0371 0004       |    |		.CONST	0x0004								; Address of exception handler
0372 0001       |    |		.CONST	0x0001								; Number of locals
0373			BODY_0370:
0373			INIT_0370:
0373 e40d       |    |		Load	0x2,0xd
0374 e234       | 4  |		Load	0x1,0x34
0375 01d5       |    |		Execute	Vector,Field_Reference
0376 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0377 e014       |    |		Load	0x0,0x14
0378 e22f       | /  |		Load	0x1,0x2f
0379 0096       |    |		Execute	Package,Entry
037a e40d       |    |		Load	0x2,0xd
037b 85fd       |    |		Call	0x2,-0x3
037c e01e       |    |		Load	0x0,0x1e
037d e223       | #  |		Load	0x1,0x23
037e 0096       |    |		Execute	Package,Entry
037f 6803       |h   |		Jump_Zero	0x383
0380 00cc       |    |		Action	Pop_Block
0381 00d2       |    |		Pop_Control	Pop_Count_2
0382 7e87       |~   |		Jump	0x20a
0383 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0384 0000 0000  |    |		.BLANK	0000[0x4]
0388 ; --------------------------------------------------------------------------------------
0388 ; SUBPROGRAM
0388 ; --------------------------------------------------------------------------------------
0388 038b       |    |		.CONST	0x038b								; Address of begin
0389 0004       |    |		.CONST	0x0004								; Address of exception handler
038a 0001       |    |		.CONST	0x0001								; Number of locals
038b			BODY_0388:
038b			INIT_0388:
038b e409       |    |		Load	0x2,0x9
038c e234       | 4  |		Load	0x1,0x34
038d 01d5       |    |		Execute	Vector,Field_Reference
038e 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
038f e014       |    |		Load	0x0,0x14
0390 e22f       | /  |		Load	0x1,0x2f
0391 0096       |    |		Execute	Package,Entry
0392 e409       |    |		Load	0x2,0x9
0393 85fd       |    |		Call	0x2,-0x3
0394 e01e       |    |		Load	0x0,0x1e
0395 e223       | #  |		Load	0x1,0x23
0396 0096       |    |		Execute	Package,Entry
0397 6803       |h   |		Jump_Zero	0x39b
0398 00cc       |    |		Action	Pop_Block
0399 00d2       |    |		Pop_Control	Pop_Count_2
039a 7ecd       |~   |		Jump	0x268
039b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
039c 0000 0000  |    |		.BLANK	0000[0x4]
03a0 ; --------------------------------------------------------------------------------------
03a0 ; SUBPROGRAM
03a0 ; --------------------------------------------------------------------------------------
03a0 03ab       |    |		.CONST	0x03ab								; Address of begin
03a1 0004       |    |		.CONST	0x0004								; Address of exception handler
03a2 0002       |    |		.CONST	0x0002								; Number of locals
03a3			INIT_03a0:
03a3 e40a       |    |		Load	0x2,0xa
03a4 e234       | 4  |		Load	0x1,0x34
03a5 01d5       |    |		Execute	Vector,Field_Reference
03a6 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
03a7 e014       |    |		Load	0x0,0x14
03a8 e22f       | /  |		Load	0x1,0x2f
03a9 0096       |    |		Execute	Package,Entry
03aa 821b       |    |		Call	0x1,0x1b
03ab			BODY_03a0:
03ab 00d8       |    |		Load_Top	At_Offset_0
03ac e214       |    |		Load	0x1,0x14
03ad 01de       |    |		Execute	Vector,Not_Equal
03ae 6814       |h   |		Jump_Zero	0x3c3
03af e405       |    |		Load	0x2,0x5
03b0 8012       |    |		Call	0x0,0x12
03b1 00d1       |    |		Pop_Control	Pop_Count_1
03b2 e405       |    |		Load	0x2,0x5
03b3 e40a       |    |		Load	0x2,0xa
03b4 e234       | 4  |		Load	0x1,0x34
03b5 01d5       |    |		Execute	Vector,Field_Reference
03b6 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
03b7 00d8       |    |		Load_Top	At_Offset_0
03b8 e40a       |    |		Load	0x2,0xa
03b9 85fe       |    |		Call	0x2,-0x2
03ba 4801       |H   |		Short_Literal	0x1
03bb a402       |    |		Store_Unchecked	0x2,0x2
03bc e236       | 6  |		Load	0x1,0x36
03bd 0a01       |    |		Execute_Immediate	Plus,0x1
03be c236       | 6  |		Store	0x1,0x36
03bf 801d       |    |		Call	0x0,0x1d
03c0 00cc       |    |		Action	Pop_Block
03c1 00d2       |    |		Pop_Control	Pop_Count_2
03c2 7eee       |~   |		Jump	0x2b1
03c3 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
03c4 ; --------------------------------------------------------------------------------------
03c4 ; STRING TABLE
03c4 ; --------------------------------------------------------------------------------------
03c4 000e       |    |		.STRTAB	0x000e->0x03cb							; "Rule'("
03c5 0012       |    |		.STRTAB	0x0012->0x03ce							; "The_Date  => "
03c6 001d       |    |		.STRTAB	0x001d->0x03d4							; "The_Bundle  => "
03c7 002a       | *  |		.STRTAB	0x002a->0x03dc							; "The_rule    => "
03c8 0037       | 7  |		.STRTAB	0x0037->0x03e3							; "The_premiss => "
03c9 0044       | D  |		.STRTAB	0x0044->0x03eb							; ")"
03ca 0043       | C  |		.STREND 0x0043->0x03eb
03cb 5275 6c65  |Rule|		.STRTAB_STRINGS
03ec 0000 0000  |    |		.BLANK	0000[0x4]
03f0 ; --------------------------------------------------------------------------------------
03f0 ; Debug Table
03f0 ; --------------------------------------------------------------------------------------
03f0 0004 0009  |    |		.DEBUG4	0x0004,0x0009,0x0e06,0x0000,0x0001,0x0014
03f6 000b 0446  |   F|		.DBG4T	0x000b,0x0446,0xc000,0x0000
03fa 0075 045c  | u \|		.DBG4T	0x0075,0x045c,0xc000,0x0000
03fe 0143 047c  | C ||		.DBG4T	0x0143,0x047c,0x1002,0x0000
0402 016b 047f  | k  |		.DBG4T	0x016b,0x047f,0x1002,0x0000
0406 0183 0484  |    |		.DBG4T	0x0183,0x0484,0x1001,0x0000
040a 01cb 0495  |    |		.DBG4T	0x01cb,0x0495,0x1001,0x0000
040e 01d3 0498  |    |		.DBG4T	0x01d3,0x0498,0x3801,0x0002
0412 024b 04b4  | K  |		.DBG4T	0x024b,0x04b4,0x3802,0x0002
0416 028b 04c6  |    |		.DBG4T	0x028b,0x04c6,0x3801,0x0002
041a 02d3 04d7  |    |		.DBG4T	0x02d3,0x04d7,0x1001,0x0000
041e 02db 04da  |    |		.DBG4T	0x02db,0x04da,0x1002,0x0000
0422 02e3 04dd  |    |		.DBG4T	0x02e3,0x04dd,0x1002,0x0000
0426 02eb 04e0  |    |		.DBG4T	0x02eb,0x04e0,0x1002,0x0000
042a 02f3 0000  |    |		.DBG4T	0x02f3,0x0000,0x1005,0x0000
042e 033b 0000  | ;  |		.DBG4T	0x033b,0x0000,0x1005,0x0000
0432 0353 04e3  | S  |		.DBG4T	0x0353,0x04e3,0x1002,0x0000
0436 0363 04e6  | c  |		.DBG4T	0x0363,0x04e6,0x1002,0x0000
043a 0373 04eb  | s  |		.DBG4T	0x0373,0x04eb,0x1804,0x0002
043e 038b 04ef  |    |		.DBG4T	0x038b,0x04ef,0x1804,0x0002
0442 03a3 04f3  |    |		.DBG4T	0x03a3,0x04f3,0x1804,0x0002
0446 ; --------------------------------------------------------------------------------------
0446 ; Debug chain
0446 ; --------------------------------------------------------------------------------------
0446 0014 0000  |    |		.DBGLEN	0x0014,0x0000
0448 000b 000c  |    |		.DBGLNO	0x000b,0x000c,0x000d,0x0011,0x0013,0x0015,0x0017,0x0019,0x002a,0x003e,0x0040,0x0042,0x0044,0x0046,0x0048,0x004a,0x004c,0x0055,0x005e,0x0067
045c ; --------------------------------------------------------------------------------------
045c ; Debug chain
045c ; --------------------------------------------------------------------------------------
045c 001e 0000  |    |		.DBGLEN	0x001e,0x0000
045e 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
047c ; --------------------------------------------------------------------------------------
047c ; Debug chain
047c ; --------------------------------------------------------------------------------------
047c 0000 0001  |    |		.DBGLEN	0x0000,0x0001
047e 0143       | C  |		.DBGLNO	0x0143
047f ; --------------------------------------------------------------------------------------
047f ; Debug chain
047f ; --------------------------------------------------------------------------------------
047f 0000 0003  |    |		.DBGLEN	0x0000,0x0003
0481 016b 016e  | k n|		.DBGLNO	0x016b,0x016e,0x0178
0484 ; --------------------------------------------------------------------------------------
0484 ; Debug chain
0484 ; --------------------------------------------------------------------------------------
0484 0002 000d  |    |		.DBGLEN	0x0002,0x000d
0486 0183 0187  |    |		.DBGLNO	0x0183,0x0187,0x018c,0x0190,0x0192,0x0196,0x019a,0x019d,0x01a1,0x01ab,0x01af,0x01b4,0x01b8,0x01bb,0x01bd
0495 ; --------------------------------------------------------------------------------------
0495 ; Debug chain
0495 ; --------------------------------------------------------------------------------------
0495 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0497 01cb       |    |		.DBGLNO	0x01cb
0498 ; --------------------------------------------------------------------------------------
0498 ; Debug chain
0498 ; --------------------------------------------------------------------------------------
0498 0006 0014  |    |		.DBGLEN	0x0006,0x0014
049a 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
04b4 ; --------------------------------------------------------------------------------------
04b4 ; Debug chain
04b4 ; --------------------------------------------------------------------------------------
04b4 0004 000c  |    |		.DBGLEN	0x0004,0x000c
04b6 024b 0250  | K P|		.DBGLNO	0x024b,0x0250,0x0252,0x0257,0x025d,0x0261,0x0265,0x0269,0x026d,0x026f,0x0274,0x0278,0x0279,0x027c,0x0281,0x0286
04c6 ; --------------------------------------------------------------------------------------
04c6 ; Debug chain
04c6 ; --------------------------------------------------------------------------------------
04c6 0003 000c  |    |		.DBGLEN	0x0003,0x000c
04c8 028b 028c  |    |		.DBGLNO	0x028b,0x028c,0x0296,0x029c,0x029e,0x02a0,0x02a4,0x02a5,0x02a7,0x02aa,0x02ae,0x02b2,0x02b7,0x02ba,0x02bf
04d7 ; --------------------------------------------------------------------------------------
04d7 ; Debug chain
04d7 ; --------------------------------------------------------------------------------------
04d7 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04d9 02d3       |    |		.DBGLNO	0x02d3
04da ; --------------------------------------------------------------------------------------
04da ; Debug chain
04da ; --------------------------------------------------------------------------------------
04da 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04dc 02db       |    |		.DBGLNO	0x02db
04dd ; --------------------------------------------------------------------------------------
04dd ; Debug chain
04dd ; --------------------------------------------------------------------------------------
04dd 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04df 02e3       |    |		.DBGLNO	0x02e3
04e0 ; --------------------------------------------------------------------------------------
04e0 ; Debug chain
04e0 ; --------------------------------------------------------------------------------------
04e0 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04e2 02eb       |    |		.DBGLNO	0x02eb
04e3 ; --------------------------------------------------------------------------------------
04e3 ; Debug chain
04e3 ; --------------------------------------------------------------------------------------
04e3 0000 0001  |    |		.DBGLEN	0x0000,0x0001
04e5 0353       | S  |		.DBGLNO	0x0353
04e6 ; --------------------------------------------------------------------------------------
04e6 ; Debug chain
04e6 ; --------------------------------------------------------------------------------------
04e6 0000 0003  |    |		.DBGLEN	0x0000,0x0003
04e8 0363 0366  | c f|		.DBGLNO	0x0363,0x0366,0x036c
04eb ; --------------------------------------------------------------------------------------
04eb ; Debug chain
04eb ; --------------------------------------------------------------------------------------
04eb 0000 0002  |    |		.DBGLEN	0x0000,0x0002
04ed 0373 037c  | s ||		.DBGLNO	0x0373,0x037c
04ef ; --------------------------------------------------------------------------------------
04ef ; Debug chain
04ef ; --------------------------------------------------------------------------------------
04ef 0000 0002  |    |		.DBGLEN	0x0000,0x0002
04f1 038b 0394  |    |		.DBGLNO	0x038b,0x0394
04f3 ; --------------------------------------------------------------------------------------
04f3 ; Debug chain
04f3 ; --------------------------------------------------------------------------------------
04f3 0001 0008  |    |		.DBGLEN	0x0001,0x0008
04f5 03a3 03ab  |    |		.DBGLNO	0x03a3,0x03ab,0x03af,0x03b2,0x03b7,0x03ba,0x03bc,0x03bf,0x03c0
04fe 0000 0000  |    |		.BLANK	0000[0x102]