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

⟦fe145f192⟧

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

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 0390       |    |		.CONST	0x0390								; 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 0243  |   C|		Declare_Subprogram	INIT_0240,For_Outer_Call,Visible,Unelaborated
001d 029a 028b  |    |		Declare_Subprogram	INIT_0288,For_Outer_Call,Visible,Unelaborated
001f 029a 0293  |    |		Declare_Subprogram	INIT_0290,For_Outer_Call,Visible,Unelaborated
0021 029a 029b  |    |		Declare_Subprogram	INIT_0298,For_Outer_Call,Visible,Unelaborated
0023 029a 02a3  |    |		Declare_Subprogram	INIT_02a0,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 02ab  |    |		Declare_Subprogram	INIT_02a8,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 02f3  |    |		Declare_Subprogram	INIT_02f0,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 030b  |    |		Declare_Subprogram	INIT_0308,For_Outer_Call
010f 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0110 00c7       |    |		Action	Elaborate_Subprogram
0111 029d 031b  |    |		Declare_Subprogram	INIT_0318,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 0364  |   d|		Action	Push_String_Extended,0x364					; "Rule'("
0187 800b       |    |		Call	0x0,0xb
0188 e5fe       |    |		Load	0x2,-0x2
0189 800c       |    |		Call	0x0,0xc
018a e5fe       |    |		Load	0x2,-0x2
018b 0092 0365  |   e|		Action	Push_String_Extended,0x365					; "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 0366  |   f|		Action	Push_String_Extended,0x366					; "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 0367  |   g|		Action	Push_String_Extended,0x367					; "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 0368  |   h|		Action	Push_String_Extended,0x368					; "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 0369  |   i|		Action	Push_String_Extended,0x369					; ")"
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 032b  |   +|		Declare_Subprogram	INIT_0328,For_Call
01e8			BODY_01c8:
01e8 e5fc       |    |		Load	0x2,-0x4
01e9 0c00       |    |		Execute_Immediate	Greater_Equal,0x0
01ea 6804       |h   |		Jump_Zero	0x1ef
01eb e5fc       |    |		Load	0x2,-0x4
01ec e019       |    |		Load	0x0,0x19
01ed e22c       | ,  |		Load	0x1,0x2c
01ee 0096       |    |		Execute	Package,Entry
01ef 4800       |H   |		Short_Literal	0x0
01f0 a238       | 8  |		Store_Unchecked	0x1,0x38
01f1 4800       |H   |		Short_Literal	0x0
01f2 a235       | 5  |		Store_Unchecked	0x1,0x35
01f3 e017       |    |		Load	0x0,0x17
01f4 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01f5 c402       |    |		Store	0x2,0x2
01f6 00cf       |    |		Action	Mark_Auxiliary
01f7 0007       |    |		Action	Break_Optional
01f8 e238       | 8  |		Load	0x1,0x38
01f9 702c       |p,  |		Jump_Nonzero	0x226
01fa e01a       |    |		Load	0x0,0x1a
01fb e22c       | ,  |		Load	0x1,0x2c
01fc 0096       |    |		Execute	Package,Entry
01fd 00cf       |    |		Action	Mark_Auxiliary
01fe e234       | 4  |		Load	0x1,0x34
01ff 4801       |H   |		Short_Literal	0x1
0200 0263       | c  |		Execute	Discrete,Above_Bound
0201 7003       |p   |		Jump_Nonzero	0x205
0202 8409       |    |		Call	0x2,0x9
0203 00c8       |    |		Action	Pop_Auxiliary_Range
0204 3ffd       |?   |		Loop_Increasing	0x202
0205 00ce       |    |		Action	Pop_Auxiliary
0206 e01b       |    |		Load	0x0,0x1b
0207 e22c       | ,  |		Load	0x1,0x2c
0208 0096       |    |		Execute	Package,Entry
0209 701c       |p   |		Jump_Nonzero	0x226
020a e01c       |    |		Load	0x0,0x1c
020b e22c       | ,  |		Load	0x1,0x2c
020c 0096       |    |		Execute	Package,Entry
020d e404       |    |		Load	0x2,0x4
020e 016d       | m  |		Execute	Variant_Record,Structure_Write
020f e404       |    |		Load	0x2,0x4
0210 e22b       | +  |		Load	0x1,0x2b
0211 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
0212 a405       |    |		Store_Unchecked	0x2,0x5
0213 00db       |    |		Load_Top	At_Offset_3
0214 8012       |    |		Call	0x0,0x12
0215 00d1       |    |		Pop_Control	Pop_Count_1
0216 00db       |    |		Load_Top	At_Offset_3
0217 e405       |    |		Load	0x2,0x5
0218 e233       | 3  |		Load	0x1,0x33
0219 01d5       |    |		Execute	Vector,Field_Reference
021a 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
021b e404       |    |		Load	0x2,0x4
021c e22b       | +  |		Load	0x1,0x2b
021d 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
021e e405       |    |		Load	0x2,0x5
021f 85fe       |    |		Call	0x2,-0x2
0220 e235       | 5  |		Load	0x1,0x35
0221 0a01       |    |		Execute_Immediate	Plus,0x1
0222 c235       | 5  |		Store	0x1,0x35
0223 801d       |    |		Call	0x0,0x1d
0224 00c9       |    |		Action	Pop_Auxiliary_Loop
0225 7fd2       |    |		Jump	0x1f8
0226 00ce       |    |		Action	Pop_Auxiliary
0227 e017       |    |		Load	0x0,0x17
0228 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0229 c403       |    |		Store	0x2,0x3
022a e402       |    |		Load	0x2,0x2
022b e403       |    |		Load	0x2,0x3
022c e017       |    |		Load	0x0,0x17
022d 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
022e a236       | 6  |		Store_Unchecked	0x1,0x36
022f 8225       | %  |		Call	0x1,0x25
0230 0237       | 7  |		Execute	Float,Convert_From_Discrete
0231 8226       | &  |		Call	0x1,0x26
0232 0237       | 7  |		Execute	Float,Convert_From_Discrete
0233 5808       |X   |		Indirect_Literal	Float,0x23c,3.0517578125e-05
0234 023b       | ;  |		Execute	Float,Times
0235 023a       | :  |		Execute	Float,Divide
0236 0235       | 5  |		Execute	Float,Round_To_Discrete
0237 00e3       |    |		Load_Encached	Natural_Cache
0238 025e       | ^  |		Execute	Discrete,Convert
0239 a237       | 7  |		Store_Unchecked	0x1,0x37
023a 4505       |E   |		Exit_Suprogram	New_Top_Offset 0x5
023b 0000       |    |		.XXX[0x1]
023c 3f00 0000  |?   |		.DBL	3.0517578125e-05
023e 0000 0000  |    |
0240 ; --------------------------------------------------------------------------------------
0240 ; SUBPROGRAM
0240 ; --------------------------------------------------------------------------------------
0240 0254       | T  |		.CONST	0x0254								; Address of begin
0241 0004       |    |		.CONST	0x0004								; Address of exception handler
0242 0006       |    |		.CONST	0x0006								; Number of locals
0243			INIT_0240:
0243 00e1       |    |		Load_Encached	Boolean_Cache
0244 e017       |    |		Load	0x0,0x17
0245 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0246 02c7       |    |		Declare_Variable	Any
0247 00d8       |    |		Load_Top	At_Offset_0
0248 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0249 e017       |    |		Load	0x0,0x17
024a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
024b 02c7       |    |		Declare_Variable	Any
024c 00d8       |    |		Load_Top	At_Offset_0
024d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
024e e006       |    |		Load	0x0,0x6
024f 02ff       |    |		Declare_Variable	Variant_Record
0250 00d8       |    |		Load_Top	At_Offset_0
0251 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0252 029f 0343  |   C|		Declare_Subprogram	INIT_0340,For_Call
0254			BODY_0240:
0254 4800       |H   |		Short_Literal	0x0
0255 a238       | 8  |		Store_Unchecked	0x1,0x38
0256 4800       |H   |		Short_Literal	0x0
0257 a235       | 5  |		Store_Unchecked	0x1,0x35
0258 e017       |    |		Load	0x0,0x17
0259 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
025a c403       |    |		Store	0x2,0x3
025b 00cf       |    |		Action	Mark_Auxiliary
025c 0007       |    |		Action	Break_Optional
025d 4800       |H   |		Short_Literal	0x0
025e a402       |    |		Store_Unchecked	0x2,0x2
025f e238       | 8  |		Load	0x1,0x38
0260 700d       |p   |		Jump_Nonzero	0x26e
0261 00cf       |    |		Action	Mark_Auxiliary
0262 e234       | 4  |		Load	0x1,0x34
0263 4801       |H   |		Short_Literal	0x1
0264 0263       | c  |		Execute	Discrete,Above_Bound
0265 7003       |p   |		Jump_Nonzero	0x269
0266 8406       |    |		Call	0x2,0x6
0267 00c8       |    |		Action	Pop_Auxiliary_Range
0268 3ffd       |?   |		Loop_Increasing	0x266
0269 00ce       |    |		Action	Pop_Auxiliary
026a e402       |    |		Load	0x2,0x2
026b 6802       |h   |		Jump_Zero	0x26e
026c 00c9       |    |		Action	Pop_Auxiliary_Loop
026d 7fef       |    |		Jump	0x25d
026e 00ce       |    |		Action	Pop_Auxiliary
026f e017       |    |		Load	0x0,0x17
0270 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0271 c404       |    |		Store	0x2,0x4
0272 00db       |    |		Load_Top	At_Offset_3
0273 00db       |    |		Load_Top	At_Offset_3
0274 e017       |    |		Load	0x0,0x17
0275 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
0276 a236       | 6  |		Store_Unchecked	0x1,0x36
0277 8225       | %  |		Call	0x1,0x25
0278 0237       | 7  |		Execute	Float,Convert_From_Discrete
0279 8226       | &  |		Call	0x1,0x26
027a 0237       | 7  |		Execute	Float,Convert_From_Discrete
027b 5fc0       |_   |		Indirect_Literal	Float,0x23c,3.0517578125e-05
027c 023b       | ;  |		Execute	Float,Times
027d 023a       | :  |		Execute	Float,Divide
027e 0235       | 5  |		Execute	Float,Round_To_Discrete
027f 00e3       |    |		Load_Encached	Natural_Cache
0280 025e       | ^  |		Execute	Discrete,Convert
0281 a237       | 7  |		Store_Unchecked	0x1,0x37
0282 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0283 0000 0000  |    |		.BLANK	0000[0x5]
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 4801       |H   |		Short_Literal	0x1
028c a238       | 8  |		Store_Unchecked	0x1,0x38
028d 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
028e 0000 0000  |    |		.XXX[0x2]
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 e235       | 5  |		Load	0x1,0x35
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 e236       | 6  |		Load	0x1,0x36
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 e237       | 7  |		Load	0x1,0x37
02a4 00ca       |    |		Action	Exit_Nullary_Function
02a5 0000 0000  |    |		.XXX[0x3]
02a7 0000       |    |
02a8 ; --------------------------------------------------------------------------------------
02a8 ; SUBPROGRAM
02a8 ; --------------------------------------------------------------------------------------
02a8 02ab       |    |		.CONST	0x02ab								; Address of begin
02a9 0004       |    |		.CONST	0x0004								; Address of exception handler
02aa 0001       |    |		.CONST	0x0001								; Number of locals
02ab			BODY_02a8:
02ab			INIT_02a8:
02ab 4609       |F   |		Jump_Case	0xa
02ac 7809       |x   |		Jump	0x2b6								; case 0x0
02ad 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
02ae 7817       |x   |		Jump	0x2c6								; case 0x2
02af 781a       |x   |		Jump	0x2ca								; case 0x3
02b0 783a       |x:  |		Jump	0x2eb								; case 0x4
02b1 7839       |x9  |		Jump	0x2eb								; case 0x5
02b2 7838       |x8  |		Jump	0x2eb								; case 0x6
02b3 781c       |x   |		Jump	0x2d0								; case 0x7
02b4 7826       |x&  |		Jump	0x2db								; case 0x8
02b5 7831       |x1  |		Jump	0x2e7								; case 0x9
02b6 00da       |    |		Load_Top	At_Offset_2
02b7 016c       | l  |		Execute	Variant_Record,Is_Constrained
02b8 7009       |p   |		Jump_Nonzero	0x2c2
02b9 00cf       |    |		Action	Mark_Auxiliary
02ba 4800       |H   |		Short_Literal	0x0
02bb e5ff       |    |		Load	0x2,-0x1
02bc 1c08       |    |		Execute_Immediate	Run_Utility,0x8
02bd 00d8       |    |		Load_Top	At_Offset_0
02be 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02bf c5ff       |    |		Store	0x2,-0x1
02c0 00ce       |    |		Action	Pop_Auxiliary
02c1 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02c2 00da       |    |		Load_Top	At_Offset_2
02c3 2402       |$   |		Execute	Variant_Record,Field_Reference,Fixed,Direct,Field_Number 0x2
02c4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02c5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02c6 4801       |H   |		Short_Literal	0x1
02c7 4806       |H   |		Short_Literal	0x6
02c8 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
02c9 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
02ca e5fd       |    |		Load	0x2,-0x3
02cb 00db       |    |		Load_Top	At_Offset_3
02cc 1c07       |    |		Execute_Immediate	Run_Utility,0x7
02cd e5fe       |    |		Load	0x2,-0x2
02ce 0306       |    |		Complete_Type	Variant_Record,By_Renaming
02cf 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
02d0 00db       |    |		Load_Top	At_Offset_3
02d1 4801       |H   |		Short_Literal	0x1
02d2 e5fe       |    |		Load	0x2,-0x2
02d3 e008       |    |		Load	0x0,0x8
02d4 e22e       | .  |		Load	0x1,0x2e
02d5 0098       |    |		Execute	Package,Field_Read_Dynamic
02d6 035b       | [  |		Declare_Type	Array,Constrained
02d7 4801       |H   |		Short_Literal	0x1
02d8 e5ff       |    |		Load	0x2,-0x1
02d9 031b       |    |		Declare_Type	Variant_Record,Constrained
02da 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
02db 00db       |    |		Load_Top	At_Offset_3
02dc 00db       |    |		Load_Top	At_Offset_3
02dd 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
02de 4801       |H   |		Short_Literal	0x1
02df e5fe       |    |		Load	0x2,-0x2
02e0 e008       |    |		Load	0x0,0x8
02e1 e22e       | .  |		Load	0x1,0x2e
02e2 0098       |    |		Execute	Package,Field_Read_Dynamic
02e3 0334       | 4  |		Declare_Variable	Array,With_Constraint
02e4 2d06       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x6
02e5 016a       | j  |		QQ_execute	Variant_Record,XXX
02e6 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
02e7 4800       |H   |		Short_Literal	0x0
02e8 00db       |    |		Load_Top	At_Offset_3
02e9 1c07       |    |		Execute_Immediate	Run_Utility,0x7
02ea 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
02eb 0869       | i  |		Execute_Immediate	Raise,0x69
02ec 0000 0000  |    |		.BLANK	0000[0x4]
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 00d1       |    |		Pop_Control	Pop_Count_1
02f4 00da       |    |		Load_Top	At_Offset_2
02f5 01d8       |    |		Execute	Vector,Element_Type
02f6 02ff       |    |		Declare_Variable	Variant_Record
02f7 00d8       |    |		Load_Top	At_Offset_0
02f8 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02f9 00db       |    |		Load_Top	At_Offset_3
02fa 01dc       |    |		Execute	Vector,Last
02fb e5ff       |    |		Load	0x2,-0x1
02fc 01dd       |    |		Execute	Vector,First
02fd 0263       | c  |		Execute	Discrete,Above_Bound
02fe 7006       |p   |		Jump_Nonzero	0x305
02ff 00da       |    |		Load_Top	At_Offset_2
0300 00d9       |    |		Load_Top	At_Offset_1
0301 e5ff       |    |		Load	0x2,-0x1
0302 01d6       |    |		Execute	Vector,Field_Write
0303 0a01       |    |		Execute_Immediate	Plus,0x1
0304 7ff8       |    |		Jump	0x2fd
0305 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0306 0000 0000  |    |		.XXX[0x2]
0308 ; --------------------------------------------------------------------------------------
0308 ; SUBPROGRAM
0308 ; --------------------------------------------------------------------------------------
0308 030b       |    |		.CONST	0x030b								; Address of begin
0309 0004       |    |		.CONST	0x0004								; Address of exception handler
030a 0001       |    |		.CONST	0x0001								; Number of locals
030b			BODY_0308:
030b			INIT_0308:
030b 00da       |    |		Load_Top	At_Offset_2
030c 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
030d 6804       |h   |		Jump_Zero	0x312
030e 00da       |    |		Load_Top	At_Offset_2
030f e20e       |    |		Load	0x1,0xe
0310 027a       | z  |		Execute	Discrete,Less_Equal
0311 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0312 4800       |H   |		Short_Literal	0x0
0313 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0314 0000 0000  |    |		.BLANK	0000[0x4]
0318 ; --------------------------------------------------------------------------------------
0318 ; SUBPROGRAM
0318 ; --------------------------------------------------------------------------------------
0318 031b       |    |		.CONST	0x031b								; Address of begin
0319 0004       |    |		.CONST	0x0004								; Address of exception handler
031a 0001       |    |		.CONST	0x0001								; Number of locals
031b			BODY_0318:
031b			INIT_0318:
031b 00da       |    |		Load_Top	At_Offset_2
031c 8239       | 9  |		Call	0x1,0x39
031d 6806       |h   |		Jump_Zero	0x324
031e 00da       |    |		Load_Top	At_Offset_2
031f e233       | 3  |		Load	0x1,0x33
0320 01d5       |    |		Execute	Vector,Field_Reference
0321 02fd       |    |		Declare_Variable	Variant_Record,Duplicate
0322 00cd       |    |		Action	Spare6_Action
0323 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0324 e229       | )  |		Load	0x1,0x29
0325 0257       | W  |		Execute	Discrete,Raise
0326 0000 0000  |    |		.XXX[0x2]
0328 ; --------------------------------------------------------------------------------------
0328 ; SUBPROGRAM
0328 ; --------------------------------------------------------------------------------------
0328 032b       | +  |		.CONST	0x032b								; Address of begin
0329 0004       |    |		.CONST	0x0004								; Address of exception handler
032a 0001       |    |		.CONST	0x0001								; Number of locals
032b			BODY_0328:
032b			INIT_0328:
032b e40d       |    |		Load	0x2,0xd
032c e233       | 3  |		Load	0x1,0x33
032d 01d5       |    |		Execute	Vector,Field_Reference
032e 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
032f e014       |    |		Load	0x0,0x14
0330 e22e       | .  |		Load	0x1,0x2e
0331 0096       |    |		Execute	Package,Entry
0332 e40d       |    |		Load	0x2,0xd
0333 85fd       |    |		Call	0x2,-0x3
0334 e01e       |    |		Load	0x0,0x1e
0335 e22c       | ,  |		Load	0x1,0x2c
0336 0096       |    |		Execute	Package,Entry
0337 6803       |h   |		Jump_Zero	0x33b
0338 00cc       |    |		Action	Pop_Block
0339 00d2       |    |		Pop_Control	Pop_Count_2
033a 7eca       |~   |		Jump	0x205
033b 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
033c 0000 0000  |    |		.BLANK	0000[0x4]
0340 ; --------------------------------------------------------------------------------------
0340 ; SUBPROGRAM
0340 ; --------------------------------------------------------------------------------------
0340 034b       | K  |		.CONST	0x034b								; Address of begin
0341 0004       |    |		.CONST	0x0004								; Address of exception handler
0342 0002       |    |		.CONST	0x0002								; Number of locals
0343			INIT_0340:
0343 e40a       |    |		Load	0x2,0xa
0344 e233       | 3  |		Load	0x1,0x33
0345 01d5       |    |		Execute	Vector,Field_Reference
0346 2506       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x6
0347 e014       |    |		Load	0x0,0x14
0348 e22e       | .  |		Load	0x1,0x2e
0349 0096       |    |		Execute	Package,Entry
034a 821b       |    |		Call	0x1,0x1b
034b			BODY_0340:
034b 00d8       |    |		Load_Top	At_Offset_0
034c e214       |    |		Load	0x1,0x14
034d 01de       |    |		Execute	Vector,Not_Equal
034e 6814       |h   |		Jump_Zero	0x363
034f e405       |    |		Load	0x2,0x5
0350 8012       |    |		Call	0x0,0x12
0351 00d1       |    |		Pop_Control	Pop_Count_1
0352 e405       |    |		Load	0x2,0x5
0353 e40a       |    |		Load	0x2,0xa
0354 e233       | 3  |		Load	0x1,0x33
0355 01d5       |    |		Execute	Vector,Field_Reference
0356 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0357 00d8       |    |		Load_Top	At_Offset_0
0358 e40a       |    |		Load	0x2,0xa
0359 85fe       |    |		Call	0x2,-0x2
035a 4801       |H   |		Short_Literal	0x1
035b a402       |    |		Store_Unchecked	0x2,0x2
035c e235       | 5  |		Load	0x1,0x35
035d 0a01       |    |		Execute_Immediate	Plus,0x1
035e c235       | 5  |		Store	0x1,0x35
035f 801d       |    |		Call	0x0,0x1d
0360 00cc       |    |		Action	Pop_Block
0361 00d2       |    |		Pop_Control	Pop_Count_2
0362 7f06       |    |		Jump	0x269
0363 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
0364 ; --------------------------------------------------------------------------------------
0364 ; STRING TABLE
0364 ; --------------------------------------------------------------------------------------
0364 000e       |    |		.STRTAB	0x000e->0x036b							; "Rule'("
0365 0012       |    |		.STRTAB	0x0012->0x036e							; "The_Date  => "
0366 001d       |    |		.STRTAB	0x001d->0x0374							; "The_Bundle  => "
0367 002a       | *  |		.STRTAB	0x002a->0x037c							; "The_rule    => "
0368 0037       | 7  |		.STRTAB	0x0037->0x0383							; "The_premiss => "
0369 0044       | D  |		.STRTAB	0x0044->0x038b							; ")"
036a 0043       | C  |		.STREND 0x0043->0x038b
036b 5275 6c65  |Rule|		.STRTAB_STRINGS
038c 0000 0000  |    |		.BLANK	0000[0x4]
0390 ; --------------------------------------------------------------------------------------
0390 ; Debug Table
0390 ; --------------------------------------------------------------------------------------
0390 0004 0006  |    |		.DEBUG4	0x0004,0x0006,0xb1da,0x0000,0x0001,0x0012
0396 000b 03de  |    |		.DBG4T	0x000b,0x03de,0xc000,0x0000
039a 0073 03f3  | s  |		.DBG4T	0x0073,0x03f3,0xc000,0x0000
039e 013b 0412  | ;  |		.DBG4T	0x013b,0x0412,0x1002,0x0000
03a2 0163 0415  | c  |		.DBG4T	0x0163,0x0415,0x1002,0x0000
03a6 017b 041a  | {  |		.DBG4T	0x017b,0x041a,0x1001,0x0000
03aa 01c3 042b  |   +|		.DBG4T	0x01c3,0x042b,0x1001,0x0000
03ae 01cb 042e  |   .|		.DBG4T	0x01cb,0x042e,0x3801,0x0002
03b2 0243 044b  | C K|		.DBG4T	0x0243,0x044b,0x3801,0x0002
03b6 028b 045c  |   \|		.DBG4T	0x028b,0x045c,0x1001,0x0000
03ba 0293 045f  |   _|		.DBG4T	0x0293,0x045f,0x1002,0x0000
03be 029b 0462  |   b|		.DBG4T	0x029b,0x0462,0x1002,0x0000
03c2 02a3 0465  |   e|		.DBG4T	0x02a3,0x0465,0x1002,0x0000
03c6 02ab 0000  |    |		.DBG4T	0x02ab,0x0000,0x1005,0x0000
03ca 02f3 0000  |    |		.DBG4T	0x02f3,0x0000,0x1005,0x0000
03ce 030b 0468  |   h|		.DBG4T	0x030b,0x0468,0x1002,0x0000
03d2 031b 046b  |   k|		.DBG4T	0x031b,0x046b,0x1002,0x0000
03d6 032b 0470  | + p|		.DBG4T	0x032b,0x0470,0x1804,0x0002
03da 0343 0474  | C t|		.DBG4T	0x0343,0x0474,0x1804,0x0002
03de ; --------------------------------------------------------------------------------------
03de ; Debug chain
03de ; --------------------------------------------------------------------------------------
03de 0013 0000  |    |		.DBGLEN	0x0013,0x0000
03e0 000b 000c  |    |		.DBGLNO	0x000b,0x000c,0x000d,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x0025,0x002e,0x0037,0x0040,0x0051,0x0065
03f3 ; --------------------------------------------------------------------------------------
03f3 ; Debug chain
03f3 ; --------------------------------------------------------------------------------------
03f3 001d 0000  |    |		.DBGLEN	0x001d,0x0000
03f5 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
0412 ; --------------------------------------------------------------------------------------
0412 ; Debug chain
0412 ; --------------------------------------------------------------------------------------
0412 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0414 013b       | ;  |		.DBGLNO	0x013b
0415 ; --------------------------------------------------------------------------------------
0415 ; Debug chain
0415 ; --------------------------------------------------------------------------------------
0415 0000 0003  |    |		.DBGLEN	0x0000,0x0003
0417 0163 0166  | c f|		.DBGLNO	0x0163,0x0166,0x0170
041a ; --------------------------------------------------------------------------------------
041a ; Debug chain
041a ; --------------------------------------------------------------------------------------
041a 0002 000d  |    |		.DBGLEN	0x0002,0x000d
041c 017b 017f  | {  |		.DBGLNO	0x017b,0x017f,0x0184,0x0188,0x018a,0x018e,0x0192,0x0195,0x0199,0x01a3,0x01a7,0x01ac,0x01b0,0x01b3,0x01b5
042b ; --------------------------------------------------------------------------------------
042b ; Debug chain
042b ; --------------------------------------------------------------------------------------
042b 0000 0001  |    |		.DBGLEN	0x0000,0x0001
042d 01c3       |    |		.DBGLNO	0x01c3
042e ; --------------------------------------------------------------------------------------
042e ; Debug chain
042e ; --------------------------------------------------------------------------------------
042e 0006 0015  |    |		.DBGLEN	0x0006,0x0015
0430 01cb 01d5  |    |		.DBGLNO	0x01cb,0x01d5,0x01da,0x01dc,0x01e1,0x01e5,0x01e8,0x01eb,0x01ef,0x01f1,0x01f3,0x01f7,0x01f8,0x01fa,0x01fe,0x0202,0x0206,0x020a,0x020f,0x0213,0x0216,0x021b,0x0220,0x0223,0x0227,0x022a,0x022f
044b ; --------------------------------------------------------------------------------------
044b ; Debug chain
044b ; --------------------------------------------------------------------------------------
044b 0003 000c  |    |		.DBGLEN	0x0003,0x000c
044d 0243 0244  | C D|		.DBGLNO	0x0243,0x0244,0x024e,0x0254,0x0256,0x0258,0x025c,0x025d,0x025f,0x0262,0x0266,0x026a,0x026f,0x0272,0x0277
045c ; --------------------------------------------------------------------------------------
045c ; Debug chain
045c ; --------------------------------------------------------------------------------------
045c 0000 0001  |    |		.DBGLEN	0x0000,0x0001
045e 028b       |    |		.DBGLNO	0x028b
045f ; --------------------------------------------------------------------------------------
045f ; Debug chain
045f ; --------------------------------------------------------------------------------------
045f 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0461 0293       |    |		.DBGLNO	0x0293
0462 ; --------------------------------------------------------------------------------------
0462 ; Debug chain
0462 ; --------------------------------------------------------------------------------------
0462 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0464 029b       |    |		.DBGLNO	0x029b
0465 ; --------------------------------------------------------------------------------------
0465 ; Debug chain
0465 ; --------------------------------------------------------------------------------------
0465 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0467 02a3       |    |		.DBGLNO	0x02a3
0468 ; --------------------------------------------------------------------------------------
0468 ; Debug chain
0468 ; --------------------------------------------------------------------------------------
0468 0000 0001  |    |		.DBGLEN	0x0000,0x0001
046a 030b       |    |		.DBGLNO	0x030b
046b ; --------------------------------------------------------------------------------------
046b ; Debug chain
046b ; --------------------------------------------------------------------------------------
046b 0000 0003  |    |		.DBGLEN	0x0000,0x0003
046d 031b 031e  |    |		.DBGLNO	0x031b,0x031e,0x0324
0470 ; --------------------------------------------------------------------------------------
0470 ; Debug chain
0470 ; --------------------------------------------------------------------------------------
0470 0000 0002  |    |		.DBGLEN	0x0000,0x0002
0472 032b 0334  | + 4|		.DBGLNO	0x032b,0x0334
0474 ; --------------------------------------------------------------------------------------
0474 ; Debug chain
0474 ; --------------------------------------------------------------------------------------
0474 0001 0008  |    |		.DBGLEN	0x0001,0x0008
0476 0343 034b  | C K|		.DBGLNO	0x0343,0x034b,0x034f,0x0352,0x0357,0x035a,0x035c,0x035f,0x0360
047f 0000 0000  |    |		.BLANK	0000[0x181]