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

⟦2b18f6b74⟧

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

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 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0438       | 8  |		.CONST	0x0438								; 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 8003       |    |		.CONST	0x8003								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 001e       |    |		.CONST	0x001e								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0013       |    |		.CONST	0x0013								; Number of locals
000b			INIT_0008:
000b 029a 0023  |   #|		Declare_Subprogram	INIT_0020,For_Outer_Call,Visible,Unelaborated
000d 029a 0093  |    |		Declare_Subprogram	INIT_0090,For_Outer_Call,Visible,Unelaborated
000f 00bf       |    |		Action	Accept_Activation
0010 029d 0113  |    |		Declare_Subprogram	INIT_0110,For_Outer_Call
0012 029d 012b  |   +|		Declare_Subprogram	INIT_0128,For_Outer_Call
0014 029d 014b  |   K|		Declare_Subprogram	INIT_0148,For_Outer_Call
0016 029d 016b  |   k|		Declare_Subprogram	INIT_0168,For_Outer_Call
0018 029d 017b  |   {|		Declare_Subprogram	INIT_0178,For_Outer_Call
001a 1d0d       |    |		Execute_Immediate	Reference_Lex_1,0xd
001b 00c7       |    |		Action	Elaborate_Subprogram
001c 1d0e       |    |		Execute_Immediate	Reference_Lex_1,0xe
001d 00c7       |    |		Action	Elaborate_Subprogram
001e			BODY_0008:
001e 00bc       |    |		Action	Signal_Activated
001f 00bb       |    |		Action	Signal_Completion
0020 ; --------------------------------------------------------------------------------------
0020 ; SUBPROGRAM
0020 ; --------------------------------------------------------------------------------------
0020 0036       | 6  |		.CONST	0x0036								; Address of begin
0021 0004       |    |		.CONST	0x0004								; Address of exception handler
0022 0007       |    |		.CONST	0x0007								; Number of locals
0023			INIT_0020:
0023 00e3       |    |		Load_Encached	Natural_Cache
0024 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0025 00ec       |    |		Load_Encached	Diana_Tree_Cache
0026 029e 01b3  |    |		Declare_Subprogram	INIT_01b0,For_Call,Unelaborated
0028 029e 027b  |   {|		Declare_Subprogram	INIT_0278,For_Call,Unelaborated
002a 029f 029b  |    |		Declare_Subprogram	INIT_0298,For_Call
002c 029f 02cb  |    |		Declare_Subprogram	INIT_02c8,For_Call
002e 4805       |H   |		Short_Literal	0x5
002f 4802       |H   |		Short_Literal	0x2
0030 0099       |    |		Action	Reference_Dynamic
0031 00c7       |    |		Action	Elaborate_Subprogram
0032 4804       |H   |		Short_Literal	0x4
0033 4802       |H   |		Short_Literal	0x2
0034 0099       |    |		Action	Reference_Dynamic
0035 00c7       |    |		Action	Elaborate_Subprogram
0036			BODY_0020:
0036 e5ff       |    |		Load	0x2,-0x1
0037 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0038 00d8       |    |		Load_Top	At_Offset_0
0039 0d4f       | O  |		Execute_Immediate	Less,0x4f
003a 700c       |p   |		Jump_Nonzero	0x47
003b 00d8       |    |		Load_Top	At_Offset_0
003c 0c73       | s  |		Execute_Immediate	Greater_Equal,0x73
003d 7004       |p   |		Jump_Nonzero	0x42
003e 00d1       |    |		Pop_Control	Pop_Count_1
003f 00ec       |    |		Load_Encached	Diana_Tree_Cache
0040 a403       |    |		Store_Unchecked	0x2,0x3
0041 7847       |xG  |		Jump	0x89
0042 0b73       | s  |		Execute_Immediate	Case_Compare,0x73
0043 7034       |p4  |		Jump_Nonzero	0x78
0044 0f7c       | |  |		Execute_Immediate	Equal,0x7c
0045 7021       |p!  |		Jump_Nonzero	0x67
0046 7ff8       |    |		Jump	0x3f
0047 0b4c       | L  |		Execute_Immediate	Case_Compare,0x4c
0048 7038       |p8  |		Jump_Nonzero	0x81
0049 0f4e       | N  |		Execute_Immediate	Equal,0x4e
004a 7001       |p   |		Jump_Nonzero	0x4c
004b 7ff3       |    |		Jump	0x3f
004c e5fd       |    |		Load	0x2,-0x3
004d 6808       |h   |		Jump_Zero	0x56
004e e5ff       |    |		Load	0x2,-0x1
004f 00eb       |    |		Load_Encached	Diana_Cache
0050 18d1       |    |		Execute	Package,Field_Execute,Field_Number 0xd1
0051 00eb       |    |		Load_Encached	Diana_Cache
0052 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0053 8406       |    |		Call	0x2,0x6
0054 a403       |    |		Store_Unchecked	0x2,0x3
0055 7833       |x3  |		Jump	0x89
0056 e5ff       |    |		Load	0x2,-0x1
0057 00eb       |    |		Load_Encached	Diana_Cache
0058 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0059 00eb       |    |		Load_Encached	Diana_Cache
005a 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
005b 8405       |    |		Call	0x2,0x5
005c a403       |    |		Store_Unchecked	0x2,0x3
005d e403       |    |		Load	0x2,0x3
005e 702a       |p*  |		Jump_Nonzero	0x89
005f e5ff       |    |		Load	0x2,-0x1
0060 00eb       |    |		Load_Encached	Diana_Cache
0061 18b4       |    |		Execute	Package,Field_Execute,Field_Number 0xb4
0062 00eb       |    |		Load_Encached	Diana_Cache
0063 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0064 8407       |    |		Call	0x2,0x7
0065 a403       |    |		Store_Unchecked	0x2,0x3
0066 7822       |x"  |		Jump	0x89
0067 e5ff       |    |		Load	0x2,-0x1
0068 00eb       |    |		Load_Encached	Diana_Cache
0069 18bd       |    |		Execute	Package,Field_Execute,Field_Number 0xbd
006a 00eb       |    |		Load_Encached	Diana_Cache
006b 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
006c 8406       |    |		Call	0x2,0x6
006d a403       |    |		Store_Unchecked	0x2,0x3
006e e403       |    |		Load	0x2,0x3
006f 7019       |p   |		Jump_Nonzero	0x89
0070 e5ff       |    |		Load	0x2,-0x1
0071 00eb       |    |		Load_Encached	Diana_Cache
0072 18be       |    |		Execute	Package,Field_Execute,Field_Number 0xbe
0073 00eb       |    |		Load_Encached	Diana_Cache
0074 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0075 8406       |    |		Call	0x2,0x6
0076 a403       |    |		Store_Unchecked	0x2,0x3
0077 7811       |x   |		Jump	0x89
0078 00d1       |    |		Pop_Control	Pop_Count_1
0079 e5ff       |    |		Load	0x2,-0x1
007a 00eb       |    |		Load_Encached	Diana_Cache
007b 18bc       |    |		Execute	Package,Field_Execute,Field_Number 0xbc
007c 00eb       |    |		Load_Encached	Diana_Cache
007d 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
007e 8406       |    |		Call	0x2,0x6
007f a403       |    |		Store_Unchecked	0x2,0x3
0080 7808       |x   |		Jump	0x89
0081 00d1       |    |		Pop_Control	Pop_Count_1
0082 e5ff       |    |		Load	0x2,-0x1
0083 00eb       |    |		Load_Encached	Diana_Cache
0084 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0085 00eb       |    |		Load_Encached	Diana_Cache
0086 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0087 8405       |    |		Call	0x2,0x5
0088 a403       |    |		Store_Unchecked	0x2,0x3
0089 e403       |    |		Load	0x2,0x3
008a 4403       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x3
008b 0000 0000  |    |		.BLANK	0000[0x5]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 00a6       |    |		.CONST	0x00a6								; Address of begin
0091 0004       |    |		.CONST	0x0004								; Address of exception handler
0092 0007       |    |		.CONST	0x0007								; Number of locals
0093			INIT_0090:
0093 00e3       |    |		Load_Encached	Natural_Cache
0094 0600       |    |		Execute_Immediate	Set_Value_Unchecked,0x0
0095 00e3       |    |		Load_Encached	Natural_Cache
0096 029e 02f3  |    |		Declare_Subprogram	INIT_02f0,For_Call,Unelaborated
0098 029e 03bb  |    |		Declare_Subprogram	INIT_03b8,For_Call,Unelaborated
009a 029f 03db  |    |		Declare_Subprogram	INIT_03d8,For_Call
009c 029f 040b  |    |		Declare_Subprogram	INIT_0408,For_Call
009e 4805       |H   |		Short_Literal	0x5
009f 4802       |H   |		Short_Literal	0x2
00a0 0099       |    |		Action	Reference_Dynamic
00a1 00c7       |    |		Action	Elaborate_Subprogram
00a2 4804       |H   |		Short_Literal	0x4
00a3 4802       |H   |		Short_Literal	0x2
00a4 0099       |    |		Action	Reference_Dynamic
00a5 00c7       |    |		Action	Elaborate_Subprogram
00a6			BODY_0090:
00a6 e5ff       |    |		Load	0x2,-0x1
00a7 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
00a8 00d8       |    |		Load_Top	At_Offset_0
00a9 0d4f       | O  |		Execute_Immediate	Less,0x4f
00aa 700e       |p   |		Jump_Nonzero	0xb9
00ab 00d8       |    |		Load_Top	At_Offset_0
00ac 0c73       | s  |		Execute_Immediate	Greater_Equal,0x73
00ad 7006       |p   |		Jump_Nonzero	0xb4
00ae 00d1       |    |		Pop_Control	Pop_Count_1
00af 4800       |H   |		Short_Literal	0x0
00b0 a403       |    |		Store_Unchecked	0x2,0x3
00b1 4800       |H   |		Short_Literal	0x0
00b2 a5fc       |    |		Store_Unchecked	0x2,-0x4
00b3 7853       |xS  |		Jump	0x107
00b4 0b73       | s  |		Execute_Immediate	Case_Compare,0x73
00b5 703c       |p<  |		Jump_Nonzero	0xf2
00b6 0f7c       | |  |		Execute_Immediate	Equal,0x7c
00b7 7027       |p'  |		Jump_Nonzero	0xdf
00b8 7ff6       |    |		Jump	0xaf
00b9 0b4c       | L  |		Execute_Immediate	Case_Compare,0x4c
00ba 7042       |pB  |		Jump_Nonzero	0xfd
00bb 0f4e       | N  |		Execute_Immediate	Equal,0x4e
00bc 7001       |p   |		Jump_Nonzero	0xbe
00bd 7ff1       |    |		Jump	0xaf
00be e5ff       |    |		Load	0x2,-0x1
00bf 00eb       |    |		Load_Encached	Diana_Cache
00c0 18d1       |    |		Execute	Package,Field_Execute,Field_Number 0xd1
00c1 00eb       |    |		Load_Encached	Diana_Cache
00c2 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00c3 8406       |    |		Call	0x2,0x6
00c4 a403       |    |		Store_Unchecked	0x2,0x3
00c5 e403       |    |		Load	0x2,0x3
00c6 7015       |p   |		Jump_Nonzero	0xdc
00c7 4800       |H   |		Short_Literal	0x0
00c8 a5fc       |    |		Store_Unchecked	0x2,-0x4
00c9 4800       |H   |		Short_Literal	0x0
00ca a402       |    |		Store_Unchecked	0x2,0x2
00cb e5ff       |    |		Load	0x2,-0x1
00cc 00eb       |    |		Load_Encached	Diana_Cache
00cd 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
00ce 00eb       |    |		Load_Encached	Diana_Cache
00cf 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00d0 8405       |    |		Call	0x2,0x5
00d1 a403       |    |		Store_Unchecked	0x2,0x3
00d2 e403       |    |		Load	0x2,0x3
00d3 7033       |p3  |		Jump_Nonzero	0x107
00d4 e5ff       |    |		Load	0x2,-0x1
00d5 00eb       |    |		Load_Encached	Diana_Cache
00d6 18b4       |    |		Execute	Package,Field_Execute,Field_Number 0xb4
00d7 00eb       |    |		Load_Encached	Diana_Cache
00d8 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00d9 8407       |    |		Call	0x2,0x7
00da a403       |    |		Store_Unchecked	0x2,0x3
00db 782b       |x+  |		Jump	0x107
00dc 4801       |H   |		Short_Literal	0x1
00dd a5fc       |    |		Store_Unchecked	0x2,-0x4
00de 7828       |x(  |		Jump	0x107
00df e5ff       |    |		Load	0x2,-0x1
00e0 00eb       |    |		Load_Encached	Diana_Cache
00e1 18bd       |    |		Execute	Package,Field_Execute,Field_Number 0xbd
00e2 00eb       |    |		Load_Encached	Diana_Cache
00e3 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00e4 8406       |    |		Call	0x2,0x6
00e5 a403       |    |		Store_Unchecked	0x2,0x3
00e6 e403       |    |		Load	0x2,0x3
00e7 7007       |p   |		Jump_Nonzero	0xef
00e8 e5ff       |    |		Load	0x2,-0x1
00e9 00eb       |    |		Load_Encached	Diana_Cache
00ea 18be       |    |		Execute	Package,Field_Execute,Field_Number 0xbe
00eb 00eb       |    |		Load_Encached	Diana_Cache
00ec 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00ed 8406       |    |		Call	0x2,0x6
00ee a403       |    |		Store_Unchecked	0x2,0x3
00ef 4801       |H   |		Short_Literal	0x1
00f0 a5fc       |    |		Store_Unchecked	0x2,-0x4
00f1 7815       |x   |		Jump	0x107
00f2 00d1       |    |		Pop_Control	Pop_Count_1
00f3 e5ff       |    |		Load	0x2,-0x1
00f4 00eb       |    |		Load_Encached	Diana_Cache
00f5 18bc       |    |		Execute	Package,Field_Execute,Field_Number 0xbc
00f6 00eb       |    |		Load_Encached	Diana_Cache
00f7 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
00f8 8406       |    |		Call	0x2,0x6
00f9 a403       |    |		Store_Unchecked	0x2,0x3
00fa 4801       |H   |		Short_Literal	0x1
00fb a5fc       |    |		Store_Unchecked	0x2,-0x4
00fc 780a       |x   |		Jump	0x107
00fd 00d1       |    |		Pop_Control	Pop_Count_1
00fe e5ff       |    |		Load	0x2,-0x1
00ff 00eb       |    |		Load_Encached	Diana_Cache
0100 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0101 00eb       |    |		Load_Encached	Diana_Cache
0102 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0103 8405       |    |		Call	0x2,0x5
0104 a403       |    |		Store_Unchecked	0x2,0x3
0105 4800       |H   |		Short_Literal	0x0
0106 a5fc       |    |		Store_Unchecked	0x2,-0x4
0107 e403       |    |		Load	0x2,0x3
0108 a5fd       |    |		Store_Unchecked	0x2,-0x3
0109 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
010a 0000 0000  |    |		.BLANK	0000[0x6]
0110 ; --------------------------------------------------------------------------------------
0110 ; SUBPROGRAM
0110 ; --------------------------------------------------------------------------------------
0110 011a       |    |		.CONST	0x011a								; Address of begin
0111 0004       |    |		.CONST	0x0004								; Address of exception handler
0112 0002       |    |		.CONST	0x0002								; Number of locals
0113			INIT_0110:
0113 00da       |    |		Load_Top	At_Offset_2
0114 00eb       |    |		Load_Encached	Diana_Cache
0115 18cf       |    |		Execute	Package,Field_Execute,Field_Number 0xcf
0116 00eb       |    |		Load_Encached	Diana_Cache
0117 182a       | *  |		Execute	Package,Field_Execute,Field_Number 0x2a
0118 00eb       |    |		Load_Encached	Diana_Cache
0119 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
011a			BODY_0110:
011a 00d8       |    |		Load_Top	At_Offset_0
011b 0092 042d  |   -|		Action	Push_String_Extended,0x42d					; "ASSERT"
011d 01df       |    |		Execute	Vector,Equal
011e 7005       |p   |		Jump_Nonzero	0x124
011f 00d8       |    |		Load_Top	At_Offset_0
0120 0092 042e  |   .|		Action	Push_String_Extended,0x42e					; "INSERT"
0122 01df       |    |		Execute	Vector,Equal
0123 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0124 4801       |H   |		Short_Literal	0x1
0125 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0126 0000 0000  |    |		.XXX[0x2]
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012c       | ,  |		.CONST	0x012c								; Address of begin
0129 0004       |    |		.CONST	0x0004								; Address of exception handler
012a 0002       |    |		.CONST	0x0002								; Number of locals
012b			INIT_0128:
012b 00da       |    |		Load_Top	At_Offset_2
012c			BODY_0128:
012c 00cf       |    |		Action	Mark_Auxiliary
012d 7805       |x   |		Jump	0x133
012e 00d9       |    |		Load_Top	At_Offset_1
012f 0217       |    |		Execute	Heap_Access,All_Reference
0130 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0131 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0132 00c9       |    |		Action	Pop_Auxiliary_Loop
0133 00d9       |    |		Load_Top	At_Offset_1
0134 6809       |h   |		Jump_Zero	0x13e
0135 00d9       |    |		Load_Top	At_Offset_1
0136 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0137 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0138 0f40       | @  |		Execute_Immediate	Equal,0x40
0139 6804       |h   |		Jump_Zero	0x13e
013a 00d9       |    |		Load_Top	At_Offset_1
013b 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
013c 820f       |    |		Call	0x1,0xf
013d 6ff0       |o   |		Jump_Zero	0x12e
013e 00ce       |    |		Action	Pop_Auxiliary
013f 00d8       |    |		Load_Top	At_Offset_0
0140 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0141 0000 0000  |    |		.BLANK	0000[0x7]
0148 ; --------------------------------------------------------------------------------------
0148 ; SUBPROGRAM
0148 ; --------------------------------------------------------------------------------------
0148 014e       | N  |		.CONST	0x014e								; Address of begin
0149 0004       |    |		.CONST	0x0004								; Address of exception handler
014a 0002       |    |		.CONST	0x0002								; Number of locals
014b			INIT_0148:
014b 00da       |    |		Load_Top	At_Offset_2
014c 00eb       |    |		Load_Encached	Diana_Cache
014d 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
014e			BODY_0148:
014e 00d8       |    |		Load_Top	At_Offset_0
014f 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0150 0f97       |    |		Execute_Immediate	Equal,-0x69
0151 6814       |h   |		Jump_Zero	0x166
0152 00d8       |    |		Load_Top	At_Offset_0
0153 00eb       |    |		Load_Encached	Diana_Cache
0154 18ec       |    |		Execute	Package,Field_Execute,Field_Number 0xec
0155 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0156 0b9e       |    |		Execute_Immediate	Case_Compare,0x9e
0157 7004       |p   |		Jump_Nonzero	0x15c
0158 0f60       | `  |		Execute_Immediate	Equal,0x60
0159 7003       |p   |		Jump_Nonzero	0x15d
015a 4801       |H   |		Short_Literal	0x1
015b 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
015c 00d1       |    |		Pop_Control	Pop_Count_1
015d 00db       |    |		Load_Top	At_Offset_3
015e 00d9       |    |		Load_Top	At_Offset_1
015f 00eb       |    |		Load_Encached	Diana_Cache
0160 1888       |    |		Execute	Package,Field_Execute,Field_Number 0x88
0161 8210       |    |		Call	0x1,0x10
0162 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0163 021f       |    |		Execute	Heap_Access,Equal
0164 0f00       |    |		Execute_Immediate	Equal,0x0
0165 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0166 4801       |H   |		Short_Literal	0x1
0167 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016b       | k  |		.CONST	0x016b								; Address of begin
0169 0004       |    |		.CONST	0x0004								; Address of exception handler
016a 0001       |    |		.CONST	0x0001								; Number of locals
016b			BODY_0168:
016b			INIT_0168:
016b 00da       |    |		Load_Top	At_Offset_2
016c 8003       |    |		Call	0x0,0x3
016d 8004       |    |		Call	0x0,0x4
016e 0f02       |    |		Execute_Immediate	Equal,0x2
016f 6802       |h   |		Jump_Zero	0x172
0170 4801       |H   |		Short_Literal	0x1
0171 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0172 4800       |H   |		Short_Literal	0x0
0173 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0174 0000 0000  |    |		.BLANK	0000[0x4]
0178 ; --------------------------------------------------------------------------------------
0178 ; SUBPROGRAM
0178 ; --------------------------------------------------------------------------------------
0178 017c       | |  |		.CONST	0x017c								; Address of begin
0179 0004       |    |		.CONST	0x0004								; Address of exception handler
017a 0002       |    |		.CONST	0x0002								; Number of locals
017b			INIT_0178:
017b 00ec       |    |		Load_Encached	Diana_Tree_Cache
017c			BODY_0178:
017c 00db       |    |		Load_Top	At_Offset_3
017d 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
017e 00d8       |    |		Load_Top	At_Offset_0
017f 4837       |H7  |		Short_Literal	0x37
0180 483e       |H>  |		Short_Literal	0x3e
0181 0262       | b  |		Execute	Discrete,In_Range
0182 6821       |h!  |		Jump_Zero	0x1a4
0183 0b37       | 7  |		Execute_Immediate	Case_Compare,0x37
0184 7019       |p   |		Jump_Nonzero	0x19e
0185 00d8       |    |		Load_Top	At_Offset_0
0186 0c3a       | :  |		Execute_Immediate	Greater_Equal,0x3a
0187 6805       |h   |		Jump_Zero	0x18d
0188 0b3d       | =  |		Execute_Immediate	Case_Compare,0x3d
0189 7009       |p   |		Jump_Nonzero	0x193
018a 0f3e       | >  |		Execute_Immediate	Equal,0x3e
018b 700d       |p   |		Jump_Nonzero	0x199
018c 7818       |x   |		Jump	0x1a5
018d 00d1       |    |		Pop_Control	Pop_Count_1
018e 00db       |    |		Load_Top	At_Offset_3
018f 00eb       |    |		Load_Encached	Diana_Cache
0190 18d7       |    |		Execute	Package,Field_Execute,Field_Number 0xd7
0191 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0192 7814       |x   |		Jump	0x1a7
0193 00d1       |    |		Pop_Control	Pop_Count_1
0194 00db       |    |		Load_Top	At_Offset_3
0195 00eb       |    |		Load_Encached	Diana_Cache
0196 18e4       |    |		Execute	Package,Field_Execute,Field_Number 0xe4
0197 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0198 780e       |x   |		Jump	0x1a7
0199 00db       |    |		Load_Top	At_Offset_3
019a 00eb       |    |		Load_Encached	Diana_Cache
019b 18d8       |    |		Execute	Package,Field_Execute,Field_Number 0xd8
019c 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
019d 7809       |x   |		Jump	0x1a7
019e 00d1       |    |		Pop_Control	Pop_Count_1
019f 00db       |    |		Load_Top	At_Offset_3
01a0 00eb       |    |		Load_Encached	Diana_Cache
01a1 18c4       |    |		Execute	Package,Field_Execute,Field_Number 0xc4
01a2 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
01a3 7803       |x   |		Jump	0x1a7
01a4 00d1       |    |		Pop_Control	Pop_Count_1
01a5 00ec       |    |		Load_Encached	Diana_Tree_Cache
01a6 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
01a7 00d8       |    |		Load_Top	At_Offset_0
01a8 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
01a9 0f80       |    |		Execute_Immediate	Equal,-0x80
01aa 7002       |p   |		Jump_Nonzero	0x1ad
01ab 4800       |H   |		Short_Literal	0x0
01ac 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01ad 4801       |H   |		Short_Literal	0x1
01ae 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01af 0000       |    |		.XXX[0x1]
01b0 ; --------------------------------------------------------------------------------------
01b0 ; SUBPROGRAM
01b0 ; --------------------------------------------------------------------------------------
01b0 01b4       |    |		.CONST	0x01b4								; Address of begin
01b1 0004       |    |		.CONST	0x0004								; Address of exception handler
01b2 0002       |    |		.CONST	0x0002								; Number of locals
01b3			INIT_01b0:
01b3 00ec       |    |		Load_Encached	Diana_Tree_Cache
01b4			BODY_01b0:
01b4 00db       |    |		Load_Top	At_Offset_3
01b5 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
01b6 00d8       |    |		Load_Top	At_Offset_0
01b7 0d53       | S  |		Execute_Immediate	Less,0x53
01b8 700d       |p   |		Jump_Nonzero	0x1c6
01b9 00d8       |    |		Load_Top	At_Offset_0
01ba 0c5f       | _  |		Execute_Immediate	Greater_Equal,0x5f
01bb 7005       |p   |		Jump_Nonzero	0x1c1
01bc 00d1       |    |		Pop_Control	Pop_Count_1
01bd e402       |    |		Load	0x2,0x2
01be 0a01       |    |		Execute_Immediate	Plus,0x1
01bf c402       |    |		Store	0x2,0x2
01c0 7824       |x$  |		Jump	0x1e5
01c1 0b5f       | _  |		Execute_Immediate	Case_Compare,0x5f
01c2 7008       |p   |		Jump_Nonzero	0x1cb
01c3 0fa1       |    |		Execute_Immediate	Equal,-0x5f
01c4 7019       |p   |		Jump_Nonzero	0x1de
01c5 7ff7       |    |		Jump	0x1bd
01c6 0b40       | @  |		Execute_Immediate	Case_Compare,0x40
01c7 7005       |p   |		Jump_Nonzero	0x1cd
01c8 0f52       | R  |		Execute_Immediate	Equal,0x52
01c9 700d       |p   |		Jump_Nonzero	0x1d7
01ca 7ff2       |    |		Jump	0x1bd
01cb 00d1       |    |		Pop_Control	Pop_Count_1
01cc 7818       |x   |		Jump	0x1e5
01cd 00d1       |    |		Pop_Control	Pop_Count_1
01ce 00db       |    |		Load_Top	At_Offset_3
01cf 49a1       |I   |		Short_Literal	0x1a1
01d0 00eb       |    |		Load_Encached	Diana_Cache
01d1 0096       |    |		Execute	Package,Entry
01d2 7012       |p   |		Jump_Nonzero	0x1e5
01d3 e402       |    |		Load	0x2,0x2
01d4 0a01       |    |		Execute_Immediate	Plus,0x1
01d5 c402       |    |		Store	0x2,0x2
01d6 780e       |x   |		Jump	0x1e5
01d7 00db       |    |		Load_Top	At_Offset_3
01d8 8211       |    |		Call	0x1,0x11
01d9 680b       |h   |		Jump_Zero	0x1e5
01da e402       |    |		Load	0x2,0x2
01db 0a01       |    |		Execute_Immediate	Plus,0x1
01dc c402       |    |		Store	0x2,0x2
01dd 7807       |x   |		Jump	0x1e5
01de 00db       |    |		Load_Top	At_Offset_3
01df 00eb       |    |		Load_Encached	Diana_Cache
01e0 18ca       |    |		Execute	Package,Field_Execute,Field_Number 0xca
01e1 6803       |h   |		Jump_Zero	0x1e5
01e2 e402       |    |		Load	0x2,0x2
01e3 0a01       |    |		Execute_Immediate	Plus,0x1
01e4 c402       |    |		Store	0x2,0x2
01e5 e402       |    |		Load	0x2,0x2
01e6 e5fe       |    |		Load	0x2,-0x2
01e7 027f       |    |		Execute	Discrete,Equal
01e8 6802       |h   |		Jump_Zero	0x1eb
01e9 00db       |    |		Load_Top	At_Offset_3
01ea 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
01eb 00db       |    |		Load_Top	At_Offset_3
01ec 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
01ed 00d8       |    |		Load_Top	At_Offset_0
01ee 0d4a       | J  |		Execute_Immediate	Less,0x4a
01ef 7029       |p)  |		Jump_Nonzero	0x219
01f0 00d8       |    |		Load_Top	At_Offset_0
01f1 0c61       | a  |		Execute_Immediate	Greater_Equal,0x61
01f2 7021       |p!  |		Jump_Nonzero	0x214
01f3 0ab6       |    |		Execute_Immediate	Plus,-0x4a
01f4 4616       |F   |		Jump_Case	0x17
01f5 7842       |xB  |		Jump	0x238								; case 0x0
01f6 7823       |x#  |		Jump	0x21a								; case 0x1
01f7 7822       |x"  |		Jump	0x21a								; case 0x2
01f8 7821       |x!  |		Jump	0x21a								; case 0x3
01f9 7820       |x   |		Jump	0x21a								; case 0x4
01fa 7845       |xE  |		Jump	0x240								; case 0x5
01fb 781e       |x   |		Jump	0x21a								; case 0x6
01fc 780f       |x   |		Jump	0x20c								; case 0x7
01fd 781c       |x   |		Jump	0x21a								; case 0x8
01fe 781b       |x   |		Jump	0x21a								; case 0x9
01ff 781a       |x   |		Jump	0x21a								; case 0xa
0200 7819       |x   |		Jump	0x21a								; case 0xb
0201 7824       |x$  |		Jump	0x226								; case 0xc
0202 781a       |x   |		Jump	0x21d								; case 0xd
0203 7819       |x   |		Jump	0x21d								; case 0xe
0204 7815       |x   |		Jump	0x21a								; case 0xf
0205 7814       |x   |		Jump	0x21a								; case 0x10
0206 7813       |x   |		Jump	0x21a								; case 0x11
0207 7812       |x   |		Jump	0x21a								; case 0x12
0208 7811       |x   |		Jump	0x21a								; case 0x13
0209 783e       |x>  |		Jump	0x248								; case 0x14
020a 780f       |x   |		Jump	0x21a								; case 0x15
020b 7800       |x   |		Jump	0x20c								; case 0x16
020c 00db       |    |		Load_Top	At_Offset_3
020d 00eb       |    |		Load_Encached	Diana_Cache
020e 18e2       |    |		Execute	Package,Field_Execute,Field_Number 0xe2
020f 00eb       |    |		Load_Encached	Diana_Cache
0210 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0211 8405       |    |		Call	0x2,0x5
0212 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0213 783b       |x;  |		Jump	0x24f
0214 0ba1       |    |		Execute_Immediate	Case_Compare,0xa1
0215 7019       |p   |		Jump_Nonzero	0x22f
0216 0fa7       |    |		Execute_Immediate	Equal,-0x59
0217 7005       |p   |		Jump_Nonzero	0x21d
0218 7801       |x   |		Jump	0x21a
0219 00d1       |    |		Pop_Control	Pop_Count_1
021a 00ec       |    |		Load_Encached	Diana_Tree_Cache
021b 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
021c 7832       |x2  |		Jump	0x24f
021d e402       |    |		Load	0x2,0x2
021e 0aff       |    |		Execute_Immediate	Plus,-0x1
021f c402       |    |		Store	0x2,0x2
0220 00db       |    |		Load_Top	At_Offset_3
0221 00eb       |    |		Load_Encached	Diana_Cache
0222 18e0       |    |		Execute	Package,Field_Execute,Field_Number 0xe0
0223 8404       |    |		Call	0x2,0x4
0224 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0225 7829       |x)  |		Jump	0x24f
0226 e402       |    |		Load	0x2,0x2
0227 0aff       |    |		Execute_Immediate	Plus,-0x1
0228 c402       |    |		Store	0x2,0x2
0229 00db       |    |		Load_Top	At_Offset_3
022a 00eb       |    |		Load_Encached	Diana_Cache
022b 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
022c 8405       |    |		Call	0x2,0x5
022d 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
022e 7820       |x   |		Jump	0x24f
022f 00d1       |    |		Pop_Control	Pop_Count_1
0230 00db       |    |		Load_Top	At_Offset_3
0231 00eb       |    |		Load_Encached	Diana_Cache
0232 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0233 00eb       |    |		Load_Encached	Diana_Cache
0234 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0235 8405       |    |		Call	0x2,0x5
0236 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0237 7817       |x   |		Jump	0x24f
0238 00db       |    |		Load_Top	At_Offset_3
0239 00eb       |    |		Load_Encached	Diana_Cache
023a 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
023b 00eb       |    |		Load_Encached	Diana_Cache
023c 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
023d 8405       |    |		Call	0x2,0x5
023e 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
023f 780f       |x   |		Jump	0x24f
0240 00db       |    |		Load_Top	At_Offset_3
0241 00eb       |    |		Load_Encached	Diana_Cache
0242 18b4       |    |		Execute	Package,Field_Execute,Field_Number 0xb4
0243 00eb       |    |		Load_Encached	Diana_Cache
0244 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0245 8407       |    |		Call	0x2,0x7
0246 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
0247 7807       |x   |		Jump	0x24f
0248 00db       |    |		Load_Top	At_Offset_3
0249 00eb       |    |		Load_Encached	Diana_Cache
024a 18df       |    |		Execute	Package,Field_Execute,Field_Number 0xdf
024b 00eb       |    |		Load_Encached	Diana_Cache
024c 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
024d 8407       |    |		Call	0x2,0x7
024e 0031       | 1  |		Store_Top	Heap_Access,At_Offset_1
024f 00d8       |    |		Load_Top	At_Offset_0
0250 6802       |h   |		Jump_Zero	0x253
0251 00d8       |    |		Load_Top	At_Offset_0
0252 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0253 00db       |    |		Load_Top	At_Offset_3
0254 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0255 00d8       |    |		Load_Top	At_Offset_0
0256 4851       |HQ  |		Short_Literal	0x51
0257 4860       |H`  |		Short_Literal	0x60
0258 0262       | b  |		Execute	Discrete,In_Range
0259 6817       |h   |		Jump_Zero	0x271
025a 0b51       | Q  |		Execute_Immediate	Case_Compare,0x51
025b 700d       |p   |		Jump_Nonzero	0x269
025c 0b5e       | ^  |		Execute_Immediate	Case_Compare,0x5e
025d 7003       |p   |		Jump_Nonzero	0x261
025e 0f60       | `  |		Execute_Immediate	Equal,0x60
025f 700a       |p   |		Jump_Nonzero	0x26a
0260 7811       |x   |		Jump	0x272
0261 00d1       |    |		Pop_Control	Pop_Count_1
0262 00db       |    |		Load_Top	At_Offset_3
0263 00eb       |    |		Load_Encached	Diana_Cache
0264 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0265 00eb       |    |		Load_Encached	Diana_Cache
0266 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0267 8405       |    |		Call	0x2,0x5
0268 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0269 00d1       |    |		Pop_Control	Pop_Count_1
026a 00db       |    |		Load_Top	At_Offset_3
026b 00eb       |    |		Load_Encached	Diana_Cache
026c 18e3       |    |		Execute	Package,Field_Execute,Field_Number 0xe3
026d 00eb       |    |		Load_Encached	Diana_Cache
026e 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
026f 8405       |    |		Call	0x2,0x5
0270 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0271 00d1       |    |		Pop_Control	Pop_Count_1
0272 00ec       |    |		Load_Encached	Diana_Tree_Cache
0273 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0274 0000 0000  |    |		.BLANK	0000[0x4]
0278 ; --------------------------------------------------------------------------------------
0278 ; SUBPROGRAM
0278 ; --------------------------------------------------------------------------------------
0278 027e       | ~  |		.CONST	0x027e								; Address of begin
0279 0004       |    |		.CONST	0x0004								; Address of exception handler
027a 0003       |    |		.CONST	0x0003								; Number of locals
027b			INIT_0278:
027b 00da       |    |		Load_Top	At_Offset_2
027c 0007       |    |		Action	Break_Optional
027d 00ec       |    |		Load_Encached	Diana_Tree_Cache
027e			BODY_0278:
027e 00cf       |    |		Action	Mark_Auxiliary
027f 780d       |x   |		Jump	0x28d
0280 00da       |    |		Load_Top	At_Offset_2
0281 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0282 8404       |    |		Call	0x2,0x4
0283 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
0284 00d9       |    |		Load_Top	At_Offset_1
0285 6802       |h   |		Jump_Zero	0x288
0286 00d9       |    |		Load_Top	At_Offset_1
0287 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0288 00da       |    |		Load_Top	At_Offset_2
0289 0217       |    |		Execute	Heap_Access,All_Reference
028a 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
028b 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
028c 00c9       |    |		Action	Pop_Auxiliary_Loop
028d 00da       |    |		Load_Top	At_Offset_2
028e 77f1       |w   |		Jump_Nonzero	0x280
028f 00ce       |    |		Action	Pop_Auxiliary
0290 00ec       |    |		Load_Encached	Diana_Tree_Cache
0291 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0292 0000 0000  |    |		.BLANK	0000[0x6]
0298 ; --------------------------------------------------------------------------------------
0298 ; SUBPROGRAM
0298 ; --------------------------------------------------------------------------------------
0298 029e       |    |		.CONST	0x029e								; Address of begin
0299 0004       |    |		.CONST	0x0004								; Address of exception handler
029a 0003       |    |		.CONST	0x0003								; Number of locals
029b			INIT_0298:
029b 00da       |    |		Load_Top	At_Offset_2
029c 0007       |    |		Action	Break_Optional
029d 00ec       |    |		Load_Encached	Diana_Tree_Cache
029e			BODY_0298:
029e 00cf       |    |		Action	Mark_Auxiliary
029f 7823       |x#  |		Jump	0x2c3
02a0 00da       |    |		Load_Top	At_Offset_2
02a1 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
02a2 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
02a3 00d9       |    |		Load_Top	At_Offset_1
02a4 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
02a5 0b40       | @  |		Execute_Immediate	Case_Compare,0x40
02a6 7008       |p   |		Jump_Nonzero	0x2af
02a7 4842       |HB  |		Short_Literal	0x42
02a8 4845       |HE  |		Short_Literal	0x45
02a9 0262       | b  |		Execute	Discrete,In_Range
02aa 700d       |p   |		Jump_Nonzero	0x2b8
02ab e402       |    |		Load	0x2,0x2
02ac 0a01       |    |		Execute_Immediate	Plus,0x1
02ad c402       |    |		Store	0x2,0x2
02ae 7809       |x   |		Jump	0x2b8
02af 00d1       |    |		Pop_Control	Pop_Count_1
02b0 00d9       |    |		Load_Top	At_Offset_1
02b1 49a1       |I   |		Short_Literal	0x1a1
02b2 00eb       |    |		Load_Encached	Diana_Cache
02b3 0096       |    |		Execute	Package,Entry
02b4 7003       |p   |		Jump_Nonzero	0x2b8
02b5 e402       |    |		Load	0x2,0x2
02b6 0a01       |    |		Execute_Immediate	Plus,0x1
02b7 c402       |    |		Store	0x2,0x2
02b8 e402       |    |		Load	0x2,0x2
02b9 e5fe       |    |		Load	0x2,-0x2
02ba 027f       |    |		Execute	Discrete,Equal
02bb 6802       |h   |		Jump_Zero	0x2be
02bc 00d9       |    |		Load_Top	At_Offset_1
02bd 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02be 00da       |    |		Load_Top	At_Offset_2
02bf 0217       |    |		Execute	Heap_Access,All_Reference
02c0 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02c1 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
02c2 00c9       |    |		Action	Pop_Auxiliary_Loop
02c3 00da       |    |		Load_Top	At_Offset_2
02c4 77db       |w   |		Jump_Nonzero	0x2a0
02c5 00ce       |    |		Action	Pop_Auxiliary
02c6 00ec       |    |		Load_Encached	Diana_Tree_Cache
02c7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02c8 ; --------------------------------------------------------------------------------------
02c8 ; SUBPROGRAM
02c8 ; --------------------------------------------------------------------------------------
02c8 02cf       |    |		.CONST	0x02cf								; Address of begin
02c9 0004       |    |		.CONST	0x0004								; Address of exception handler
02ca 0004       |    |		.CONST	0x0004								; Number of locals
02cb			INIT_02c8:
02cb 00da       |    |		Load_Top	At_Offset_2
02cc 0007       |    |		Action	Break_Optional
02cd 00ec       |    |		Load_Encached	Diana_Tree_Cache
02ce 00ec       |    |		Load_Encached	Diana_Tree_Cache
02cf			BODY_02c8:
02cf 00cf       |    |		Action	Mark_Auxiliary
02d0 7817       |x   |		Jump	0x2e8
02d1 00db       |    |		Load_Top	At_Offset_3
02d2 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
02d3 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
02d4 00da       |    |		Load_Top	At_Offset_2
02d5 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
02d6 0f40       | @  |		Execute_Immediate	Equal,0x40
02d7 700b       |p   |		Jump_Nonzero	0x2e3
02d8 00da       |    |		Load_Top	At_Offset_2
02d9 00eb       |    |		Load_Encached	Diana_Cache
02da 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
02db 00eb       |    |		Load_Encached	Diana_Cache
02dc 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
02dd 8405       |    |		Call	0x2,0x5
02de 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
02df 00d9       |    |		Load_Top	At_Offset_1
02e0 6802       |h   |		Jump_Zero	0x2e3
02e1 00d9       |    |		Load_Top	At_Offset_1
02e2 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02e3 00db       |    |		Load_Top	At_Offset_3
02e4 0217       |    |		Execute	Heap_Access,All_Reference
02e5 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
02e6 a602       |    |		Store_Unchecked	0x3,0x2
02e7 00c9       |    |		Action	Pop_Auxiliary_Loop
02e8 00db       |    |		Load_Top	At_Offset_3
02e9 77e7       |w   |		Jump_Nonzero	0x2d1
02ea 00ce       |    |		Action	Pop_Auxiliary
02eb 00ec       |    |		Load_Encached	Diana_Tree_Cache
02ec 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
02ed 0000 0000  |    |		.XXX[0x3]
02ef 0000       |    |
02f0 ; --------------------------------------------------------------------------------------
02f0 ; SUBPROGRAM
02f0 ; --------------------------------------------------------------------------------------
02f0 02f4       |    |		.CONST	0x02f4								; Address of begin
02f1 0004       |    |		.CONST	0x0004								; Address of exception handler
02f2 0002       |    |		.CONST	0x0002								; Number of locals
02f3			INIT_02f0:
02f3 00e3       |    |		Load_Encached	Natural_Cache
02f4			BODY_02f0:
02f4 00db       |    |		Load_Top	At_Offset_3
02f5 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
02f6 00d8       |    |		Load_Top	At_Offset_0
02f7 0d53       | S  |		Execute_Immediate	Less,0x53
02f8 700d       |p   |		Jump_Nonzero	0x306
02f9 00d8       |    |		Load_Top	At_Offset_0
02fa 0c5f       | _  |		Execute_Immediate	Greater_Equal,0x5f
02fb 7005       |p   |		Jump_Nonzero	0x301
02fc 00d1       |    |		Pop_Control	Pop_Count_1
02fd e402       |    |		Load	0x2,0x2
02fe 0a01       |    |		Execute_Immediate	Plus,0x1
02ff c402       |    |		Store	0x2,0x2
0300 7824       |x$  |		Jump	0x325
0301 0b5f       | _  |		Execute_Immediate	Case_Compare,0x5f
0302 7008       |p   |		Jump_Nonzero	0x30b
0303 0fa1       |    |		Execute_Immediate	Equal,-0x5f
0304 7019       |p   |		Jump_Nonzero	0x31e
0305 7ff7       |    |		Jump	0x2fd
0306 0b40       | @  |		Execute_Immediate	Case_Compare,0x40
0307 7005       |p   |		Jump_Nonzero	0x30d
0308 0f52       | R  |		Execute_Immediate	Equal,0x52
0309 700d       |p   |		Jump_Nonzero	0x317
030a 7ff2       |    |		Jump	0x2fd
030b 00d1       |    |		Pop_Control	Pop_Count_1
030c 7818       |x   |		Jump	0x325
030d 00d1       |    |		Pop_Control	Pop_Count_1
030e 00db       |    |		Load_Top	At_Offset_3
030f 49a1       |I   |		Short_Literal	0x1a1
0310 00eb       |    |		Load_Encached	Diana_Cache
0311 0096       |    |		Execute	Package,Entry
0312 7012       |p   |		Jump_Nonzero	0x325
0313 e402       |    |		Load	0x2,0x2
0314 0a01       |    |		Execute_Immediate	Plus,0x1
0315 c402       |    |		Store	0x2,0x2
0316 780e       |x   |		Jump	0x325
0317 00db       |    |		Load_Top	At_Offset_3
0318 8211       |    |		Call	0x1,0x11
0319 680b       |h   |		Jump_Zero	0x325
031a e402       |    |		Load	0x2,0x2
031b 0a01       |    |		Execute_Immediate	Plus,0x1
031c c402       |    |		Store	0x2,0x2
031d 7807       |x   |		Jump	0x325
031e 00db       |    |		Load_Top	At_Offset_3
031f 00eb       |    |		Load_Encached	Diana_Cache
0320 18ca       |    |		Execute	Package,Field_Execute,Field_Number 0xca
0321 6803       |h   |		Jump_Zero	0x325
0322 e402       |    |		Load	0x2,0x2
0323 0a01       |    |		Execute_Immediate	Plus,0x1
0324 c402       |    |		Store	0x2,0x2
0325 00db       |    |		Load_Top	At_Offset_3
0326 e5fe       |    |		Load	0x2,-0x2
0327 021f       |    |		Execute	Heap_Access,Equal
0328 6802       |h   |		Jump_Zero	0x32b
0329 e402       |    |		Load	0x2,0x2
032a 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
032b 00db       |    |		Load_Top	At_Offset_3
032c 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
032d 00d8       |    |		Load_Top	At_Offset_0
032e 0d4a       | J  |		Execute_Immediate	Less,0x4a
032f 7029       |p)  |		Jump_Nonzero	0x359
0330 00d8       |    |		Load_Top	At_Offset_0
0331 0c61       | a  |		Execute_Immediate	Greater_Equal,0x61
0332 7021       |p!  |		Jump_Nonzero	0x354
0333 0ab6       |    |		Execute_Immediate	Plus,-0x4a
0334 4616       |F   |		Jump_Case	0x17
0335 7842       |xB  |		Jump	0x378								; case 0x0
0336 7823       |x#  |		Jump	0x35a								; case 0x1
0337 7822       |x"  |		Jump	0x35a								; case 0x2
0338 7821       |x!  |		Jump	0x35a								; case 0x3
0339 7820       |x   |		Jump	0x35a								; case 0x4
033a 7845       |xE  |		Jump	0x380								; case 0x5
033b 781e       |x   |		Jump	0x35a								; case 0x6
033c 780f       |x   |		Jump	0x34c								; case 0x7
033d 781c       |x   |		Jump	0x35a								; case 0x8
033e 781b       |x   |		Jump	0x35a								; case 0x9
033f 781a       |x   |		Jump	0x35a								; case 0xa
0340 7819       |x   |		Jump	0x35a								; case 0xb
0341 7824       |x$  |		Jump	0x366								; case 0xc
0342 781a       |x   |		Jump	0x35d								; case 0xd
0343 7819       |x   |		Jump	0x35d								; case 0xe
0344 7815       |x   |		Jump	0x35a								; case 0xf
0345 7814       |x   |		Jump	0x35a								; case 0x10
0346 7813       |x   |		Jump	0x35a								; case 0x11
0347 7812       |x   |		Jump	0x35a								; case 0x12
0348 7811       |x   |		Jump	0x35a								; case 0x13
0349 783e       |x>  |		Jump	0x388								; case 0x14
034a 780f       |x   |		Jump	0x35a								; case 0x15
034b 7800       |x   |		Jump	0x34c								; case 0x16
034c 00db       |    |		Load_Top	At_Offset_3
034d 00eb       |    |		Load_Encached	Diana_Cache
034e 18e2       |    |		Execute	Package,Field_Execute,Field_Number 0xe2
034f 00eb       |    |		Load_Encached	Diana_Cache
0350 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0351 8405       |    |		Call	0x2,0x5
0352 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0353 783b       |x;  |		Jump	0x38f
0354 0ba1       |    |		Execute_Immediate	Case_Compare,0xa1
0355 7019       |p   |		Jump_Nonzero	0x36f
0356 0fa7       |    |		Execute_Immediate	Equal,-0x59
0357 7005       |p   |		Jump_Nonzero	0x35d
0358 7801       |x   |		Jump	0x35a
0359 00d1       |    |		Pop_Control	Pop_Count_1
035a 4800       |H   |		Short_Literal	0x0
035b 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
035c 7832       |x2  |		Jump	0x38f
035d e402       |    |		Load	0x2,0x2
035e 0aff       |    |		Execute_Immediate	Plus,-0x1
035f c402       |    |		Store	0x2,0x2
0360 00db       |    |		Load_Top	At_Offset_3
0361 00eb       |    |		Load_Encached	Diana_Cache
0362 18e0       |    |		Execute	Package,Field_Execute,Field_Number 0xe0
0363 8404       |    |		Call	0x2,0x4
0364 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0365 7829       |x)  |		Jump	0x38f
0366 e402       |    |		Load	0x2,0x2
0367 0aff       |    |		Execute_Immediate	Plus,-0x1
0368 c402       |    |		Store	0x2,0x2
0369 00db       |    |		Load_Top	At_Offset_3
036a 00eb       |    |		Load_Encached	Diana_Cache
036b 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
036c 8405       |    |		Call	0x2,0x5
036d 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
036e 7820       |x   |		Jump	0x38f
036f 00d1       |    |		Pop_Control	Pop_Count_1
0370 00db       |    |		Load_Top	At_Offset_3
0371 00eb       |    |		Load_Encached	Diana_Cache
0372 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
0373 00eb       |    |		Load_Encached	Diana_Cache
0374 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0375 8405       |    |		Call	0x2,0x5
0376 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0377 7817       |x   |		Jump	0x38f
0378 00db       |    |		Load_Top	At_Offset_3
0379 00eb       |    |		Load_Encached	Diana_Cache
037a 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
037b 00eb       |    |		Load_Encached	Diana_Cache
037c 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
037d 8405       |    |		Call	0x2,0x5
037e 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
037f 780f       |x   |		Jump	0x38f
0380 00db       |    |		Load_Top	At_Offset_3
0381 00eb       |    |		Load_Encached	Diana_Cache
0382 18b4       |    |		Execute	Package,Field_Execute,Field_Number 0xb4
0383 00eb       |    |		Load_Encached	Diana_Cache
0384 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
0385 8407       |    |		Call	0x2,0x7
0386 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
0387 7807       |x   |		Jump	0x38f
0388 00db       |    |		Load_Top	At_Offset_3
0389 00eb       |    |		Load_Encached	Diana_Cache
038a 18df       |    |		Execute	Package,Field_Execute,Field_Number 0xdf
038b 00eb       |    |		Load_Encached	Diana_Cache
038c 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
038d 8407       |    |		Call	0x2,0x7
038e 0051       | Q  |		Store_Top_Unchecked	Discrete,At_Offset_1
038f 00d8       |    |		Load_Top	At_Offset_0
0390 6802       |h   |		Jump_Zero	0x393
0391 00d8       |    |		Load_Top	At_Offset_0
0392 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0393 00db       |    |		Load_Top	At_Offset_3
0394 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0395 00d8       |    |		Load_Top	At_Offset_0
0396 4851       |HQ  |		Short_Literal	0x51
0397 4860       |H`  |		Short_Literal	0x60
0398 0262       | b  |		Execute	Discrete,In_Range
0399 6817       |h   |		Jump_Zero	0x3b1
039a 0b51       | Q  |		Execute_Immediate	Case_Compare,0x51
039b 700d       |p   |		Jump_Nonzero	0x3a9
039c 0b5e       | ^  |		Execute_Immediate	Case_Compare,0x5e
039d 7003       |p   |		Jump_Nonzero	0x3a1
039e 0f60       | `  |		Execute_Immediate	Equal,0x60
039f 700a       |p   |		Jump_Nonzero	0x3aa
03a0 7811       |x   |		Jump	0x3b2
03a1 00d1       |    |		Pop_Control	Pop_Count_1
03a2 00db       |    |		Load_Top	At_Offset_3
03a3 00eb       |    |		Load_Encached	Diana_Cache
03a4 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
03a5 00eb       |    |		Load_Encached	Diana_Cache
03a6 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
03a7 8405       |    |		Call	0x2,0x5
03a8 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03a9 00d1       |    |		Pop_Control	Pop_Count_1
03aa 00db       |    |		Load_Top	At_Offset_3
03ab 00eb       |    |		Load_Encached	Diana_Cache
03ac 18e3       |    |		Execute	Package,Field_Execute,Field_Number 0xe3
03ad 00eb       |    |		Load_Encached	Diana_Cache
03ae 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
03af 8405       |    |		Call	0x2,0x5
03b0 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03b1 00d1       |    |		Pop_Control	Pop_Count_1
03b2 4800       |H   |		Short_Literal	0x0
03b3 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03b4 0000 0000  |    |		.BLANK	0000[0x4]
03b8 ; --------------------------------------------------------------------------------------
03b8 ; SUBPROGRAM
03b8 ; --------------------------------------------------------------------------------------
03b8 03be       |    |		.CONST	0x03be								; Address of begin
03b9 0004       |    |		.CONST	0x0004								; Address of exception handler
03ba 0003       |    |		.CONST	0x0003								; Number of locals
03bb			INIT_03b8:
03bb 00da       |    |		Load_Top	At_Offset_2
03bc 0007       |    |		Action	Break_Optional
03bd 00e3       |    |		Load_Encached	Natural_Cache
03be			BODY_03b8:
03be 00cf       |    |		Action	Mark_Auxiliary
03bf 780d       |x   |		Jump	0x3cd
03c0 00da       |    |		Load_Top	At_Offset_2
03c1 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
03c2 8404       |    |		Call	0x2,0x4
03c3 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
03c4 00d9       |    |		Load_Top	At_Offset_1
03c5 6802       |h   |		Jump_Zero	0x3c8
03c6 00d9       |    |		Load_Top	At_Offset_1
03c7 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03c8 00da       |    |		Load_Top	At_Offset_2
03c9 0217       |    |		Execute	Heap_Access,All_Reference
03ca 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
03cb 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
03cc 00c9       |    |		Action	Pop_Auxiliary_Loop
03cd 00da       |    |		Load_Top	At_Offset_2
03ce 77f1       |w   |		Jump_Nonzero	0x3c0
03cf 00ce       |    |		Action	Pop_Auxiliary
03d0 4800       |H   |		Short_Literal	0x0
03d1 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03d2 0000 0000  |    |		.BLANK	0000[0x6]
03d8 ; --------------------------------------------------------------------------------------
03d8 ; SUBPROGRAM
03d8 ; --------------------------------------------------------------------------------------
03d8 03de       |    |		.CONST	0x03de								; Address of begin
03d9 0004       |    |		.CONST	0x0004								; Address of exception handler
03da 0003       |    |		.CONST	0x0003								; Number of locals
03db			INIT_03d8:
03db 00da       |    |		Load_Top	At_Offset_2
03dc 0007       |    |		Action	Break_Optional
03dd 00ec       |    |		Load_Encached	Diana_Tree_Cache
03de			BODY_03d8:
03de 00cf       |    |		Action	Mark_Auxiliary
03df 7823       |x#  |		Jump	0x403
03e0 00da       |    |		Load_Top	At_Offset_2
03e1 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
03e2 0032       | 2  |		Store_Top	Heap_Access,At_Offset_2
03e3 00d9       |    |		Load_Top	At_Offset_1
03e4 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
03e5 0b40       | @  |		Execute_Immediate	Case_Compare,0x40
03e6 7008       |p   |		Jump_Nonzero	0x3ef
03e7 4842       |HB  |		Short_Literal	0x42
03e8 4845       |HE  |		Short_Literal	0x45
03e9 0262       | b  |		Execute	Discrete,In_Range
03ea 700d       |p   |		Jump_Nonzero	0x3f8
03eb e402       |    |		Load	0x2,0x2
03ec 0a01       |    |		Execute_Immediate	Plus,0x1
03ed c402       |    |		Store	0x2,0x2
03ee 7809       |x   |		Jump	0x3f8
03ef 00d1       |    |		Pop_Control	Pop_Count_1
03f0 00d9       |    |		Load_Top	At_Offset_1
03f1 49a1       |I   |		Short_Literal	0x1a1
03f2 00eb       |    |		Load_Encached	Diana_Cache
03f3 0096       |    |		Execute	Package,Entry
03f4 7003       |p   |		Jump_Nonzero	0x3f8
03f5 e402       |    |		Load	0x2,0x2
03f6 0a01       |    |		Execute_Immediate	Plus,0x1
03f7 c402       |    |		Store	0x2,0x2
03f8 00d9       |    |		Load_Top	At_Offset_1
03f9 e5fe       |    |		Load	0x2,-0x2
03fa 021f       |    |		Execute	Heap_Access,Equal
03fb 6802       |h   |		Jump_Zero	0x3fe
03fc e402       |    |		Load	0x2,0x2
03fd 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
03fe 00da       |    |		Load_Top	At_Offset_2
03ff 0217       |    |		Execute	Heap_Access,All_Reference
0400 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0401 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0402 00c9       |    |		Action	Pop_Auxiliary_Loop
0403 00da       |    |		Load_Top	At_Offset_2
0404 77db       |w   |		Jump_Nonzero	0x3e0
0405 00ce       |    |		Action	Pop_Auxiliary
0406 4800       |H   |		Short_Literal	0x0
0407 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0408 ; --------------------------------------------------------------------------------------
0408 ; SUBPROGRAM
0408 ; --------------------------------------------------------------------------------------
0408 040f       |    |		.CONST	0x040f								; Address of begin
0409 0004       |    |		.CONST	0x0004								; Address of exception handler
040a 0004       |    |		.CONST	0x0004								; Number of locals
040b			INIT_0408:
040b 00da       |    |		Load_Top	At_Offset_2
040c 0007       |    |		Action	Break_Optional
040d 00ec       |    |		Load_Encached	Diana_Tree_Cache
040e 00e3       |    |		Load_Encached	Natural_Cache
040f			BODY_0408:
040f 00cf       |    |		Action	Mark_Auxiliary
0410 7817       |x   |		Jump	0x428
0411 00db       |    |		Load_Top	At_Offset_3
0412 008b       |    |		Action	Heap_Access,Diana_Seq_Type_Get_Head
0413 0033       | 3  |		Store_Top	Heap_Access,At_Offset_3
0414 00da       |    |		Load_Top	At_Offset_2
0415 0145       | E  |		Execute	Heap_Access,Diana_Tree_Kind
0416 0f40       | @  |		Execute_Immediate	Equal,0x40
0417 700b       |p   |		Jump_Nonzero	0x423
0418 00da       |    |		Load_Top	At_Offset_2
0419 00eb       |    |		Load_Encached	Diana_Cache
041a 18e1       |    |		Execute	Package,Field_Execute,Field_Number 0xe1
041b 00eb       |    |		Load_Encached	Diana_Cache
041c 1889       |    |		Execute	Package,Field_Execute,Field_Number 0x89
041d 8405       |    |		Call	0x2,0x5
041e 0052       | R  |		Store_Top_Unchecked	Discrete,At_Offset_2
041f 00d9       |    |		Load_Top	At_Offset_1
0420 6802       |h   |		Jump_Zero	0x423
0421 00d9       |    |		Load_Top	At_Offset_1
0422 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
0423 00db       |    |		Load_Top	At_Offset_3
0424 0217       |    |		Execute	Heap_Access,All_Reference
0425 3c01       |<   |		Execute	Record,Field_Read,Field_Number 0x1
0426 a602       |    |		Store_Unchecked	0x3,0x2
0427 00c9       |    |		Action	Pop_Auxiliary_Loop
0428 00db       |    |		Load_Top	At_Offset_3
0429 77e7       |w   |		Jump_Nonzero	0x411
042a 00ce       |    |		Action	Pop_Auxiliary
042b 4800       |H   |		Short_Literal	0x0
042c 4401       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x1
042d ; --------------------------------------------------------------------------------------
042d ; STRING TABLE
042d ; --------------------------------------------------------------------------------------
042d 0006       |    |		.STRTAB	0x0006->0x0430							; "ASSERT"
042e 000a       |    |		.STRTAB	0x000a->0x0433							; "INSERT"
042f 000e       |    |		.STREND 0x000e->0x0436
0430 4153 5345  |ASSE|		.STRTAB_STRINGS
0436 0000 0000  |    |		.XXX[0x2]
0438 ; --------------------------------------------------------------------------------------
0438 ; Debug Table
0438 ; --------------------------------------------------------------------------------------
0438 0004 000a  |    |		.DEBUG4	0x0004,0x000a,0xa795,0x0000,0x0001,0x0000
043e 0000 0000  |    |		.BLANK	0000[0x1c2]