|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 2048 (0x800)
Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_1884fe
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
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 0278 | x | .CONST 0x0278 ; 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 0001 | | .CONST 0x0001 ; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; SUBPROGRAM
0008 ; See instruction 0x02cf at 0x221, index=0x0
0008 ; --------------------------------------------------------------------------------------
0008 0071 | q | .CONST 0x0071 ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0026 | & | .CONST 0x0026 ; Number of locals
000b INIT_0008:
000b INIT_0008:
000b 4805 |H | Short_Literal 0x5
000c 032b | + | Declare_Type Record,Incomplete,Visible
000d 029a 007b | {| Declare_Subprogram INIT_0078,For_Outer_Call,Visible,Unelaborated
000f 029a 008b | | Declare_Subprogram INIT_0088,For_Outer_Call,Visible,Unelaborated
0011 029a 0093 | | Declare_Subprogram INIT_0090,For_Outer_Call,Visible,Unelaborated
0013 029a 009b | | Declare_Subprogram INIT_0098,For_Outer_Call,Visible,Unelaborated
0015 029a 00cb | | Declare_Subprogram INIT_00c8,For_Outer_Call,Visible,Unelaborated
0017 029a 00e3 | | Declare_Subprogram INIT_00e0,For_Outer_Call,Visible,Unelaborated
0019 029a 00eb | | Declare_Subprogram INIT_00e8,For_Outer_Call,Visible,Unelaborated
001b 029a 0103 | | Declare_Subprogram INIT_0100,For_Outer_Call,Visible,Unelaborated
001d 00e4 | | Load_Encached Positive_Cache
001e 0129 | ) | Execute Any,Make_Visible
001f 029a 011b | | Declare_Subprogram INIT_0118,For_Outer_Call,Visible,Unelaborated
0021 029a 012b | +| Declare_Subprogram INIT_0128,For_Outer_Call,Visible,Unelaborated
0023 029a 0143 | C| Declare_Subprogram INIT_0140,For_Outer_Call,Visible,Unelaborated
0025 029a 016b | k| Declare_Subprogram INIT_0168,For_Outer_Call,Visible,Unelaborated
0027 029a 019b | | Declare_Subprogram INIT_0198,For_Outer_Call,Visible,Unelaborated
0029 029a 01ab | | Declare_Subprogram INIT_01a8,For_Outer_Call,Visible,Unelaborated
002b e001 | | Load 0x0,0x1
002c 0129 | ) | Execute Any,Make_Visible
002d e002 | | Load 0x0,0x2
002e 0129 | ) | Execute Any,Make_Visible
002f e003 | | Load 0x0,0x3
0030 0129 | ) | Execute Any,Make_Visible
0031 4802 |H | Short_Literal 0x2
0032 032a | * | Declare_Type Record,Incomplete
0033 00d8 | | Load_Top At_Offset_0
0034 02a0 | | Declare_Subprogram Null_Subprogram
0035 4818 |H | Short_Literal 0x18
0036 03d3 | | Declare_Type Access,Defined,Accesses_Protected
0037 e20f | | Load 0x1,0xf
0038 00d9 | | Load_Top At_Offset_1
0039 029f 01eb | | Declare_Subprogram INIT_01e8,For_Call
003b e223 | # | Load 0x1,0x23
003c 0326 | & | Complete_Type Record,By_Defining
003d 00d8 | | Load_Top At_Offset_0
003e 00d9 | | Load_Top At_Offset_1
003f 00da | | Load_Top At_Offset_2
0040 00e3 | | Load_Encached Natural_Cache
0041 00e3 | | Load_Encached Natural_Cache
0042 029f 0203 | | Declare_Subprogram INIT_0200,For_Call
0044 e210 | | Load 0x1,0x10
0045 0326 | & | Complete_Type Record,By_Defining
0046 00bf | | Action Accept_Activation
0047 4800 |H | Short_Literal 0x0
0048 0093 021b | | push_full_address INIT_0218
004a 00f5 | | Load_Encached Unused21
004b 037d | } | Declare_Type Task,Defined
004c 036f | o | Declare_Variable Task
004d 00d9 | | Load_Top At_Offset_1
004e 00db | | Load_Top At_Offset_3
004f 4802 |H | Short_Literal 0x2
0050 00db | | Load_Top At_Offset_3
0051 020e | | Execute Module,Augment_Imports
0052 0007 | | Action Break_Optional
0053 029d 01cb | | Declare_Subprogram INIT_01c8,For_Outer_Call
0055 1d11 | | Execute_Immediate Reference_Lex_1,0x11
0056 00c7 | | Action Elaborate_Subprogram
0057 1d12 | | Execute_Immediate Reference_Lex_1,0x12
0058 00c7 | | Action Elaborate_Subprogram
0059 1d13 | | Execute_Immediate Reference_Lex_1,0x13
005a 00c7 | | Action Elaborate_Subprogram
005b 1d14 | | Execute_Immediate Reference_Lex_1,0x14
005c 00c7 | | Action Elaborate_Subprogram
005d 1d15 | | Execute_Immediate Reference_Lex_1,0x15
005e 00c7 | | Action Elaborate_Subprogram
005f 1d16 | | Execute_Immediate Reference_Lex_1,0x16
0060 00c7 | | Action Elaborate_Subprogram
0061 1d17 | | Execute_Immediate Reference_Lex_1,0x17
0062 00c7 | | Action Elaborate_Subprogram
0063 1d18 | | Execute_Immediate Reference_Lex_1,0x18
0064 00c7 | | Action Elaborate_Subprogram
0065 1d1a | | Execute_Immediate Reference_Lex_1,0x1a
0066 00c7 | | Action Elaborate_Subprogram
0067 1d1b | | Execute_Immediate Reference_Lex_1,0x1b
0068 00c7 | | Action Elaborate_Subprogram
0069 1d1c | | Execute_Immediate Reference_Lex_1,0x1c
006a 00c7 | | Action Elaborate_Subprogram
006b 1d1d | | Execute_Immediate Reference_Lex_1,0x1d
006c 00c7 | | Action Elaborate_Subprogram
006d 1d1e | | Execute_Immediate Reference_Lex_1,0x1e
006e 00c7 | | Action Elaborate_Subprogram
006f 1d1f | | Execute_Immediate Reference_Lex_1,0x1f
0070 00c7 | | Action Elaborate_Subprogram
0071 BODY_0008:
0071 BODY_0008:
0071 00be | | Action Activate_Tasks
0072 00bc | | Action Signal_Activated
0073 00bb | | Action Signal_Completion
0074 0000 0000 | | .BLANK 0000[0x4]
0078 ; --------------------------------------------------------------------------------------
0078 ; SUBPROGRAM
0078 ; --------------------------------------------------------------------------------------
0078 007f | | .CONST 0x007f ; Address of begin
0079 0004 | | .CONST 0x0004 ; Address of exception handler
007a 0002 | | .CONST 0x0002 ; Number of locals
007b INIT_0078:
007b e210 | | Load 0x1,0x10
007c 0322 | " | Declare_Variable Record
007d 00d8 | | Load_Top At_Offset_0
007e 1c00 | | Execute_Immediate Run_Utility,0x0
007f BODY_0078:
007f 00d8 | | Load_Top At_Offset_0
0080 00ca | | Action Exit_Nullary_Function
0081 0000 0000 | | .BLANK 0000[0x7]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008b | | .CONST 0x008b ; Address of begin
0089 0004 | | .CONST 0x0004 ; Address of exception handler
008a 0001 | | .CONST 0x0001 ; Number of locals
008b BODY_0088:
008b INIT_0088:
008b 00da | | Load_Top At_Offset_2
008c 8213 | | Call 0x1,0x13
008d 0f00 | | Execute_Immediate Equal,0x0
008e 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
008f 0000 | | .XXX[0x1]
0090 ; --------------------------------------------------------------------------------------
0090 ; SUBPROGRAM
0090 ; --------------------------------------------------------------------------------------
0090 0093 | | .CONST 0x0093 ; Address of begin
0091 0004 | | .CONST 0x0004 ; Address of exception handler
0092 0001 | | .CONST 0x0001 ; Number of locals
0093 BODY_0090:
0093 INIT_0090:
0093 00da | | Load_Top At_Offset_2
0094 3c04 |< | Execute Record,Field_Read,Field_Number 0x4
0095 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0096 0000 0000 | | .XXX[0x2]
0098 ; --------------------------------------------------------------------------------------
0098 ; SUBPROGRAM
0098 ; --------------------------------------------------------------------------------------
0098 00a3 | | .CONST 0x00a3 ; Address of begin
0099 0004 | | .CONST 0x0004 ; Address of exception handler
009a 0003 | | .CONST 0x0003 ; Number of locals
009b INIT_0098:
009b e5fd | | Load 0x2,-0x3
009c 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
009d 0007 | | Action Break_Optional
009e e210 | | Load 0x1,0x10
009f 0322 | " | Declare_Variable Record
00a0 8211 | | Call 0x1,0x11
00a1 00d9 | | Load_Top At_Offset_1
00a2 017d | } | Execute Record,Structure_Write
00a3 BODY_0098:
00a3 00cf | | Action Mark_Auxiliary
00a4 7810 |x | Jump 0xb5
00a5 00d9 | | Load_Top At_Offset_1
00a6 00db | | Load_Top At_Offset_3
00a7 0227 | ' | Execute Access,All_Reference
00a8 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
00a9 e20f | | Load 0x1,0xf
00aa 0119 | | Execute Any,Check_In_Formal_Type
00ab 85fe | | Call 0x2,-0x2
00ac e20f | | Load 0x1,0xf
00ad 0119 | | Execute Any,Check_In_Formal_Type
00ae 821d | | Call 0x1,0x1d
00af 00d1 | | Pop_Control Pop_Count_1
00b0 00da | | Load_Top At_Offset_2
00b1 0227 | ' | Execute Access,All_Reference
00b2 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
00b3 003b | ; | Store_Top Access,At_Offset_3
00b4 00c9 | | Action Pop_Auxiliary_Loop
00b5 00da | | Load_Top At_Offset_2
00b6 77ee |w | Jump_Nonzero 0xa5
00b7 00ce | | Action Pop_Auxiliary
00b8 e5fd | | Load 0x2,-0x3
00b9 8216 | | Call 0x1,0x16
00ba 7005 |p | Jump_Nonzero 0xc0
00bb 00d8 | | Load_Top At_Offset_0
00bc e5fd | | Load 0x2,-0x3
00bd 821a | | Call 0x1,0x1a
00be 821b | | Call 0x1,0x1b
00bf 00d1 | | Pop_Control Pop_Count_1
00c0 00d8 | | Load_Top At_Offset_0
00c1 4403 |D | Exit_Subprogram With_Value,New_Top_Offset 0x3
00c2 0000 0000 | | .BLANK 0000[0x6]
00c8 ; --------------------------------------------------------------------------------------
00c8 ; SUBPROGRAM
00c8 ; --------------------------------------------------------------------------------------
00c8 00cb | | .CONST 0x00cb ; Address of begin
00c9 0004 | | .CONST 0x0004 ; Address of exception handler
00ca 0001 | | .CONST 0x0001 ; Number of locals
00cb BODY_00c8:
00cb INIT_00c8:
00cb 00da | | Load_Top At_Offset_2
00cc 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
00cd 00db | | Load_Top At_Offset_3
00ce 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
00cf 00da | | Load_Top At_Offset_2
00d0 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
00d1 7004 |p | Jump_Nonzero 0xd6
00d2 4800 |H | Short_Literal 0x0
00d3 00db | | Load_Top At_Offset_3
00d4 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
00d5 4501 |E | Exit_Suprogram New_Top_Offset 0x1
00d6 4801 |H | Short_Literal 0x1
00d7 00db | | Load_Top At_Offset_3
00d8 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
00d9 4501 |E | Exit_Suprogram New_Top_Offset 0x1
00da 0000 0000 | | .BLANK 0000[0x6]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00e3 | | .CONST 0x00e3 ; Address of begin
00e1 0004 | | .CONST 0x0004 ; Address of exception handler
00e2 0001 | | .CONST 0x0001 ; Number of locals
00e3 BODY_00e0:
00e3 INIT_00e0:
00e3 00da | | Load_Top At_Offset_2
00e4 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
00e5 022d | - | Execute Access,Is_Null
00e6 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
00e7 0000 | | .XXX[0x1]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; SUBPROGRAM
00e8 ; --------------------------------------------------------------------------------------
00e8 00eb | | .CONST 0x00eb ; Address of begin
00e9 00f7 | | .CONST 0x00f7 ; Address of exception handler
00ea 0001 | | .CONST 0x0001 ; Number of locals
00eb BODY_00e8:
00eb INIT_00e8:
00eb 00da | | Load_Top At_Offset_2
00ec 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
00ed 0227 | ' | Execute Access,All_Reference
00ee 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
00ef 00db | | Load_Top At_Offset_3
00f0 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
00f1 00da | | Load_Top At_Offset_2
00f2 3c03 |< | Execute Record,Field_Read,Field_Number 0x3
00f3 0a01 | | Execute_Immediate Plus,0x1
00f4 00db | | Load_Top At_Offset_3
00f5 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
00f6 4501 |E | Exit_Suprogram New_Top_Offset 0x1
00f7 TRAP_00e8:
00f7 010e | | Execute Exception,Is_Constraint_Error
00f8 6805 |h | Jump_Zero 0xfe
00f9 4800 |H | Short_Literal 0x0
00fa e5ff | | Load 0x2,-0x1
00fb 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
00fc e221 | ! | Load 0x1,0x21
00fd 0257 | W | Execute Discrete,Raise
00fe 0100 | | Execute Exception,Raise
00ff 0000 | | .XXX[0x1]
0100 ; --------------------------------------------------------------------------------------
0100 ; SUBPROGRAM
0100 ; --------------------------------------------------------------------------------------
0100 0103 | | .CONST 0x0103 ; Address of begin
0101 010f | | .CONST 0x010f ; Address of exception handler
0102 0001 | | .CONST 0x0001 ; Number of locals
0103 BODY_0100:
0103 INIT_0100:
0103 00da | | Load_Top At_Offset_2
0104 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
0105 0227 | ' | Execute Access,All_Reference
0106 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
0107 00d8 | | Load_Top At_Offset_0
0108 0120 | | Execute Any,Is_Value
0109 7002 |p | Jump_Nonzero 0x10c
010a 00d8 | | Load_Top At_Offset_0
010b 011e | | Execute Any,Convert
010c e20f | | Load 0x1,0xf
010d 0119 | | Execute Any,Check_In_Formal_Type
010e 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
010f TRAP_0100:
010f 010e | | Execute Exception,Is_Constraint_Error
0110 6802 |h | Jump_Zero 0x113
0111 e220 | | Load 0x1,0x20
0112 0257 | W | Execute Discrete,Raise
0113 0100 | | Execute Exception,Raise
0114 0000 0000 | | .BLANK 0000[0x4]
0118 ; --------------------------------------------------------------------------------------
0118 ; SUBPROGRAM
0118 ; --------------------------------------------------------------------------------------
0118 011b | | .CONST 0x011b ; Address of begin
0119 0123 | # | .CONST 0x0123 ; Address of exception handler
011a 0001 | | .CONST 0x0001 ; Number of locals
011b BODY_0118:
011b INIT_0118:
011b 00da | | Load_Top At_Offset_2
011c 3c03 |< | Execute Record,Field_Read,Field_Number 0x3
011d 00d8 | | Load_Top At_Offset_0
011e e219 | | Load 0x1,0x19
011f 0260 | ` | Execute Discrete,In_Type
0120 7001 |p | Jump_Nonzero 0x122
0121 0801 | | Execute_Immediate Raise,0x1
0122 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
0123 TRAP_0118:
0123 010e | | Execute Exception,Is_Constraint_Error
0124 6802 |h | Jump_Zero 0x127
0125 e220 | | Load 0x1,0x20
0126 0257 | W | Execute Discrete,Raise
0127 0100 | | Execute Exception,Raise
0128 ; --------------------------------------------------------------------------------------
0128 ; SUBPROGRAM
0128 ; --------------------------------------------------------------------------------------
0128 012b | + | .CONST 0x012b ; Address of begin
0129 0134 | 4 | .CONST 0x0134 ; Address of exception handler
012a 0001 | | .CONST 0x0001 ; Number of locals
012b BODY_0128:
012b INIT_0128:
012b 00db | | Load_Top At_Offset_3
012c e5fe | | Load 0x2,-0x2
012d 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
012e 4801 |H | Short_Literal 0x1
012f e5ff | | Load 0x2,-0x1
0130 8226 | & | Call 0x1,0x26
0131 e5fe | | Load 0x2,-0x2
0132 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
0133 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0134 TRAP_0128:
0134 010e | | Execute Exception,Is_Constraint_Error
0135 6802 |h | Jump_Zero 0x138
0136 e222 | " | Load 0x1,0x22
0137 0257 | W | Execute Discrete,Raise
0138 0100 | | Execute Exception,Raise
0139 0000 0000 | | .BLANK 0000[0x7]
0140 ; --------------------------------------------------------------------------------------
0140 ; SUBPROGRAM
0140 ; --------------------------------------------------------------------------------------
0140 014a | J | .CONST 0x014a ; Address of begin
0141 015c | \ | .CONST 0x015c ; Address of exception handler
0142 0003 | | .CONST 0x0003 ; Number of locals
0143 INIT_0140:
0143 e210 | | Load 0x1,0x10
0144 0322 | " | Declare_Variable Record
0145 e5fe | | Load 0x2,-0x2
0146 00d9 | | Load_Top At_Offset_1
0147 017d | } | Execute Record,Structure_Write
0148 e224 | $ | Load 0x1,0x24
0149 0007 | | Action Break_Optional
014a BODY_0140:
014a 00d9 | | Load_Top At_Offset_1
014b 00d9 | | Load_Top At_Offset_1
014c 4800 |H | Short_Literal 0x0
014d e5ff | | Load 0x2,-0x1
014e 8226 | & | Call 0x1,0x26
014f 003a | : | Store_Top Access,At_Offset_2
0150 00d1 | | Pop_Control Pop_Count_1
0151 00d8 | | Load_Top At_Offset_0
0152 0227 | ' | Execute Access,All_Reference
0153 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
0154 00d8 | | Load_Top At_Offset_0
0155 0120 | | Execute Any,Is_Value
0156 7002 |p | Jump_Nonzero 0x159
0157 00d8 | | Load_Top At_Offset_0
0158 011e | | Execute Any,Convert
0159 e20f | | Load 0x1,0xf
015a 0119 | | Execute Any,Check_In_Formal_Type
015b 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
015c TRAP_0140:
015c 010e | | Execute Exception,Is_Constraint_Error
015d 6802 |h | Jump_Zero 0x160
015e e222 | " | Load 0x1,0x22
015f 0257 | W | Execute Discrete,Raise
0160 0100 | | Execute Exception,Raise
0161 0000 0000 | | .BLANK 0000[0x7]
0168 ; --------------------------------------------------------------------------------------
0168 ; SUBPROGRAM
0168 ; --------------------------------------------------------------------------------------
0168 016d | m | .CONST 0x016d ; Address of begin
0169 0004 | | .CONST 0x0004 ; Address of exception handler
016a 0002 | | .CONST 0x0002 ; Number of locals
016b INIT_0168:
016b e224 | $ | Load 0x1,0x24
016c 0007 | | Action Break_Optional
016d BODY_0168:
016d e224 | $ | Load 0x1,0x24
016e e5ff | | Load 0x2,-0x1
016f e20f | | Load 0x1,0xf
0170 0119 | | Execute Any,Check_In_Formal_Type
0171 4802 |H | Short_Literal 0x2
0172 e225 | % | Load 0x1,0x25
0173 170d | | Execute Task,Entry_Call,Field_Number 0xd
0174 0039 | 9 | Store_Top Access,At_Offset_1
0175 e5fe | | Load 0x2,-0x2
0176 8212 | | Call 0x1,0x12
0177 6810 |h | Jump_Zero 0x188
0178 4801 |H | Short_Literal 0x1
0179 e5fe | | Load 0x2,-0x2
017a 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
017b 00d8 | | Load_Top At_Offset_0
017c e5fe | | Load 0x2,-0x2
017d 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
017e 00d8 | | Load_Top At_Offset_0
017f e5fe | | Load 0x2,-0x2
0180 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
0181 00d8 | | Load_Top At_Offset_0
0182 e5fe | | Load 0x2,-0x2
0183 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0184 4801 |H | Short_Literal 0x1
0185 e5fe | | Load 0x2,-0x2
0186 3804 |8 | Execute Record,Field_Write,Field_Number 0x4
0187 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0188 00d8 | | Load_Top At_Offset_0
0189 e5fe | | Load 0x2,-0x2
018a 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
018b 0227 | ' | Execute Access,All_Reference
018c 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
018d 00d8 | | Load_Top At_Offset_0
018e e5fe | | Load 0x2,-0x2
018f 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0190 e5fe | | Load 0x2,-0x2
0191 3c04 |< | Execute Record,Field_Read,Field_Number 0x4
0192 0a01 | | Execute_Immediate Plus,0x1
0193 e5fe | | Load 0x2,-0x2
0194 3804 |8 | Execute Record,Field_Write,Field_Number 0x4
0195 4502 |E | Exit_Suprogram New_Top_Offset 0x2
0196 0000 0000 | | .XXX[0x2]
0198 ; --------------------------------------------------------------------------------------
0198 ; SUBPROGRAM
0198 ; --------------------------------------------------------------------------------------
0198 019b | | .CONST 0x019b ; Address of begin
0199 01a1 | | .CONST 0x01a1 ; Address of exception handler
019a 0001 | | .CONST 0x0001 ; Number of locals
019b BODY_0198:
019b INIT_0198:
019b 00da | | Load_Top At_Offset_2
019c e5fe | | Load 0x2,-0x2
019d 3c02 |< | Execute Record,Field_Read,Field_Number 0x2
019e 0227 | ' | Execute Access,All_Reference
019f 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
01a0 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01a1 TRAP_0198:
01a1 010e | | Execute Exception,Is_Constraint_Error
01a2 6802 |h | Jump_Zero 0x1a5
01a3 e220 | | Load 0x1,0x20
01a4 0257 | W | Execute Discrete,Raise
01a5 0100 | | Execute Exception,Raise
01a6 0000 0000 | | .XXX[0x2]
01a8 ; --------------------------------------------------------------------------------------
01a8 ; SUBPROGRAM
01a8 ; --------------------------------------------------------------------------------------
01a8 01af | | .CONST 0x01af ; Address of begin
01a9 0004 | | .CONST 0x0004 ; Address of exception handler
01aa 0003 | | .CONST 0x0003 ; Number of locals
01ab INIT_01a8:
01ab 00da | | Load_Top At_Offset_2
01ac 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01ad 0007 | | Action Break_Optional
01ae e224 | $ | Load 0x1,0x24
01af BODY_01a8:
01af 00cf | | Action Mark_Auxiliary
01b0 780c |x | Jump 0x1bd
01b1 00da | | Load_Top At_Offset_2
01b2 003a | : | Store_Top Access,At_Offset_2
01b3 00d9 | | Load_Top At_Offset_1
01b4 0227 | ' | Execute Access,All_Reference
01b5 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01b6 003b | ; | Store_Top Access,At_Offset_3
01b7 00d9 | | Load_Top At_Offset_1
01b8 4801 |H | Short_Literal 0x1
01b9 e225 | % | Load 0x1,0x25
01ba 170e | | Execute Task,Entry_Call,Field_Number 0xe
01bb 003a | : | Store_Top Access,At_Offset_2
01bc 00c9 | | Action Pop_Auxiliary_Loop
01bd 00da | | Load_Top At_Offset_2
01be 77f2 |w | Jump_Nonzero 0x1b1
01bf 00ce | | Action Pop_Auxiliary
01c0 8211 | | Call 0x1,0x11
01c1 e5ff | | Load 0x2,-0x1
01c2 017d | } | Execute Record,Structure_Write
01c3 4501 |E | Exit_Suprogram New_Top_Offset 0x1
01c4 0000 0000 | | .BLANK 0000[0x4]
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01cf | | .CONST 0x01cf ; Address of begin
01c9 0004 | | .CONST 0x0004 ; Address of exception handler
01ca 0002 | | .CONST 0x0002 ; Number of locals
01cb INIT_01c8:
01cb 00da | | Load_Top At_Offset_2
01cc 0aff | | Execute_Immediate Plus,-0x1
01cd 00e3 | | Load_Encached Natural_Cache
01ce 03ec | | Declare_Variable Discrete,With_Value,With_Constraint
01cf BODY_01c8:
01cf e5fc | | Load 0x2,-0x4
01d0 3c00 |< | Execute Record,Field_Read,Field_Number 0x0
01d1 a5fd | | Store_Unchecked 0x2,-0x3
01d2 00cf | | Action Mark_Auxiliary
01d3 00d9 | | Load_Top At_Offset_1
01d4 4801 |H | Short_Literal 0x1
01d5 0263 | c | Execute Discrete,Above_Bound
01d6 7006 |p | Jump_Nonzero 0x1dd
01d7 e5fd | | Load 0x2,-0x3
01d8 0227 | ' | Execute Access,All_Reference
01d9 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
01da a5fd | | Store_Unchecked 0x2,-0x3
01db 00c8 | | Action Pop_Auxiliary_Range
01dc 3ffa |? | Loop_Increasing 0x1d7
01dd 00ce | | Action Pop_Auxiliary
01de e5fe | | Load 0x2,-0x2
01df 6806 |h | Jump_Zero 0x1e6
01e0 e5fd | | Load 0x2,-0x3
01e1 e5fc | | Load 0x2,-0x4
01e2 3802 |8 | Execute Record,Field_Write,Field_Number 0x2
01e3 00d8 | | Load_Top At_Offset_0
01e4 e5fc | | Load 0x2,-0x4
01e5 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
01e6 4503 |E | Exit_Suprogram New_Top_Offset 0x3
01e7 0000 | | .XXX[0x1]
01e8 ; --------------------------------------------------------------------------------------
01e8 ; SUBPROGRAM
01e8 ; --------------------------------------------------------------------------------------
01e8 01eb | | .CONST 0x01eb ; Address of begin
01e9 0004 | | .CONST 0x0004 ; Address of exception handler
01ea 0001 | | .CONST 0x0001 ; Number of locals
01eb BODY_01e8:
01eb INIT_01e8:
01eb 4608 |F | Jump_Case 0x9
01ec 7808 |x | Jump 0x1f5 ; case 0x0
01ed 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
01ee 780d |x | Jump 0x1fc ; case 0x2
01ef 780c |x | Jump 0x1fc ; case 0x3
01f0 780b |x | Jump 0x1fc ; case 0x4
01f1 780a |x | Jump 0x1fc ; case 0x5
01f2 7809 |x | Jump 0x1fc ; case 0x6
01f3 7808 |x | Jump 0x1fc ; case 0x7
01f4 7807 |x | Jump 0x1fc ; case 0x8
01f5 00da | | Load_Top At_Offset_2
01f6 3400 |4 | Execute Record,Field_Reference,Field_Number 0x0
01f7 0125 | % | Execute Any,Set_Constraint
01f8 00da | | Load_Top At_Offset_2
01f9 3400 |4 | Execute Record,Field_Reference,Field_Number 0x0
01fa 1c00 | | Execute_Immediate Run_Utility,0x0
01fb 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
01fc 0869 | i | Execute_Immediate Raise,0x69
01fd 0000 0000 | | .XXX[0x3]
01ff 0000 | |
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 0203 | | .CONST 0x0203 ; Address of begin
0201 0004 | | .CONST 0x0004 ; Address of exception handler
0202 0001 | | .CONST 0x0001 ; Number of locals
0203 BODY_0200:
0203 INIT_0200:
0203 4608 |F | Jump_Case 0x9
0204 7808 |x | Jump 0x20d ; case 0x0
0205 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
0206 780d |x | Jump 0x214 ; case 0x2
0207 780c |x | Jump 0x214 ; case 0x3
0208 780b |x | Jump 0x214 ; case 0x4
0209 780a |x | Jump 0x214 ; case 0x5
020a 7809 |x | Jump 0x214 ; case 0x6
020b 7808 |x | Jump 0x214 ; case 0x7
020c 7807 |x | Jump 0x214 ; case 0x8
020d 4800 |H | Short_Literal 0x0
020e 00db | | Load_Top At_Offset_3
020f 3803 |8 | Execute Record,Field_Write,Field_Number 0x3
0210 4800 |H | Short_Literal 0x0
0211 00db | | Load_Top At_Offset_3
0212 3804 |8 | Execute Record,Field_Write,Field_Number 0x4
0213 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
0214 0869 | i | Execute_Immediate Raise,0x69
0215 0000 0000 | | .XXX[0x3]
0217 0000 | |
0218 ; --------------------------------------------------------------------------------------
0218 ; SUBPROGRAM
0218 ; --------------------------------------------------------------------------------------
0218 022b | + | .CONST 0x022b ; Address of begin
0219 0004 | | .CONST 0x0004 ; Address of exception handler
021a 0010 | | .CONST 0x0010 ; Number of locals
021b INIT_0218:
021b 4802 |H | Short_Literal 0x2
021c 02cb | | Declare_Variable Entry
021d 4801 |H | Short_Literal 0x1
021e 02cb | | Declare_Variable Entry
021f 00bf | | Action Accept_Activation
0220 e001 | | Load 0x0,0x1
0221 480e 4847 |H HG| Declare_Variable Select 0x000, 0x002,
0223 480d 4849 |H HI| [0x000]: 0x001 = 0x0008,
0225 4800 4801 |H H | [0x00d]: 0x049 = 0x0248,
0227 4800 4802 |H H | [0x00e]: 0x047 = 0x0238
0229 02cf | |
022a 00bc | | Action Signal_Activated
022b BODY_0218:
022b 00cf | | Action Mark_Auxiliary
022c 00d9 | | Load_Top At_Offset_1
022d 013f | ? | Execute Select,Rendezvous
022e 00d1 | | Pop_Control Pop_Count_1
022f 00c9 | | Action Pop_Auxiliary_Loop
0230 7ffb | | Jump 0x22c
0231 0000 0000 | | .BLANK 0000[0x7]
0238 ; --------------------------------------------------------------------------------------
0238 ; SUBPROGRAM
0238 ; See instruction 0x02cf at 0x221, index=0xe
0238 ; --------------------------------------------------------------------------------------
0238 023b | ; | .CONST 0x023b ; Address of begin
0239 0004 | | .CONST 0x0004 ; Address of exception handler
023a 0001 | | .CONST 0x0001 ; Number of locals
023b BODY_0238:
023b INIT_0238:
023b e20f | | Load 0x1,0xf
023c e5fe | | Load 0x2,-0x2
023d 0227 | ' | Execute Access,All_Reference
023e 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
023f 00db | | Load_Top At_Offset_3
0240 a20f | | Store_Unchecked 0x1,0xf
0241 4101 |A | End_Rendezvous 0x1
0242 0000 0000 | | .BLANK 0000[0x6]
0248 ; --------------------------------------------------------------------------------------
0248 ; SUBPROGRAM
0248 ; See instruction 0x02cf at 0x221, index=0xd
0248 ; --------------------------------------------------------------------------------------
0248 024b | K | .CONST 0x024b ; Address of begin
0249 0004 | | .CONST 0x0004 ; Address of exception handler
024a 0001 | | .CONST 0x0001 ; Number of locals
024b BODY_0248:
024b INIT_0248:
024b 029f 0253 | S| Declare_Subprogram INIT_0250,For_Call
024d 8402 | | Call 0x2,0x2
024e 4101 |A | End_Rendezvous 0x1
024f 0000 | | .XXX[0x1]
0250 ; --------------------------------------------------------------------------------------
0250 ; SUBPROGRAM
0250 ; --------------------------------------------------------------------------------------
0250 0255 | U | .CONST 0x0255 ; Address of begin
0251 0004 | | .CONST 0x0004 ; Address of exception handler
0252 0002 | | .CONST 0x0002 ; Number of locals
0253 INIT_0250:
0253 e001 | | Load 0x0,0x1
0254 0007 | | Action Break_Optional
0255 BODY_0250:
0255 e20f | | Load 0x1,0xf
0256 700f |p | Jump_Nonzero 0x266
0257 e002 | | Load 0x0,0x2
0258 0322 | " | Declare_Variable Record
0259 e5fe | | Load 0x2,-0x2
025a e002 | | Load 0x0,0x2
025b 3000 |0 | Execute Record,Field_Type,Field_Number 0x0
025c 0119 | | Execute Any,Check_In_Formal_Type
025d 00d9 | | Load_Top At_Offset_1
025e 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
025f e001 | | Load 0x0,0x1
0260 00d9 | | Load_Top At_Offset_1
0261 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0262 e001 | | Load 0x0,0x1
0263 03b6 | | Declare_Variable Access,By_Allocation,With_Value
0264 0039 | 9 | Store_Top Access,At_Offset_1
0265 780e |x | Jump 0x274
0266 e20f | | Load 0x1,0xf
0267 0039 | 9 | Store_Top Access,At_Offset_1
0268 e20f | | Load 0x1,0xf
0269 0227 | ' | Execute Access,All_Reference
026a 3c01 |< | Execute Record,Field_Read,Field_Number 0x1
026b a20f | | Store_Unchecked 0x1,0xf
026c e001 | | Load 0x0,0x1
026d 00d9 | | Load_Top At_Offset_1
026e 0227 | ' | Execute Access,All_Reference
026f 3801 |8 | Execute Record,Field_Write,Field_Number 0x1
0270 e5fe | | Load 0x2,-0x2
0271 00d9 | | Load_Top At_Offset_1
0272 0227 | ' | Execute Access,All_Reference
0273 3800 |8 | Execute Record,Field_Write,Field_Number 0x0
0274 00d8 | | Load_Top At_Offset_0
0275 a5fd | | Store_Unchecked 0x2,-0x3
0276 4501 |E | Exit_Suprogram New_Top_Offset 0x1
0277 0000 | | .XXX[0x1]
0278 ; --------------------------------------------------------------------------------------
0278 ; Debug Table
0278 ; --------------------------------------------------------------------------------------
0278 0004 0001 | | .DEBUG4 0x0004,0x0001,0x7139,0x0000,0x0001,0x0018
027e 000b 02de | | .DBG4T 0x000b,0x02de,0xc000,0x0000
0282 0047 02f7 | G | .DBG4T 0x0047,0x02f7,0xc000,0x8000
0286 007b 031b | { | .DBG4T 0x007b,0x031b,0x1002,0x0000
028a 008b 031f | | .DBG4T 0x008b,0x031f,0x1002,0x0000
028e 0093 0322 | "| .DBG4T 0x0093,0x0322,0x1002,0x0000
0292 009b 0325 | %| .DBG4T 0x009b,0x0325,0x3802,0x4002
0296 00cb 0335 | 5| .DBG4T 0x00cb,0x0335,0x1001,0x0000
029a 00e3 033b | ;| .DBG4T 0x00e3,0x033b,0x1002,0x0000
029e 00eb 033e | >| .DBG4T 0x00eb,0x033e,0x1001,0x0000
02a2 0103 0344 | D| .DBG4T 0x0103,0x0344,0x1002,0x0000
02a6 011b 0348 | H| .DBG4T 0x011b,0x0348,0x1002,0x0000
02aa 012b 034c | + L| .DBG4T 0x012b,0x034c,0x1001,0x0000
02ae 0143 0350 | C P| .DBG4T 0x0143,0x0350,0x1002,0x0000
02b2 016b 0357 | k W| .DBG4T 0x016b,0x0357,0x1001,0x0000
02b6 019b 0364 | d| .DBG4T 0x019b,0x0364,0x1001,0x0000
02ba 01ab 0368 | h| .DBG4T 0x01ab,0x0368,0x1001,0x4000
02be 01cb 0376 | v| .DBG4T 0x01cb,0x0376,0x1001,0x0000
02c2 01eb 0000 | | .DBG4T 0x01eb,0x0000,0x1005,0x0000
02c6 0203 0000 | | .DBG4T 0x0203,0x0000,0x1005,0x0000
02ca 021b 037f | | .DBG4T 0x021b,0x037f,0x0000,0x0000
02ce 0220 0383 | | .DBG4T 0x0220,0x0383,0x0000,0x4000
02d2 023b 0388 | ; | .DBG4T 0x023b,0x0388,0x0003,0x0000
02d6 024b 038c | K | .DBG4T 0x024b,0x038c,0x0003,0x0000
02da 0253 038f | S | .DBG4T 0x0253,0x038f,0x0004,0x0000
02de ; --------------------------------------------------------------------------------------
02de ; Debug chain
02de ; --------------------------------------------------------------------------------------
02de 0017 0000 | | .DBGLEN 0x0017,0x0000
02e0 000b 000d | | .DBGLNO 0x000b,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0019,0x001b,0x001d,0x001f,0x0021,0x0023,0x0025,0x0027,0x0029,0x002b,0x002d,0x002f,0x0031,0x0033,0x0037,0x003d
02f7 ; --------------------------------------------------------------------------------------
02f7 ; Debug chain
02f7 ; --------------------------------------------------------------------------------------
02f7 0011 0000 | | .DBGLEN 0x0011,0x0000
02f9 0047 004d | G M| .DBGLNO 0x0047,0x004d,0x0053,0x0055,0x0057,0x0059,0x005b,0x005d,0x005f,0x0061,0x0063,0x0065,0x0067,0x0069,0x006b,0x006d,0x006f
030a 0003 0004 | | .XXX[0x11]
030c 0005 0006 | |
030e 0007 0008 | |
0310 0009 000a | |
0312 000b 000c | |
0314 000d 000e | |
0316 000f 0010 | |
0318 0011 0012 | |
031a 0013 | |
031b ; --------------------------------------------------------------------------------------
031b ; Debug chain
031b ; --------------------------------------------------------------------------------------
031b 0001 0001 | | .DBGLEN 0x0001,0x0001
031d 007b 007f | { | .DBGLNO 0x007b,0x007f
031f ; --------------------------------------------------------------------------------------
031f ; Debug chain
031f ; --------------------------------------------------------------------------------------
031f 0000 0001 | | .DBGLEN 0x0000,0x0001
0321 008b | | .DBGLNO 0x008b
0322 ; --------------------------------------------------------------------------------------
0322 ; Debug chain
0322 ; --------------------------------------------------------------------------------------
0322 0000 0001 | | .DBGLEN 0x0000,0x0001
0324 0093 | | .DBGLNO 0x0093
0325 ; --------------------------------------------------------------------------------------
0325 ; Debug chain
0325 ; --------------------------------------------------------------------------------------
0325 0002 0006 | | .DBGLEN 0x0002,0x0006
0327 009b 009e | | .DBGLNO 0x009b,0x009e,0x00a5,0x00b0,0x00b5,0x00b8,0x00bb,0x00c0
032f 0002 0003 | | .XXX[0x6]
0331 0001 0004 | |
0333 0005 0006 | |
0335 ; --------------------------------------------------------------------------------------
0335 ; Debug chain
0335 ; --------------------------------------------------------------------------------------
0335 0000 0004 | | .DBGLEN 0x0000,0x0004
0337 00cb 00cf | | .DBGLNO 0x00cb,0x00cf,0x00d2,0x00d6
033b ; --------------------------------------------------------------------------------------
033b ; Debug chain
033b ; --------------------------------------------------------------------------------------
033b 0000 0001 | | .DBGLEN 0x0000,0x0001
033d 00e3 | | .DBGLNO 0x00e3
033e ; --------------------------------------------------------------------------------------
033e ; Debug chain
033e ; --------------------------------------------------------------------------------------
033e 0000 0004 | | .DBGLEN 0x0000,0x0004
0340 00eb 00f1 | | .DBGLNO 0x00eb,0x00f1,0x00f9,0x00fc
0344 ; --------------------------------------------------------------------------------------
0344 ; Debug chain
0344 ; --------------------------------------------------------------------------------------
0344 0000 0002 | | .DBGLEN 0x0000,0x0002
0346 0103 0111 | | .DBGLNO 0x0103,0x0111
0348 ; --------------------------------------------------------------------------------------
0348 ; Debug chain
0348 ; --------------------------------------------------------------------------------------
0348 0000 0002 | | .DBGLEN 0x0000,0x0002
034a 011b 0125 | %| .DBGLNO 0x011b,0x0125
034c ; --------------------------------------------------------------------------------------
034c ; Debug chain
034c ; --------------------------------------------------------------------------------------
034c 0000 0002 | | .DBGLEN 0x0000,0x0002
034e 012b 0136 | + 6| .DBGLNO 0x012b,0x0136
0350 ; --------------------------------------------------------------------------------------
0350 ; Debug chain
0350 ; --------------------------------------------------------------------------------------
0350 0002 0003 | | .DBGLEN 0x0002,0x0003
0352 0143 0148 | C H| .DBGLNO 0x0143,0x0148,0x014a,0x0151,0x015e
0357 ; --------------------------------------------------------------------------------------
0357 ; Debug chain
0357 ; --------------------------------------------------------------------------------------
0357 0001 000a | | .DBGLEN 0x0001,0x000a
0359 016b 016d | k m| .DBGLNO 0x016b,0x016d,0x0175,0x0178,0x017b,0x017e,0x0181,0x0184,0x0188,0x018d,0x0190
0364 ; --------------------------------------------------------------------------------------
0364 ; Debug chain
0364 ; --------------------------------------------------------------------------------------
0364 0000 0002 | | .DBGLEN 0x0000,0x0002
0366 019b 01a3 | | .DBGLNO 0x019b,0x01a3
0368 ; --------------------------------------------------------------------------------------
0368 ; Debug chain
0368 ; --------------------------------------------------------------------------------------
0368 0002 0005 | | .DBGLEN 0x0002,0x0005
036a 01ab 01ae | | .DBGLNO 0x01ab,0x01ae,0x01b1,0x01b3,0x01b7,0x01bd,0x01c0
0371 0002 0003 | | .XXX[0x5]
0373 0004 0001 | |
0375 0005 | |
0376 ; --------------------------------------------------------------------------------------
0376 ; Debug chain
0376 ; --------------------------------------------------------------------------------------
0376 0001 0006 | | .DBGLEN 0x0001,0x0006
0378 01cb 01cf | | .DBGLNO 0x01cb,0x01cf,0x01d3,0x01d7,0x01de,0x01e0,0x01e3
037f ; --------------------------------------------------------------------------------------
037f ; Debug chain
037f ; --------------------------------------------------------------------------------------
037f 0002 0000 | | .DBGLEN 0x0002,0x0000
0381 021b 021d | | .DBGLNO 0x021b,0x021d
0383 ; --------------------------------------------------------------------------------------
0383 ; Debug chain
0383 ; --------------------------------------------------------------------------------------
0383 0001 0001 | | .DBGLEN 0x0001,0x0001
0385 0220 022c | ,| .DBGLNO 0x0220,0x022c
0387 0002 | | .XXX[0x1]
0388 ; --------------------------------------------------------------------------------------
0388 ; Debug chain
0388 ; --------------------------------------------------------------------------------------
0388 0000 0002 | | .DBGLEN 0x0000,0x0002
038a 023b 023f | ; ?| .DBGLNO 0x023b,0x023f
038c ; --------------------------------------------------------------------------------------
038c ; Debug chain
038c ; --------------------------------------------------------------------------------------
038c 0000 0001 | | .DBGLEN 0x0000,0x0001
038e 024d | M | .DBGLNO 0x024d
038f ; --------------------------------------------------------------------------------------
038f ; Debug chain
038f ; --------------------------------------------------------------------------------------
038f 0001 0007 | | .DBGLEN 0x0001,0x0007
0391 0253 0255 | S U| .DBGLNO 0x0253,0x0255,0x0257,0x0266,0x0268,0x026c,0x0270,0x0274
0399 0000 0000 | | .BLANK 0000[0x67]