|
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, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0340e4
└─⟦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 5900 |Y | .CONST 0x5900 ; Diana Version, RCG Major Version, RCG minor version 0002 0000 | | .CONST 0x0000 ; Zero 0003 0348 | H | .CONST 0x0348 ; 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 ; -------------------------------------------------------------------------------------- 0008 003d | = | .CONST 0x003d ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 0016 | | .CONST 0x0016 ; Number of locals 000b INIT_0008: 000b 029a 0043 | C| Declare_Subprogram INIT_0040,For_Outer_Call,Visible,Unelaborated 000d 029a 008b | | Declare_Subprogram INIT_0088,For_Outer_Call,Visible,Unelaborated 000f 00da | | Load_Top At_Offset_2 0010 0266 | f | Execute Discrete,Bounds 0011 00e3 | | Load_Encached Natural_Cache 0012 02a0 | | Declare_Subprogram Null_Subprogram 0013 4801 |H | Short_Literal 0x1 0014 035e | ^ | Declare_Type Array,Defined,Visible 0015 4805 |H | Short_Literal 0x5 0016 0093 00d3 | | push_full_address INIT_00d0 0018 02a0 | | Declare_Subprogram Null_Subprogram 0019 038d | | Declare_Type Package,Defined,Visible,Not_Elaborated 001a 00bf | | Action Accept_Activation 001b e001 | | Load 0x0,0x1 001c e002 | | Load 0x0,0x2 001d 00e6 | | Load_Encached Float_Cache 001e e003 | | Load 0x0,0x3 001f 1b79 | y | Execute Package,Field_Read,Field_Number 0x79 0020 0387 | | Declare_Variable Package 0021 00d8 | | Load_Top At_Offset_0 0022 020f | | Execute Module,Activate 0023 029d 00a3 | | Declare_Subprogram INIT_00a0,For_Outer_Call 0025 1d10 | | Execute_Immediate Reference_Lex_1,0x10 0026 00c7 | | Action Elaborate_Subprogram 0027 1d11 | | Execute_Immediate Reference_Lex_1,0x11 0028 00c7 | | Action Elaborate_Subprogram 0029 029d 00bb | | Declare_Subprogram INIT_00b8,For_Outer_Call 002b e004 | | Load 0x0,0x4 002c e005 | | Load 0x0,0x5 002d e006 | | Load 0x0,0x6 002e e007 | | Load 0x0,0x7 002f e008 | | Load 0x0,0x8 0030 00b6 | | Action Make_Scope 0031 e009 | | Load 0x0,0x9 0032 e00a | | Load 0x0,0xa 0033 1d15 | | Execute_Immediate Reference_Lex_1,0x15 0034 e00b | | Load 0x0,0xb 0035 e00c | | Load 0x0,0xc 0036 e00d | | Load 0x0,0xd 0037 1d16 | | Execute_Immediate Reference_Lex_1,0x16 0038 480d |H | Short_Literal 0xd 0039 e213 | | Load 0x1,0x13 003a 020e | | Execute Module,Augment_Imports 003b 00db | | Load_Top At_Offset_3 003c 020d | | Execute Module,Elaborate 003d BODY_0008: 003d 00bc | | Action Signal_Activated 003e 00bb | | Action Signal_Completion 003f 0000 | | .XXX[0x1] 0040 ; -------------------------------------------------------------------------------------- 0040 ; SUBPROGRAM 0040 ; -------------------------------------------------------------------------------------- 0040 0054 | T | .CONST 0x0054 ; Address of begin 0041 0004 | | .CONST 0x0004 ; Address of exception handler 0042 0003 | | .CONST 0x0003 ; Number of locals 0043 INIT_0040: 0043 4800 |H | Short_Literal 0x0 0044 4820 |H | Short_Literal 0x20 0045 485f |H_ | Short_Literal 0x5f 0046 e5ff | | Load 0x2,-0x1 0047 e20f | | Load 0x1,0xf 0048 0122 | " | Execute Any,Make_Root_Type 0049 011c | | Execute Any,Convert_Unchecked 004a 1c01 | | Execute_Immediate Run_Utility,0x1 004b e00e | | Load 0x0,0xe 004c 1816 | | Execute Package,Field_Execute,Field_Number 0x16 004d 4801 |H | Short_Literal 0x1 004e 00d9 | | Load_Top At_Offset_1 004f 4820 |H | Short_Literal 0x20 0050 e00f | | Load 0x0,0xf 0051 181e | | Execute Package,Field_Execute,Field_Number 0x1e 0052 00e3 | | Load_Encached Natural_Cache 0053 03f1 | | Declare_Variable Discrete,With_Value 0054 BODY_0040: 0054 00d8 | | Load_Top At_Offset_0 0055 7004 |p | Jump_Nonzero 0x5a 0056 4853 |HS | Short_Literal 0x53 0057 00da | | Load_Top At_Offset_2 0058 01cb | | Execute Vector,Append 0059 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 005a 00d9 | | Load_Top At_Offset_1 005b 01dd | | Execute Vector,First 005c 00d9 | | Load_Top At_Offset_1 005d 0aff | | Execute_Immediate Plus,-0x1 005e 00db | | Load_Top At_Offset_3 005f 01cf | | Execute Vector,Slice_Read 0060 0092 02c1 | | Action Push_String_Extended,0x2c1 ; "A" 0062 01df | | Execute Vector,Equal 0063 700a |p | Jump_Nonzero 0x6e 0064 00d9 | | Load_Top At_Offset_1 0065 01dd | | Execute Vector,First 0066 00d9 | | Load_Top At_Offset_1 0067 0aff | | Execute_Immediate Plus,-0x1 0068 00db | | Load_Top At_Offset_3 0069 01cf | | Execute Vector,Slice_Read 006a 0092 02c2 | | Action Push_String_Extended,0x2c2 ; "AN" 006c 01df | | Execute Vector,Equal 006d 680e |h | Jump_Zero 0x7c 006e 4853 |HS | Short_Literal 0x53 006f 00d9 | | Load_Top At_Offset_1 0070 0a01 | | Execute_Immediate Plus,0x1 0071 00d8 | | Load_Top At_Offset_0 0072 00e2 | | Load_Encached Integer_Cache 0073 0260 | ` | Execute Discrete,In_Type 0074 7001 |p | Jump_Nonzero 0x76 0075 0801 | | Execute_Immediate Raise,0x1 0076 00db | | Load_Top At_Offset_3 0077 01dc | | Execute Vector,Last 0078 e402 | | Load 0x2,0x2 0079 01cf | | Execute Vector,Slice_Read 007a 01cb | | Execute Vector,Append 007b 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 007c 00d9 | | Load_Top At_Offset_1 007d 01dc | | Execute Vector,Last 007e 00da | | Load_Top At_Offset_2 007f 01d7 | | Execute Vector,Field_Read 0080 0f53 | S | Execute_Immediate Equal,0x53 0081 6804 |h | Jump_Zero 0x86 0082 4853 |HS | Short_Literal 0x53 0083 00da | | Load_Top At_Offset_2 0084 01cb | | Execute Vector,Append 0085 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0086 00d9 | | Load_Top At_Offset_1 0087 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 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 4829 |H) | Short_Literal 0x29 008c 4828 |H( | Short_Literal 0x28 008d 4820 |H | Short_Literal 0x20 008e e5ff | | Load 0x2,-0x1 008f 0a01 | | Execute_Immediate Plus,0x1 0090 00d8 | | Load_Top At_Offset_0 0091 00e2 | | Load_Encached Integer_Cache 0092 0260 | ` | Execute Discrete,In_Type 0093 7001 |p | Jump_Nonzero 0x95 0094 0801 | | Execute_Immediate Raise,0x1 0095 00e0 | | Load_Encached Standard_Cache 0096 1818 | | Execute Package,Field_Execute,Field_Number 0x18 0097 e00f | | Load 0x0,0xf 0098 181c | | Execute Package,Field_Execute,Field_Number 0x1c 0099 01ca | | Execute Vector,Prepend 009a 01cb | | Execute Vector,Append 009b 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 009c 0000 0000 | | .BLANK 0000[0x4] 00a0 ; -------------------------------------------------------------------------------------- 00a0 ; SUBPROGRAM 00a0 ; -------------------------------------------------------------------------------------- 00a0 00a8 | | .CONST 0x00a8 ; Address of begin 00a1 0004 | | .CONST 0x0004 ; Address of exception handler 00a2 0002 | | .CONST 0x0002 ; Number of locals 00a3 INIT_00a0: 00a3 4801 |H | Short_Literal 0x1 00a4 480a |H | Short_Literal 0xa 00a5 00e9 | | Load_Encached String_Cache 00a6 035b | [ | Declare_Type Array,Constrained 00a7 0337 | 7 | Declare_Variable Array 00a8 BODY_00a0: 00a8 00d8 | | Load_Top At_Offset_0 00a9 4800 |H | Short_Literal 0x0 00aa 4802 |H | Short_Literal 0x2 00ab e5ff | | Load 0x2,-0x1 00ac e214 | | Load 0x1,0x14 00ad 1818 | | Execute Package,Field_Execute,Field_Number 0x18 00ae 00d1 | | Pop_Control Pop_Count_1 00af 4820 |H | Short_Literal 0x20 00b0 00d9 | | Load_Top At_Offset_1 00b1 e00f | | Load 0x0,0xf 00b2 181c | | Execute Package,Field_Execute,Field_Number 0x1c 00b3 00e9 | | Load_Encached String_Cache 00b4 01c6 | | Execute Vector,Convert_To_Formal 00b5 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 00b6 0000 0000 | | .XXX[0x2] 00b8 ; -------------------------------------------------------------------------------------- 00b8 ; SUBPROGRAM 00b8 ; -------------------------------------------------------------------------------------- 00b8 00be | | .CONST 0x00be ; Address of begin 00b9 0004 | | .CONST 0x0004 ; Address of exception handler 00ba 0002 | | .CONST 0x0002 ; Number of locals 00bb INIT_00b8: 00bb 00da | | Load_Top At_Offset_2 00bc e00b | | Load 0x0,0xb 00bd 1826 | & | Execute Package,Field_Execute,Field_Number 0x26 00be BODY_00b8: 00be 00db | | Load_Top At_Offset_3 00bf e00b | | Load 0x0,0xb 00c0 1821 | ! | Execute Package,Field_Execute,Field_Number 0x21 00c1 6805 |h | Jump_Zero 0xc7 00c2 00d8 | | Load_Top At_Offset_0 00c3 0092 02c3 | | Action Push_String_Extended,0x2c3 ; "'spec" 00c5 01cc | | Execute Vector,Catenate 00c6 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 00c7 00d8 | | Load_Top At_Offset_0 00c8 0092 02c4 | | Action Push_String_Extended,0x2c4 ; "'body" 00ca 01cc | | Execute Vector,Catenate 00cb 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 00cc 0000 0000 | | .BLANK 0000[0x4] 00d0 ; -------------------------------------------------------------------------------------- 00d0 ; SUBPROGRAM 00d0 ; -------------------------------------------------------------------------------------- 00d0 00e2 | | .CONST 0x00e2 ; Address of begin 00d1 0004 | | .CONST 0x0004 ; Address of exception handler 00d2 0015 | | .CONST 0x0015 ; Number of locals 00d3 INIT_00d0: 00d3 029a 00eb | | Declare_Subprogram INIT_00e8,For_Outer_Call,Visible,Unelaborated 00d5 029a 0143 | C| Declare_Subprogram INIT_0140,For_Outer_Call,Visible,Unelaborated 00d7 029a 01d3 | | Declare_Subprogram INIT_01d0,For_Outer_Call,Visible,Unelaborated 00d9 00bf | | Action Accept_Activation 00da 1d12 | | Execute_Immediate Reference_Lex_1,0x12 00db 00c7 | | Action Elaborate_Subprogram 00dc 1d14 | | Execute_Immediate Reference_Lex_1,0x14 00dd 00c7 | | Action Elaborate_Subprogram 00de 029d 02bb | | Declare_Subprogram INIT_02b8,For_Outer_Call 00e0 1d13 | | Execute_Immediate Reference_Lex_1,0x13 00e1 00c7 | | Action Elaborate_Subprogram 00e2 BODY_00d0: 00e2 00bc | | Action Signal_Activated 00e3 00bb | | Action Signal_Completion 00e4 0000 0000 | | .BLANK 0000[0x4] 00e8 ; -------------------------------------------------------------------------------------- 00e8 ; SUBPROGRAM 00e8 ; -------------------------------------------------------------------------------------- 00e8 00f4 | | .CONST 0x00f4 ; Address of begin 00e9 0004 | | .CONST 0x0004 ; Address of exception handler 00ea 0002 | | .CONST 0x0002 ; Number of locals 00eb INIT_00e8: 00eb e001 | | Load 0x0,0x1 00ec e002 | | Load 0x0,0x2 00ed 4802 |H | Short_Literal 0x2 00ee 0092 02c5 | | Action Push_String_Extended,0x2c5 ; " " 00f0 e003 | | Load 0x0,0x3 00f1 0387 | | Declare_Variable Package 00f2 00d8 | | Load_Top At_Offset_0 00f3 020f | | Execute Module,Activate 00f4 BODY_00e8: 00f4 4800 |H | Short_Literal 0x0 00f5 4800 |H | Short_Literal 0x0 00f6 0092 02c6 | | Action Push_String_Extended,0x2c6 ; "Full Construct Name" 00f8 00db | | Load_Top At_Offset_3 00f9 1812 | | Execute Package,Field_Execute,Field_Number 0x12 00fa 4800 |H | Short_Literal 0x0 00fb 4802 |H | Short_Literal 0x2 00fc 0092 02c7 | | Action Push_String_Extended,0x2c7 ; "Reference" 00fe 00db | | Load_Top At_Offset_3 00ff 1812 | | Execute Package,Field_Execute,Field_Number 0x12 0100 00cf | | Action Mark_Auxiliary 0101 e5fe | | Load 0x2,-0x2 0102 e5ff | | Load 0x2,-0x1 0103 0263 | c | Execute Discrete,Above_Bound 0104 702f |p/ | Jump_Nonzero 0x134 0105 00ea | | Load_Encached Null_String_Cache 0106 e004 | | Load 0x0,0x4 0107 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0108 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 0109 e004 | | Load 0x0,0x4 010a 1b0d | | Execute Package,Field_Read,Field_Number 0xd 010b 180e | | Execute Package,Field_Execute,Field_Number 0xe 010c e005 | | Load 0x0,0x5 010d 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 010e e005 | | Load 0x0,0x5 010f 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0110 e405 | | Load 0x2,0x5 0111 e006 | | Load 0x0,0x6 0112 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0113 00d9 | | Load_Top At_Offset_1 0114 00d0 | | Action Swap_Control 0115 0260 | ` | Execute Discrete,In_Type 0116 7001 |p | Jump_Nonzero 0x118 0117 0801 | | Execute_Immediate Raise,0x1 0118 820f | | Call 0x1,0xf 0119 e402 | | Load 0x2,0x2 011a 1813 | | Execute Package,Field_Execute,Field_Number 0x13 011b 00ea | | Load_Encached Null_String_Cache 011c e004 | | Load 0x0,0x4 011d 1b0d | | Execute Package,Field_Read,Field_Number 0xd 011e 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 011f e004 | | Load 0x0,0x4 0120 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0121 180e | | Execute Package,Field_Execute,Field_Number 0xe 0122 e005 | | Load 0x0,0x5 0123 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0124 e005 | | Load 0x0,0x5 0125 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0126 e405 | | Load 0x2,0x5 0127 e006 | | Load 0x0,0x6 0128 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0129 00d9 | | Load_Top At_Offset_1 012a 00d0 | | Action Swap_Control 012b 0260 | ` | Execute Discrete,In_Type 012c 7001 |p | Jump_Nonzero 0x12e 012d 0801 | | Execute_Immediate Raise,0x1 012e e006 | | Load 0x0,0x6 012f 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0130 e402 | | Load 0x2,0x2 0131 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0132 00c8 | | Action Pop_Auxiliary_Range 0133 3fd1 |? | Loop_Increasing 0x105 0134 00ce | | Action Pop_Auxiliary 0135 e5fd | | Load 0x2,-0x3 0136 0092 02c8 | | Action Push_String_Extended,0x2c8 ; "Key" 0138 00da | | Load_Top At_Offset_2 0139 1817 | | Execute Package,Field_Execute,Field_Number 0x17 013a c5fd | | Store 0x2,-0x3 013b 4503 |E | Exit_Suprogram New_Top_Offset 0x3 013c 0000 0000 | | .BLANK 0000[0x4] 0140 ; -------------------------------------------------------------------------------------- 0140 ; SUBPROGRAM 0140 ; -------------------------------------------------------------------------------------- 0140 014d | M | .CONST 0x014d ; Address of begin 0141 0004 | | .CONST 0x0004 ; Address of exception handler 0142 0002 | | .CONST 0x0002 ; Number of locals 0143 INIT_0140: 0143 e007 | | Load 0x0,0x7 0144 e008 | | Load 0x0,0x8 0145 e5fb | | Load 0x2,-0x5 0146 8215 | | Call 0x1,0x15 0147 0092 02c5 | | Action Push_String_Extended,0x2c5 ; " " 0149 e003 | | Load 0x0,0x3 014a 0387 | | Declare_Variable Package 014b 00d8 | | Load_Top At_Offset_0 014c 020f | | Execute Module,Activate 014d BODY_0140: 014d 4800 |H | Short_Literal 0x0 014e 4800 |H | Short_Literal 0x0 014f 0092 02c9 | | Action Push_String_Extended,0x2c9 ; "Construct" 0151 00db | | Load_Top At_Offset_3 0152 1812 | | Execute Package,Field_Execute,Field_Number 0x12 0153 4800 |H | Short_Literal 0x0 0154 4801 |H | Short_Literal 0x1 0155 0092 02ca | | Action Push_String_Extended,0x2ca ; "Count" 0157 00db | | Load_Top At_Offset_3 0158 1812 | | Execute Package,Field_Execute,Field_Number 0x12 0159 e5fb | | Load 0x2,-0x5 015a 6805 |h | Jump_Zero 0x160 015b 4800 |H | Short_Literal 0x0 015c 4801 |H | Short_Literal 0x1 015d e5fa | | Load 0x2,-0x6 015e 00db | | Load_Top At_Offset_3 015f 1812 | | Execute Package,Field_Execute,Field_Number 0x12 0160 00cf | | Action Mark_Auxiliary 0161 e5fc | | Load 0x2,-0x4 0162 e5fd | | Load 0x2,-0x3 0163 0263 | c | Execute Discrete,Above_Bound 0164 7050 |pP | Jump_Nonzero 0x1b5 0165 0092 02cb | | Action Push_String_Extended,0x2cb ; "Full name of the Ada Construct" 0167 e004 | | Load 0x0,0x4 0168 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0169 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 016a e004 | | Load 0x0,0x4 016b 1b0d | | Execute Package,Field_Read,Field_Number 0xd 016c 180e | | Execute Package,Field_Execute,Field_Number 0xe 016d e005 | | Load 0x0,0x5 016e 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 016f e005 | | Load 0x0,0x5 0170 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0171 e405 | | Load 0x2,0x5 0172 e006 | | Load 0x0,0x6 0173 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0174 00d9 | | Load_Top At_Offset_1 0175 00d0 | | Action Swap_Control 0176 0260 | ` | Execute Discrete,In_Type 0177 7001 |p | Jump_Nonzero 0x179 0178 0801 | | Execute_Immediate Raise,0x1 0179 820f | | Call 0x1,0xf 017a e402 | | Load 0x2,0x2 017b 1813 | | Execute Package,Field_Execute,Field_Number 0x13 017c 0092 02cc | | Action Push_String_Extended,0x2cc ; "Total number of " 017e 00d9 | | Load_Top At_Offset_1 017f e006 | | Load 0x0,0x6 0180 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0181 00d9 | | Load_Top At_Offset_1 0182 00d0 | | Action Swap_Control 0183 0260 | ` | Execute Discrete,In_Type 0184 7001 |p | Jump_Nonzero 0x186 0185 0801 | | Execute_Immediate Raise,0x1 0186 820f | | Call 0x1,0xf 0187 01cc | | Execute Vector,Catenate 0188 0092 02cd | | Action Push_String_Extended,0x2cd ; " in this unit" 018a 01cc | | Execute Vector,Catenate 018b e004 | | Load 0x0,0x4 018c 1b0d | | Execute Package,Field_Read,Field_Number 0xd 018d 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 018e e004 | | Load 0x0,0x4 018f 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0190 180e | | Execute Package,Field_Execute,Field_Number 0xe 0191 e005 | | Load 0x0,0x5 0192 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0193 e005 | | Load 0x0,0x5 0194 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0195 e405 | | Load 0x2,0x5 0196 e5f9 | | Load 0x2,-0x7 0197 01d7 | | Execute Vector,Field_Read 0198 00e0 | | Load_Encached Standard_Cache 0199 1818 | | Execute Package,Field_Execute,Field_Number 0x18 019a e402 | | Load 0x2,0x2 019b 1813 | | Execute Package,Field_Execute,Field_Number 0x13 019c e5fb | | Load 0x2,-0x5 019d 6815 |h | Jump_Zero 0x1b3 019e e5fa | | Load 0x2,-0x6 019f e004 | | Load 0x0,0x4 01a0 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01a1 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 01a2 e004 | | Load 0x0,0x4 01a3 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01a4 180e | | Execute Package,Field_Execute,Field_Number 0xe 01a5 e005 | | Load 0x0,0x5 01a6 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 01a7 e005 | | Load 0x0,0x5 01a8 1b0e | | Execute Package,Field_Read,Field_Number 0xe 01a9 e405 | | Load 0x2,0x5 01aa e5f9 | | Load 0x2,-0x7 01ab 01d7 | | Execute Vector,Field_Read 01ac 0237 | 7 | Execute Float,Convert_From_Discrete 01ad e5fb | | Load 0x2,-0x5 01ae 0237 | 7 | Execute Float,Convert_From_Discrete 01af 023a | : | Execute Float,Divide 01b0 8009 | | Call 0x0,0x9 01b1 e402 | | Load 0x2,0x2 01b2 1813 | | Execute Package,Field_Execute,Field_Number 0x13 01b3 00c8 | | Action Pop_Auxiliary_Range 01b4 3fb0 |? | Loop_Increasing 0x165 01b5 00ce | | Action Pop_Auxiliary 01b6 00db | | Load_Top At_Offset_3 01b7 e005 | | Load 0x0,0x5 01b8 180f | | Execute Package,Field_Execute,Field_Number 0xf 01b9 6806 |h | Jump_Zero 0x1c0 01ba e5f8 | | Load 0x2,-0x8 01bb e5fe | | Load 0x2,-0x2 01bc 00da | | Load_Top At_Offset_2 01bd 1817 | | Execute Package,Field_Execute,Field_Number 0x17 01be c5f8 | | Store 0x2,-0x8 01bf 4508 |E | Exit_Suprogram New_Top_Offset 0x8 01c0 e5f8 | | Load 0x2,-0x8 01c1 e5fe | | Load 0x2,-0x2 01c2 0092 02ce | | Action Push_String_Extended,0x2ce ; " for unit " 01c4 01cc | | Execute Vector,Catenate 01c5 e5ff | | Load 0x2,-0x1 01c6 e00a | | Load 0x0,0xa 01c7 1826 | & | Execute Package,Field_Execute,Field_Number 0x26 01c8 01cc | | Execute Vector,Catenate 01c9 00da | | Load_Top At_Offset_2 01ca 1817 | | Execute Package,Field_Execute,Field_Number 0x17 01cb c5f8 | | Store 0x2,-0x8 01cc 4508 |E | Exit_Suprogram New_Top_Offset 0x8 01cd 0000 0000 | | .XXX[0x3] 01cf 0000 | | 01d0 ; -------------------------------------------------------------------------------------- 01d0 ; SUBPROGRAM 01d0 ; -------------------------------------------------------------------------------------- 01d0 0201 | | .CONST 0x0201 ; Address of begin 01d1 0004 | | .CONST 0x0004 ; Address of exception handler 01d2 0006 | | .CONST 0x0006 ; Number of locals 01d3 INIT_01d0: 01d3 e5fc | | Load 0x2,-0x4 01d4 e5fd | | Load 0x2,-0x3 01d5 0272 | r | Execute Discrete,Minus 01d6 0a01 | | Execute_Immediate Plus,0x1 01d7 00e3 | | Load_Encached Natural_Cache 01d8 03ec | | Declare_Variable Discrete,With_Value,With_Constraint 01d9 e00b | | Load 0x0,0xb 01da e00c | | Load 0x0,0xc 01db 00da | | Load_Top At_Offset_2 01dc 0a01 | | Execute_Immediate Plus,0x1 01dd 00d8 | | Load_Top At_Offset_0 01de 00e4 | | Load_Encached Positive_Cache 01df 0260 | ` | Execute Discrete,In_Type 01e0 7001 |p | Jump_Nonzero 0x1e2 01e1 0801 | | Execute_Immediate Raise,0x1 01e2 0092 02c5 | | Action Push_String_Extended,0x2c5 ; " " 01e4 e003 | | Load 0x0,0x3 01e5 0387 | | Declare_Variable Package 01e6 00d8 | | Load_Top At_Offset_0 01e7 020f | | Execute Module,Activate 01e8 e005 | | Load 0x0,0x5 01e9 1b0d | | Execute Package,Field_Read,Field_Number 0xd 01ea 02c7 | | Declare_Variable Any 01eb 00d8 | | Load_Top At_Offset_0 01ec 1c00 | | Execute_Immediate Run_Utility,0x0 01ed e006 | | Load 0x0,0x6 01ee 1b12 | | Execute Package,Field_Read,Field_Number 0x12 01ef 0337 | 7 | Declare_Variable Array 01f0 e006 | | Load 0x0,0x6 01f1 1b12 | | Execute Package,Field_Read,Field_Number 0x12 01f2 0337 | 7 | Declare_Variable Array 01f3 00d8 | | Load_Top At_Offset_0 01f4 0335 | 5 | Declare_Variable Array,Duplicate 01f5 00cd | | Action Spare6_Action 01f6 00d9 | | Load_Top At_Offset_1 01f7 01d9 | | Execute Vector,Reverse_Bounds 01f8 0263 | c | Execute Discrete,Above_Bound 01f9 7005 |p | Jump_Nonzero 0x1ff 01fa 4800 |H | Short_Literal 0x0 01fb 00d9 | | Load_Top At_Offset_1 01fc e407 | | Load 0x2,0x7 01fd 01d6 | | Execute Vector,Field_Write 01fe 3ffb |? | Loop_Increasing 0x1fa 01ff 00d9 | | Load_Top At_Offset_1 0200 01d4 | | Execute Vector,Structure_Write 0201 BODY_01d0: 0201 4800 |H | Short_Literal 0x0 0202 4800 |H | Short_Literal 0x0 0203 0092 02cf | | Action Push_String_Extended,0x2cf ; "Unit" 0205 e403 | | Load 0x2,0x3 0206 1812 | | Execute Package,Field_Execute,Field_Number 0x12 0207 00cf | | Action Mark_Auxiliary 0208 e5fc | | Load 0x2,-0x4 0209 e5fd | | Load 0x2,-0x3 020a 0263 | c | Execute Discrete,Above_Bound 020b 7010 |p | Jump_Nonzero 0x21c 020c 4800 |H | Short_Literal 0x0 020d 4801 |H | Short_Literal 0x1 020e 00da | | Load_Top At_Offset_2 020f e006 | | Load 0x0,0x6 0210 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0211 00d9 | | Load_Top At_Offset_1 0212 00d0 | | Action Swap_Control 0213 0260 | ` | Execute Discrete,In_Type 0214 7001 |p | Jump_Nonzero 0x216 0215 0801 | | Execute_Immediate Raise,0x1 0216 e006 | | Load 0x0,0x6 0217 1811 | | Execute Package,Field_Execute,Field_Number 0x11 0218 e403 | | Load 0x2,0x3 0219 1812 | | Execute Package,Field_Execute,Field_Number 0x12 021a 00c8 | | Action Pop_Auxiliary_Range 021b 3ff0 |? | Loop_Increasing 0x20c 021c 00c9 | | Action Pop_Auxiliary_Loop 021d 7851 |xQ | Jump 0x26f 021e e5fb | | Load 0x2,-0x5 021f e005 | | Load 0x0,0x5 0220 1824 | $ | Execute Package,Field_Execute,Field_Number 0x24 0221 c404 | | Store 0x2,0x4 0222 e5ff | | Load 0x2,-0x1 0223 e210 | | Load 0x1,0x10 0224 0119 | | Execute Any,Check_In_Formal_Type 0225 e404 | | Load 0x2,0x4 0226 8211 | | Call 0x1,0x11 0227 00db | | Load_Top At_Offset_3 0228 01d4 | | Execute Vector,Structure_Write 0229 0092 02d0 | | Action Push_String_Extended,0x2d0 ; "Name of the analyzed Ada unit" 022b e004 | | Load 0x0,0x4 022c 1b0d | | Execute Package,Field_Read,Field_Number 0xd 022d 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 022e e004 | | Load 0x0,0x4 022f 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0230 180e | | Execute Package,Field_Execute,Field_Number 0xe 0231 e005 | | Load 0x0,0x5 0232 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0233 e404 | | Load 0x2,0x4 0234 00d8 | | Load_Top At_Offset_0 0235 800d | | Call 0x0,0xd 0236 e403 | | Load 0x2,0x3 0237 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0238 00cf | | Action Mark_Auxiliary 0239 e5fc | | Load 0x2,-0x4 023a e5fd | | Load 0x2,-0x3 023b 0263 | c | Execute Discrete,Above_Bound 023c 702c |p, | Jump_Nonzero 0x269 023d 00d8 | | Load_Top At_Offset_0 023e e406 | | Load 0x2,0x6 023f 01d7 | | Execute Vector,Field_Read 0240 00d9 | | Load_Top At_Offset_1 0241 e405 | | Load 0x2,0x5 0242 01d7 | | Execute Vector,Field_Read 0243 0273 | s | Execute Discrete,Plus 0244 00d9 | | Load_Top At_Offset_1 0245 e406 | | Load 0x2,0x6 0246 01d6 | | Execute Vector,Field_Write 0247 0092 02cc | | Action Push_String_Extended,0x2cc ; "Total number of " 0249 00d9 | | Load_Top At_Offset_1 024a e006 | | Load 0x0,0x6 024b 1b0f | | Execute Package,Field_Read,Field_Number 0xf 024c 00d9 | | Load_Top At_Offset_1 024d 00d0 | | Action Swap_Control 024e 0260 | ` | Execute Discrete,In_Type 024f 7001 |p | Jump_Nonzero 0x251 0250 0801 | | Execute_Immediate Raise,0x1 0251 820f | | Call 0x1,0xf 0252 01cc | | Execute Vector,Catenate 0253 0092 02d1 | | Action Push_String_Extended,0x2d1 ; " for this unit" 0255 01cc | | Execute Vector,Catenate 0256 e004 | | Load 0x0,0x4 0257 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0258 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 0259 e004 | | Load 0x0,0x4 025a 1b0d | | Execute Package,Field_Read,Field_Number 0xd 025b 180e | | Execute Package,Field_Execute,Field_Number 0xe 025c e005 | | Load 0x0,0x5 025d 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 025e e005 | | Load 0x0,0x5 025f 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0260 e40a | | Load 0x2,0xa 0261 e405 | | Load 0x2,0x5 0262 01d7 | | Execute Vector,Field_Read 0263 00e0 | | Load_Encached Standard_Cache 0264 1818 | | Execute Package,Field_Execute,Field_Number 0x18 0265 e403 | | Load 0x2,0x3 0266 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0267 00c8 | | Action Pop_Auxiliary_Range 0268 3fd4 |? | Loop_Increasing 0x23d 0269 00ce | | Action Pop_Auxiliary 026a e5fb | | Load 0x2,-0x5 026b e005 | | Load 0x0,0x5 026c 1822 | " | Execute Package,Field_Execute,Field_Number 0x22 026d c5fb | | Store 0x2,-0x5 026e 00c9 | | Action Pop_Auxiliary_Loop 026f e5fb | | Load 0x2,-0x5 0270 e005 | | Load 0x0,0x5 0271 1823 | # | Execute Package,Field_Execute,Field_Number 0x23 0272 6fab |o | Jump_Zero 0x21e 0273 00ce | | Action Pop_Auxiliary 0274 0092 02d2 | | Action Push_String_Extended,0x2d2 ; "Totals for all units" 0276 e004 | | Load 0x0,0x4 0277 1b0d | | Execute Package,Field_Read,Field_Number 0xd 0278 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 0279 e004 | | Load 0x0,0x4 027a 1b0d | | Execute Package,Field_Read,Field_Number 0xd 027b 180e | | Execute Package,Field_Execute,Field_Number 0xe 027c e005 | | Load 0x0,0x5 027d 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 027e e005 | | Load 0x0,0x5 027f 1b0e | | Execute Package,Field_Read,Field_Number 0xe 0280 0092 02d3 | | Action Push_String_Extended,0x2d3 ; "TOTAL" 0282 e403 | | Load 0x2,0x3 0283 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0284 00cf | | Action Mark_Auxiliary 0285 e5fc | | Load 0x2,-0x4 0286 e5fd | | Load 0x2,-0x3 0287 0263 | c | Execute Discrete,Above_Bound 0288 7022 |p" | Jump_Nonzero 0x2ab 0289 0092 02d4 | | Action Push_String_Extended,0x2d4 ; "Total " 028b 00d9 | | Load_Top At_Offset_1 028c e006 | | Load 0x0,0x6 028d 1b0f | | Execute Package,Field_Read,Field_Number 0xf 028e 00d9 | | Load_Top At_Offset_1 028f 00d0 | | Action Swap_Control 0290 0260 | ` | Execute Discrete,In_Type 0291 7001 |p | Jump_Nonzero 0x293 0292 0801 | | Execute_Immediate Raise,0x1 0293 820f | | Call 0x1,0xf 0294 01cc | | Execute Vector,Catenate 0295 0092 02d5 | | Action Push_String_Extended,0x2d5 ; " for all units" 0297 01cc | | Execute Vector,Catenate 0298 e004 | | Load 0x0,0x4 0299 1b0d | | Execute Package,Field_Read,Field_Number 0xd 029a 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 029b e004 | | Load 0x0,0x4 029c 1b0d | | Execute Package,Field_Read,Field_Number 0xd 029d 180e | | Execute Package,Field_Execute,Field_Number 0xe 029e e005 | | Load 0x0,0x5 029f 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 02a0 e005 | | Load 0x0,0x5 02a1 1b0e | | Execute Package,Field_Read,Field_Number 0xe 02a2 e409 | | Load 0x2,0x9 02a3 e406 | | Load 0x2,0x6 02a4 01d7 | | Execute Vector,Field_Read 02a5 00e0 | | Load_Encached Standard_Cache 02a6 1818 | | Execute Package,Field_Execute,Field_Number 0x18 02a7 e403 | | Load 0x2,0x3 02a8 1813 | | Execute Package,Field_Execute,Field_Number 0x13 02a9 00c8 | | Action Pop_Auxiliary_Range 02aa 3fde |? | Loop_Increasing 0x289 02ab 00ce | | Action Pop_Auxiliary 02ac e5fa | | Load 0x2,-0x6 02ad e5fe | | Load 0x2,-0x2 02ae e403 | | Load 0x2,0x3 02af 1817 | | Execute Package,Field_Execute,Field_Number 0x17 02b0 c5fa | | Store 0x2,-0x6 02b1 e5fb | | Load 0x2,-0x5 02b2 e005 | | Load 0x0,0x5 02b3 1825 | % | Execute Package,Field_Execute,Field_Number 0x25 02b4 c5fb | | Store 0x2,-0x5 02b5 4505 |E | Exit_Suprogram New_Top_Offset 0x5 02b6 0000 0000 | | .XXX[0x2] 02b8 ; -------------------------------------------------------------------------------------- 02b8 ; SUBPROGRAM 02b8 ; -------------------------------------------------------------------------------------- 02b8 02bb | | .CONST 0x02bb ; Address of begin 02b9 0004 | | .CONST 0x0004 ; Address of exception handler 02ba 0001 | | .CONST 0x0001 ; Number of locals 02bb BODY_02b8: 02bb INIT_02b8: 02bb 00da | | Load_Top At_Offset_2 02bc 7002 |p | Jump_Nonzero 0x2bf 02bd 4802 |H | Short_Literal 0x2 02be 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 02bf 4803 |H | Short_Literal 0x3 02c0 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 02c1 ; -------------------------------------------------------------------------------------- 02c1 ; STRING TABLE 02c1 ; -------------------------------------------------------------------------------------- 02c1 002c | , | .STRTAB 0x002c->0x02d7 ; "A" 02c2 002b | + | .STRTAB 0x002b->0x02d7 ; "AN" 02c3 002b | + | .STRTAB 0x002b->0x02d8 ; "'spec" 02c4 002e | . | .STRTAB 0x002e->0x02db ; "'body" 02c5 0031 | 1 | .STRTAB 0x0031->0x02dd ; " " 02c6 0030 | 0 | .STRTAB 0x0030->0x02de ; "Full Construct Name" 02c7 0041 | A | .STRTAB 0x0041->0x02e7 ; "Reference" 02c8 0048 | H | .STRTAB 0x0048->0x02ec ; "Key" 02c9 0049 | I | .STRTAB 0x0049->0x02ed ; "Construct" 02ca 0050 | P | .STRTAB 0x0050->0x02f2 ; "Count" 02cb 0053 | S | .STRTAB 0x0053->0x02f4 ; "Full name of the Ada Construct" 02cc 006f | o | .STRTAB 0x006f->0x0303 ; "Total number of " 02cd 007d | } | .STRTAB 0x007d->0x030b ; " in this unit" 02ce 0088 | | .STRTAB 0x0088->0x0312 ; " for unit " 02cf 0090 | | .STRTAB 0x0090->0x0317 ; "Unit" 02d0 0092 | | .STRTAB 0x0092->0x0319 ; "Name of the analyzed Ada unit" 02d1 00ad | | .STRTAB 0x00ad->0x0327 ; " for this unit" 02d2 00b9 | | .STRTAB 0x00b9->0x032e ; "Totals for all units" 02d3 00cb | | .STRTAB 0x00cb->0x0338 ; "TOTAL" 02d4 00ce | | .STRTAB 0x00ce->0x033b ; "Total " 02d5 00d2 | | .STRTAB 0x00d2->0x033e ; " for all units" 02d6 00de | | .STREND 0x00de->0x0345 02d7 4141 4e27 |AAN'| .STRTAB_STRINGS 0345 0000 0000 | | .XXX[0x3] 0347 0000 | | 0348 ; -------------------------------------------------------------------------------------- 0348 ; Debug Table 0348 ; -------------------------------------------------------------------------------------- 0348 0004 0004 | | .DEBUG4 0x0004,0x0004,0x2e93,0x0000,0x0001,0x000c 034e 000b 037e | ~| .DBG4T 0x000b,0x037e,0xc000,0x0000 0352 001b 0384 | | .DBG4T 0x001b,0x0384,0xc000,0x0000 0356 0043 038c | C | .DBG4T 0x0043,0x038c,0x1002,0x0000 035a 008b 0397 | | .DBG4T 0x008b,0x0397,0x1002,0x0000 035e 00a3 039a | | .DBG4T 0x00a3,0x039a,0x1002,0x0000 0362 00bb 039f | | .DBG4T 0x00bb,0x039f,0x1002,0x0000 0366 00d3 03a5 | | .DBG4T 0x00d3,0x03a5,0x4000,0x0000 036a 00da 03aa | | .DBG4T 0x00da,0x03aa,0x4000,0x0000 036e 00eb 03b0 | | .DBG4T 0x00eb,0x03b0,0x1001,0x0000 0372 0143 03b9 | C | .DBG4T 0x0143,0x03b9,0x1001,0x0000 0376 01d3 03c8 | | .DBG4T 0x01d3,0x03c8,0x1001,0x4000 037a 02bb 03ef | | .DBG4T 0x02bb,0x03ef,0x1002,0x0000 037e ; -------------------------------------------------------------------------------------- 037e ; Debug chain 037e ; -------------------------------------------------------------------------------------- 037e 0004 0000 | | .DBGLEN 0x0004,0x0000 0380 000b 000d | | .DBGLNO 0x000b,0x000d,0x000f,0x0015 0384 ; -------------------------------------------------------------------------------------- 0384 ; Debug chain 0384 ; -------------------------------------------------------------------------------------- 0384 0006 0000 | | .DBGLEN 0x0006,0x0000 0386 001b 0023 | #| .DBGLNO 0x001b,0x0023,0x0025,0x0027,0x0029,0x002b 038c ; -------------------------------------------------------------------------------------- 038c ; Debug chain 038c ; -------------------------------------------------------------------------------------- 038c 0002 0007 | | .DBGLEN 0x0002,0x0007 038e 0043 004d | C M| .DBGLNO 0x0043,0x004d,0x0054,0x0056,0x005a,0x006e,0x007c,0x0082,0x0086 0397 ; -------------------------------------------------------------------------------------- 0397 ; Debug chain 0397 ; -------------------------------------------------------------------------------------- 0397 0000 0001 | | .DBGLEN 0x0000,0x0001 0399 008b | | .DBGLNO 0x008b 039a ; -------------------------------------------------------------------------------------- 039a ; Debug chain 039a ; -------------------------------------------------------------------------------------- 039a 0001 0002 | | .DBGLEN 0x0001,0x0002 039c 00a3 00a8 | | .DBGLNO 0x00a3,0x00a8,0x00af 039f ; -------------------------------------------------------------------------------------- 039f ; Debug chain 039f ; -------------------------------------------------------------------------------------- 039f 0001 0003 | | .DBGLEN 0x0001,0x0003 03a1 00bb 00be | | .DBGLNO 0x00bb,0x00be,0x00c2,0x00c7 03a5 ; -------------------------------------------------------------------------------------- 03a5 ; Debug chain 03a5 ; -------------------------------------------------------------------------------------- 03a5 0003 0000 | | .DBGLEN 0x0003,0x0000 03a7 00d3 00d5 | | .DBGLNO 0x00d3,0x00d5,0x00d7 03aa ; -------------------------------------------------------------------------------------- 03aa ; Debug chain 03aa ; -------------------------------------------------------------------------------------- 03aa 0004 0000 | | .DBGLEN 0x0004,0x0000 03ac 00da 00dc | | .DBGLNO 0x00da,0x00dc,0x00de,0x00e0 03b0 ; -------------------------------------------------------------------------------------- 03b0 ; Debug chain 03b0 ; -------------------------------------------------------------------------------------- 03b0 0001 0006 | | .DBGLEN 0x0001,0x0006 03b2 00eb 00f4 | | .DBGLNO 0x00eb,0x00f4,0x00fa,0x0101,0x0105,0x011b,0x0135 03b9 ; -------------------------------------------------------------------------------------- 03b9 ; Debug chain 03b9 ; -------------------------------------------------------------------------------------- 03b9 0001 000c | | .DBGLEN 0x0001,0x000c 03bb 0143 014d | C M| .DBGLNO 0x0143,0x014d,0x0153,0x0159,0x015b,0x0161,0x0165,0x017c,0x019c,0x019e,0x01b6,0x01ba,0x01c0 03c8 ; -------------------------------------------------------------------------------------- 03c8 ; Debug chain 03c8 ; -------------------------------------------------------------------------------------- 03c8 0005 0010 | | .DBGLEN 0x0005,0x0010 03ca 01d3 01d9 | | .DBGLNO 0x01d3,0x01d9,0x01e8,0x01ed,0x01f0,0x0201,0x0208,0x020c,0x021e,0x0222,0x0229,0x0239,0x023d,0x0247,0x026a,0x026f,0x0274,0x0285,0x0289,0x02ac,0x02b1 03df 0001 0002 | | .XXX[0x10] 03e1 0003 0005 | | 03e3 0006 0007 | | 03e5 0008 0009 | | 03e7 000a 000b | | 03e9 0004 000c | | 03eb 000d 000e | | 03ed 000f 0010 | | 03ef ; -------------------------------------------------------------------------------------- 03ef ; Debug chain 03ef ; -------------------------------------------------------------------------------------- 03ef 0000 0003 | | .DBGLEN 0x0000,0x0003 03f1 02bb 02bd | | .DBGLNO 0x02bb,0x02bd,0x02bf 03f4 0000 0000 | | .BLANK 0000[0xc]