|
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_0900ea
└─⟦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 02b0 | | .CONST 0x02b0 ; 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 009f | | .CONST 0x009f ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0012 | | .CONST 0x0012 ; Number of locals
000b INIT_0008:
000b 029a 00ab | | Declare_Subprogram INIT_00a8,For_Outer_Call,Visible,Unelaborated
000d 00bf | | Action Accept_Activation
000e 4800 |H | Short_Literal 0x0
000f 4803 |H | Short_Literal 0x3
0010 029f 00bb | | Declare_Subprogram INIT_00b8,For_Call
0012 03fd | | Declare_Type Discrete,Defined
0013 4800 |H | Short_Literal 0x0
0014 0093 0203 | | push_full_address INIT_0200
0016 02a0 | | Declare_Subprogram Null_Subprogram
0017 038e | | Declare_Type Package,Defined
0018 0387 | | Declare_Variable Package
0019 e002 | | Load 0x0,0x2
001a e003 | | Load 0x0,0x3
001b a004 | | Store_Unchecked 0x0,0x4
001c a005 | | Store_Unchecked 0x0,0x5
001d a006 | | Store_Unchecked 0x0,0x6
001e a007 | | Store_Unchecked 0x0,0x7
001f a008 | | Store_Unchecked 0x0,0x8
0020 a009 | | Store_Unchecked 0x0,0x9
0021 a00a | | Store_Unchecked 0x0,0xa
0022 a00b | | Store_Unchecked 0x0,0xb
0023 a00c | | Store_Unchecked 0x0,0xc
0024 a00d | | Store_Unchecked 0x0,0xd
0025 480c |H | Short_Literal 0xc
0026 e20f | | Load 0x1,0xf
0027 020e | | Execute Module,Augment_Imports
0028 00d8 | | Load_Top At_Offset_0
0029 020f | | Execute Module,Activate
002a 4800 |H | Short_Literal 0x0
002b 0093 0163 | c| push_full_address INIT_0160
002d 02a0 | | Declare_Subprogram Null_Subprogram
002e 038e | | Declare_Type Package,Defined
002f 0387 | | Declare_Variable Package
0030 e002 | | Load 0x0,0x2
0031 e003 | | Load 0x0,0x3
0032 a00e | | Store_Unchecked 0x0,0xe
0033 a00f | | Store_Unchecked 0x0,0xf
0034 a010 | | Store_Unchecked 0x0,0x10
0035 a011 | | Store_Unchecked 0x0,0x11
0036 a012 | | Store_Unchecked 0x0,0x12
0037 a007 | | Store_Unchecked 0x0,0x7
0038 a013 | | Store_Unchecked 0x0,0x13
0039 a014 | | Store_Unchecked 0x0,0x14
003a a015 | | Store_Unchecked 0x0,0x15
003b a005 | | Store_Unchecked 0x0,0x5
003c a006 | | Store_Unchecked 0x0,0x6
003d a016 | | Store_Unchecked 0x0,0x16
003e a017 | | Store_Unchecked 0x0,0x17
003f e018 | | Load 0x0,0x18
0040 a019 | | Store_Unchecked 0x0,0x19
0041 a008 | | Store_Unchecked 0x0,0x8
0042 a009 | | Store_Unchecked 0x0,0x9
0043 a00a | | Store_Unchecked 0x0,0xa
0044 a01a | | Store_Unchecked 0x0,0x1a
0045 a00c | | Store_Unchecked 0x0,0xc
0046 a00d | | Store_Unchecked 0x0,0xd
0047 4817 |H | Short_Literal 0x17
0048 e210 | | Load 0x1,0x10
0049 020e | | Execute Module,Augment_Imports
004a 00d8 | | Load_Top At_Offset_0
004b 020f | | Execute Module,Activate
004c 4800 |H | Short_Literal 0x0
004d 0093 00e3 | | push_full_address INIT_00e0
004f 02a0 | | Declare_Subprogram Null_Subprogram
0050 038e | | Declare_Type Package,Defined
0051 0387 | | Declare_Variable Package
0052 e002 | | Load 0x0,0x2
0053 e003 | | Load 0x0,0x3
0054 a00e | | Store_Unchecked 0x0,0xe
0055 a005 | | Store_Unchecked 0x0,0x5
0056 a006 | | Store_Unchecked 0x0,0x6
0057 a007 | | Store_Unchecked 0x0,0x7
0058 a013 | | Store_Unchecked 0x0,0x13
0059 a014 | | Store_Unchecked 0x0,0x14
005a a01b | | Store_Unchecked 0x0,0x1b
005b a012 | | Store_Unchecked 0x0,0x12
005c a017 | | Store_Unchecked 0x0,0x17
005d a01c | | Store_Unchecked 0x0,0x1c
005e a008 | | Store_Unchecked 0x0,0x8
005f a009 | | Store_Unchecked 0x0,0x9
0060 a00a | | Store_Unchecked 0x0,0xa
0061 e01d | | Load 0x0,0x1d
0062 a00b | | Store_Unchecked 0x0,0xb
0063 a01e | | Store_Unchecked 0x0,0x1e
0064 a00d | | Store_Unchecked 0x0,0xd
0065 a01f | | Store_Unchecked 0x0,0x1f
0066 4814 |H | Short_Literal 0x14
0067 e211 | | Load 0x1,0x11
0068 020e | | Execute Module,Augment_Imports
0069 00d8 | | Load_Top At_Offset_0
006a 020f | | Execute Module,Activate
006b 0093 0000 | | push_full_address 0x0
006d 6046 |`F | Indirect_Literal Discrete,0xb4,{0x80000000, 0x00010000}
006e 0273 | s | Execute Discrete,Plus
006f e020 | | Load 0x0,0x20
0070 0273 | s | Execute Discrete,Plus
0071 e021 | ! | Load 0x0,0x21
0072 0273 | s | Execute Discrete,Plus
0073 4800 |H | Short_Literal 0x0
0074 e20e | | Load 0x1,0xe
0075 4803 |H | Short_Literal 0x3
0076 4800 |H | Short_Literal 0x0
0077 0092 024d | M| Action Push_String_Extended,0x24d ; "STOP_CONDITION"
0079 e20f | | Load 0x1,0xf
007a 180d | | Execute Package,Field_Execute,Field_Number 0xd
007b e20f | | Load 0x1,0xf
007c 190e | | Execute Package,Field_Reference,Field_Number 0xe
007d 4801 |H | Short_Literal 0x1
007e 0092 024e | N| Action Push_String_Extended,0x24e ; "RESOLVE_SUB_GOALS"
0080 e210 | | Load 0x1,0x10
0081 180d | | Execute Package,Field_Execute,Field_Number 0xd
0082 e210 | | Load 0x1,0x10
0083 190e | | Execute Package,Field_Reference,Field_Number 0xe
0084 4802 |H | Short_Literal 0x2
0085 0092 024f | O| Action Push_String_Extended,0x24f ; "MAKE_SUB_GOALS"
0087 e211 | | Load 0x1,0x11
0088 180d | | Execute Package,Field_Execute,Field_Number 0xd
0089 e211 | | Load 0x1,0x11
008a 190e | | Execute Package,Field_Reference,Field_Number 0xe
008b 4803 |H | Short_Literal 0x3
008c 0092 0250 | P| Action Push_String_Extended,0x250 ; "NO_MORE"
008e 00c4 | | Action Make_Default
008f a022 | " | Store_Unchecked 0x0,0x22
0090 4803 |H | Short_Literal 0x3
0091 0092 0250 | P| Action Push_String_Extended,0x250 ; "NO_MORE"
0093 00c4 | | Action Make_Default
0094 a022 | " | Store_Unchecked 0x0,0x22
0095 e023 | # | Load 0x0,0x23
0096 c224 | $ | Store 0x1,0x24
0097 e023 | # | Load 0x0,0x23
0098 c228 | ( | Store 0x1,0x28
0099 e024 | $ | Load 0x0,0x24
009a 0387 | | Declare_Variable Package
009b 00d8 | | Load_Top At_Offset_0
009c 020f | | Execute Module,Activate
009d 1d0d | | Execute_Immediate Reference_Lex_1,0xd
009e 00c7 | | Action Elaborate_Subprogram
009f BODY_0008:
009f 00bc | | Action Signal_Activated
00a0 00bb | | Action Signal_Completion
00a1 0000 0000 | | .BLANK 0000[0x7]
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00ab | | .CONST 0x00ab ; Address of begin
00a9 0004 | | .CONST 0x0004 ; Address of exception handler
00aa 0001 | | .CONST 0x0001 ; Number of locals
00ab BODY_00a8:
00ab INIT_00a8:
00ab 00db | | Load_Top At_Offset_3
00ac 00db | | Load_Top At_Offset_3
00ad e025 | % | Load 0x0,0x25
00ae e212 | | Load 0x1,0x12
00af 0096 | | Execute Package,Entry
00b0 4503 |E | Exit_Suprogram New_Top_Offset 0x3
00b1 0000 0000 | | .XXX[0x3]
00b3 0000 | |
00b4 8000 0000 | | .LITERAL {0x80000000, 0x00010000}
00b8 ; --------------------------------------------------------------------------------------
00b8 ; SUBPROGRAM
00b8 ; --------------------------------------------------------------------------------------
00b8 00bb | | .CONST 0x00bb ; Address of begin
00b9 0004 | | .CONST 0x0004 ; Address of exception handler
00ba 0001 | | .CONST 0x0001 ; Number of locals
00bb BODY_00b8:
00bb INIT_00b8:
00bb 4607 |F | Jump_Case 0x8
00bc 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x0
00bd 7807 |x | Jump 0xc5 ; case 0x1
00be 780a |x | Jump 0xc9 ; case 0x2
00bf 780e |x | Jump 0xce ; case 0x3
00c0 7811 |x | Jump 0xd2 ; case 0x4
00c1 7812 |x | Jump 0xd4 ; case 0x5
00c2 7813 |x | Jump 0xd6 ; case 0x6
00c3 7816 |x | Jump 0xda ; case 0x7
00c4 4302 |C | .XXX[0x1]
00c5 00da | | Load_Top At_Offset_2
00c6 0091 024d | M| Action Push_String_Extended_Indexed,0x24d ; "STOP_CONDITION"
00c8 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
00c9 00db | | Load_Top At_Offset_3
00ca 00db | | Load_Top At_Offset_3
00cb 00e0 | | Load_Encached Standard_Cache
00cc 181b | | Execute Package,Field_Execute,Field_Number 0x1b
00cd 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
00ce 00da | | Load_Top At_Offset_2
00cf 00e0 | | Load_Encached Standard_Cache
00d0 181c | | Execute Package,Field_Execute,Field_Number 0x1c
00d1 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
00d2 00db | | Load_Top At_Offset_3
00d3 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
00d4 00db | | Load_Top At_Offset_3
00d5 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
00d6 e20e | | Load 0x1,0xe
00d7 00dc | | Load_Top At_Offset_4
00d8 0267 | g | Execute Discrete,Predecessor
00d9 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
00da e20e | | Load 0x1,0xe
00db 00dc | | Load_Top At_Offset_4
00dc 0268 | h | Execute Discrete,Successor
00dd 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
00de 0000 0000 | | .XXX[0x2]
00e0 ; --------------------------------------------------------------------------------------
00e0 ; SUBPROGRAM
00e0 ; --------------------------------------------------------------------------------------
00e0 00ec | | .CONST 0x00ec ; Address of begin
00e1 0004 | | .CONST 0x0004 ; Address of exception handler
00e2 000e | | .CONST 0x000e ; Number of locals
00e3 INIT_00e0:
00e3 029a 00f3 | | Declare_Subprogram INIT_00f0,For_Outer_Call,Visible,Unelaborated
00e5 029a 0133 | 3| Declare_Subprogram INIT_0130,For_Outer_Call,Visible,Unelaborated
00e7 00bf | | Action Accept_Activation
00e8 1d0d | | Execute_Immediate Reference_Lex_1,0xd
00e9 00c7 | | Action Elaborate_Subprogram
00ea 1d0e | | Execute_Immediate Reference_Lex_1,0xe
00eb 00c7 | | Action Elaborate_Subprogram
00ec BODY_00e0:
00ec 00bc | | Action Signal_Activated
00ed 00bb | | Action Signal_Completion
00ee 0000 0000 | | .XXX[0x2]
00f0 ; --------------------------------------------------------------------------------------
00f0 ; SUBPROGRAM
00f0 ; --------------------------------------------------------------------------------------
00f0 00f3 | | .CONST 0x00f3 ; Address of begin
00f1 0004 | | .CONST 0x0004 ; Address of exception handler
00f2 0001 | | .CONST 0x0001 ; Number of locals
00f3 BODY_00f0:
00f3 INIT_00f0:
00f3 4801 |H | Short_Literal 0x1
00f4 4802 |H | Short_Literal 0x2
00f5 e001 | | Load 0x0,0x1
00f6 035b | [ | Declare_Type Array,Constrained
00f7 0337 | 7 | Declare_Variable Array
00f8 e002 | | Load 0x0,0x2
00f9 0337 | 7 | Declare_Variable Array
00fa 480d |H | Short_Literal 0xd
00fb 8003 | | Call 0x0,0x3
00fc 4800 |H | Short_Literal 0x0
00fd 00da | | Load_Top At_Offset_2
00fe 01d6 | | Execute Vector,Field_Write
00ff 8004 | | Call 0x0,0x4
0100 4801 |H | Short_Literal 0x1
0101 00da | | Load_Top At_Offset_2
0102 01d6 | | Execute Vector,Field_Write
0103 8005 | | Call 0x0,0x5
0104 4802 |H | Short_Literal 0x2
0105 00da | | Load_Top At_Offset_2
0106 01d6 | | Execute Vector,Field_Write
0107 e002 | | Load 0x0,0x2
0108 01c3 | | Execute Vector,Check_In_Type
0109 8006 | | Call 0x0,0x6
010a 4801 |H | Short_Literal 0x1
010b 00da | | Load_Top At_Offset_2
010c 01d6 | | Execute Vector,Field_Write
010d e002 | | Load 0x0,0x2
010e 0337 | 7 | Declare_Variable Array
010f 4801 |H | Short_Literal 0x1
0110 8007 | | Call 0x0,0x7
0111 480d |H | Short_Literal 0xd
0112 8008 | | Call 0x0,0x8
0113 8009 | | Call 0x0,0x9
0114 800a | | Call 0x0,0xa
0115 4800 |H | Short_Literal 0x0
0116 00da | | Load_Top At_Offset_2
0117 01d6 | | Execute Vector,Field_Write
0118 8005 | | Call 0x0,0x5
0119 4801 |H | Short_Literal 0x1
011a 00da | | Load_Top At_Offset_2
011b 01d6 | | Execute Vector,Field_Write
011c 8005 | | Call 0x0,0x5
011d 4802 |H | Short_Literal 0x2
011e 00da | | Load_Top At_Offset_2
011f 01d6 | | Execute Vector,Field_Write
0120 e002 | | Load 0x0,0x2
0121 01c3 | | Execute Vector,Check_In_Type
0122 800b | | Call 0x0,0xb
0123 4802 |H | Short_Literal 0x2
0124 00da | | Load_Top At_Offset_2
0125 01d6 | | Execute Vector,Field_Write
0126 e001 | | Load 0x0,0x1
0127 01c6 | | Execute Vector,Convert_To_Formal
0128 00ca | | Action Exit_Nullary_Function
0129 0000 0000 | | .BLANK 0000[0x7]
0130 ; --------------------------------------------------------------------------------------
0130 ; SUBPROGRAM
0130 ; --------------------------------------------------------------------------------------
0130 013c | < | .CONST 0x013c ; Address of begin
0131 0004 | | .CONST 0x0004 ; Address of exception handler
0132 0003 | | .CONST 0x0003 ; Number of locals
0133 INIT_0130:
0133 4801 |H | Short_Literal 0x1
0134 00db | | Load_Top At_Offset_3
0135 01d5 | | Execute Vector,Field_Reference
0136 0007 | | Action Break_Optional
0137 4800 |H | Short_Literal 0x0
0138 00d9 | | Load_Top At_Offset_1
0139 800c | | Call 0x0,0xc
013a 00e2 | | Load_Encached Integer_Cache
013b 03f1 | | Declare_Variable Discrete,With_Value
013c BODY_0130:
013c 4801 |H | Short_Literal 0x1
013d 800d | | Call 0x0,0xd
013e 800e | | Call 0x0,0xe
013f 800d | | Call 0x0,0xd
0140 0092 0251 | Q| Action Push_String_Extended,0x251 ; "---- Make sub-goals rule -----"
0142 800f | | Call 0x0,0xf
0143 4801 |H | Short_Literal 0x1
0144 800d | | Call 0x0,0xd
0145 800e | | Call 0x0,0xe
0146 00d8 | | Load_Top At_Offset_0
0147 0aff | | Execute_Immediate Plus,-0x1
0148 0059 | Y | Store_Top Discrete,At_Offset_1
0149 e010 | | Load 0x0,0x10
014a 0337 | 7 | Declare_Variable Array
014b 00d9 | | Load_Top At_Offset_1
014c 8011 | | Call 0x0,0x11
014d 4800 |H | Short_Literal 0x0
014e 00da | | Load_Top At_Offset_2
014f 01d6 | | Execute Vector,Field_Write
0150 8012 | | Call 0x0,0x12
0151 4801 |H | Short_Literal 0x1
0152 00da | | Load_Top At_Offset_2
0153 01d6 | | Execute Vector,Field_Write
0154 0092 0252 | R| Action Push_String_Extended,0x252 ; " "
0156 8013 | | Call 0x0,0x13
0157 4802 |H | Short_Literal 0x2
0158 00da | | Load_Top At_Offset_2
0159 01d6 | | Execute Vector,Field_Write
015a e010 | | Load 0x0,0x10
015b 01c3 | | Execute Vector,Check_In_Type
015c 8014 | | Call 0x0,0x14
015d 4502 |E | Exit_Suprogram New_Top_Offset 0x2
015e 0000 0000 | | .XXX[0x2]
0160 ; --------------------------------------------------------------------------------------
0160 ; SUBPROGRAM
0160 ; --------------------------------------------------------------------------------------
0160 016c | l | .CONST 0x016c ; Address of begin
0161 0004 | | .CONST 0x0004 ; Address of exception handler
0162 000e | | .CONST 0x000e ; Number of locals
0163 INIT_0160:
0163 029a 0173 | s| Declare_Subprogram INIT_0170,For_Outer_Call,Visible,Unelaborated
0165 029a 01cb | | Declare_Subprogram INIT_01c8,For_Outer_Call,Visible,Unelaborated
0167 00bf | | Action Accept_Activation
0168 1d0d | | Execute_Immediate Reference_Lex_1,0xd
0169 00c7 | | Action Elaborate_Subprogram
016a 1d0e | | Execute_Immediate Reference_Lex_1,0xe
016b 00c7 | | Action Elaborate_Subprogram
016c BODY_0160:
016c 00bc | | Action Signal_Activated
016d 00bb | | Action Signal_Completion
016e 0000 0000 | | .XXX[0x2]
0170 ; --------------------------------------------------------------------------------------
0170 ; SUBPROGRAM
0170 ; --------------------------------------------------------------------------------------
0170 0173 | s | .CONST 0x0173 ; Address of begin
0171 0004 | | .CONST 0x0004 ; Address of exception handler
0172 0001 | | .CONST 0x0001 ; Number of locals
0173 BODY_0170:
0173 INIT_0170:
0173 4801 |H | Short_Literal 0x1
0174 4803 |H | Short_Literal 0x3
0175 e001 | | Load 0x0,0x1
0176 035b | [ | Declare_Type Array,Constrained
0177 0337 | 7 | Declare_Variable Array
0178 e002 | | Load 0x0,0x2
0179 0337 | 7 | Declare_Variable Array
017a 480d |H | Short_Literal 0xd
017b 8003 | | Call 0x0,0x3
017c 4800 |H | Short_Literal 0x0
017d 00da | | Load_Top At_Offset_2
017e 01d6 | | Execute Vector,Field_Write
017f 8004 | | Call 0x0,0x4
0180 4801 |H | Short_Literal 0x1
0181 00da | | Load_Top At_Offset_2
0182 01d6 | | Execute Vector,Field_Write
0183 0092 0253 | S| Action Push_String_Extended,0x253 ; "world"
0185 8005 | | Call 0x0,0x5
0186 0092 0254 | T| Action Push_String_Extended,0x254 ; "Hello "
0188 8005 | | Call 0x0,0x5
0189 8006 | | Call 0x0,0x6
018a 8007 | | Call 0x0,0x7
018b 4802 |H | Short_Literal 0x2
018c 00da | | Load_Top At_Offset_2
018d 01d6 | | Execute Vector,Field_Write
018e e002 | | Load 0x0,0x2
018f 01c3 | | Execute Vector,Check_In_Type
0190 8008 | | Call 0x0,0x8
0191 4801 |H | Short_Literal 0x1
0192 00da | | Load_Top At_Offset_2
0193 01d6 | | Execute Vector,Field_Write
0194 e002 | | Load 0x0,0x2
0195 0337 | 7 | Declare_Variable Array
0196 4801 |H | Short_Literal 0x1
0197 8009 | | Call 0x0,0x9
0198 480d |H | Short_Literal 0xd
0199 800a | | Call 0x0,0xa
019a 800b | | Call 0x0,0xb
019b 8007 | | Call 0x0,0x7
019c 4800 |H | Short_Literal 0x0
019d 00da | | Load_Top At_Offset_2
019e 01d6 | | Execute Vector,Field_Write
019f 800c | | Call 0x0,0xc
01a0 4801 |H | Short_Literal 0x1
01a1 00da | | Load_Top At_Offset_2
01a2 01d6 | | Execute Vector,Field_Write
01a3 800d | | Call 0x0,0xd
01a4 4802 |H | Short_Literal 0x2
01a5 00da | | Load_Top At_Offset_2
01a6 01d6 | | Execute Vector,Field_Write
01a7 e002 | | Load 0x0,0x2
01a8 01c3 | | Execute Vector,Check_In_Type
01a9 8008 | | Call 0x0,0x8
01aa 4802 |H | Short_Literal 0x2
01ab 00da | | Load_Top At_Offset_2
01ac 01d6 | | Execute Vector,Field_Write
01ad e002 | | Load 0x0,0x2
01ae 0337 | 7 | Declare_Variable Array
01af 480d |H | Short_Literal 0xd
01b0 800e | | Call 0x0,0xe
01b1 4800 |H | Short_Literal 0x0
01b2 00da | | Load_Top At_Offset_2
01b3 01d6 | | Execute Vector,Field_Write
01b4 800c | | Call 0x0,0xc
01b5 4801 |H | Short_Literal 0x1
01b6 00da | | Load_Top At_Offset_2
01b7 01d6 | | Execute Vector,Field_Write
01b8 800d | | Call 0x0,0xd
01b9 4802 |H | Short_Literal 0x2
01ba 00da | | Load_Top At_Offset_2
01bb 01d6 | | Execute Vector,Field_Write
01bc e002 | | Load 0x0,0x2
01bd 01c3 | | Execute Vector,Check_In_Type
01be 800f | | Call 0x0,0xf
01bf 4803 |H | Short_Literal 0x3
01c0 00da | | Load_Top At_Offset_2
01c1 01d6 | | Execute Vector,Field_Write
01c2 e001 | | Load 0x0,0x1
01c3 01c6 | | Execute Vector,Convert_To_Formal
01c4 00ca | | Action Exit_Nullary_Function
01c5 0000 0000 | | .XXX[0x3]
01c7 0000 | |
01c8 ; --------------------------------------------------------------------------------------
01c8 ; SUBPROGRAM
01c8 ; --------------------------------------------------------------------------------------
01c8 01e1 | | .CONST 0x01e1 ; Address of begin
01c9 0004 | | .CONST 0x0004 ; Address of exception handler
01ca 0005 | | .CONST 0x0005 ; Number of locals
01cb INIT_01c8:
01cb 4801 |H | Short_Literal 0x1
01cc 00db | | Load_Top At_Offset_3
01cd 01d5 | | Execute Vector,Field_Reference
01ce 0007 | | Action Break_Optional
01cf 4802 |H | Short_Literal 0x2
01d0 e5ff | | Load 0x2,-0x1
01d1 01d5 | | Execute Vector,Field_Reference
01d2 0007 | | Action Break_Optional
01d3 e010 | | Load 0x0,0x10
01d4 02ff | | Declare_Variable Variant_Record
01d5 4800 |H | Short_Literal 0x0
01d6 00da | | Load_Top At_Offset_2
01d7 8011 | | Call 0x0,0x11
01d8 00d9 | | Load_Top At_Offset_1
01d9 016d | m | Execute Variant_Record,Structure_Write
01da e010 | | Load 0x0,0x10
01db 02ff | | Declare_Variable Variant_Record
01dc 4801 |H | Short_Literal 0x1
01dd e402 | | Load 0x2,0x2
01de 8011 | | Call 0x0,0x11
01df 00d9 | | Load_Top At_Offset_1
01e0 016d | m | Execute Variant_Record,Structure_Write
01e1 BODY_01c8:
01e1 4801 |H | Short_Literal 0x1
01e2 8012 | | Call 0x0,0x12
01e3 8013 | | Call 0x0,0x13
01e4 8012 | | Call 0x0,0x12
01e5 0092 0255 | U| Action Push_String_Extended,0x255 ; "---- Resolve sub-goals rule -----"
01e7 8014 | | Call 0x0,0x14
01e8 4801 |H | Short_Literal 0x1
01e9 8012 | | Call 0x0,0x12
01ea 8013 | | Call 0x0,0x13
01eb 00d8 | | Load_Top At_Offset_0
01ec 00da | | Load_Top At_Offset_2
01ed 8015 | | Call 0x0,0x15
01ee 4801 |H | Short_Literal 0x1
01ef e403 | | Load 0x2,0x3
01f0 8016 | | Call 0x0,0x16
01f1 0092 0256 | V| Action Push_String_Extended,0x256 ; "Hello world"
01f3 8017 | | Call 0x0,0x17
01f4 4802 |H | Short_Literal 0x2
01f5 e403 | | Load 0x2,0x3
01f6 8016 | | Call 0x0,0x16
01f7 4801 |H | Short_Literal 0x1
01f8 8012 | | Call 0x0,0x12
01f9 8013 | | Call 0x0,0x13
01fa 4801 |H | Short_Literal 0x1
01fb 8012 | | Call 0x0,0x12
01fc 8013 | | Call 0x0,0x13
01fd 4502 |E | Exit_Suprogram New_Top_Offset 0x2
01fe 0000 0000 | | .XXX[0x2]
0200 ; --------------------------------------------------------------------------------------
0200 ; SUBPROGRAM
0200 ; --------------------------------------------------------------------------------------
0200 020c | | .CONST 0x020c ; Address of begin
0201 0004 | | .CONST 0x0004 ; Address of exception handler
0202 000e | | .CONST 0x000e ; Number of locals
0203 INIT_0200:
0203 029a 0213 | | Declare_Subprogram INIT_0210,For_Outer_Call,Visible,Unelaborated
0205 029a 0233 | 3| Declare_Subprogram INIT_0230,For_Outer_Call,Visible,Unelaborated
0207 00bf | | Action Accept_Activation
0208 1d0d | | Execute_Immediate Reference_Lex_1,0xd
0209 00c7 | | Action Elaborate_Subprogram
020a 1d0e | | Execute_Immediate Reference_Lex_1,0xe
020b 00c7 | | Action Elaborate_Subprogram
020c BODY_0200:
020c 00bc | | Action Signal_Activated
020d 00bb | | Action Signal_Completion
020e 0000 0000 | | .XXX[0x2]
0210 ; --------------------------------------------------------------------------------------
0210 ; SUBPROGRAM
0210 ; --------------------------------------------------------------------------------------
0210 0213 | | .CONST 0x0213 ; Address of begin
0211 0004 | | .CONST 0x0004 ; Address of exception handler
0212 0001 | | .CONST 0x0001 ; Number of locals
0213 BODY_0210:
0213 INIT_0210:
0213 4801 |H | Short_Literal 0x1
0214 4801 |H | Short_Literal 0x1
0215 e001 | | Load 0x0,0x1
0216 035b | [ | Declare_Type Array,Constrained
0217 0337 | 7 | Declare_Variable Array
0218 e002 | | Load 0x0,0x2
0219 0337 | 7 | Declare_Variable Array
021a 4801 |H | Short_Literal 0x1
021b 8003 | | Call 0x0,0x3
021c 4800 |H | Short_Literal 0x0
021d 00da | | Load_Top At_Offset_2
021e 01d6 | | Execute Vector,Field_Write
021f 8004 | | Call 0x0,0x4
0220 4801 |H | Short_Literal 0x1
0221 00da | | Load_Top At_Offset_2
0222 01d6 | | Execute Vector,Field_Write
0223 8005 | | Call 0x0,0x5
0224 4802 |H | Short_Literal 0x2
0225 00da | | Load_Top At_Offset_2
0226 01d6 | | Execute Vector,Field_Write
0227 e002 | | Load 0x0,0x2
0228 01c3 | | Execute Vector,Check_In_Type
0229 8006 | | Call 0x0,0x6
022a 4801 |H | Short_Literal 0x1
022b 00da | | Load_Top At_Offset_2
022c 01d6 | | Execute Vector,Field_Write
022d e001 | | Load 0x0,0x1
022e 01c6 | | Execute Vector,Convert_To_Formal
022f 00ca | | Action Exit_Nullary_Function
0230 ; --------------------------------------------------------------------------------------
0230 ; SUBPROGRAM
0230 ; --------------------------------------------------------------------------------------
0230 0237 | 7 | .CONST 0x0237 ; Address of begin
0231 0004 | | .CONST 0x0004 ; Address of exception handler
0232 0002 | | .CONST 0x0002 ; Number of locals
0233 INIT_0230:
0233 4801 |H | Short_Literal 0x1
0234 00db | | Load_Top At_Offset_3
0235 01d5 | | Execute Vector,Field_Reference
0236 0007 | | Action Break_Optional
0237 BODY_0230:
0237 4801 |H | Short_Literal 0x1
0238 8007 | | Call 0x0,0x7
0239 8008 | | Call 0x0,0x8
023a 8007 | | Call 0x0,0x7
023b 0092 0257 | W| Action Push_String_Extended,0x257 ; "---- Stop condition rule -----"
023d 8009 | | Call 0x0,0x9
023e 4801 |H | Short_Literal 0x1
023f 800a | | Call 0x0,0xa
0240 4801 |H | Short_Literal 0x1
0241 00da | | Load_Top At_Offset_2
0242 800b | | Call 0x0,0xb
0243 0092 0256 | V| Action Push_String_Extended,0x256 ; "Hello world"
0245 800c | | Call 0x0,0xc
0246 4802 |H | Short_Literal 0x2
0247 00da | | Load_Top At_Offset_2
0248 800b | | Call 0x0,0xb
0249 4801 |H | Short_Literal 0x1
024a 8007 | | Call 0x0,0x7
024b 8008 | | Call 0x0,0x8
024c 4502 |E | Exit_Suprogram New_Top_Offset 0x2
024d ; --------------------------------------------------------------------------------------
024d ; STRING TABLE
024d ; --------------------------------------------------------------------------------------
024d 0018 | | .STRTAB 0x0018->0x0259 ; "STOP_CONDITION"
024e 0024 | $ | .STRTAB 0x0024->0x0260 ; "RESOLVE_SUB_GOALS"
024f 0033 | 3 | .STRTAB 0x0033->0x0268 ; "MAKE_SUB_GOALS"
0250 003f | ? | .STRTAB 0x003f->0x026f ; "NO_MORE"
0251 0044 | D | .STRTAB 0x0044->0x0273 ; "---- Make sub-goals rule -----"
0252 0060 | ` | .STRTAB 0x0060->0x0282 ; " "
0253 005f | _ | .STRTAB 0x005f->0x0282 ; "world"
0254 0062 | b | .STRTAB 0x0062->0x0285 ; "Hello "
0255 0066 | f | .STRTAB 0x0066->0x0288 ; "---- Resolve sub-goals rule -----"
0256 0085 | | .STRTAB 0x0085->0x0298 ; "Hello world"
0257 008e | | .STRTAB 0x008e->0x029e ; "---- Stop condition rule -----"
0258 00aa | | .STREND 0x00aa->0x02ad
0259 5354 4f50 |STOP| .STRTAB_STRINGS
02ad 0000 0000 | | .XXX[0x3]
02af 0000 | |
02b0 ; --------------------------------------------------------------------------------------
02b0 ; Debug Table
02b0 ; --------------------------------------------------------------------------------------
02b0 0004 0006 | | .DEBUG4 0x0004,0x0006,0x878b,0x0000,0x0001,0x0010
02b6 000b 02f6 | | .DBG4T 0x000b,0x02f6,0x8000,0x0000
02ba 000e 02f9 | | .DBG4T 0x000e,0x02f9,0x8000,0x0000
02be 00ab 0304 | | .DBG4T 0x00ab,0x0304,0x0001,0x0000
02c2 00bb 0000 | | .DBG4T 0x00bb,0x0000,0x0005,0x0000
02c6 00e3 0307 | | .DBG4T 0x00e3,0x0307,0x0000,0x0000
02ca 00e8 030b | | .DBG4T 0x00e8,0x030b,0x0000,0x0000
02ce 00f3 030f | | .DBG4T 0x00f3,0x030f,0x0002,0x0000
02d2 0133 0312 | 3 | .DBG4T 0x0133,0x0312,0x0001,0x0000
02d6 0163 031b | c | .DBG4T 0x0163,0x031b,0x0000,0x0000
02da 0168 031f | h | .DBG4T 0x0168,0x031f,0x0000,0x0000
02de 0173 0323 | s #| .DBG4T 0x0173,0x0323,0x0002,0x0000
02e2 01cb 0326 | &| .DBG4T 0x01cb,0x0326,0x0001,0x0000
02e6 0203 0333 | 3| .DBG4T 0x0203,0x0333,0x0000,0x0000
02ea 0208 0337 | 7| .DBG4T 0x0208,0x0337,0x0000,0x0000
02ee 0213 033b | ;| .DBG4T 0x0213,0x033b,0x0002,0x0000
02f2 0233 033e | 3 >| .DBG4T 0x0233,0x033e,0x0001,0x0000
02f6 ; --------------------------------------------------------------------------------------
02f6 ; Debug chain
02f6 ; --------------------------------------------------------------------------------------
02f6 0001 0000 | | .DBGLEN 0x0001,0x0000
02f8 000b | | .DBGLNO 0x000b
02f9 ; --------------------------------------------------------------------------------------
02f9 ; Debug chain
02f9 ; --------------------------------------------------------------------------------------
02f9 0009 0000 | | .DBGLEN 0x0009,0x0000
02fb 000e 0013 | | .DBGLNO 0x000e,0x0013,0x0019,0x002a,0x0030,0x004c,0x0052,0x006b,0x009d
0304 ; --------------------------------------------------------------------------------------
0304 ; Debug chain
0304 ; --------------------------------------------------------------------------------------
0304 0000 0001 | | .DBGLEN 0x0000,0x0001
0306 00ab | | .DBGLNO 0x00ab
0307 ; --------------------------------------------------------------------------------------
0307 ; Debug chain
0307 ; --------------------------------------------------------------------------------------
0307 0002 0000 | | .DBGLEN 0x0002,0x0000
0309 00e3 00e5 | | .DBGLNO 0x00e3,0x00e5
030b ; --------------------------------------------------------------------------------------
030b ; Debug chain
030b ; --------------------------------------------------------------------------------------
030b 0002 0000 | | .DBGLEN 0x0002,0x0000
030d 00e8 00ea | | .DBGLNO 0x00e8,0x00ea
030f ; --------------------------------------------------------------------------------------
030f ; Debug chain
030f ; --------------------------------------------------------------------------------------
030f 0000 0001 | | .DBGLEN 0x0000,0x0001
0311 00f3 | | .DBGLNO 0x00f3
0312 ; --------------------------------------------------------------------------------------
0312 ; Debug chain
0312 ; --------------------------------------------------------------------------------------
0312 0002 0005 | | .DBGLEN 0x0002,0x0005
0314 0133 0137 | 3 7| .DBGLNO 0x0133,0x0137,0x013c,0x013f,0x0143,0x0146,0x0149
031b ; --------------------------------------------------------------------------------------
031b ; Debug chain
031b ; --------------------------------------------------------------------------------------
031b 0002 0000 | | .DBGLEN 0x0002,0x0000
031d 0163 0165 | c e| .DBGLNO 0x0163,0x0165
031f ; --------------------------------------------------------------------------------------
031f ; Debug chain
031f ; --------------------------------------------------------------------------------------
031f 0002 0000 | | .DBGLEN 0x0002,0x0000
0321 0168 016a | h j| .DBGLNO 0x0168,0x016a
0323 ; --------------------------------------------------------------------------------------
0323 ; Debug chain
0323 ; --------------------------------------------------------------------------------------
0323 0000 0001 | | .DBGLEN 0x0000,0x0001
0325 0173 | s | .DBGLNO 0x0173
0326 ; --------------------------------------------------------------------------------------
0326 ; Debug chain
0326 ; --------------------------------------------------------------------------------------
0326 0004 0007 | | .DBGLEN 0x0004,0x0007
0328 01cb 01cf | | .DBGLNO 0x01cb,0x01cf,0x01d3,0x01da,0x01e1,0x01e4,0x01e8,0x01eb,0x01f1,0x01f7,0x01fa
0333 ; --------------------------------------------------------------------------------------
0333 ; Debug chain
0333 ; --------------------------------------------------------------------------------------
0333 0002 0000 | | .DBGLEN 0x0002,0x0000
0335 0203 0205 | | .DBGLNO 0x0203,0x0205
0337 ; --------------------------------------------------------------------------------------
0337 ; Debug chain
0337 ; --------------------------------------------------------------------------------------
0337 0002 0000 | | .DBGLEN 0x0002,0x0000
0339 0208 020a | | .DBGLNO 0x0208,0x020a
033b ; --------------------------------------------------------------------------------------
033b ; Debug chain
033b ; --------------------------------------------------------------------------------------
033b 0000 0001 | | .DBGLEN 0x0000,0x0001
033d 0213 | | .DBGLNO 0x0213
033e ; --------------------------------------------------------------------------------------
033e ; Debug chain
033e ; --------------------------------------------------------------------------------------
033e 0001 0005 | | .DBGLEN 0x0001,0x0005
0340 0233 0237 | 3 7| .DBGLNO 0x0233,0x0237,0x023a,0x023e,0x0243,0x0249
0346 0000 0000 | | .BLANK 0000[0xba]