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

⟦ef5c9502f⟧

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

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 0360       | `  |		.CONST	0x0360								; 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 0124       | $  |		.CONST	0x0124								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0037       | 7  |		.CONST	0x0037								; 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 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call,Visible,Unelaborated
0013 029a 0153  |   S|		Declare_Subprogram	INIT_0150,For_Outer_Call,Visible,Unelaborated
0015 029a 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call,Visible,Unelaborated
0017 029a 01a3  |    |		Declare_Subprogram	INIT_01a0,For_Outer_Call,Visible,Unelaborated
0019 029a 01ab  |    |		Declare_Subprogram	INIT_01a8,For_Outer_Call,Visible,Unelaborated
001b 029a 0213  |    |		Declare_Subprogram	INIT_0210,For_Outer_Call,Visible,Unelaborated
001d 029a 0253  |   S|		Declare_Subprogram	INIT_0250,For_Outer_Call,Visible,Unelaborated
001f 029a 025b  |   [|		Declare_Subprogram	INIT_0258,For_Outer_Call,Visible,Unelaborated
0021 029a 0263  |   c|		Declare_Subprogram	INIT_0260,For_Outer_Call,Visible,Unelaborated
0023 0093 0000  |    |		push_full_address	0x0
0025 6122       |a"  |		Indirect_Literal	Discrete,0x148,{0x80000000, 0x00010000}
0026 0273       | s  |		Execute	Discrete,Plus
0027 e20d       |    |		Load	0x1,0xd
0028 611b       |a   |		Indirect_Literal	Discrete,0x144,{0x00000000, 0x0000ffff}
0029 0279       | y  |		Execute	Discrete,And
002a 0273       | s  |		Execute	Discrete,Plus
002b 0129       | )  |		Execute	Any,Make_Visible
002c 0093 0000  |    |		push_full_address	0x0
002e 6111       |a   |		Indirect_Literal	Discrete,0x140,{0x80000000, 0x00020000}
002f 0273       | s  |		Execute	Discrete,Plus
0030 e20d       |    |		Load	0x1,0xd
0031 6112       |a   |		Indirect_Literal	Discrete,0x144,{0x00000000, 0x0000ffff}
0032 0279       | y  |		Execute	Discrete,And
0033 0273       | s  |		Execute	Discrete,Plus
0034 0129       | )  |		Execute	Any,Make_Visible
0035 0093 0000  |    |		push_full_address	0x0
0037 6104       |a   |		Indirect_Literal	Discrete,0x13c,{0x80000000, 0x00030000}
0038 0273       | s  |		Execute	Discrete,Plus
0039 e20d       |    |		Load	0x1,0xd
003a 6109       |a   |		Indirect_Literal	Discrete,0x144,{0x00000000, 0x0000ffff}
003b 0279       | y  |		Execute	Discrete,And
003c 0273       | s  |		Execute	Discrete,Plus
003d 0129       | )  |		Execute	Any,Make_Visible
003e 4800       |H   |		Short_Literal	0x0
003f 4804       |H   |		Short_Literal	0x4
0040 e001       |    |		Load	0x0,0x1
0041 01d7       |    |		Execute	Vector,Field_Read
0042 02a0       |    |		Declare_Subprogram	Null_Subprogram
0043 038f       |    |		Declare_Type	Package,Defined,Visible
0044 e001       |    |		Load	0x0,0x1
0045 4803       |H   |		Short_Literal	0x3
0046 e001       |    |		Load	0x0,0x1
0047 01d7       |    |		Execute	Vector,Field_Read
0048 e213       |    |		Load	0x1,0x13
0049 e21c       |    |		Load	0x1,0x1c
004a e214       |    |		Load	0x1,0x14
004b 4805       |H   |		Short_Literal	0x5
004c e229       | )  |		Load	0x1,0x29
004d 020e       |    |		Execute	Module,Augment_Imports
004e 0386       |    |		Declare_Variable	Package,Visible
004f 0093 0000  |    |		push_full_address	0x0
0051 60e6       |`   |		Indirect_Literal	Discrete,0x138,{0x80000000, 0x00010000}
0052 0273       | s  |		Execute	Discrete,Plus
0053 e20d       |    |		Load	0x1,0xd
0054 60ef       |`   |		Indirect_Literal	Discrete,0x144,{0x00000000, 0x0000ffff}
0055 0279       | y  |		Execute	Discrete,And
0056 0273       | s  |		Execute	Discrete,Plus
0057 e002       |    |		Load	0x0,0x2
0058 0273       | s  |		Execute	Discrete,Plus
0059 00d9       |    |		Load_Top	At_Offset_1
005a 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
005b 00da       |    |		Load_Top	At_Offset_2
005c 190e       |    |		Execute	Package,Field_Reference,Field_Number 0xe
005d 00db       |    |		Load_Top	At_Offset_3
005e 1912       |    |		Execute	Package,Field_Reference,Field_Number 0x12
005f e003       |    |		Load	0x0,0x3
0060 0386       |    |		Declare_Variable	Package,Visible
0061 00d8       |    |		Load_Top	At_Offset_0
0062 020f       |    |		Execute	Module,Activate
0063 4854       |HT  |		Short_Literal	0x54
0064 4802       |H   |		Short_Literal	0x2
0065 e001       |    |		Load	0x0,0x1
0066 01d7       |    |		Execute	Vector,Field_Read
0067 02a0       |    |		Declare_Subprogram	Null_Subprogram
0068 038d       |    |		Declare_Type	Package,Defined,Visible,Not_Elaborated
0069 e001       |    |		Load	0x0,0x1
006a 4801       |H   |		Short_Literal	0x1
006b e001       |    |		Load	0x0,0x1
006c 01d7       |    |		Execute	Vector,Field_Read
006d 4802       |H   |		Short_Literal	0x2
006e 00db       |    |		Load_Top	At_Offset_3
006f 020e       |    |		Execute	Module,Augment_Imports
0070 00bf       |    |		Action	Accept_Activation
0071 0093 0000  |    |		push_full_address	0x0
0073 60c0       |`   |		Indirect_Literal	Discrete,0x134,{0x80000000, 0x00020000}
0074 0273       | s  |		Execute	Discrete,Plus
0075 e20d       |    |		Load	0x1,0xd
0076 60cd       |`   |		Indirect_Literal	Discrete,0x144,{0x00000000, 0x0000ffff}
0077 0279       | y  |		Execute	Discrete,And
0078 0273       | s  |		Execute	Discrete,Plus
0079 e004       |    |		Load	0x0,0x4
007a 0273       | s  |		Execute	Discrete,Plus
007b e210       |    |		Load	0x1,0x10
007c e216       |    |		Load	0x1,0x16
007d e217       |    |		Load	0x1,0x17
007e e216       |    |		Load	0x1,0x16
007f 011e       |    |		Execute	Any,Convert
0080 e218       |    |		Load	0x1,0x18
0081 e005       |    |		Load	0x0,0x5
0082 0387       |    |		Declare_Variable	Package
0083 00d8       |    |		Load_Top	At_Offset_0
0084 020f       |    |		Execute	Module,Activate
0085 0007       |    |		Action	Break_Optional
0086 0007       |    |		Action	Break_Optional
0087 0007       |    |		Action	Break_Optional
0088 0007       |    |		Action	Break_Optional
0089 e21c       |    |		Load	0x1,0x1c
008a e211       |    |		Load	0x1,0x11
008b 00e3       |    |		Load_Encached	Natural_Cache
008c e006       |    |		Load	0x0,0x6
008d 4801       |H   |		Short_Literal	0x1
008e 60a1       |`   |		Indirect_Literal	Discrete,0x130,{0x00000000, 0x7fffffff}
008f e21c       |    |		Load	0x1,0x1c
0090 0269       | i  |		Execute	Discrete,Last
0091 026c       | l  |		Execute	Discrete,Minimum
0092 e007       |    |		Load	0x0,0x7
0093 e22c       | ,  |		Load	0x1,0x2c
0094 0098       |    |		Execute	Package,Field_Read_Dynamic
0095 034e       | N  |		QQ_Declare_Type	Array,Constrained,Bounds_With_Object
0096 029f 026b  |   k|		Declare_Subprogram	INIT_0268,For_Call
0098 4800       |H   |		Short_Literal	0x0
0099 4801       |H   |		Short_Literal	0x1
009a 4803       |H   |		Short_Literal	0x3
009b 4800       |H   |		Short_Literal	0x0
009c 4801       |H   |		Short_Literal	0x1
009d 4801       |H   |		Short_Literal	0x1
009e 031d       |    |		Declare_Type	Variant_Record,Defined
009f 4800       |H   |		Short_Literal	0x0
00a0 00d9       |    |		Load_Top	At_Offset_1
00a1 1c08       |    |		Execute_Immediate	Run_Utility,0x8
00a2 e211       |    |		Load	0x1,0x11
00a3 026a       | j  |		Execute	Discrete,First
00a4 00d9       |    |		Load_Top	At_Offset_1
00a5 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
00a6 4800       |H   |		Short_Literal	0x0
00a7 00d9       |    |		Load_Top	At_Offset_1
00a8 2803       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x3
00a9 e006       |    |		Load	0x0,0x6
00aa 00d9       |    |		Load_Top	At_Offset_1
00ab 2804       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x4
00ac 00d8       |    |		Load_Top	At_Offset_0
00ad 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
00ae 0335       | 5  |		Declare_Variable	Array,Duplicate
00af 00cd       |    |		Action	Spare6_Action
00b0 00d9       |    |		Load_Top	At_Offset_1
00b1 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
00b2 01d9       |    |		Execute	Vector,Reverse_Bounds
00b3 0263       | c  |		Execute	Discrete,Above_Bound
00b4 7005       |p   |		Jump_Nonzero	0xba
00b5 4801       |H   |		Short_Literal	0x1
00b6 00d9       |    |		Load_Top	At_Offset_1
00b7 e22f       | /  |		Load	0x1,0x2f
00b8 01d6       |    |		Execute	Vector,Field_Write
00b9 3ffb       |?   |		Loop_Increasing	0xb5
00ba 00d9       |    |		Load_Top	At_Offset_1
00bb 00d8       |    |		Load_Top	At_Offset_0
00bc 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
00bd 00da       |    |		Load_Top	At_Offset_2
00be 01da       |    |		Execute	Vector,Bounds
00bf 00da       |    |		Load_Top	At_Offset_2
00c0 01da       |    |		Execute	Vector,Bounds
00c1 00da       |    |		Load_Top	At_Offset_2
00c2 027f       |    |		Execute	Discrete,Equal
00c3 7001       |p   |		Jump_Nonzero	0xc5
00c4 08e0       |    |		Execute_Immediate	Raise,0xe0
00c5 00cd       |    |		Action	Spare6_Action
00c6 027f       |    |		Execute	Discrete,Equal
00c7 7001       |p   |		Jump_Nonzero	0xc9
00c8 08e0       |    |		Execute_Immediate	Raise,0xe0
00c9 00d2       |    |		Pop_Control	Pop_Count_2
00ca 00d9       |    |		Load_Top	At_Offset_1
00cb 2905       |)   |		Execute	Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x5
00cc 4801       |H   |		Short_Literal	0x1
00cd e20e       |    |		Load	0x1,0xe
00ce 00e3       |    |		Load_Encached	Natural_Cache
00cf 03f8       |    |		Declare_Type	Discrete,Constrained
00d0 4801       |H   |		Short_Literal	0x1
00d1 00d9       |    |		Load_Top	At_Offset_1
00d2 0269       | i  |		Execute	Discrete,Last
00d3 e22d       | -  |		Load	0x1,0x2d
00d4 029f 02ab  |    |		Declare_Subprogram	INIT_02a8,For_Call
00d6 4801       |H   |		Short_Literal	0x1
00d7 035d       | ]  |		Declare_Type	Array,Defined
00d8 00d8       |    |		Load_Top	At_Offset_0
00d9 0337       | 7  |		Declare_Variable	Array
00da 00d8       |    |		Load_Top	At_Offset_0
00db 0335       | 5  |		Declare_Variable	Array,Duplicate
00dc 00cd       |    |		Action	Spare6_Action
00dd 00d9       |    |		Load_Top	At_Offset_1
00de 01d9       |    |		Execute	Vector,Reverse_Bounds
00df 0263       | c  |		Execute	Discrete,Above_Bound
00e0 7005       |p   |		Jump_Nonzero	0xe6
00e1 e22e       | .  |		Load	0x1,0x2e
00e2 00d9       |    |		Load_Top	At_Offset_1
00e3 e232       | 2  |		Load	0x1,0x32
00e4 01d6       |    |		Execute	Vector,Field_Write
00e5 3ffb       |?   |		Loop_Increasing	0xe1
00e6 00d9       |    |		Load_Top	At_Offset_1
00e7 01d4       |    |		Execute	Vector,Structure_Write
00e8 00e3       |    |		Load_Encached	Natural_Cache
00e9 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00ea 00e3       |    |		Load_Encached	Natural_Cache
00eb 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00ec 00e7       |    |		Load_Encached	Duration_Cache
00ed 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00ee 00e3       |    |		Load_Encached	Natural_Cache
00ef 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
00f0 a008       |    |		Store_Unchecked	0x0,0x8
00f1 a009       |    |		Store_Unchecked	0x0,0x9
00f2 a00a       |    |		Store_Unchecked	0x0,0xa
00f3 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
00f4 a00b       |    |		Store_Unchecked	0x0,0xb
00f5 1d15       |    |		Execute_Immediate	Reference_Lex_1,0x15
00f6 a00c       |    |		Store_Unchecked	0x0,0xc
00f7 4807       |H   |		Short_Literal	0x7
00f8 e229       | )  |		Load	0x1,0x29
00f9 020e       |    |		Execute	Module,Augment_Imports
00fa e229       | )  |		Load	0x1,0x29
00fb 020f       |    |		Execute	Module,Activate
00fc 1d1d       |    |		Execute_Immediate	Reference_Lex_1,0x1d
00fd 00c7       |    |		Action	Elaborate_Subprogram
00fe 029d 02c3  |    |		Declare_Subprogram	INIT_02c0,For_Outer_Call
0100 1d1e       |    |		Execute_Immediate	Reference_Lex_1,0x1e
0101 00c7       |    |		Action	Elaborate_Subprogram
0102 029d 02d3  |    |		Declare_Subprogram	INIT_02d0,For_Outer_Call
0104 1d20       |    |		Execute_Immediate	Reference_Lex_1,0x20
0105 00c7       |    |		Action	Elaborate_Subprogram
0106 1d22       | "  |		Execute_Immediate	Reference_Lex_1,0x22
0107 00c7       |    |		Action	Elaborate_Subprogram
0108 1d21       | !  |		Execute_Immediate	Reference_Lex_1,0x21
0109 00c7       |    |		Action	Elaborate_Subprogram
010a 1d23       | #  |		Execute_Immediate	Reference_Lex_1,0x23
010b 00c7       |    |		Action	Elaborate_Subprogram
010c 1d24       | $  |		Execute_Immediate	Reference_Lex_1,0x24
010d 00c7       |    |		Action	Elaborate_Subprogram
010e 1d25       | %  |		Execute_Immediate	Reference_Lex_1,0x25
010f 00c7       |    |		Action	Elaborate_Subprogram
0110 1d1f       |    |		Execute_Immediate	Reference_Lex_1,0x1f
0111 00c7       |    |		Action	Elaborate_Subprogram
0112 e231       | 1  |		Load	0x1,0x31
0113 e226       | &  |		Load	0x1,0x26
0114 e007       |    |		Load	0x0,0x7
0115 e22c       | ,  |		Load	0x1,0x2c
0116 0098       |    |		Execute	Package,Field_Read_Dynamic
0117 1d32       | 2  |		Execute_Immediate	Reference_Lex_1,0x32
0118 e20e       |    |		Load	0x1,0xe
0119 e228       | (  |		Load	0x1,0x28
011a e00d       |    |		Load	0x0,0xd
011b e22c       | ,  |		Load	0x1,0x2c
011c 0095       |    |		Execute	Package,Field_Reference_Dynamic
011d e22d       | -  |		Load	0x1,0x2d
011e a00e       |    |		Store_Unchecked	0x0,0xe
011f 4809       |H   |		Short_Literal	0x9
0120 e22b       | +  |		Load	0x1,0x2b
0121 020e       |    |		Execute	Module,Augment_Imports
0122 e22b       | +  |		Load	0x1,0x2b
0123 020d       |    |		Execute	Module,Elaborate
0124			BODY_0008:
0124 00bc       |    |		Action	Signal_Activated
0125 00bb       |    |		Action	Signal_Completion
0126 0000 0000  |    |		.XXX[0x2]
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012b       | +  |		.CONST	0x012b								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0001       |    |		.CONST	0x0001								; Number of locals
012b			BODY_0128:
012b			INIT_0128:
012b e232       | 2  |		Load	0x1,0x32
012c 00ca       |    |		Action	Exit_Nullary_Function
012d 0000 0000  |    |		.XXX[0x3]
012f 0000       |    |
0130 0000 0000  |    |		.LITERAL	{0x00000000, 0x7fffffff}
0134 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0138 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
013c 8000 0000  |    |		.LITERAL	{0x80000000, 0x00030000}
0140 8000 0000  |    |		.LITERAL	{0x80000000, 0x00020000}
0144 0000 0000  |    |		.LITERAL	{0x00000000, 0x0000ffff}
0148 8000 0000  |    |		.LITERAL	{0x80000000, 0x00010000}
014c 0000 0000  |    |		.BLANK	0000[0x4]
0150 ; --------------------------------------------------------------------------------------
0150 ; SUBPROGRAM
0150 ; --------------------------------------------------------------------------------------
0150 0153       | S  |		.CONST	0x0153								; Address of begin
0151 0004       |    |		.CONST	0x0004								; Address of exception handler
0152 0001       |    |		.CONST	0x0001								; Number of locals
0153			BODY_0150:
0153			INIT_0150:
0153 00da       |    |		Load_Top	At_Offset_2
0154 8236       | 6  |		Call	0x1,0x36
0155 680a       |h   |		Jump_Zero	0x160
0156 00da       |    |		Load_Top	At_Offset_2
0157 e231       | 1  |		Load	0x1,0x31
0158 01d5       |    |		Execute	Vector,Field_Reference
0159 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
015a 00d8       |    |		Load_Top	At_Offset_0
015b e211       |    |		Load	0x1,0x11
015c 0260       | `  |		Execute	Discrete,In_Type
015d 7001       |p   |		Jump_Nonzero	0x15f
015e 0801       |    |		Execute_Immediate	Raise,0x1
015f 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0160 e227       | '  |		Load	0x1,0x27
0161 0257       | W  |		Execute	Discrete,Raise
0162 0000 0000  |    |		.BLANK	0000[0x6]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 0174       | t  |		.CONST	0x0174								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0003       |    |		.CONST	0x0003								; Number of locals
016b			INIT_0168:
016b 00da       |    |		Load_Top	At_Offset_2
016c e231       | 1  |		Load	0x1,0x31
016d 01d5       |    |		Execute	Vector,Field_Reference
016e 0007       |    |		Action	Break_Optional
016f 00d8       |    |		Load_Top	At_Offset_0
0170 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
0171 e00f       |    |		Load	0x0,0xf
0172 e22c       | ,  |		Load	0x1,0x2c
0173 0096       |    |		Execute	Package,Entry
0174			BODY_0168:
0174 e5fe       |    |		Load	0x2,-0x2
0175 0092 030b  |    |		Action	Push_String_Extended,0x30b					; "Rule'("
0177 8008       |    |		Call	0x0,0x8
0178 e5fe       |    |		Load	0x2,-0x2
0179 8009       |    |		Call	0x0,0x9
017a e5fe       |    |		Load	0x2,-0x2
017b 0092 030c  |    |		Action	Push_String_Extended,0x30c					; "The_Bundle  => "
017d 800a       |    |		Call	0x0,0xa
017e e5fe       |    |		Load	0x2,-0x2
017f 00da       |    |		Load_Top	At_Offset_2
0180 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0181 e211       |    |		Load	0x1,0x11
0182 1c04       |    |		Execute_Immediate	Run_Utility,0x4
0183 e211       |    |		Load	0x1,0x11
0184 0122       | "  |		Execute	Any,Make_Root_Type
0185 011c       |    |		Execute	Any,Convert_Unchecked
0186 1c01       |    |		Execute_Immediate	Run_Utility,0x1
0187 8008       |    |		Call	0x0,0x8
0188 e5fe       |    |		Load	0x2,-0x2
0189 0092 030d  |    |		Action	Push_String_Extended,0x30d					; "The_rule    => "
018b 800a       |    |		Call	0x0,0xa
018c e5fe       |    |		Load	0x2,-0x2
018d 00da       |    |		Load_Top	At_Offset_2
018e 2c04       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x4
018f 8010       |    |		Call	0x0,0x10
0190 8008       |    |		Call	0x0,0x8
0191 e5fe       |    |		Load	0x2,-0x2
0192 0092 030e  |    |		Action	Push_String_Extended,0x30e					; "The_premiss => "
0194 800a       |    |		Call	0x0,0xa
0195 e5fe       |    |		Load	0x2,-0x2
0196 00d9       |    |		Load_Top	At_Offset_1
0197 821b       |    |		Call	0x1,0x1b
0198 e5fe       |    |		Load	0x2,-0x2
0199 800c       |    |		Call	0x0,0xc
019a e5fe       |    |		Load	0x2,-0x2
019b 0092 030f  |    |		Action	Push_String_Extended,0x30f					; ")"
019d 8008       |    |		Call	0x0,0x8
019e 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
019f 0000       |    |		.XXX[0x1]
01a0 ; --------------------------------------------------------------------------------------
01a0 ; SUBPROGRAM
01a0 ; --------------------------------------------------------------------------------------
01a0 01a3       |    |		.CONST	0x01a3								; Address of begin
01a1 0004       |    |		.CONST	0x0004								; Address of exception handler
01a2 0001       |    |		.CONST	0x0001								; Number of locals
01a3			BODY_01a0:
01a3			INIT_01a0:
01a3 0008       |    |		Action	Idle
01a4 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01a5 0000 0000  |    |		.XXX[0x3]
01a7 0000       |    |
01a8 ; --------------------------------------------------------------------------------------
01a8 ; SUBPROGRAM
01a8 ; --------------------------------------------------------------------------------------
01a8 01bd       |    |		.CONST	0x01bd								; Address of begin
01a9 0004       |    |		.CONST	0x0004								; Address of exception handler
01aa 0006       |    |		.CONST	0x0006								; Number of locals
01ab			INIT_01a8:
01ab e011       |    |		Load	0x0,0x11
01ac 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01ad 02c7       |    |		Declare_Variable	Any
01ae 00d8       |    |		Load_Top	At_Offset_0
01af 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01b0 e011       |    |		Load	0x0,0x11
01b1 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
01b2 02c7       |    |		Declare_Variable	Any
01b3 00d8       |    |		Load_Top	At_Offset_0
01b4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01b5 e229       | )  |		Load	0x1,0x29
01b6 1b13       |    |		Execute	Package,Field_Read,Field_Number 0x13
01b7 02ff       |    |		Declare_Variable	Variant_Record
01b8 00d8       |    |		Load_Top	At_Offset_0
01b9 1c00       |    |		Execute_Immediate	Run_Utility,0x0
01ba 8012       |    |		Call	0x0,0x12
01bb 029f 02e3  |    |		Declare_Subprogram	INIT_02e0,For_Call
01bd			BODY_01a8:
01bd 4800       |H   |		Short_Literal	0x0
01be a233       | 3  |		Store_Unchecked	0x1,0x33
01bf e011       |    |		Load	0x0,0x11
01c0 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01c1 c402       |    |		Store	0x2,0x2
01c2 00cf       |    |		Action	Mark_Auxiliary
01c3 0007       |    |		Action	Break_Optional
01c4 e013       |    |		Load	0x0,0x13
01c5 e22a       | *  |		Load	0x1,0x2a
01c6 0096       |    |		Execute	Package,Entry
01c7 00cf       |    |		Action	Mark_Auxiliary
01c8 e232       | 2  |		Load	0x1,0x32
01c9 4801       |H   |		Short_Literal	0x1
01ca 0263       | c  |		Execute	Discrete,Above_Bound
01cb 7003       |p   |		Jump_Nonzero	0x1cf
01cc 8406       |    |		Call	0x2,0x6
01cd 00c8       |    |		Action	Pop_Auxiliary_Range
01ce 3ffd       |?   |		Loop_Increasing	0x1cc
01cf 00ce       |    |		Action	Pop_Auxiliary
01d0 e014       |    |		Load	0x0,0x14
01d1 e22a       | *  |		Load	0x1,0x2a
01d2 0096       |    |		Execute	Package,Entry
01d3 7023       |p#  |		Jump_Nonzero	0x1f7
01d4 4801       |H   |		Short_Literal	0x1
01d5 00db       |    |		Load_Top	At_Offset_3
01d6 8015       |    |		Call	0x0,0x15
01d7 00da       |    |		Load_Top	At_Offset_2
01d8 0092 0310  |    |		Action	Push_String_Extended,0x310					; "********** begining of conflict set **********"
01da 8008       |    |		Call	0x0,0x8
01db 00da       |    |		Load_Top	At_Offset_2
01dc e016       |    |		Load	0x0,0x16
01dd e22a       | *  |		Load	0x1,0x2a
01de 0096       |    |		Execute	Package,Entry
01df 4801       |H   |		Short_Literal	0x1
01e0 00db       |    |		Load_Top	At_Offset_3
01e1 8015       |    |		Call	0x0,0x15
01e2 00da       |    |		Load_Top	At_Offset_2
01e3 0092 0311  |    |		Action	Push_String_Extended,0x311					; "********** end of conflict set **********"
01e5 8008       |    |		Call	0x0,0x8
01e6 e017       |    |		Load	0x0,0x17
01e7 e22a       | *  |		Load	0x1,0x2a
01e8 0096       |    |		Execute	Package,Entry
01e9 e404       |    |		Load	0x2,0x4
01ea 016d       | m  |		Execute	Variant_Record,Structure_Write
01eb 00db       |    |		Load_Top	At_Offset_3
01ec e229       | )  |		Load	0x1,0x29
01ed 1811       |    |		Execute	Package,Field_Execute,Field_Number 0x11
01ee e404       |    |		Load	0x2,0x4
01ef e229       | )  |		Load	0x1,0x29
01f0 1810       |    |		Execute	Package,Field_Execute,Field_Number 0x10
01f1 85fe       |    |		Call	0x2,-0x2
01f2 e233       | 3  |		Load	0x1,0x33
01f3 0a01       |    |		Execute_Immediate	Plus,0x1
01f4 c233       | 3  |		Store	0x1,0x33
01f5 00c9       |    |		Action	Pop_Auxiliary_Loop
01f6 7fcd       |    |		Jump	0x1c4
01f7 00ce       |    |		Action	Pop_Auxiliary
01f8 e011       |    |		Load	0x0,0x11
01f9 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
01fa c403       |    |		Store	0x2,0x3
01fb e402       |    |		Load	0x2,0x2
01fc e403       |    |		Load	0x2,0x3
01fd e011       |    |		Load	0x0,0x11
01fe 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
01ff a234       | 4  |		Store_Unchecked	0x1,0x34
0200 8223       | #  |		Call	0x1,0x23
0201 0237       | 7  |		Execute	Float,Convert_From_Discrete
0202 8224       | $  |		Call	0x1,0x24
0203 0237       | 7  |		Execute	Float,Convert_From_Discrete
0204 5807       |X   |		Indirect_Literal	Float,0x20c,3.0517578125e-05
0205 023b       | ;  |		Execute	Float,Times
0206 023a       | :  |		Execute	Float,Divide
0207 0235       | 5  |		Execute	Float,Round_To_Discrete
0208 00e3       |    |		Load_Encached	Natural_Cache
0209 025e       | ^  |		Execute	Discrete,Convert
020a a235       | 5  |		Store_Unchecked	0x1,0x35
020b 4504       |E   |		Exit_Suprogram	New_Top_Offset 0x4
020c 3f00 0000  |?   |		.DBL	3.0517578125e-05
020e 0000 0000  |    |
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 0220       |    |		.CONST	0x0220								; Address of begin
0211 0004       |    |		.CONST	0x0004								; Address of exception handler
0212 0005       |    |		.CONST	0x0005								; Number of locals
0213			INIT_0210:
0213 00e1       |    |		Load_Encached	Boolean_Cache
0214 e011       |    |		Load	0x0,0x11
0215 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
0216 02c7       |    |		Declare_Variable	Any
0217 00d8       |    |		Load_Top	At_Offset_0
0218 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0219 e011       |    |		Load	0x0,0x11
021a 1b0d       |    |		Execute	Package,Field_Read,Field_Number 0xd
021b 02c7       |    |		Declare_Variable	Any
021c 00d8       |    |		Load_Top	At_Offset_0
021d 1c00       |    |		Execute_Immediate	Run_Utility,0x0
021e 029f 02f3  |    |		Declare_Subprogram	INIT_02f0,For_Call
0220			BODY_0210:
0220 4800       |H   |		Short_Literal	0x0
0221 a233       | 3  |		Store_Unchecked	0x1,0x33
0222 e011       |    |		Load	0x0,0x11
0223 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0224 c403       |    |		Store	0x2,0x3
0225 00cf       |    |		Action	Mark_Auxiliary
0226 0007       |    |		Action	Break_Optional
0227 4800       |H   |		Short_Literal	0x0
0228 a402       |    |		Store_Unchecked	0x2,0x2
0229 00cf       |    |		Action	Mark_Auxiliary
022a e232       | 2  |		Load	0x1,0x32
022b 4801       |H   |		Short_Literal	0x1
022c 0263       | c  |		Execute	Discrete,Above_Bound
022d 7003       |p   |		Jump_Nonzero	0x231
022e 8405       |    |		Call	0x2,0x5
022f 00c8       |    |		Action	Pop_Auxiliary_Range
0230 3ffd       |?   |		Loop_Increasing	0x22e
0231 00ce       |    |		Action	Pop_Auxiliary
0232 e402       |    |		Load	0x2,0x2
0233 6802       |h   |		Jump_Zero	0x236
0234 00c9       |    |		Action	Pop_Auxiliary_Loop
0235 7ff1       |    |		Jump	0x227
0236 00ce       |    |		Action	Pop_Auxiliary
0237 e011       |    |		Load	0x0,0x11
0238 1812       |    |		Execute	Package,Field_Execute,Field_Number 0x12
0239 c404       |    |		Store	0x2,0x4
023a 00da       |    |		Load_Top	At_Offset_2
023b 00da       |    |		Load_Top	At_Offset_2
023c e011       |    |		Load	0x0,0x11
023d 181c       |    |		Execute	Package,Field_Execute,Field_Number 0x1c
023e a234       | 4  |		Store_Unchecked	0x1,0x34
023f 8223       | #  |		Call	0x1,0x23
0240 0237       | 7  |		Execute	Float,Convert_From_Discrete
0241 8224       | $  |		Call	0x1,0x24
0242 0237       | 7  |		Execute	Float,Convert_From_Discrete
0243 5fc8       |_   |		Indirect_Literal	Float,0x20c,3.0517578125e-05
0244 023b       | ;  |		Execute	Float,Times
0245 023a       | :  |		Execute	Float,Divide
0246 0235       | 5  |		Execute	Float,Round_To_Discrete
0247 00e3       |    |		Load_Encached	Natural_Cache
0248 025e       | ^  |		Execute	Discrete,Convert
0249 a235       | 5  |		Store_Unchecked	0x1,0x35
024a 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
024b 0000 0000  |    |		.BLANK	0000[0x5]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 0253       | S  |		.CONST	0x0253								; Address of begin
0251 0004       |    |		.CONST	0x0004								; Address of exception handler
0252 0001       |    |		.CONST	0x0001								; Number of locals
0253			BODY_0250:
0253			INIT_0250:
0253 e233       | 3  |		Load	0x1,0x33
0254 00ca       |    |		Action	Exit_Nullary_Function
0255 0000 0000  |    |		.XXX[0x3]
0257 0000       |    |
0258 ; --------------------------------------------------------------------------------------
0258 ; SUBPROGRAM
0258 ; --------------------------------------------------------------------------------------
0258 025b       | [  |		.CONST	0x025b								; Address of begin
0259 0004       |    |		.CONST	0x0004								; Address of exception handler
025a 0001       |    |		.CONST	0x0001								; Number of locals
025b			BODY_0258:
025b			INIT_0258:
025b e234       | 4  |		Load	0x1,0x34
025c 00ca       |    |		Action	Exit_Nullary_Function
025d 0000 0000  |    |		.XXX[0x3]
025f 0000       |    |
0260 ; --------------------------------------------------------------------------------------
0260 ; SUBPROGRAM
0260 ; --------------------------------------------------------------------------------------
0260 0263       | c  |		.CONST	0x0263								; Address of begin
0261 0004       |    |		.CONST	0x0004								; Address of exception handler
0262 0001       |    |		.CONST	0x0001								; Number of locals
0263			BODY_0260:
0263			INIT_0260:
0263 e235       | 5  |		Load	0x1,0x35
0264 00ca       |    |		Action	Exit_Nullary_Function
0265 0000 0000  |    |		.XXX[0x3]
0267 0000       |    |
0268 ; --------------------------------------------------------------------------------------
0268 ; SUBPROGRAM
0268 ; --------------------------------------------------------------------------------------
0268 026b       | k  |		.CONST	0x026b								; Address of begin
0269 0004       |    |		.CONST	0x0004								; Address of exception handler
026a 0001       |    |		.CONST	0x0001								; Number of locals
026b			BODY_0268:
026b			INIT_0268:
026b 4609       |F   |		Jump_Case	0xa
026c 7809       |x   |		Jump	0x276								; case 0x0
026d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
026e 7813       |x   |		Jump	0x282								; case 0x2
026f 7816       |x   |		Jump	0x286								; case 0x3
0270 7836       |x6  |		Jump	0x2a7								; case 0x4
0271 7835       |x5  |		Jump	0x2a7								; case 0x5
0272 7834       |x4  |		Jump	0x2a7								; case 0x6
0273 7818       |x   |		Jump	0x28c								; case 0x7
0274 7822       |x"  |		Jump	0x297								; case 0x8
0275 782d       |x-  |		Jump	0x2a3								; case 0x9
0276 00da       |    |		Load_Top	At_Offset_2
0277 016c       | l  |		Execute	Variant_Record,Is_Constrained
0278 7008       |p   |		Jump_Nonzero	0x281
0279 00cf       |    |		Action	Mark_Auxiliary
027a 4800       |H   |		Short_Literal	0x0
027b e5ff       |    |		Load	0x2,-0x1
027c 1c08       |    |		Execute_Immediate	Run_Utility,0x8
027d 00d8       |    |		Load_Top	At_Offset_0
027e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
027f c5ff       |    |		Store	0x2,-0x1
0280 00ce       |    |		Action	Pop_Auxiliary
0281 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
0282 4801       |H   |		Short_Literal	0x1
0283 4805       |H   |		Short_Literal	0x5
0284 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
0285 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
0286 e5fd       |    |		Load	0x2,-0x3
0287 00db       |    |		Load_Top	At_Offset_3
0288 1c07       |    |		Execute_Immediate	Run_Utility,0x7
0289 e5fe       |    |		Load	0x2,-0x2
028a 0306       |    |		Complete_Type	Variant_Record,By_Renaming
028b 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
028c 00db       |    |		Load_Top	At_Offset_3
028d 4801       |H   |		Short_Literal	0x1
028e e5fe       |    |		Load	0x2,-0x2
028f e007       |    |		Load	0x0,0x7
0290 e22c       | ,  |		Load	0x1,0x2c
0291 0098       |    |		Execute	Package,Field_Read_Dynamic
0292 035b       | [  |		Declare_Type	Array,Constrained
0293 4801       |H   |		Short_Literal	0x1
0294 e5ff       |    |		Load	0x2,-0x1
0295 031b       |    |		Declare_Type	Variant_Record,Constrained
0296 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
0297 00db       |    |		Load_Top	At_Offset_3
0298 00db       |    |		Load_Top	At_Offset_3
0299 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
029a 4801       |H   |		Short_Literal	0x1
029b e5fe       |    |		Load	0x2,-0x2
029c e007       |    |		Load	0x0,0x7
029d e22c       | ,  |		Load	0x1,0x2c
029e 0098       |    |		Execute	Package,Field_Read_Dynamic
029f 0334       | 4  |		Declare_Variable	Array,With_Constraint
02a0 2d05       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x5
02a1 016a       | j  |		QQ_execute	Variant_Record,XXX
02a2 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
02a3 4800       |H   |		Short_Literal	0x0
02a4 00db       |    |		Load_Top	At_Offset_3
02a5 1c07       |    |		Execute_Immediate	Run_Utility,0x7
02a6 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
02a7 0869       | i  |		Execute_Immediate	Raise,0x69
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 00d1       |    |		Pop_Control	Pop_Count_1
02ac 00da       |    |		Load_Top	At_Offset_2
02ad 01d8       |    |		Execute	Vector,Element_Type
02ae 02ff       |    |		Declare_Variable	Variant_Record
02af 00d8       |    |		Load_Top	At_Offset_0
02b0 1c00       |    |		Execute_Immediate	Run_Utility,0x0
02b1 00db       |    |		Load_Top	At_Offset_3
02b2 01dc       |    |		Execute	Vector,Last
02b3 e5ff       |    |		Load	0x2,-0x1
02b4 01dd       |    |		Execute	Vector,First
02b5 0263       | c  |		Execute	Discrete,Above_Bound
02b6 7006       |p   |		Jump_Nonzero	0x2bd
02b7 00da       |    |		Load_Top	At_Offset_2
02b8 00d9       |    |		Load_Top	At_Offset_1
02b9 e5ff       |    |		Load	0x2,-0x1
02ba 01d6       |    |		Execute	Vector,Field_Write
02bb 0a01       |    |		Execute_Immediate	Plus,0x1
02bc 7ff8       |    |		Jump	0x2b5
02bd 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
02be 0000 0000  |    |		.XXX[0x2]
02c0 ; --------------------------------------------------------------------------------------
02c0 ; SUBPROGRAM
02c0 ; --------------------------------------------------------------------------------------
02c0 02c3       |    |		.CONST	0x02c3								; Address of begin
02c1 0004       |    |		.CONST	0x0004								; Address of exception handler
02c2 0001       |    |		.CONST	0x0001								; Number of locals
02c3			BODY_02c0:
02c3			INIT_02c0:
02c3 00da       |    |		Load_Top	At_Offset_2
02c4 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
02c5 6804       |h   |		Jump_Zero	0x2ca
02c6 00da       |    |		Load_Top	At_Offset_2
02c7 e20e       |    |		Load	0x1,0xe
02c8 027a       | z  |		Execute	Discrete,Less_Equal
02c9 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02ca 4800       |H   |		Short_Literal	0x0
02cb 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02cc 0000 0000  |    |		.BLANK	0000[0x4]
02d0 ; --------------------------------------------------------------------------------------
02d0 ; SUBPROGRAM
02d0 ; --------------------------------------------------------------------------------------
02d0 02d3       |    |		.CONST	0x02d3								; Address of begin
02d1 0004       |    |		.CONST	0x0004								; Address of exception handler
02d2 0001       |    |		.CONST	0x0001								; Number of locals
02d3			BODY_02d0:
02d3			INIT_02d0:
02d3 00da       |    |		Load_Top	At_Offset_2
02d4 8236       | 6  |		Call	0x1,0x36
02d5 6806       |h   |		Jump_Zero	0x2dc
02d6 00da       |    |		Load_Top	At_Offset_2
02d7 e231       | 1  |		Load	0x1,0x31
02d8 01d5       |    |		Execute	Vector,Field_Reference
02d9 02fd       |    |		Declare_Variable	Variant_Record,Duplicate
02da 00cd       |    |		Action	Spare6_Action
02db 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02dc e227       | '  |		Load	0x1,0x27
02dd 0257       | W  |		Execute	Discrete,Raise
02de 0000 0000  |    |		.XXX[0x2]
02e0 ; --------------------------------------------------------------------------------------
02e0 ; SUBPROGRAM
02e0 ; --------------------------------------------------------------------------------------
02e0 02e3       |    |		.CONST	0x02e3								; Address of begin
02e1 0004       |    |		.CONST	0x0004								; Address of exception handler
02e2 0001       |    |		.CONST	0x0001								; Number of locals
02e3			BODY_02e0:
02e3			INIT_02e0:
02e3 e40a       |    |		Load	0x2,0xa
02e4 e231       | 1  |		Load	0x1,0x31
02e5 01d5       |    |		Execute	Vector,Field_Reference
02e6 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
02e7 e00f       |    |		Load	0x0,0xf
02e8 e22c       | ,  |		Load	0x1,0x2c
02e9 0096       |    |		Execute	Package,Entry
02ea e40a       |    |		Load	0x2,0xa
02eb 85fd       |    |		Call	0x2,-0x3
02ec 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
02ed 0000 0000  |    |		.XXX[0x3]
02ef 0000       |    |
02f0 ; --------------------------------------------------------------------------------------
02f0 ; SUBPROGRAM
02f0 ; --------------------------------------------------------------------------------------
02f0 02fb       |    |		.CONST	0x02fb								; Address of begin
02f1 0004       |    |		.CONST	0x0004								; Address of exception handler
02f2 0002       |    |		.CONST	0x0002								; Number of locals
02f3			INIT_02f0:
02f3 e409       |    |		Load	0x2,0x9
02f4 e231       | 1  |		Load	0x1,0x31
02f5 01d5       |    |		Execute	Vector,Field_Reference
02f6 2505       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x5
02f7 e00f       |    |		Load	0x0,0xf
02f8 e22c       | ,  |		Load	0x1,0x2c
02f9 0096       |    |		Execute	Package,Entry
02fa 821a       |    |		Call	0x1,0x1a
02fb			BODY_02f0:
02fb 00d8       |    |		Load_Top	At_Offset_0
02fc e214       |    |		Load	0x1,0x14
02fd 01de       |    |		Execute	Vector,Not_Equal
02fe 680b       |h   |		Jump_Zero	0x30a
02ff 00d8       |    |		Load_Top	At_Offset_0
0300 e409       |    |		Load	0x2,0x9
0301 85fe       |    |		Call	0x2,-0x2
0302 4801       |H   |		Short_Literal	0x1
0303 a402       |    |		Store_Unchecked	0x2,0x2
0304 e233       | 3  |		Load	0x1,0x33
0305 0a01       |    |		Execute_Immediate	Plus,0x1
0306 c233       | 3  |		Store	0x1,0x33
0307 00cc       |    |		Action	Pop_Block
0308 00d2       |    |		Pop_Control	Pop_Count_2
0309 7f27       | '  |		Jump	0x231
030a 4501       |E   |		Exit_Suprogram	New_Top_Offset 0x1
030b ; --------------------------------------------------------------------------------------
030b ; STRING TABLE
030b ; --------------------------------------------------------------------------------------
030b 0010       |    |		.STRTAB	0x0010->0x0313							; "Rule'("
030c 0014       |    |		.STRTAB	0x0014->0x0316							; "The_Bundle  => "
030d 0021       | !  |		.STRTAB	0x0021->0x031d							; "The_rule    => "
030e 002e       | .  |		.STRTAB	0x002e->0x0325							; "The_premiss => "
030f 003b       | ;  |		.STRTAB	0x003b->0x032c							; ")"
0310 003a       | :  |		.STRTAB	0x003a->0x032d							; "********** begining of conflict set **********"
0311 0066       | f  |		.STRTAB	0x0066->0x0344							; "********** end of conflict set **********"
0312 008d       |    |		.STREND 0x008d->0x0358
0313 5275 6c65  |Rule|		.STRTAB_STRINGS
0359 0000 0000  |    |		.BLANK	0000[0x7]
0360 ; --------------------------------------------------------------------------------------
0360 ; Debug Table
0360 ; --------------------------------------------------------------------------------------
0360 0004 0006  |    |		.DEBUG4	0x0004,0x0006,0xa043,0x0000,0x0001,0x0011
0366 000b 03aa  |    |		.DBG4T	0x000b,0x03aa,0xc000,0x0000
036a 0071 03be  | q  |		.DBG4T	0x0071,0x03be,0xc000,0x0000
036e 012b 03db  | +  |		.DBG4T	0x012b,0x03db,0x1002,0x0000
0372 0153 03de  | S  |		.DBG4T	0x0153,0x03de,0x1002,0x0000
0376 016b 03e3  | k  |		.DBG4T	0x016b,0x03e3,0x1001,0x0000
037a 01a3 03f1  |    |		.DBG4T	0x01a3,0x03f1,0x1001,0x0000
037e 01ab 03f4  |    |		.DBG4T	0x01ab,0x03f4,0x3801,0x0002
0382 0213 040b  |    |		.DBG4T	0x0213,0x040b,0x3801,0x0002
0386 0253 0419  | S  |		.DBG4T	0x0253,0x0419,0x1002,0x0000
038a 025b 041c  | [  |		.DBG4T	0x025b,0x041c,0x1002,0x0000
038e 0263 041f  | c  |		.DBG4T	0x0263,0x041f,0x1002,0x0000
0392 026b 0000  | k  |		.DBG4T	0x026b,0x0000,0x1005,0x0000
0396 02ab 0000  |    |		.DBG4T	0x02ab,0x0000,0x1005,0x0000
039a 02c3 0422  |   "|		.DBG4T	0x02c3,0x0422,0x1002,0x0000
039e 02d3 0425  |   %|		.DBG4T	0x02d3,0x0425,0x1002,0x0000
03a2 02e3 042a  |   *|		.DBG4T	0x02e3,0x042a,0x1804,0x0002
03a6 02f3 042d  |   -|		.DBG4T	0x02f3,0x042d,0x1804,0x0002
03aa ; --------------------------------------------------------------------------------------
03aa ; Debug chain
03aa ; --------------------------------------------------------------------------------------
03aa 0012 0000  |    |		.DBGLEN	0x0012,0x0000
03ac 000b 000c  |    |		.DBGLNO	0x000b,0x000c,0x000d,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x002c,0x0035,0x003e,0x004f,0x0063
03be ; --------------------------------------------------------------------------------------
03be ; Debug chain
03be ; --------------------------------------------------------------------------------------
03be 001b 0000  |    |		.DBGLEN	0x001b,0x0000
03c0 0071 0085  | q  |		.DBGLNO	0x0071,0x0085,0x0086,0x0087,0x0088,0x0089,0x009f,0x00cc,0x00d0,0x00d8,0x00e8,0x00ea,0x00ec,0x00ee,0x00f0,0x00fc,0x00fe,0x0100,0x0102,0x0104,0x0106,0x0108,0x010a,0x010c,0x010e,0x0110,0x0112
03db ; --------------------------------------------------------------------------------------
03db ; Debug chain
03db ; --------------------------------------------------------------------------------------
03db 0000 0001  |    |		.DBGLEN	0x0000,0x0001
03dd 012b       | +  |		.DBGLNO	0x012b
03de ; --------------------------------------------------------------------------------------
03de ; Debug chain
03de ; --------------------------------------------------------------------------------------
03de 0000 0003  |    |		.DBGLEN	0x0000,0x0003
03e0 0153 0156  | S V|		.DBGLNO	0x0153,0x0156,0x0160
03e3 ; --------------------------------------------------------------------------------------
03e3 ; Debug chain
03e3 ; --------------------------------------------------------------------------------------
03e3 0002 000a  |    |		.DBGLEN	0x0002,0x000a
03e5 016b 016f  | k o|		.DBGLNO	0x016b,0x016f,0x0174,0x0178,0x017a,0x017e,0x0188,0x018c,0x0191,0x0195,0x0198,0x019a
03f1 ; --------------------------------------------------------------------------------------
03f1 ; Debug chain
03f1 ; --------------------------------------------------------------------------------------
03f1 0000 0001  |    |		.DBGLEN	0x0000,0x0001
03f3 01a3       |    |		.DBGLNO	0x01a3
03f4 ; --------------------------------------------------------------------------------------
03f4 ; Debug chain
03f4 ; --------------------------------------------------------------------------------------
03f4 0003 0012  |    |		.DBGLEN	0x0003,0x0012
03f6 01ab 01b5  |    |		.DBGLNO	0x01ab,0x01b5,0x01ba,0x01bd,0x01bf,0x01c3,0x01c4,0x01c8,0x01cc,0x01d0,0x01d4,0x01d7,0x01db,0x01df,0x01e2,0x01e6,0x01eb,0x01f2,0x01f8,0x01fb,0x0200
040b ; --------------------------------------------------------------------------------------
040b ; Debug chain
040b ; --------------------------------------------------------------------------------------
040b 0002 000a  |    |		.DBGLEN	0x0002,0x000a
040d 0213 0214  |    |		.DBGLNO	0x0213,0x0214,0x0220,0x0222,0x0226,0x0227,0x022a,0x022e,0x0232,0x0237,0x023a,0x023f
0419 ; --------------------------------------------------------------------------------------
0419 ; Debug chain
0419 ; --------------------------------------------------------------------------------------
0419 0000 0001  |    |		.DBGLEN	0x0000,0x0001
041b 0253       | S  |		.DBGLNO	0x0253
041c ; --------------------------------------------------------------------------------------
041c ; Debug chain
041c ; --------------------------------------------------------------------------------------
041c 0000 0001  |    |		.DBGLEN	0x0000,0x0001
041e 025b       | [  |		.DBGLNO	0x025b
041f ; --------------------------------------------------------------------------------------
041f ; Debug chain
041f ; --------------------------------------------------------------------------------------
041f 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0421 0263       | c  |		.DBGLNO	0x0263
0422 ; --------------------------------------------------------------------------------------
0422 ; Debug chain
0422 ; --------------------------------------------------------------------------------------
0422 0000 0001  |    |		.DBGLEN	0x0000,0x0001
0424 02c3       |    |		.DBGLNO	0x02c3
0425 ; --------------------------------------------------------------------------------------
0425 ; Debug chain
0425 ; --------------------------------------------------------------------------------------
0425 0000 0003  |    |		.DBGLEN	0x0000,0x0003
0427 02d3 02d6  |    |		.DBGLNO	0x02d3,0x02d6,0x02dc
042a ; --------------------------------------------------------------------------------------
042a ; Debug chain
042a ; --------------------------------------------------------------------------------------
042a 0000 0001  |    |		.DBGLEN	0x0000,0x0001
042c 02e3       |    |		.DBGLNO	0x02e3
042d ; --------------------------------------------------------------------------------------
042d ; Debug chain
042d ; --------------------------------------------------------------------------------------
042d 0001 0005  |    |		.DBGLEN	0x0001,0x0005
042f 02f3 02fb  |    |		.DBGLNO	0x02f3,0x02fb,0x02ff,0x0302,0x0304,0x0307
0435 0000 0000  |    |		.BLANK	0000[0x1cb]