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

⟦f1407be97⟧

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

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦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 0380       |    |		.CONST	0x0380								; 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 0135       | 5  |		.CONST	0x0135								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 003a       | :  |		.CONST	0x003a								; 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 013b  |   ;|		Declare_Subprogram	INIT_0138,For_Outer_Call,Visible,Unelaborated
0013 029a 0163  |   c|		Declare_Subprogram	INIT_0160,For_Outer_Call,Visible,Unelaborated
0015 029a 017b  |   {|		Declare_Subprogram	INIT_0178,For_Outer_Call,Visible,Unelaborated
0017 029a 01c3  |    |		Declare_Subprogram	INIT_01c0,For_Outer_Call,Visible,Unelaborated
0019 029a 01cb  |    |		Declare_Subprogram	INIT_01c8,For_Outer_Call,Visible,Unelaborated
001b 029a 023b  |   ;|		Declare_Subprogram	INIT_0238,For_Outer_Call,Visible,Unelaborated
001d 029a 0283  |    |		Declare_Subprogram	INIT_0280,For_Outer_Call,Visible,Unelaborated
001f 029a 028b  |    |		Declare_Subprogram	INIT_0288,For_Outer_Call,Visible,Unelaborated
0021 029a 0293  |    |		Declare_Subprogram	INIT_0290,For_Outer_Call,Visible,Unelaborated
0023 029a 029b  |    |		Declare_Subprogram	INIT_0298,For_Outer_Call,Visible,Unelaborated
0025 0093 0000  |    |		push_full_address	0x0
0027 6130       |a0  |		Indirect_Literal	Discrete,0x158,{0x80000000, 0x00010000}
0028 0273       | s  |		Execute	Discrete,Plus
0029 e20d       |    |		Load	0x1,0xd
002a 6129       |a)  |		Indirect_Literal	Discrete,0x154,{0x00000000, 0x0000ffff}
002b 0279       | y  |		Execute	Discrete,And
002c 0273       | s  |		Execute	Discrete,Plus
002d 0129       | )  |		Execute	Any,Make_Visible
002e 0093 0000  |    |		push_full_address	0x0
0030 611f       |a   |		Indirect_Literal	Discrete,0x150,{0x80000000, 0x00020000}
0031 0273       | s  |		Execute	Discrete,Plus
0032 e20d       |    |		Load	0x1,0xd
0033 6120       |a   |		Indirect_Literal	Discrete,0x154,{0x00000000, 0x0000ffff}
0034 0279       | y  |		Execute	Discrete,And
0035 0273       | s  |		Execute	Discrete,Plus
0036 0129       | )  |		Execute	Any,Make_Visible
0037 0093 0000  |    |		push_full_address	0x0
0039 6112       |a   |		Indirect_Literal	Discrete,0x14c,{0x80000000, 0x00030000}
003a 0273       | s  |		Execute	Discrete,Plus
003b e20d       |    |		Load	0x1,0xd
003c 6117       |a   |		Indirect_Literal	Discrete,0x154,{0x00000000, 0x0000ffff}
003d 0279       | y  |		Execute	Discrete,And
003e 0273       | s  |		Execute	Discrete,Plus
003f 0129       | )  |		Execute	Any,Make_Visible
0040 4800       |H   |		Short_Literal	0x0
0041 4804       |H   |		Short_Literal	0x4
0042 e001       |    |		Load	0x0,0x1
0043 01d7       |    |		Execute	Vector,Field_Read
0044 02a0       |    |		Declare_Subprogram	Null_Subprogram
0045 038f       |    |		Declare_Type	Package,Defined,Visible
0046 e001       |    |		Load	0x0,0x1
0047 4803       |H   |		Short_Literal	0x3
0048 e001       |    |		Load	0x0,0x1
0049 01d7       |    |		Execute	Vector,Field_Read
004a e213       |    |		Load	0x1,0x13
004b e21d       |    |		Load	0x1,0x1d
004c e214       |    |		Load	0x1,0x14
004d 4805       |H   |		Short_Literal	0x5
004e e22b       | +  |		Load	0x1,0x2b
004f 020e       |    |		Execute	Module,Augment_Imports
0050 0386       |    |		Declare_Variable	Package,Visible
0051 0093 0000  |    |		push_full_address	0x0
0053 60f4       |`   |		Indirect_Literal	Discrete,0x148,{0x80000000, 0x00010000}
0054 0273       | s  |		Execute	Discrete,Plus
0055 e20d       |    |		Load	0x1,0xd
0056 60fd       |`   |		Indirect_Literal	Discrete,0x154,{0x00000000, 0x0000ffff}
0057 0279       | y  |		Execute	Discrete,And
0058 0273       | s  |		Execute	Discrete,Plus
0059 e002       |    |		Load	0x0,0x2
005a 0273       | s  |		Execute	Discrete,Plus
005b 00d9       |    |		Load_Top	At_Offset_1
005c 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
005d 00da       |    |		Load_Top	At_Offset_2
005e 190e       |    |		Execute	Package,Field_Reference,Field_Number 0xe
005f 00db       |    |		Load_Top	At_Offset_3
0060 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
0061 e003       |    |		Load	0x0,0x3
0062 0386       |    |		Declare_Variable	Package,Visible
0063 00d8       |    |		Load_Top	At_Offset_0
0064 020f       |    |		Execute	Module,Activate
0065 4854       |HT  |		Short_Literal	0x54
0066 4802       |H   |		Short_Literal	0x2
0067 e001       |    |		Load	0x0,0x1
0068 01d7       |    |		Execute	Vector,Field_Read
0069 02a0       |    |		Declare_Subprogram	Null_Subprogram
006a 038d       |    |		Declare_Type	Package,Defined,Visible,Not_Elaborated
006b e001       |    |		Load	0x0,0x1
006c 4801       |H   |		Short_Literal	0x1
006d e001       |    |		Load	0x0,0x1
006e 01d7       |    |		Execute	Vector,Field_Read
006f 4802       |H   |		Short_Literal	0x2
0070 00db       |    |		Load_Top	At_Offset_3
0071 020e       |    |		Execute	Module,Augment_Imports
0072 00bf       |    |		Action	Accept_Activation
0073 0093 0000  |    |		push_full_address	0x0
0075 60ce       |`   |		Indirect_Literal	Discrete,0x144,{0x80000000, 0x00020000}
0076 0273       | s  |		Execute	Discrete,Plus
0077 e20d       |    |		Load	0x1,0xd
0078 60db       |`   |		Indirect_Literal	Discrete,0x154,{0x00000000, 0x0000ffff}
0079 0279       | y  |		Execute	Discrete,And
007a 0273       | s  |		Execute	Discrete,Plus
007b e004       |    |		Load	0x0,0x4
007c 0273       | s  |		Execute	Discrete,Plus
007d e210       |    |		Load	0x1,0x10
007e e217       |    |		Load	0x1,0x17
007f e218       |    |		Load	0x1,0x18
0080 e217       |    |		Load	0x1,0x17
0081 011e       |    |		Execute	Any,Convert
0082 e219       |    |		Load	0x1,0x19
0083 e005       |    |		Load	0x0,0x5
0084 0387       |    |		Declare_Variable	Package
0085 00d8       |    |		Load_Top	At_Offset_0
0086 020f       |    |		Execute	Module,Activate
0087 0007       |    |		Action	Break_Optional
0088 0007       |    |		Action	Break_Optional
0089 0007       |    |		Action	Break_Optional
008a 0007       |    |		Action	Break_Optional
008b e21d       |    |		Load	0x1,0x1d
008c e006       |    |		Load	0x0,0x6
008d e211       |    |		Load	0x1,0x11
008e 00e3       |    |		Load_Encached	Natural_Cache
008f e007       |    |		Load	0x0,0x7
0090 4801       |H   |		Short_Literal	0x1
0091 60ae       |`   |		Indirect_Literal	Discrete,0x140,{0x00000000, 0x7fffffff}
0092 e21d       |    |		Load	0x1,0x1d
0093 0269       | i  |		Execute	Discrete,Last
0094 026c       | l  |		Execute	Discrete,Minimum
0095 e008       |    |		Load	0x0,0x8
0096 e22e       | .  |		Load	0x1,0x2e
0097 0098       |    |		Execute	Package,Field_Read_Dynamic
0098 034e       | N  |		QQ_Declare_Type	Array,Constrained,Bounds_With_Object
0099 029f 02a3  |    |		Declare_Subprogram	INIT_02a0,For_Call
009b 4800       |H   |		Short_Literal	0x0
009c 4801       |H   |		Short_Literal	0x1
009d 4804       |H   |		Short_Literal	0x4
009e 4800       |H   |		Short_Literal	0x0
009f 4801       |H   |		Short_Literal	0x1
00a0 4801       |H   |		Short_Literal	0x1
00a1 031d       |    |		Declare_Type	Variant_Record,Defined
00a2 4800       |H   |		Short_Literal	0x0
00a3 00d9       |    |		Load_Top	At_Offset_1
00a4 1c08       |    |		Execute_Immediate	Run_Utility,0x8
00a5 e009       |    |		Load	0x0,0x9
00a6 00d9       |    |		Load_Top	At_Offset_1
00a7 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
00a8 e211       |    |		Load	0x1,0x11
00a9 026a       | j  |		Execute	Discrete,First
00aa 00d9       |    |		Load_Top	At_Offset_1
00ab 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
00ac 4800       |H   |		Short_Literal	0x0
00ad 00d9       |    |		Load_Top	At_Offset_1
00ae 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
00af e007       |    |		Load	0x0,0x7
00b0 00d9       |    |		Load_Top	At_Offset_1
00b1 2805       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x5
00b2 00d8       |    |		Load_Top	At_Offset_0
00b3 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00b4 0335       | 5  |		Declare_Variable	Array,Duplicate
00b5 00cd       |    |		Action	Spare6_Action
00b6 00d9       |    |		Load_Top	At_Offset_1
00b7 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00b8 01d9       |    |		Execute	Vector,Reverse_Bounds
00b9 0263       | c  |		Execute	Discrete,Above_Bound
00ba 7005       |p   |		Jump_Nonzero	0xc0
00bb 4801       |H   |		Short_Literal	0x1
00bc 00d9       |    |		Load_Top	At_Offset_1
00bd e231       | 1  |		Load	0x1,0x31
00be 01d6       |    |		Execute	Vector,Field_Write
00bf 3ffb       |?   |		Loop_Increasing	0xbb
00c0 00d9       |    |		Load_Top	At_Offset_1
00c1 00d8       |    |		Load_Top	At_Offset_0
00c2 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
00c3 00da       |    |		Load_Top	At_Offset_2
00c4 01da       |    |		Execute	Vector,Bounds
00c5 00da       |    |		Load_Top	At_Offset_2
00c6 01da       |    |		Execute	Vector,Bounds
00c7 00da       |    |		Load_Top	At_Offset_2
00c8 027f       |    |		Execute	Discrete,Equal
00c9 7001       |p   |		Jump_Nonzero	0xcb
00ca 08e0       |    |		Execute_Immediate	Raise,0xe0
00cb 00cd       |    |		Action	Spare6_Action
00cc 027f       |    |		Execute	Discrete,Equal
00cd 7001       |p   |		Jump_Nonzero	0xcf
00ce 08e0       |    |		Execute_Immediate	Raise,0xe0
00cf 00d2       |    |		Pop_Control	Pop_Count_2
00d0 00d9       |    |		Load_Top	At_Offset_1
00d1 2906       |)   |		Execute	Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x6
00d2 4801       |H   |		Short_Literal	0x1
00d3 e20e       |    |		Load	0x1,0xe
00d4 00e3       |    |		Load_Encached	Natural_Cache
00d5 03f8       |    |		Declare_Type	Discrete,Constrained
00d6 4801       |H   |		Short_Literal	0x1
00d7 00d9       |    |		Load_Top	At_Offset_1
00d8 0269       | i  |		Execute	Discrete,Last
00d9 e22f       | /  |		Load	0x1,0x2f
00da 029f 02eb  |    |		Declare_Subprogram	INIT_02e8,For_Call
00dc 4801       |H   |		Short_Literal	0x1
00dd 035d       | ]  |		Declare_Type	Array,Defined
00de 00d8       |    |		Load_Top	At_Offset_0
00df 0337       | 7  |		Declare_Variable	Array
00e0 00d8       |    |		Load_Top	At_Offset_0
00e1 0335       | 5  |		Declare_Variable	Array,Duplicate
00e2 00cd       |    |		Action	Spare6_Action
00e3 00d9       |    |		Load_Top	At_Offset_1
00e4 01d9       |    |		Execute	Vector,Reverse_Bounds
00e5 0263       | c  |		Execute	Discrete,Above_Bound
00e6 7005       |p   |		Jump_Nonzero	0xec
00e7 e230       | 0  |		Load	0x1,0x30
00e8 00d9       |    |		Load_Top	At_Offset_1
00e9 e234       | 4  |		Load	0x1,0x34
00ea 01d6       |    |		Execute	Vector,Field_Write
00eb 3ffb       |?   |		Loop_Increasing	0xe7
00ec 00d9       |    |		Load_Top	At_Offset_1
00ed 01d4       |    |		Execute	Vector,Structure_Write
00ee 00e3       |    |		Load_Encached	Natural_Cache
00ef 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f0 00e3       |    |		Load_Encached	Natural_Cache
00f1 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f2 00e7       |    |		Load_Encached	Duration_Cache
00f3 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f4 00e3       |    |		Load_Encached	Natural_Cache
00f5 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f6 00e1       |    |		Load_Encached	Boolean_Cache
00f7 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f8 e233       | 3  |		Load	0x1,0x33
00f9 a00a       |    |		Store_Unchecked	0x0,0xa
00fa a00b       |    |		Store_Unchecked	0x0,0xb
00fb a00c       |    |		Store_Unchecked	0x0,0xc
00fc a00d       |    |		Store_Unchecked	0x0,0xd
00fd 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
00fe a00e       |    |		Store_Unchecked	0x0,0xe
00ff 1d16       |    |		Execute_Immediate	Reference_Lex_1,0x16
0100 a00f       |    |		Store_Unchecked	0x0,0xf
0101 e212       |    |		Load	0x1,0x12
0102 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
0103 a010       |    |		Store_Unchecked	0x0,0x10
0104 480c       |H   |		Short_Literal	0xc
0105 e22b       | +  |		Load	0x1,0x2b
0106 020e       |    |		Execute	Module,Augment_Imports
0107 e22b       | +  |		Load	0x1,0x2b
0108 020f       |    |		Execute	Module,Activate
0109 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
010a 00c7       |    |		Action	Elaborate_Subprogram
010b 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
010c 00c7       |    |		Action	Elaborate_Subprogram
010d 029d 0303  |    |		Declare_Subprogram	INIT_0300,For_Outer_Call
010f 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0110 00c7       |    |		Action	Elaborate_Subprogram
0111 029d 0313  |    |		Declare_Subprogram	INIT_0310,For_Outer_Call
0113 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
0114 00c7       |    |		Action	Elaborate_Subprogram
0115 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
0116 00c7       |    |		Action	Elaborate_Subprogram
0117 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
0118 00c7       |    |		Action	Elaborate_Subprogram
0119 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
011a 00c7       |    |		Action	Elaborate_Subprogram
011b 1d26       | &  |		Execute_Immediate	Reference_Lex_1,0x26
011c 00c7       |    |		Action	Elaborate_Subprogram
011d 1d27       | '  |		Execute_Immediate	Reference_Lex_1,0x27
011e 00c7       |    |		Action	Elaborate_Subprogram
011f 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0120 00c7       |    |		Action	Elaborate_Subprogram
0121 e233       | 3  |		Load	0x1,0x33
0122 e228       | (  |		Load	0x1,0x28
0123 e008       |    |		Load	0x0,0x8
0124 e22e       | .  |		Load	0x1,0x2e
0125 0098       |    |		Execute	Package,Field_Read_Dynamic
0126 e006       |    |		Load	0x0,0x6
0127 1d34       | 4  |		Execute_Immediate	Reference_Lex_1,0x34
0128 e20e       |    |		Load	0x1,0xe
0129 e22a       | *  |		Load	0x1,0x2a
012a e011       |    |		Load	0x0,0x11
012b e22e       | .  |		Load	0x1,0x2e
012c 0095       |    |		Execute	Package,Field_Reference_Dynamic
012d a012       |    |		Store_Unchecked	0x0,0x12
012e e22f       | /  |		Load	0x1,0x2f
012f a013       |    |		Store_Unchecked	0x0,0x13
0130 480b       |H   |		Short_Literal	0xb
0131 e22d       | -  |		Load	0x1,0x2d
0132 020e       |    |		Execute	Module,Augment_Imports
0133 e22d       | -  |		Load	0x1,0x2d
0134 020d       |    |		Execute	Module,Elaborate
0135			BODY_0008:
0135 00bc       |    |		Action	Signal_Activated
0136 00bb       |    |		Action	Signal_Completion
0137 0000       |    |		.XXX[0x1]
0138 ; --------------------------------------------------------------------------------------
0138 ; SUBPROGRAM
0138 ; --------------------------------------------------------------------------------------
0138 013b       | ;  |		.CONST	0x013b								; Address of begin
0139 0004       |    |		.CONST	0x0004								; Address of exception handler
013a 0001       |    |		.CONST	0x0001								; Number of locals
013b			BODY_0138:
013b			INIT_0138:
013b e234       | 4  |		Load	0x1,0x34
013c 00ca       |    |		Action	Exit_Nullary_Function
013d 0000 0000  |    |		.XXX[0x3]
013f 0000       |    |
0140 0000 0000  |    |		.LITERAL	{0x00000000, 0x7fffffff}
0144 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0148 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
014c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00030000}
0150 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0154 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
0158 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
015c 0000 0000  |    |		.BLANK	0000[0x4]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 0163       | c  |		.CONST	0x0163								; Address of begin
0161 0004       |    |		.CONST	0x0004								; Address of exception handler
0162 0001       |    |		.CONST	0x0001								; Number of locals
0163			BODY_0160:
0163			INIT_0160:
0163 00da       |    |		Load_Top	At_Offset_2
0164 8239       | 9  |		Call	0x1,0x39
0165 680a       |h   |		Jump_Zero	0x170
0166 00da       |    |		Load_Top	At_Offset_2
0167 e233       | 3  |		Load	0x1,0x33
0168 01d5       |    |		Execute	Vector,Field_Reference
0169 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
016a 00d8       |    |		Load_Top	At_Offset_0
016b e211       |    |		Load	0x1,0x11
016c 0260       | `  |		Execute	Discrete,In_Type
016d 7001       |p   |		Jump_Nonzero	0x16f
016e 0801       |    |		Execute_Immediate	Raise,0x1
016f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0170 e229       | )  |		Load	0x1,0x29
0171 0257       | W  |		Execute	Discrete,Raise
0172 0000 0000  |    |		.BLANK	0000[0x6]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 0184       |    |		.CONST	0x0184								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0003       |    |		.CONST	0x0003								; Number of locals
017b			INIT_0178:
017b 00da       |    |		Load_Top	At_Offset_2
017c e233       | 3  |		Load	0x1,0x33
017d 01d5       |    |		Execute	Vector,Field_Reference
017e 0007       |    |		Action	Break_Optional
017f 00d8       |    |		Load_Top	At_Offset_0
0180 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0181 e014       |    |		Load	0x0,0x14
0182 e22e       | .  |		Load	0x1,0x2e
0183 0096       |    |		Execute	Package,Entry
0184			BODY_0178:
0184 e5fe       |    |		Load	0x2,-0x2
0185 0092 0354  |   T|		Action	Push_String_Extended,0x354					; "Rule'("
0187 800b       |    |		Call	0x0,0xb
0188 e5fe       |    |		Load	0x2,-0x2
0189 800c       |    |		Call	0x0,0xc
018a e5fe       |    |		Load	0x2,-0x2
018b 0092 0355  |   U|		Action	Push_String_Extended,0x355					; "The_Date  => "
018d 800d       |    |		Call	0x0,0xd
018e e5fe       |    |		Load	0x2,-0x2
018f 00da       |    |		Load_Top	At_Offset_2
0190 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
0191 8015       |    |		Call	0x0,0x15
0192 e5fe       |    |		Load	0x2,-0x2
0193 00ea       |    |		Load_Encached	Null_String_Cache
0194 800b       |    |		Call	0x0,0xb
0195 e5fe       |    |		Load	0x2,-0x2
0196 0092 0356  |   V|		Action	Push_String_Extended,0x356					; "The_Bundle  => "
0198 800d       |    |		Call	0x0,0xd
0199 e5fe       |    |		Load	0x2,-0x2
019a 00da       |    |		Load_Top	At_Offset_2
019b 2c03       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x3
019c e211       |    |		Load	0x1,0x11
019d 1c04       |    |		Execute_Immediate	Run_Utility,0x4
019e e211       |    |		Load	0x1,0x11
019f 0122       | "  |		Execute	Any,Make_Root_Type
01a0 011c       |    |		Execute	Any,Convert_Unchecked
01a1 1c01       |    |		Execute_Immediate	Run_Utility,0x1
01a2 800b       |    |		Call	0x0,0xb
01a3 e5fe       |    |		Load	0x2,-0x2
01a4 0092 0357  |   W|		Action	Push_String_Extended,0x357					; "The_rule    => "
01a6 800d       |    |		Call	0x0,0xd
01a7 e5fe       |    |		Load	0x2,-0x2
01a8 00da       |    |		Load_Top	At_Offset_2
01a9 2c05       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x5
01aa 8016       |    |		Call	0x0,0x16
01ab 800b       |    |		Call	0x0,0xb
01ac e5fe       |    |		Load	0x2,-0x2
01ad 0092 0358  |   X|		Action	Push_String_Extended,0x358					; "The_premiss => "
01af 800d       |    |		Call	0x0,0xd
01b0 e5fe       |    |		Load	0x2,-0x2
01b1 00d9       |    |		Load_Top	At_Offset_1
01b2 821c       |    |		Call	0x1,0x1c
01b3 e5fe       |    |		Load	0x2,-0x2
01b4 800f       |    |		Call	0x0,0xf
01b5 e5fe       |    |		Load	0x2,-0x2
01b6 0092 0359  |   Y|		Action	Push_String_Extended,0x359					; ")"
01b8 800b       |    |		Call	0x0,0xb
01b9 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
01ba 0000 0000  |    |		.BLANK	0000[0x6]
01c0 ; --------------------------------------------------------------------------------------
01c0 ; SUBPROGRAM
01c0 ; --------------------------------------------------------------------------------------
01c0 01c3       |    |		.CONST	0x01c3								; Address of begin
01c1 0004       |    |		.CONST	0x0004								; Address of exception handler
01c2 0001       |    |		.CONST	0x0001								; Number of locals
01c3			BODY_01c0:
01c3			INIT_01c0:
01c3 0008       |    |		Action	Idle
01c4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01c5 0000 0000  |    |		.XXX[0x3]
01c7 0000       |    |
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01e8       |    |		.CONST	0x01e8								; Address of begin
01c9 0004       |    |		.CONST	0x0004								; Address of exception handler
01ca 0009       |    |		.CONST	0x0009								; Number of locals
01cb			INIT_01c8:
01cb e017       |    |		Load	0x0,0x17
01cc 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01cd 02c7       |    |		Declare_Variable	Any
01ce 00d8       |    |		Load_Top	At_Offset_0
01cf 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d0 e017       |    |		Load	0x0,0x17
01d1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01d2 02c7       |    |		Declare_Variable	Any
01d3 00d8       |    |		Load_Top	At_Offset_0
01d4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01d5 e22b       | +  |		Load	0x1,0x2b
01d6 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
01d7 02ff       |    |		Declare_Variable	Variant_Record
01d8 00d8       |    |		Load_Top	At_Offset_0
01d9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01da 00e3       |    |		Load_Encached	Natural_Cache
01db 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
01dc e22f       | /  |		Load	0x1,0x2f
01dd 02ff       |    |		Declare_Variable	Variant_Record
01de e230       | 0  |		Load	0x1,0x30
01df 00d9       |    |		Load_Top	At_Offset_1
01e0 016d       | m  |		Execute	Variant_Record,Structure_Write
01e1 e006       |    |		Load	0x0,0x6
01e2 02ff       |    |		Declare_Variable	Variant_Record
01e3 00d8       |    |		Load_Top	At_Offset_0
01e4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01e5 8018       |    |		Call	0x0,0x18
01e6 029f 0323  |   #|		Declare_Subprogram	INIT_0320,For_Call
01e8			BODY_01c8:
01e8 4800       |H   |		Short_Literal	0x0
01e9 a238       | 8  |		Store_Unchecked	0x1,0x38
01ea 4800       |H   |		Short_Literal	0x0
01eb a235       | 5  |		Store_Unchecked	0x1,0x35
01ec e017       |    |		Load	0x0,0x17
01ed 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01ee c402       |    |		Store	0x2,0x2
01ef 00cf       |    |		Action	Mark_Auxiliary
01f0 0007       |    |		Action	Break_Optional
01f1 e238       | 8  |		Load	0x1,0x38
01f2 702c       |p,  |		Jump_Nonzero	0x21f
01f3 e019       |    |		Load	0x0,0x19
01f4 e22c       | ,  |		Load	0x1,0x2c
01f5 0096       |    |		Execute	Package,Entry
01f6 00cf       |    |		Action	Mark_Auxiliary
01f7 e234       | 4  |		Load	0x1,0x34
01f8 4801       |H   |		Short_Literal	0x1
01f9 0263       | c  |		Execute	Discrete,Above_Bound
01fa 7003       |p   |		Jump_Nonzero	0x1fe
01fb 8409       |    |		Call	0x2,0x9
01fc 00c8       |    |		Action	Pop_Auxiliary_Range
01fd 3ffd       |?   |		Loop_Increasing	0x1fb
01fe 00ce       |    |		Action	Pop_Auxiliary
01ff e01a       |    |		Load	0x0,0x1a
0200 e22c       | ,  |		Load	0x1,0x2c
0201 0096       |    |		Execute	Package,Entry
0202 701c       |p   |		Jump_Nonzero	0x21f
0203 e01b       |    |		Load	0x0,0x1b
0204 e22c       | ,  |		Load	0x1,0x2c
0205 0096       |    |		Execute	Package,Entry
0206 e404       |    |		Load	0x2,0x4
0207 016d       | m  |		Execute	Variant_Record,Structure_Write
0208 e404       |    |		Load	0x2,0x4
0209 e22b       | +  |		Load	0x1,0x2b
020a 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
020b a405       |    |		Store_Unchecked	0x2,0x5
020c 00db       |    |		Load_Top	At_Offset_3
020d 8012       |    |		Call	0x0,0x12
020e 00d1       |    |		Pop_Control	Pop_Count_1
020f 00db       |    |		Load_Top	At_Offset_3
0210 e405       |    |		Load	0x2,0x5
0211 e233       | 3  |		Load	0x1,0x33
0212 01d5       |    |		Execute	Vector,Field_Reference
0213 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0214 e404       |    |		Load	0x2,0x4
0215 e22b       | +  |		Load	0x1,0x2b
0216 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
0217 e405       |    |		Load	0x2,0x5
0218 85fe       |    |		Call	0x2,-0x2
0219 e235       | 5  |		Load	0x1,0x35
021a 0a01       |    |		Execute_Immediate	Plus,0x1
021b c235       | 5  |		Store	0x1,0x35
021c 801c       |    |		Call	0x0,0x1c
021d 00c9       |    |		Action	Pop_Auxiliary_Loop
021e 7fd2       |    |		Jump	0x1f1
021f 00ce       |    |		Action	Pop_Auxiliary
0220 e017       |    |		Load	0x0,0x17
0221 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0222 c403       |    |		Store	0x2,0x3
0223 e402       |    |		Load	0x2,0x2
0224 e403       |    |		Load	0x2,0x3
0225 e017       |    |		Load	0x0,0x17
0226 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0227 a236       | 6  |		Store_Unchecked	0x1,0x36
0228 8225       | %  |		Call	0x1,0x25
0229 0237       | 7  |		Execute	Float,Convert_From_Discrete
022a 8226       | &  |		Call	0x1,0x26
022b 0237       | 7  |		Execute	Float,Convert_From_Discrete
022c 5807       |X   |		Indirect_Literal	Float,0x234,3.0517578125e-05
022d 023b       | ;  |		Execute	Float,Times
022e 023a       | :  |		Execute	Float,Divide
022f 0235       | 5  |		Execute	Float,Round_To_Discrete
0230 00e3       |    |		Load_Encached	Natural_Cache
0231 025e       | ^  |		Execute	Discrete,Convert
0232 a237       | 7  |		Store_Unchecked	0x1,0x37
0233 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
0234 3f00 0000  |?   |		.DBL	3.0517578125e-05
0236 0000 0000  |    |
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; --------------------------------------------------------------------------------------
0238 024c       | L  |		.CONST	0x024c								; Address of begin
0239 0004       |    |		.CONST	0x0004								; Address of exception handler
023a 0006       |    |		.CONST	0x0006								; Number of locals
023b			INIT_0238:
023b 00e1       |    |		Load_Encached	Boolean_Cache
023c e017       |    |		Load	0x0,0x17
023d 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
023e 02c7       |    |		Declare_Variable	Any
023f 00d8       |    |		Load_Top	At_Offset_0
0240 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0241 e017       |    |		Load	0x0,0x17
0242 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0243 02c7       |    |		Declare_Variable	Any
0244 00d8       |    |		Load_Top	At_Offset_0
0245 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0246 e006       |    |		Load	0x0,0x6
0247 02ff       |    |		Declare_Variable	Variant_Record
0248 00d8       |    |		Load_Top	At_Offset_0
0249 1c00       |    |		Execute_Immediate	Run_Utility,0x0
024a 029f 0333  |   3|		Declare_Subprogram	INIT_0330,For_Call
024c			BODY_0238:
024c 4800       |H   |		Short_Literal	0x0
024d a238       | 8  |		Store_Unchecked	0x1,0x38
024e 4800       |H   |		Short_Literal	0x0
024f a235       | 5  |		Store_Unchecked	0x1,0x35
0250 e017       |    |		Load	0x0,0x17
0251 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0252 c403       |    |		Store	0x2,0x3
0253 00cf       |    |		Action	Mark_Auxiliary
0254 0007       |    |		Action	Break_Optional
0255 4800       |H   |		Short_Literal	0x0
0256 a402       |    |		Store_Unchecked	0x2,0x2
0257 e238       | 8  |		Load	0x1,0x38
0258 700d       |p   |		Jump_Nonzero	0x266
0259 00cf       |    |		Action	Mark_Auxiliary
025a e234       | 4  |		Load	0x1,0x34
025b 4801       |H   |		Short_Literal	0x1
025c 0263       | c  |		Execute	Discrete,Above_Bound
025d 7003       |p   |		Jump_Nonzero	0x261
025e 8406       |    |		Call	0x2,0x6
025f 00c8       |    |		Action	Pop_Auxiliary_Range
0260 3ffd       |?   |		Loop_Increasing	0x25e
0261 00ce       |    |		Action	Pop_Auxiliary
0262 e402       |    |		Load	0x2,0x2
0263 6802       |h   |		Jump_Zero	0x266
0264 00c9       |    |		Action	Pop_Auxiliary_Loop
0265 7fef       |    |		Jump	0x255
0266 00ce       |    |		Action	Pop_Auxiliary
0267 e017       |    |		Load	0x0,0x17
0268 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0269 c404       |    |		Store	0x2,0x4
026a 00db       |    |		Load_Top	At_Offset_3
026b 00db       |    |		Load_Top	At_Offset_3
026c e017       |    |		Load	0x0,0x17
026d 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
026e a236       | 6  |		Store_Unchecked	0x1,0x36
026f 8225       | %  |		Call	0x1,0x25
0270 0237       | 7  |		Execute	Float,Convert_From_Discrete
0271 8226       | &  |		Call	0x1,0x26
0272 0237       | 7  |		Execute	Float,Convert_From_Discrete
0273 5fc0       |_   |		Indirect_Literal	Float,0x234,3.0517578125e-05
0274 023b       | ;  |		Execute	Float,Times
0275 023a       | :  |		Execute	Float,Divide
0276 0235       | 5  |		Execute	Float,Round_To_Discrete
0277 00e3       |    |		Load_Encached	Natural_Cache
0278 025e       | ^  |		Execute	Discrete,Convert
0279 a237       | 7  |		Store_Unchecked	0x1,0x37
027a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
027b 0000 0000  |    |		.BLANK	0000[0x5]
0280 ; --------------------------------------------------------------------------------------
0280 ; SUBPROGRAM
0280 ; --------------------------------------------------------------------------------------
0280 0283       |    |		.CONST	0x0283								; Address of begin
0281 0004       |    |		.CONST	0x0004								; Address of exception handler
0282 0001       |    |		.CONST	0x0001								; Number of locals
0283			BODY_0280:
0283			INIT_0280:
0283 4801       |H   |		Short_Literal	0x1
0284 a238       | 8  |		Store_Unchecked	0x1,0x38
0285 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0286 0000 0000  |    |		.XXX[0x2]
0288 ; --------------------------------------------------------------------------------------
0288 ; SUBPROGRAM
0288 ; --------------------------------------------------------------------------------------
0288 028b       |    |		.CONST	0x028b								; Address of begin
0289 0004       |    |		.CONST	0x0004								; Address of exception handler
028a 0001       |    |		.CONST	0x0001								; Number of locals
028b			BODY_0288:
028b			INIT_0288:
028b e235       | 5  |		Load	0x1,0x35
028c 00ca       |    |		Action	Exit_Nullary_Function
028d 0000 0000  |    |		.XXX[0x3]
028f 0000       |    |
0290 ; --------------------------------------------------------------------------------------
0290 ; SUBPROGRAM
0290 ; --------------------------------------------------------------------------------------
0290 0293       |    |		.CONST	0x0293								; Address of begin
0291 0004       |    |		.CONST	0x0004								; Address of exception handler
0292 0001       |    |		.CONST	0x0001								; Number of locals
0293			BODY_0290:
0293			INIT_0290:
0293 e236       | 6  |		Load	0x1,0x36
0294 00ca       |    |		Action	Exit_Nullary_Function
0295 0000 0000  |    |		.XXX[0x3]
0297 0000       |    |
0298 ; --------------------------------------------------------------------------------------
0298 ; SUBPROGRAM
0298 ; --------------------------------------------------------------------------------------
0298 029b       |    |		.CONST	0x029b								; Address of begin
0299 0004       |    |		.CONST	0x0004								; Address of exception handler
029a 0001       |    |		.CONST	0x0001								; Number of locals
029b			BODY_0298:
029b			INIT_0298:
029b e237       | 7  |		Load	0x1,0x37
029c 00ca       |    |		Action	Exit_Nullary_Function
029d 0000 0000  |    |		.XXX[0x3]
029f 0000       |    |
02a0 ; --------------------------------------------------------------------------------------
02a0 ; SUBPROGRAM
02a0 ; --------------------------------------------------------------------------------------
02a0 02a3       |    |		.CONST	0x02a3								; Address of begin
02a1 0004       |    |		.CONST	0x0004								; Address of exception handler
02a2 0001       |    |		.CONST	0x0001								; Number of locals
02a3			BODY_02a0:
02a3			INIT_02a0:
02a3 4609       |F   |		Jump_Case	0xa
02a4 7809       |x   |		Jump	0x2ae								; case 0x0
02a5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
02a6 7817       |x   |		Jump	0x2be								; case 0x2
02a7 781a       |x   |		Jump	0x2c2								; case 0x3
02a8 783a       |x:  |		Jump	0x2e3								; case 0x4
02a9 7839       |x9  |		Jump	0x2e3								; case 0x5
02aa 7838       |x8  |		Jump	0x2e3								; case 0x6
02ab 781c       |x   |		Jump	0x2c8								; case 0x7
02ac 7826       |x&  |		Jump	0x2d3								; case 0x8
02ad 7831       |x1  |		Jump	0x2df								; case 0x9
02ae 00da       |    |		Load_Top	At_Offset_2
02af 016c       | l  |		Execute	Variant_Record,Is_Constrained
02b0 7009       |p   |		Jump_Nonzero	0x2ba
02b1 00cf       |    |		Action	Mark_Auxiliary
02b2 4800       |H   |		Short_Literal	0x0
02b3 e5ff       |    |		Load	0x2,-0x1
02b4 1c08       |    |		Execute_Immediate	Run_Utility,0x8
02b5 00d8       |    |		Load_Top	At_Offset_0
02b6 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02b7 c5ff       |    |		Store	0x2,-0x1
02b8 00ce       |    |		Action	Pop_Auxiliary
02b9 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02ba 00da       |    |		Load_Top	At_Offset_2
02bb 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
02bc 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02bd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02be 4801       |H   |		Short_Literal	0x1
02bf 4806       |H   |		Short_Literal	0x6
02c0 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
02c1 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
02c2 e5fd       |    |		Load	0x2,-0x3
02c3 00db       |    |		Load_Top	At_Offset_3
02c4 1c07       |    |		Execute_Immediate	Run_Utility,0x7
02c5 e5fe       |    |		Load	0x2,-0x2
02c6 0306       |    |		Complete_Type	Variant_Record,By_Renaming
02c7 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
02c8 00db       |    |		Load_Top	At_Offset_3
02c9 4801       |H   |		Short_Literal	0x1
02ca e5fe       |    |		Load	0x2,-0x2
02cb e008       |    |		Load	0x0,0x8
02cc e22e       | .  |		Load	0x1,0x2e
02cd 0098       |    |		Execute	Package,Field_Read_Dynamic
02ce 035b       | [  |		Declare_Type	Array,Constrained
02cf 4801       |H   |		Short_Literal	0x1
02d0 e5ff       |    |		Load	0x2,-0x1
02d1 031b       |    |		Declare_Type	Variant_Record,Constrained
02d2 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
02d3 00db       |    |		Load_Top	At_Offset_3
02d4 00db       |    |		Load_Top	At_Offset_3
02d5 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
02d6 4801       |H   |		Short_Literal	0x1
02d7 e5fe       |    |		Load	0x2,-0x2
02d8 e008       |    |		Load	0x0,0x8
02d9 e22e       | .  |		Load	0x1,0x2e
02da 0098       |    |		Execute	Package,Field_Read_Dynamic
02db 0334       | 4  |		Declare_Variable	Array,With_Constraint
02dc 2d06       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x6
02dd 016a       | j  |		QQ_execute	Variant_Record,XXX
02de 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
02df 4800       |H   |		Short_Literal	0x0
02e0 00db       |    |		Load_Top	At_Offset_3
02e1 1c07       |    |		Execute_Immediate	Run_Utility,0x7
02e2 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
02e3 0869       | i  |		Execute_Immediate	Raise,0x69
02e4 0000 0000  |    |		.BLANK	0000[0x4]
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 00d1       |    |		Pop_Control	Pop_Count_1
02ec 00da       |    |		Load_Top	At_Offset_2
02ed 01d8       |    |		Execute	Vector,Element_Type
02ee 02ff       |    |		Declare_Variable	Variant_Record
02ef 00d8       |    |		Load_Top	At_Offset_0
02f0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02f1 00db       |    |		Load_Top	At_Offset_3
02f2 01dc       |    |		Execute	Vector,Last
02f3 e5ff       |    |		Load	0x2,-0x1
02f4 01dd       |    |		Execute	Vector,First
02f5 0263       | c  |		Execute	Discrete,Above_Bound
02f6 7006       |p   |		Jump_Nonzero	0x2fd
02f7 00da       |    |		Load_Top	At_Offset_2
02f8 00d9       |    |		Load_Top	At_Offset_1
02f9 e5ff       |    |		Load	0x2,-0x1
02fa 01d6       |    |		Execute	Vector,Field_Write
02fb 0a01       |    |		Execute_Immediate	Plus,0x1
02fc 7ff8       |    |		Jump	0x2f5
02fd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02fe 0000 0000  |    |		.XXX[0x2]
0300 ; --------------------------------------------------------------------------------------
0300 ; SUBPROGRAM
0300 ; --------------------------------------------------------------------------------------
0300 0303       |    |		.CONST	0x0303								; Address of begin
0301 0004       |    |		.CONST	0x0004								; Address of exception handler
0302 0001       |    |		.CONST	0x0001								; Number of locals
0303			BODY_0300:
0303			INIT_0300:
0303 00da       |    |		Load_Top	At_Offset_2
0304 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
0305 6804       |h   |		Jump_Zero	0x30a
0306 00da       |    |		Load_Top	At_Offset_2
0307 e20e       |    |		Load	0x1,0xe
0308 027a       | z  |		Execute	Discrete,Less_Equal
0309 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
030a 4800       |H   |		Short_Literal	0x0
030b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
030c 0000 0000  |    |		.BLANK	0000[0x4]
0310 ; --------------------------------------------------------------------------------------
0310 ; SUBPROGRAM
0310 ; --------------------------------------------------------------------------------------
0310 0313       |    |		.CONST	0x0313								; Address of begin
0311 0004       |    |		.CONST	0x0004								; Address of exception handler
0312 0001       |    |		.CONST	0x0001								; Number of locals
0313			BODY_0310:
0313			INIT_0310:
0313 00da       |    |		Load_Top	At_Offset_2
0314 8239       | 9  |		Call	0x1,0x39
0315 6806       |h   |		Jump_Zero	0x31c
0316 00da       |    |		Load_Top	At_Offset_2
0317 e233       | 3  |		Load	0x1,0x33
0318 01d5       |    |		Execute	Vector,Field_Reference
0319 02fd       |    |		Declare_Variable	Variant_Record,Duplicate
031a 00cd       |    |		Action	Spare6_Action
031b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
031c e229       | )  |		Load	0x1,0x29
031d 0257       | W  |		Execute	Discrete,Raise
031e 0000 0000  |    |		.XXX[0x2]
0320 ; --------------------------------------------------------------------------------------
0320 ; SUBPROGRAM
0320 ; --------------------------------------------------------------------------------------
0320 0323       | #  |		.CONST	0x0323								; Address of begin
0321 0004       |    |		.CONST	0x0004								; Address of exception handler
0322 0001       |    |		.CONST	0x0001								; Number of locals
0323			BODY_0320:
0323			INIT_0320:
0323 e40d       |    |		Load	0x2,0xd
0324 e233       | 3  |		Load	0x1,0x33
0325 01d5       |    |		Execute	Vector,Field_Reference
0326 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0327 e014       |    |		Load	0x0,0x14
0328 e22e       | .  |		Load	0x1,0x2e
0329 0096       |    |		Execute	Package,Entry
032a e40d       |    |		Load	0x2,0xd
032b 85fd       |    |		Call	0x2,-0x3
032c 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
032d 0000 0000  |    |		.XXX[0x3]
032f 0000       |    |
0330 ; --------------------------------------------------------------------------------------
0330 ; SUBPROGRAM
0330 ; --------------------------------------------------------------------------------------
0330 033b       | ;  |		.CONST	0x033b								; Address of begin
0331 0004       |    |		.CONST	0x0004								; Address of exception handler
0332 0002       |    |		.CONST	0x0002								; Number of locals
0333			INIT_0330:
0333 e40a       |    |		Load	0x2,0xa
0334 e233       | 3  |		Load	0x1,0x33
0335 01d5       |    |		Execute	Vector,Field_Reference
0336 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0337 e014       |    |		Load	0x0,0x14
0338 e22e       | .  |		Load	0x1,0x2e
0339 0096       |    |		Execute	Package,Entry
033a 821b       |    |		Call	0x1,0x1b
033b			BODY_0330:
033b 00d8       |    |		Load_Top	At_Offset_0
033c e214       |    |		Load	0x1,0x14
033d 01de       |    |		Execute	Vector,Not_Equal
033e 6814       |h   |		Jump_Zero	0x353
033f e405       |    |		Load	0x2,0x5
0340 8012       |    |		Call	0x0,0x12
0341 00d1       |    |		Pop_Control	Pop_Count_1
0342 e405       |    |		Load	0x2,0x5
0343 e40a       |    |		Load	0x2,0xa
0344 e233       | 3  |		Load	0x1,0x33
0345 01d5       |    |		Execute	Vector,Field_Reference
0346 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0347 00d8       |    |		Load_Top	At_Offset_0
0348 e40a       |    |		Load	0x2,0xa
0349 85fe       |    |		Call	0x2,-0x2
034a 4801       |H   |		Short_Literal	0x1
034b a402       |    |		Store_Unchecked	0x2,0x2
034c e235       | 5  |		Load	0x1,0x35
034d 0a01       |    |		Execute_Immediate	Plus,0x1
034e c235       | 5  |		Store	0x1,0x35
034f 801c       |    |		Call	0x0,0x1c
0350 00cc       |    |		Action	Pop_Block
0351 00d2       |    |		Pop_Control	Pop_Count_2
0352 7f0e       |    |		Jump	0x261
0353 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0354 ; --------------------------------------------------------------------------------------
0354 ; STRING TABLE
0354 ; --------------------------------------------------------------------------------------
0354 000e       |    |		.STRTAB	0x000e->0x035b							; "Rule'("
0355 0012       |    |		.STRTAB	0x0012->0x035e							; "The_Date  => "
0356 001d       |    |		.STRTAB	0x001d->0x0364							; "The_Bundle  => "
0357 002a       | *  |		.STRTAB	0x002a->0x036c							; "The_rule    => "
0358 0037       | 7  |		.STRTAB	0x0037->0x0373							; "The_premiss => "
0359 0044       | D  |		.STRTAB	0x0044->0x037b							; ")"
035a 0043       | C  |		.STREND 0x0043->0x037b
035b 5275 6c65  |Rule|		.STRTAB_STRINGS
037c 0000 0000  |    |		.BLANK	0000[0x4]
0380 ; --------------------------------------------------------------------------------------
0380 ; Debug Table
0380 ; --------------------------------------------------------------------------------------
0380 0004 0006  |    |		.DEBUG4	0x0004,0x0006,0xad93,0x0000,0x0001,0x0012
0386 000b 03ce  |    |		.DBG4T	0x000b,0x03ce,0xc000,0x0000
038a 0073 03e3  | s  |		.DBG4T	0x0073,0x03e3,0xc000,0x0000
038e 013b 0402  | ;  |		.DBG4T	0x013b,0x0402,0x1002,0x0000
0392 0163 0405  | c  |		.DBG4T	0x0163,0x0405,0x1002,0x0000
0396 017b 040a  | {  |		.DBG4T	0x017b,0x040a,0x1001,0x0000
039a 01c3 041b  |    |		.DBG4T	0x01c3,0x041b,0x1001,0x0000
039e 01cb 041e  |    |		.DBG4T	0x01cb,0x041e,0x3801,0x0002
03a2 023b 0439  | ; 9|		.DBG4T	0x023b,0x0439,0x3801,0x0002
03a6 0283 044a  |   J|		.DBG4T	0x0283,0x044a,0x1001,0x0000
03aa 028b 044d  |   M|		.DBG4T	0x028b,0x044d,0x1002,0x0000
03ae 0293 0450  |   P|		.DBG4T	0x0293,0x0450,0x1002,0x0000
03b2 029b 0453  |   S|		.DBG4T	0x029b,0x0453,0x1002,0x0000
03b6 02a3 0000  |    |		.DBG4T	0x02a3,0x0000,0x1005,0x0000
03ba 02eb 0000  |    |		.DBG4T	0x02eb,0x0000,0x1005,0x0000
03be 0303 0456  |   V|		.DBG4T	0x0303,0x0456,0x1002,0x0000
03c2 0313 0459  |   Y|		.DBG4T	0x0313,0x0459,0x1002,0x0000
03c6 0323 045e  | # ^|		.DBG4T	0x0323,0x045e,0x1804,0x0002
03ca 0333 0461  | 3 a|		.DBG4T	0x0333,0x0461,0x1804,0x0002
03ce ; --------------------------------------------------------------------------------------
03ce ; Debug chain
03ce ; --------------------------------------------------------------------------------------
03ce 0013 0000  |    |		.DBGLEN	0x0013,0x0000
03d0 000b 000c  |    |		.DBGLNO	0x000b,0x000c,0x000d,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x0025,0x002e,0x0037,0x0040,0x0051,0x0065
03e3 ; --------------------------------------------------------------------------------------
03e3 ; Debug chain
03e3 ; --------------------------------------------------------------------------------------
03e3 001d 0000  |    |		.DBGLEN	0x001d,0x0000
03e5 0073 0087  | s  |		.DBGLNO	0x0073,0x0087,0x0088,0x0089,0x008a,0x008b,0x00a2,0x00d2,0x00d6,0x00de,0x00ee,0x00f0,0x00f2,0x00f4,0x00f6,0x00f8,0x0109,0x010b,0x010d,0x010f,0x0111,0x0113,0x0115,0x0117,0x0119,0x011b,0x011d,0x011f,0x0121
0402 ; --------------------------------------------------------------------------------------
0402 ; Debug chain
0402 ; --------------------------------------------------------------------------------------
0402 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0404 013b       | ;  |		.DBGLNO	0x013b
0405 ; --------------------------------------------------------------------------------------
0405 ; Debug chain
0405 ; --------------------------------------------------------------------------------------
0405 0000 0003  |    |		.DBGLEN	0x0000,0x0003
0407 0163 0166  | c f|		.DBGLNO	0x0163,0x0166,0x0170
040a ; --------------------------------------------------------------------------------------
040a ; Debug chain
040a ; --------------------------------------------------------------------------------------
040a 0002 000d  |    |		.DBGLEN	0x0002,0x000d
040c 017b 017f  | {  |		.DBGLNO	0x017b,0x017f,0x0184,0x0188,0x018a,0x018e,0x0192,0x0195,0x0199,0x01a3,0x01a7,0x01ac,0x01b0,0x01b3,0x01b5
041b ; --------------------------------------------------------------------------------------
041b ; Debug chain
041b ; --------------------------------------------------------------------------------------
041b 0000 0001  |    |		.DBGLEN	0x0000,0x0001
041d 01c3       |    |		.DBGLNO	0x01c3
041e ; --------------------------------------------------------------------------------------
041e ; Debug chain
041e ; --------------------------------------------------------------------------------------
041e 0006 0013  |    |		.DBGLEN	0x0006,0x0013
0420 01cb 01d5  |    |		.DBGLNO	0x01cb,0x01d5,0x01da,0x01dc,0x01e1,0x01e5,0x01e8,0x01ea,0x01ec,0x01f0,0x01f1,0x01f3,0x01f7,0x01fb,0x01ff,0x0203,0x0208,0x020c,0x020f,0x0214,0x0219,0x021c,0x0220,0x0223,0x0228
0439 ; --------------------------------------------------------------------------------------
0439 ; Debug chain
0439 ; --------------------------------------------------------------------------------------
0439 0003 000c  |    |		.DBGLEN	0x0003,0x000c
043b 023b 023c  | ; <|		.DBGLNO	0x023b,0x023c,0x0246,0x024c,0x024e,0x0250,0x0254,0x0255,0x0257,0x025a,0x025e,0x0262,0x0267,0x026a,0x026f
044a ; --------------------------------------------------------------------------------------
044a ; Debug chain
044a ; --------------------------------------------------------------------------------------
044a 0000 0001  |    |		.DBGLEN	0x0000,0x0001
044c 0283       |    |		.DBGLNO	0x0283
044d ; --------------------------------------------------------------------------------------
044d ; Debug chain
044d ; --------------------------------------------------------------------------------------
044d 0000 0001  |    |		.DBGLEN	0x0000,0x0001
044f 028b       |    |		.DBGLNO	0x028b
0450 ; --------------------------------------------------------------------------------------
0450 ; Debug chain
0450 ; --------------------------------------------------------------------------------------
0450 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0452 0293       |    |		.DBGLNO	0x0293
0453 ; --------------------------------------------------------------------------------------
0453 ; Debug chain
0453 ; --------------------------------------------------------------------------------------
0453 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0455 029b       |    |		.DBGLNO	0x029b
0456 ; --------------------------------------------------------------------------------------
0456 ; Debug chain
0456 ; --------------------------------------------------------------------------------------
0456 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0458 0303       |    |		.DBGLNO	0x0303
0459 ; --------------------------------------------------------------------------------------
0459 ; Debug chain
0459 ; --------------------------------------------------------------------------------------
0459 0000 0003  |    |		.DBGLEN	0x0000,0x0003
045b 0313 0316  |    |		.DBGLNO	0x0313,0x0316,0x031c
045e ; --------------------------------------------------------------------------------------
045e ; Debug chain
045e ; --------------------------------------------------------------------------------------
045e 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0460 0323       | #  |		.DBGLNO	0x0323
0461 ; --------------------------------------------------------------------------------------
0461 ; Debug chain
0461 ; --------------------------------------------------------------------------------------
0461 0001 0008  |    |		.DBGLEN	0x0001,0x0008
0463 0333 033b  | 3 ;|		.DBGLNO	0x0333,0x033b,0x033f,0x0342,0x0347,0x034a,0x034c,0x034f,0x0350
046c 0000 0000  |    |		.BLANK	0000[0x194]