DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦d91430d3d⟧

    Length: 2048 (0x800)
    Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0a7cf5

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5800       |X   |		.CONST	0x5800								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 0238       | 8  |		.CONST	0x0238								; 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 8001       |    |		.CONST	0x8001								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 003c       | <  |		.CONST	0x003c								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 000b       |    |		.CONST	0x000b								; Number of locals
000b			INIT_0008:
000b 4801       |H   |		Short_Literal	0x1
000c 00db       |    |		Load_Top	At_Offset_3
000d e002       |    |		Load	0x0,0x2
000e 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
000f 00d8       |    |		Load_Top	At_Offset_0
0010 0092 01ab  |    |		Action	Push_String_Extended,0x1ab					; " Inputs"
0012 01cc       |    |		Execute	Vector,Catenate
0013 0007       |    |		Action	Break_Optional
0014 00d9       |    |		Load_Top	At_Offset_1
0015 0092 01ac  |    |		Action	Push_String_Extended,0x1ac					; " Outputs"
0017 01cc       |    |		Execute	Vector,Catenate
0018 0007       |    |		Action	Break_Optional
0019 00da       |    |		Load_Top	At_Offset_2
001a 0092 01ad  |    |		Action	Push_String_Extended,0x1ad					; " Requirements Satisfaction"
001c 01cc       |    |		Execute	Vector,Catenate
001d 0007       |    |		Action	Break_Optional
001e e002       |    |		Load	0x0,0x2
001f 1b1d       |    |		Execute	Package,Field_Read,Field_Number 0x1d
0020 02ff       |    |		Declare_Variable	Variant_Record
0021 00d8       |    |		Load_Top	At_Offset_0
0022 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0023 e002       |    |		Load	0x0,0x2
0024 1b8f       |    |		Execute	Package,Field_Read,Field_Number 0x8f
0025 02ff       |    |		Declare_Variable	Variant_Record
0026 00d8       |    |		Load_Top	At_Offset_0
0027 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0028 e002       |    |		Load	0x0,0x2
0029 1b8f       |    |		Execute	Package,Field_Read,Field_Number 0x8f
002a 02ff       |    |		Declare_Variable	Variant_Record
002b 00d8       |    |		Load_Top	At_Offset_0
002c 1c00       |    |		Execute_Immediate	Run_Utility,0x0
002d e002       |    |		Load	0x0,0x2
002e 1b1d       |    |		Execute	Package,Field_Read,Field_Number 0x1d
002f 02ff       |    |		Declare_Variable	Variant_Record
0030 00d8       |    |		Load_Top	At_Offset_0
0031 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0032 e002       |    |		Load	0x0,0x2
0033 1b1d       |    |		Execute	Package,Field_Read,Field_Number 0x1d
0034 02ff       |    |		Declare_Variable	Variant_Record
0035 00d8       |    |		Load_Top	At_Offset_0
0036 1c00       |    |		Execute_Immediate	Run_Utility,0x0
0037 e002       |    |		Load	0x0,0x2
0038 1b8f       |    |		Execute	Package,Field_Read,Field_Number 0x8f
0039 02ff       |    |		Declare_Variable	Variant_Record
003a 00d8       |    |		Load_Top	At_Offset_0
003b 1c00       |    |		Execute_Immediate	Run_Utility,0x0
003c			BODY_0008:
003c e9ff       |    |		Load	0x4,-0x1
003d 2e04       |.   |		Execute	Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4
003e e00f       |    |		Load	0x0,0xf
003f 184d       | M  |		Execute	Package,Field_Execute,Field_Number 0x4d
0040 6836       |h6  |		Jump_Zero	0x77
0041 4809       |H   |		Short_Literal	0x9
0042 e002       |    |		Load	0x0,0x2
0043 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0044 00ea       |    |		Load_Encached	Null_String_Cache
0045 4800       |H   |		Short_Literal	0x0
0046 e9ff       |    |		Load	0x4,-0x1
0047 e002       |    |		Load	0x0,0x2
0048 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
0049 482e       |H.  |		Short_Literal	0x2e
004a 4807       |H   |		Short_Literal	0x7
004b e9ff       |    |		Load	0x4,-0x1
004c e002       |    |		Load	0x0,0x2
004d 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
004e 01cb       |    |		Execute	Vector,Append
004f e002       |    |		Load	0x0,0x2
0050 1880       |    |		Execute	Package,Field_Execute,Field_Number 0x80
0051 0092 01ae  |    |		Action	Push_String_Extended,0x1ae					; "A depiction of "
0053 e802       |    |		Load	0x4,0x2
0054 01cc       |    |		Execute	Vector,Catenate
0055 0092 01af  |    |		Action	Push_String_Extended,0x1af					; " is shown in Figure "
0057 01cc       |    |		Execute	Vector,Catenate
0058 e802       |    |		Load	0x4,0x2
0059 0092 01b0  |    |		Action	Push_String_Extended,0x1b0					; " Diagram"
005b 01cc       |    |		Execute	Vector,Catenate
005c 4813       |H   |		Short_Literal	0x13
005d e9ff       |    |		Load	0x4,-0x1
005e e002       |    |		Load	0x0,0x2
005f 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
0060 e002       |    |		Load	0x0,0x2
0061 183f       | ?  |		Execute	Package,Field_Execute,Field_Number 0x3f
0062 4801       |H   |		Short_Literal	0x1
0063 e402       |    |		Load	0x2,0x2
0064 e001       |    |		Load	0x0,0x1
0065 1b32       | 2  |		Execute	Package,Field_Read,Field_Number 0x32
0066 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0067 4801       |H   |		Short_Literal	0x1
0068 480e       |H   |		Short_Literal	0xe
0069 e002       |    |		Load	0x0,0x2
006a 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
006b 00ea       |    |		Load_Encached	Null_String_Cache
006c 4814       |H   |		Short_Literal	0x14
006d e9ff       |    |		Load	0x4,-0x1
006e e002       |    |		Load	0x0,0x2
006f 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0070 4814       |H   |		Short_Literal	0x14
0071 e9ff       |    |		Load	0x4,-0x1
0072 e002       |    |		Load	0x0,0x2
0073 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
0074 e002       |    |		Load	0x0,0x2
0075 1886       |    |		Execute	Package,Field_Execute,Field_Number 0x86
0076 7829       |x)  |		Jump	0xa0
0077 4809       |H   |		Short_Literal	0x9
0078 e002       |    |		Load	0x0,0x2
0079 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
007a e002       |    |		Load	0x0,0x2
007b 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
007c 482e       |H.  |		Short_Literal	0x2e
007d 4807       |H   |		Short_Literal	0x7
007e e9ff       |    |		Load	0x4,-0x1
007f e002       |    |		Load	0x0,0x2
0080 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0081 01cb       |    |		Execute	Vector,Append
0082 e002       |    |		Load	0x0,0x2
0083 1880       |    |		Execute	Package,Field_Execute,Field_Number 0x80
0084 4801       |H   |		Short_Literal	0x1
0085 480e       |H   |		Short_Literal	0xe
0086 e002       |    |		Load	0x0,0x2
0087 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0088 0092 01b1  |    |		Action	Push_String_Extended,0x1b1					; "Use Definition to visit "
008a 4809       |H   |		Short_Literal	0x9
008b e002       |    |		Load	0x0,0x2
008c 1843       | C  |		Execute	Package,Field_Execute,Field_Number 0x43
008d e002       |    |		Load	0x0,0x2
008e 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
008f 01cc       |    |		Execute	Vector,Catenate
0090 0092 01b2  |    |		Action	Push_String_Extended,0x1b2					; " in which this capability"
0092 01cc       |    |		Execute	Vector,Catenate
0093 0092 01b3  |    |		Action	Push_String_Extended,0x1b3					; " must be specified."
0095 01cc       |    |		Execute	Vector,Catenate
0096 4800       |H   |		Short_Literal	0x0
0097 e002       |    |		Load	0x0,0x2
0098 1843       | C  |		Execute	Package,Field_Execute,Field_Number 0x43
0099 e002       |    |		Load	0x0,0x2
009a 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
009b 0092 01b4  |    |		Action	Push_String_Extended,0x1b4					; "*** This capability is defined but has not been specified."
009d e002       |    |		Load	0x0,0x2
009e 1886       |    |		Execute	Package,Field_Execute,Field_Number 0x86
009f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
00a0 4830       |H0  |		Short_Literal	0x30
00a1 e9ff       |    |		Load	0x4,-0x1
00a2 e002       |    |		Load	0x0,0x2
00a3 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
00a4 e807       |    |		Load	0x4,0x7
00a5 016d       | m  |		Execute	Variant_Record,Structure_Write
00a6 4831       |H1  |		Short_Literal	0x31
00a7 e9ff       |    |		Load	0x4,-0x1
00a8 e002       |    |		Load	0x0,0x2
00a9 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
00aa e808       |    |		Load	0x4,0x8
00ab 016d       | m  |		Execute	Variant_Record,Structure_Write
00ac e807       |    |		Load	0x4,0x7
00ad e002       |    |		Load	0x0,0x2
00ae 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00af 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
00b0 7005       |p   |		Jump_Nonzero	0xb6
00b1 00db       |    |		Load_Top	At_Offset_3
00b2 e002       |    |		Load	0x0,0x2
00b3 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00b4 0c01       |    |		Execute_Immediate	Greater_Equal,0x1
00b5 68a2       |h   |		Jump_Zero	0x158
00b6 e807       |    |		Load	0x4,0x7
00b7 e002       |    |		Load	0x0,0x2
00b8 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
00b9 700b       |p   |		Jump_Nonzero	0xc5
00ba 480e       |H   |		Short_Literal	0xe
00bb e002       |    |		Load	0x0,0x2
00bc 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
00bd e001       |    |		Load	0x0,0x1
00be 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
00bf e002       |    |		Load	0x0,0x2
00c0 1b63       | c  |		Execute	Package,Field_Read,Field_Number 0x63
00c1 e803       |    |		Load	0x4,0x3
00c2 e002       |    |		Load	0x0,0x2
00c3 1887       |    |		Execute	Package,Field_Execute,Field_Number 0x87
00c4 7842       |xB  |		Jump	0x107
00c5 4801       |H   |		Short_Literal	0x1
00c6 e402       |    |		Load	0x2,0x2
00c7 e001       |    |		Load	0x0,0x1
00c8 1b32       | 2  |		Execute	Package,Field_Read,Field_Number 0x32
00c9 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
00ca 4806       |H   |		Short_Literal	0x6
00cb e002       |    |		Load	0x0,0x2
00cc 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
00cd e002       |    |		Load	0x0,0x2
00ce 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
00cf e803       |    |		Load	0x4,0x3
00d0 e002       |    |		Load	0x0,0x2
00d1 1881       |    |		Execute	Package,Field_Execute,Field_Number 0x81
00d2 00cf       |    |		Action	Mark_Auxiliary
00d3 e807       |    |		Load	0x4,0x7
00d4 e002       |    |		Load	0x0,0x2
00d5 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
00d6 e807       |    |		Load	0x4,0x7
00d7 e002       |    |		Load	0x0,0x2
00d8 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
00d9 0263       | c  |		Execute	Discrete,Above_Bound
00da 7025       |p%  |		Jump_Nonzero	0x100
00db 00d8       |    |		Load_Top	At_Offset_0
00dc e807       |    |		Load	0x4,0x7
00dd e002       |    |		Load	0x0,0x2
00de 182f       | /  |		Execute	Package,Field_Execute,Field_Number 0x2f
00df e809       |    |		Load	0x4,0x9
00e0 016d       | m  |		Execute	Variant_Record,Structure_Write
00e1 4807       |H   |		Short_Literal	0x7
00e2 e002       |    |		Load	0x0,0x2
00e3 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
00e4 00ea       |    |		Load_Encached	Null_String_Cache
00e5 4801       |H   |		Short_Literal	0x1
00e6 e809       |    |		Load	0x4,0x9
00e7 e002       |    |		Load	0x0,0x2
00e8 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
00e9 4801       |H   |		Short_Literal	0x1
00ea e809       |    |		Load	0x4,0x9
00eb e002       |    |		Load	0x0,0x2
00ec 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
00ed e002       |    |		Load	0x0,0x2
00ee 1882       |    |		Execute	Package,Field_Execute,Field_Number 0x82
00ef 4801       |H   |		Short_Literal	0x1
00f0 480e       |H   |		Short_Literal	0xe
00f1 e002       |    |		Load	0x0,0x2
00f2 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
00f3 00ea       |    |		Load_Encached	Null_String_Cache
00f4 4807       |H   |		Short_Literal	0x7
00f5 e809       |    |		Load	0x4,0x9
00f6 e002       |    |		Load	0x0,0x2
00f7 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
00f8 4807       |H   |		Short_Literal	0x7
00f9 e809       |    |		Load	0x4,0x9
00fa e002       |    |		Load	0x0,0x2
00fb 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
00fc e002       |    |		Load	0x0,0x2
00fd 1886       |    |		Execute	Package,Field_Execute,Field_Number 0x86
00fe 00c8       |    |		Action	Pop_Auxiliary_Range
00ff 3fdb       |?   |		Loop_Increasing	0xdb
0100 00ce       |    |		Action	Pop_Auxiliary
0101 e002       |    |		Load	0x0,0x2
0102 1b64       | d  |		Execute	Package,Field_Read,Field_Number 0x64
0103 e002       |    |		Load	0x0,0x2
0104 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
0105 e002       |    |		Load	0x0,0x2
0106 186e       | n  |		Execute	Package,Field_Execute,Field_Number 0x6e
0107 00db       |    |		Load_Top	At_Offset_3
0108 e002       |    |		Load	0x0,0x2
0109 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
010a 700b       |p   |		Jump_Nonzero	0x116
010b 480e       |H   |		Short_Literal	0xe
010c e002       |    |		Load	0x0,0x2
010d 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
010e e001       |    |		Load	0x0,0x1
010f 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
0110 e002       |    |		Load	0x0,0x2
0111 1b63       | c  |		Execute	Package,Field_Read,Field_Number 0x63
0112 e804       |    |		Load	0x4,0x4
0113 e002       |    |		Load	0x0,0x2
0114 1887       |    |		Execute	Package,Field_Execute,Field_Number 0x87
0115 7842       |xB  |		Jump	0x158
0116 4801       |H   |		Short_Literal	0x1
0117 e402       |    |		Load	0x2,0x2
0118 e001       |    |		Load	0x0,0x1
0119 1b32       | 2  |		Execute	Package,Field_Read,Field_Number 0x32
011a 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
011b 4806       |H   |		Short_Literal	0x6
011c e002       |    |		Load	0x0,0x2
011d 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
011e e002       |    |		Load	0x0,0x2
011f 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
0120 e804       |    |		Load	0x4,0x4
0121 e002       |    |		Load	0x0,0x2
0122 1881       |    |		Execute	Package,Field_Execute,Field_Number 0x81
0123 00cf       |    |		Action	Mark_Auxiliary
0124 e808       |    |		Load	0x4,0x8
0125 e002       |    |		Load	0x0,0x2
0126 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
0127 e808       |    |		Load	0x4,0x8
0128 e002       |    |		Load	0x0,0x2
0129 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
012a 0263       | c  |		Execute	Discrete,Above_Bound
012b 7025       |p%  |		Jump_Nonzero	0x151
012c 00d8       |    |		Load_Top	At_Offset_0
012d e808       |    |		Load	0x4,0x8
012e e002       |    |		Load	0x0,0x2
012f 182f       | /  |		Execute	Package,Field_Execute,Field_Number 0x2f
0130 e80a       |    |		Load	0x4,0xa
0131 016d       | m  |		Execute	Variant_Record,Structure_Write
0132 4807       |H   |		Short_Literal	0x7
0133 e002       |    |		Load	0x0,0x2
0134 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0135 00ea       |    |		Load_Encached	Null_String_Cache
0136 4801       |H   |		Short_Literal	0x1
0137 e80a       |    |		Load	0x4,0xa
0138 e002       |    |		Load	0x0,0x2
0139 1822       | "  |		Execute	Package,Field_Execute,Field_Number 0x22
013a 4801       |H   |		Short_Literal	0x1
013b e80a       |    |		Load	0x4,0xa
013c e002       |    |		Load	0x0,0x2
013d 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
013e e002       |    |		Load	0x0,0x2
013f 1882       |    |		Execute	Package,Field_Execute,Field_Number 0x82
0140 4801       |H   |		Short_Literal	0x1
0141 480e       |H   |		Short_Literal	0xe
0142 e002       |    |		Load	0x0,0x2
0143 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0144 00ea       |    |		Load_Encached	Null_String_Cache
0145 4808       |H   |		Short_Literal	0x8
0146 e80a       |    |		Load	0x4,0xa
0147 e002       |    |		Load	0x0,0x2
0148 1821       | !  |		Execute	Package,Field_Execute,Field_Number 0x21
0149 4808       |H   |		Short_Literal	0x8
014a e80a       |    |		Load	0x4,0xa
014b e002       |    |		Load	0x0,0x2
014c 181f       |    |		Execute	Package,Field_Execute,Field_Number 0x1f
014d e002       |    |		Load	0x0,0x2
014e 1886       |    |		Execute	Package,Field_Execute,Field_Number 0x86
014f 00c8       |    |		Action	Pop_Auxiliary_Range
0150 3fdb       |?   |		Loop_Increasing	0x12c
0151 00ce       |    |		Action	Pop_Auxiliary
0152 e002       |    |		Load	0x0,0x2
0153 1b64       | d  |		Execute	Package,Field_Read,Field_Number 0x64
0154 e002       |    |		Load	0x0,0x2
0155 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
0156 e002       |    |		Load	0x0,0x2
0157 186e       | n  |		Execute	Package,Field_Execute,Field_Number 0x6e
0158 4801       |H   |		Short_Literal	0x1
0159 e402       |    |		Load	0x2,0x2
015a e001       |    |		Load	0x0,0x1
015b 1b32       | 2  |		Execute	Package,Field_Read,Field_Number 0x32
015c 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
015d 481b       |H   |		Short_Literal	0x1b
015e e9ff       |    |		Load	0x4,-0x1
015f e002       |    |		Load	0x0,0x2
0160 1829       | )  |		Execute	Package,Field_Execute,Field_Number 0x29
0161 00d9       |    |		Load_Top	At_Offset_1
0162 016d       | m  |		Execute	Variant_Record,Structure_Write
0163 00d8       |    |		Load_Top	At_Offset_0
0164 e002       |    |		Load	0x0,0x2
0165 182c       | ,  |		Execute	Package,Field_Execute,Field_Number 0x2c
0166 7019       |p   |		Jump_Nonzero	0x180
0167 480e       |H   |		Short_Literal	0xe
0168 e002       |    |		Load	0x0,0x2
0169 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
016a e001       |    |		Load	0x0,0x1
016b 1b16       |    |		Execute	Package,Field_Read,Field_Number 0x16
016c e002       |    |		Load	0x0,0x2
016d 1b63       | c  |		Execute	Package,Field_Read,Field_Number 0x63
016e e805       |    |		Load	0x4,0x5
016f e002       |    |		Load	0x0,0x2
0170 1887       |    |		Execute	Package,Field_Execute,Field_Number 0x87
0171 4800       |H   |		Short_Literal	0x0
0172 4800       |H   |		Short_Literal	0x0
0173 4806       |H   |		Short_Literal	0x6
0174 4809       |H   |		Short_Literal	0x9
0175 e9ff       |    |		Load	0x4,-0x1
0176 e002       |    |		Load	0x0,0x2
0177 1820       |    |		Execute	Package,Field_Execute,Field_Number 0x20
0178 0092 01b5  |    |		Action	Push_String_Extended,0x1b5					; " satisfies no system requirements"
017a 01cc       |    |		Execute	Vector,Catenate
017b e002       |    |		Load	0x0,0x2
017c 1818       |    |		Execute	Package,Field_Execute,Field_Number 0x18
017d e002       |    |		Load	0x0,0x2
017e 1847       | G  |		Execute	Package,Field_Execute,Field_Number 0x47
017f 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
0180 4806       |H   |		Short_Literal	0x6
0181 e002       |    |		Load	0x0,0x2
0182 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0183 e002       |    |		Load	0x0,0x2
0184 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
0185 e805       |    |		Load	0x4,0x5
0186 e002       |    |		Load	0x0,0x2
0187 1881       |    |		Execute	Package,Field_Execute,Field_Number 0x81
0188 00cf       |    |		Action	Mark_Auxiliary
0189 00d9       |    |		Load_Top	At_Offset_1
018a e002       |    |		Load	0x0,0x2
018b 182e       | .  |		Execute	Package,Field_Execute,Field_Number 0x2e
018c 00da       |    |		Load_Top	At_Offset_2
018d e002       |    |		Load	0x0,0x2
018e 182d       | -  |		Execute	Package,Field_Execute,Field_Number 0x2d
018f 0263       | c  |		Execute	Discrete,Above_Bound
0190 7012       |p   |		Jump_Nonzero	0x1a3
0191 4807       |H   |		Short_Literal	0x7
0192 e002       |    |		Load	0x0,0x2
0193 1862       | b  |		Execute	Package,Field_Execute,Field_Number 0x62
0194 00ea       |    |		Load_Encached	Null_String_Cache
0195 4801       |H   |		Short_Literal	0x1
0196 00db       |    |		Load_Top	At_Offset_3
0197 e80b       |    |		Load	0x4,0xb
0198 e002       |    |		Load	0x0,0x2
0199 1837       | 7  |		Execute	Package,Field_Execute,Field_Number 0x37
019a 4801       |H   |		Short_Literal	0x1
019b 00db       |    |		Load_Top	At_Offset_3
019c e80b       |    |		Load	0x4,0xb
019d e002       |    |		Load	0x0,0x2
019e 1835       | 5  |		Execute	Package,Field_Execute,Field_Number 0x35
019f e002       |    |		Load	0x0,0x2
01a0 1882       |    |		Execute	Package,Field_Execute,Field_Number 0x82
01a1 00c8       |    |		Action	Pop_Auxiliary_Range
01a2 3fee       |?   |		Loop_Increasing	0x191
01a3 00ce       |    |		Action	Pop_Auxiliary
01a4 e002       |    |		Load	0x0,0x2
01a5 1b64       | d  |		Execute	Package,Field_Read,Field_Number 0x64
01a6 e002       |    |		Load	0x0,0x2
01a7 1b65       | e  |		Execute	Package,Field_Read,Field_Number 0x65
01a8 e002       |    |		Load	0x0,0x2
01a9 186e       | n  |		Execute	Package,Field_Execute,Field_Number 0x6e
01aa 4502       |E   |		Exit_Suprogram	New_Top_Offset 0x2
01ab ; --------------------------------------------------------------------------------------
01ab ; STRING TABLE
01ab ; --------------------------------------------------------------------------------------
01ab 0018       |    |		.STRTAB	0x0018->0x01b7							; " Inputs"
01ac 001d       |    |		.STRTAB	0x001d->0x01ba							; " Outputs"
01ad 0023       | #  |		.STRTAB	0x0023->0x01be							; " Requirements Satisfaction"
01ae 003b       | ;  |		.STRTAB	0x003b->0x01cb							; "A depiction of "
01af 0048       | H  |		.STRTAB	0x0048->0x01d3							; " is shown in Figure "
01b0 005a       | Z  |		.STRTAB	0x005a->0x01dd							; " Diagram"
01b1 0060       | `  |		.STRTAB	0x0060->0x01e1							; "Use Definition to visit "
01b2 0076       | v  |		.STRTAB	0x0076->0x01ed							; " in which this capability"
01b3 008d       |    |		.STRTAB	0x008d->0x01f9							; " must be specified."
01b4 009e       |    |		.STRTAB	0x009e->0x0203							; "*** This capability is defined but has not been specified."
01b5 00d6       |    |		.STRTAB	0x00d6->0x0220							; " satisfies no system requirements"
01b6 00f5       |    |		.STREND 0x00f5->0x0230
01b7 2049 6e70  | Inp|		.STRTAB_STRINGS
0231 0000 0000  |    |		.BLANK	0000[0x7]
0238 ; --------------------------------------------------------------------------------------
0238 ; Debug Table
0238 ; --------------------------------------------------------------------------------------
0238 0004 0012  |    |		.DEBUG4	0x0004,0x0012,0xfcd3,0x0000,0x0001,0x0000
023e dc90 6c00  |  l |		.XXX[0x1c2]
0240 d40c 1800  |    |
0242 1000 1e70  |   p|
0244 a871 3004  | q0 |
0246 c200 0a7c  |   ||
0248 d817 e003  |    |
024a ac00 0a7e  |   ~|
024c 280c 227c  |( "||
024e 0a7c 0c1c  | |  |
0250 327f f679  |2  y|
0252 0010 3e7d  |  >}|
0254 d408 7001  |  p |
0256 7c10 4a7c  || J||
0258 0000 7003  |  p |
025a 240c 5a7d  |$ Z}|
025c b660 0804  | `  |
025e 6a7e 8408  |j~  |
0260 6a7f 6808  |j h |
0262 6a7c 140c  |j|  |
0264 6a7e 540c  |j~T |
0266 6a7e 9408  |j~  |
0268 6a7d ec04  |j}  |
026a 6a7d 0018  |j}  |
026c 6a7e 6008  |j~` |
026e 6a7c 3a7c  |j|:||
0270 267d dc91  |&}  |
0272 9604 0400  |    |
0274 5a7c 7401  |Z|t |
0276 4408 ce7d  |D  }|
0278 6c04 ce7e  |l  ~|
027a 000c ce7e  |   ~|
027c 1004 ce7e  |   ~|
027e e004 5a7f  |  Z |
0280 4d7f 7a3e  |M z>|
0282 bc00 1e70  |   p|
0284 7803 4c3a  |x L:|
0286 c401 0a7d  |   }|
0288 f80a cc01  |    |
028a 0a7f ac4e  |   N|
028c d400 1e70  |   p|
028e 7c00 1894  ||   |
0290 9401 dc01  |    |
0292 327f cc5d  |2  ]|
0294 3e7d 327e  |>}2~|
0296 e075 4e7d  | uN}|
0298 dc93 ed0c  |    |
029a 0001 5a7d  |  Z}|
029c d408 7c03  |  | |
029e 84a1 6a7c  |  j||
02a0 0000 7c03  |  | |
02a2 8879 7a7c  | yz||
02a4 7c02 1411  ||   |
02a6 8a7c 9079  | | y|
02a8 8a7c 9c65  | | e|
02aa 8a7d 0c15  | }  |
02ac 8a7c 7861  | |xa|
02ae 8a7f 7491  |  t |
02b0 8a7d e499  | }  |
02b2 8a7c b419  | |  |
02b4 7a7c 8801  |z|  |
02b6 ca7d c400  | }  |
02b8 1e70 8803  | p  |
02ba 4460 9401  |D`  |
02bc cc01 de7c  |   ||
02be 4868 9401  |Hh  |
02c0 d400 1e70  |   p|
02c2 8c01 767d  |  v}|
02c4 427d dc90  |B}  |
02c6 8c01 867e  |   ~|
02c8 0e7d d408  | }  |
02ca 8c01 927e  |   ~|
02cc 1e7c 0000  | |  |
02ce 2635 d409  |&5  |
02d0 7a7c 8c01  |z|  |
02d2 a27e 2e7c  | ~.||
02d4 8c01 aa7e  |   ~|
02d6 4a7d b27e  |J} ~|
02d8 4a7d ba7e  |J} ~|
02da 4a7d c27e  |J} ~|
02dc 4a7d ca7e  |J} ~|
02de 4a7d e67e  |J} ~|
02e0 4a7d f67e  |J} ~|
02e2 4a7c f099  |J|  |
02e4 7a7c e112  |z|  |
02e6 3a7d bc00  |:}  |
02e8 1e70 9002  | p  |
02ea bc0f ec01  |    |
02ec b000 1e72  |   r|
02ee fc24 c40e  | $  |
02f0 5802 b27d  |X  }|
02f2 4456 6802  |DVh |
02f4 b27c 2c10  | |, |
02f6 1002 6002  |  ` |
02f8 b27c 500e  | |P |
02fa 7800 1e70  |x  p|
02fc 9c00 ad1e  |    |
02fe 7002 ea7e  |p  ~|
0300 c839 167d  | 9 }|
0302 dc93 ca62  |   b|
0304 4c64 2a77  |Ld*w|
0306 067d d40c  | }  |
0308 0000 4275  |  Bu|
030a d408 b402  |    |
030c 645e 1671  |d^ q|
030e dc90 c002  |    |
0310 645f 027f  |d_  |
0312 5468 386b  |Th8k|
0314 e273 367f  | s6 |
0316 485f 427d  |H_B}|
0318 4c5d 8069  |L] i|
031a 067f 367c  |  6||
031c 4c4b 5a7c  |LKZ||
031e c003 2197  |  ! |
0320 4e7f 546a  |N Tj|
0322 ed9b 727c  |  r||
0324 406b 667f  |@kf |
0326 546b 1a7f  |Tk  |
0328 727d 0062  |r} b|
032a a400 1e72  |   r|
032c 887a 4c67  | zLg|
032e 727e 3062  |r~0b|
0330 ac03 aa7c  |   ||
0332 c027 727d  | 'r}|
0334 1018 0002  |    |
0336 b400 1e71  |   q|
0338 6801 980f  |h   |
033a 290b da7d  |)  }|
033c 6813 e67d  |h  }|
033e dc92 68e0  |  h |
0340 d850 067f  | P  |
0342 f67e d027  | ~ '|
0344 f27d 0cc8  | }  |
0346 d40c 0e82  |    |
0348 c859 2408  | Y$ |
034a 1a81 6802  |  h |
034c fc0c 2680  |  & |
034e 803c 0281  | <  |
0350 0cca fc8c  |    |
0352 3a82 c85b  |:  [|
0354 ac14 2680  |  & |
0356 8408 2680  |  & |
0358 4c1c 2680  |L & |
035a 001c 2680  |  & |
035c cc10 2681  |  & |
035e 4404 2683  |D & |
0360 7d18 4681  |} F |
0362 6801 1018  |h   |
0364 2681 6c24  |& l$|
0366 8280 2c10  |  , |
0368 1a81 6c03  |  l |
036a 5844 9e83  |XD  |
036c 7c44 4681  ||DF |
036e 6c03 b814  |l   |
0370 9e82 880c  |    |
0372 9e80 003c  |   <|
0374 b280 6c34  |  l4|
0376 b280 5c3c  |  \<|
0378 b281 a834  |   4|
037a 9e81 3c0c  |  < |
037c 9e81 5410  |  T |
037e 9e81 b028  |   (|
0380 9e82 140c  |    |
0382 9e80 c83c  |   <|
0384 b283 e27c  |   ||
0386 b283 ee7c  |   ||
0388 b280 783c  |  x<|
038a b280 0a80  |    |
038c b280 1680  |    |
038e b280 2280  |  " |
0390 b280 2e80  |  . |
0392 b280 3680  |  6 |
0394 1e71 6c00  | ql |
0396 4281 4e80  |B N |
0398 4e80 b280  |N   |
039a 5680 b280  |V   |
039c 5e80 b280  |^   |
039e 6680 b280  |f   |
03a0 6e80 b280  |n   |
03a2 7680 b280  |v   |
03a4 7e81 4e80  |~ N |
03a6 8a80 b280  |    |
03a8 9281 4e80  |  N |
03aa 9a80 4683  |  F |
03ac 4491 d80d  |D   |
03ae aa80 ae80  |    |
03b0 1e70 95d9  | p  |
03b2 b281 be80  |    |
03b4 c281 aa80  |    |
03b6 ca81 be80  |    |
03b8 d281 be80  |    |
03ba da81 be80  |    |
03bc e281 aa80  |    |
03be ea81 aa80  |    |
03c0 f281 aa80  |    |
03c2 fa81 aa81  |    |
03c4 0281 aa81  |    |
03c6 0a81 be81  |    |
03c8 1281 be81  |    |
03ca 1a81 be81  |    |
03cc 2281 be81  |"   |
03ce 2a81 be81  |*   |
03d0 3281 be81  |2   |
03d2 3a81 be81  |:   |
03d4 4281 be81  |B   |
03d6 4a81 dc92  |J   |
03d8 f0ab fe7d  |   }|
03da be81 5e81  |  ^ |
03dc be81 6681  |  f |
03de be81 6e81  |  n |
03e0 be81 7681  |  v |
03e2 be81 7e81  |  ~ |
03e4 be81 8681  |    |
03e6 be81 8e82  |    |
03e8 5a81 9681  |Z   |
03ea be81 9e82  |    |
03ec 5a81 a680  |Z   |
03ee 1e71 7400  | qt |
03f0 a680 4683  |  F |
03f2 24e2 6281  |$ b |
03f4 dc91 7400  |  t |
03f6 ba82 c281  |    |
03f8 ce82 b681  |    |
03fa d682 ce81  |    |
03fc de82 ce81  |    |
03fe e682 ce81  |    |