CVS difference for acats/docs/mod_list.txt

Differences between 1.78 and version 1.79
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2015/12/11 03:32:49	1.78
+++ acats/docs/mod_list.txt	2016/02/06 03:09:26	1.79
@@ -1,13 +1,13 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0J
-December 10, 2015
+Version 4.0K
+February 6, 2016
 
 
 What is this?
 
 This is the ACATS modification list for ACATS 4.0. This document includes test corrections, test removals, and new tests for ACATS 4.0. ACATS 4.0 is the current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ad
a 2012").
 
-ACATS Modification List version 3.1K for ACATS 3.1 is the current list for that test suite. ACATS 3.1 should be used for testing implementations that support Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will continue to be ma
intained as necessary for the foreseeable future.
+ACATS Modification List version 3.1L for ACATS 3.1 is the current list for that test suite. ACATS 3.1 should be used for testing implementations that support Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will continue to be ma
intained as necessary for the foreseeable future.
 
 ACATS Modification List version 2.6D for ACATS 2.6 is the current list for that test suite. ACATS 2.6 should be used for testing implementations of the second edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will continue to be maint
ained as necessary for the foreseeable future.
 
@@ -15,27 +15,31 @@
 
 Note that there is no modification list 4.0I, as I can be confused with 1.
 
-Many tests changed status on October 1st, this list reflects those changes.
+New test C3A0030 checks that access discriminants only exclude null if they include a null exclusion. This is an inconsistency between Ada 95 and Ada 2005 that does not appear to have been previously tested.
 
-Test C416A02 required an incorrect trace.
+New test C480001 checks that dynamic accessibility checks are made on class-wide allocators.
 
-New tests B457006, B457007, C457006, C457007, and B860001 check various syntax and resolution rules for conditional expressions.
+New test C650B04 checks that accessibility checks are made on the objects returned from a function with a class-wide return type.
 
-New tests C457005 and C540003 check that case statements and expressions operate properly when given values that don't meet an ignored static predicate.
+Test B480003 was modified to correct the test objective and test description to actually describe the test; the objective mentioned qualified expressions (none in uninitialized allocators), and the test description was unmodified from the older test that 
had served as a template (thus discussing return statements, not relevant for a test about allocators). The actual test code is unchanged.
 
-New tests BD11002 and CD11001 check visibility rules for aspect specifications.
+New tests B611001 through B611006 check various rules about preconditions and postconditions.
 
-Tests CD33001 and CD33002 were effectively renamed to CD30008 and CD30009 as the original names violate the ACATS naming conventions by referring to a non-existent subclause.
+Test B750A07 was modified to correct the test objective; the objective was unintentionally the same as the parent test, and never mentioned expression functions.
 
-New tests CXB3023 and CXB3024 check that a value of an unchecked union type can be passed to C code and used as expected.
+Test C760015 was modified so that the expected result of Subtest2(4) was correct.
 
-New tests posted between October 1, 2015 and December 31, 2015 will become required for conformity assessments on July 1, 2016. New tests posted between July 1, 2015 and September 30, 2015 will become required for conformity assessments on April 1, 2016. 
New tests posted between April 1, 2015 and June 30, 2015 will become required for conformity assessments on January 1, 2016. New tests posted before March 31, 2015 are now required for conformity assessments. All tests posted to modification lists for othe
r versions of the ACATS are included in ACATS 4.0 if appropriate and thus are required for conformity assessment using ACATS 4.0 The effective dates of tests are marked in the lists. 
+New tests BB42001, BB42002, BB42003, CB42001, CB42002, and CB42003 test a variety of rules about pragmas Assert and Assertion_Policy.
 
+Many tests changed status on January 1st, this list reflects those changes.
+
+New tests posted between January 1, 2016 and March 31, 2016 will become required for conformity assessments on October 1, 2016. New tests posted between October 1, 2015 and December 31, 2015 will become required for conformity assessments on July 1, 2016.
 New tests posted between July 1, 2015 and September 30, 2015 will become required for conformity assessments on April 1, 2016. New tests posted before June 30, 2015 are now required for conformity assessments. All tests posted to modification lists for ot
her versions of the ACATS are included in ACATS 4.0 if appropriate and thus are required for conformity assessment using ACATS 4.0 The effective dates of tests are marked in the lists. 
+
 Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.
 
-2015 Corrigendum:
+Technical Corrigendum 1:
 
-Beginning with ACATS Modification List 4.0B, we have included tests for corrections (including new features) in the upcoming 2015 Corrigendum. All of these corrections have already been approved by WG 9. All of these changes are technically corrections to
 Ada 2012; as such we will assume all such corrections are implemented for Ada 2012 compilers.
+Beginning with ACATS Modification List 4.0B, we have included tests for corrections (including new features) in Technical Corrigendum 1, ISO/IEC 8652:2012/Cor 1:2016. All of these changes are corrections to Ada 2012; as such we will assume all such correc
tions are implemented in Ada 2012 compilers.
 
 Notice:
 
@@ -78,15 +82,13 @@
 	order and that the specified exception is raised.
 	[VCS Label A4_0H] Missing function Name is defined.
 
-C324004 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C324004 [New] VCS Label: A4_0F
 	Check predicate checks are not performed for static and dynamic
 	subtype predicates when the assertion policy is Ignore, but
 	memberships, the Valid attribute, and for loops continue to use
 	the predicates -- case A: global assertion policy pragmas
 
-C324005 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C324005 [New] VCS Label: A4_0F
 	Check predicate checks are not performed for static and dynamic
 	subtype predicates when the assertion policy is Ignore, but
 	memberships, the Valid attribute, and for loops continue to use
@@ -108,6 +110,11 @@
 	overriding when it is inherited if the private part is not visible
 	where it is inherited.
 
+C3A0030 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that an access discriminant is only null excluding if it
+	includes a null exclusion.
+
 C3A1003 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a dereference of an
 	access-to-tagged-incomplete type can be passed as a parameter.
@@ -145,36 +152,31 @@
 	type or outside of the generic.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B415001 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B415001 [New] VCS Label: A4_0F
 	Check various rules associated with the specification of aspect
 	Implicit_Dereference.
 
 C415001 [Modified] VCS Label: A4_0F
 	Expression @155-6 violates 6.4.1(6.17/3).
 
-B415002 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B415002 [New] VCS Label: A4_0F
 	Check that the object denoted by a generalized reference cannot
 	be used as a variable if the discriminant has an
 	access-to-constant type.
 
-B416002 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B416002 [New] VCS Label: A4_0F
 	Check that a generalized indexing is illegal in a variable context
 	if no Variable_Indexing is specified and Constant_Indexing
 	specifies a function returning an ordinary object.
 
-B416A01 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B416A01 [New] VCS Label: A4_0F
 	When both Constant_Indexing and Variable_Indexing are
 	specified, check that a generalized indexing is illegal if it is
 	called in variable contexts when the prefix is a constant and
 	Constant_Indexing specifies a function returning an ordinary
 	object.
 
-C416A01 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C416A01 [New] VCS Label: A4_0F
 	Check that the name specified for a Constant_Indexing or
 	Variable_Indexing aspect can refer to a set of overloaded
 	functions, with two or more parameters, and that all of those
@@ -217,8 +219,7 @@
 	components are specified by <>.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B433003 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B433003 [New] VCS Label: A4_0F
 	Check that an others choice is not allowed in an array
 	aggregate that is used as the return expression of an expression
 	function or the expression of a return statement if the result
@@ -244,8 +245,7 @@
 	expression of a return statement.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C433006 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C433006 [New] VCS Label: A4_0F
 	Check that the constraint of the constrained
 	array subtype of a function return is used to determine the
 	bounds of an array aggregate with an others choice in the
@@ -298,6 +298,11 @@
 	Check that literals can be resolved when they appear as dependent
 	expressions in a conditional expression.
 
+C480001 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that an initialized allocator for a class-wide type does
+	an accessibility check on the tag of the initializing object.
+
 B480002 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that an initialized allocator for an
 	access type with a class-wide designated type does not create an
@@ -310,6 +315,11 @@
 	object whose type is more local than the access type.
 	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
+B480003 [Allowed Modification] New VCS Label: A4_0K Org VCS Label: A4_0E
+			Required after 2016-07-01
+	[VCS Label A4_0K] Corrected test objective and test description;
+	the test code is unmodified.
+
 C540002 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines.
 
@@ -334,8 +344,8 @@
 	Check legality rules for aspect Iterator_Element.
 
 B552001 [New] VCS Label: A4_0E
-	Check legality rules for array component iterators from the 2015
-	Corrigendum.
+	Check legality rules for array component iterators from Technical
+	Corrigendum 1.
 
 C552001 [New] VCS Label: A4_0E
 	Check correct operation of array component iterators.
@@ -352,12 +362,42 @@
 
 B552A04 [New] VCS Label: A4_0E
 	Check legality rules for container element iterators (most of
-	the checked rules are from the 2015 Corrigendum).
+	the checked rules are from Technical Corrigendum 1).
 
 B552A05 [New] VCS Label: A4_0E
-	Check legality rules for generalized iterators from the 2015
-	Corrigendum.
+	Check legality rules for generalized iterators from Technical
+	Corrigendum 1.
 
+B611001 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that Pre and Post are only allowed on subprograms and
+	entries (and not on subprogram instances).
+
+B611002 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that Pre and Post are not allowed on subprograms acting as
+	completions.
+
+B611003 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that Pre'Class and Post'Class are only allowed on primitive
+	subprograms of tagged types. (Normal tagged types and interfaces.)
+
+B611004 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that Pre'Class and Post'Class are not allowed on
+	subprograms acting as completions.
+
+B611005 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that Pre and Post are not allowed on abstract subprograms
+	and null procedures.
+
+B611006 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that the restrictions on Pre'Class and Post'Class
+	expressions added by AI12-0113-1 are enforced.
+
 B640001 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check that abstract nondispatching operations
 	do not participate in resolution.
@@ -404,6 +444,12 @@
 	tagged type has the tag of the return_subtype_indication if it is
 	a specific tagged type.
 
+C650B04 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that the result of a function that returns a class-wide
+	tagged type does an accessibility check on the tag of the result
+	object when the result expression is class-wide.
+
 B730009 [Modified] VCS Label: A4_0E
 	Completion of Priv12 @131 violates 7.3(10.1/3).
 
@@ -423,8 +469,7 @@
 	conversions.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C732002 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C732002 [New] VCS Label: A4_0F
 	Check some differences between specific and class-wide type
 	invariants.
 
@@ -433,18 +478,15 @@
 	raises Assertion_Error (constrained array).
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C732A02 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C732A02 [New] VCS Label: A4_0F
 	Check that the failure of a Type_Invariant check raises
 	Assertion_Error (part of unconstrained array).
 
-C732B01 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C732B01 [New] VCS Label: A4_0F
 	Check that the failure of a Type_Invariant check raises
 	Assertion_Error (discriminated record).
 
-C732B02 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C732B02 [New] VCS Label: A4_0F
 	Check that the failure of a Type_Invariant check raises
 	Assertion_Error (access-to-record).
 
@@ -465,12 +507,10 @@
 	interfaces.
 	[VCS Label A4_0E] Eliminate overlong lines.
 
-B750A01 [Allowed Modification] New VCS Label: A4_0H Org VCS Label: A4_0
-			Required after 2016-01-01
+B750A01 [Modified] VCS Label: A4_0H
 	The qualification @129 should be for Lim_Ext, not Lim_Rec.
 
-B750A02 [Allowed Modification] New VCS Label: A4_0H Org VCS Label: A4_0
-			Required after 2016-01-01
+B750A02 [Modified] VCS Label: A4_0H
 	The qualification @131 should be for Lim_Ext, not Lim_Rec.
 
 B750A04 [Pending New] New VCS Label: A4_0H
@@ -491,9 +531,12 @@
 	limited type.
 
 B750A07 [Pending New] New VCS Label: A4_0H
-			Required after 2016-04-01
-	Check that only legal expressions are allowed in the return
-	expression of an expression function that returns a limited type.
+			Required after 2016-10-01
+	[VCS Label A4_0H] Check that only legal expressions are allowed
+	in the return expression of an expression function that returns a
+	limited type.
+	[VCS Label A4_0K] Corrected objective to mention “expression
+	functions”.
 
 B750A08 [Pending New] New VCS Label: A4_0H
 			Required after 2016-04-01
@@ -539,30 +582,30 @@
 	[VCS Label A4_0D] Check that a controlled type can be declared
 	within a subprogram.
 	[VCS Label A4_0E] Eliminate overlong lines.
+
+C760015 [Allowed Modification] New VCS Label: A4_0K Org VCS Label: A4_0E
+			Required after 2016-07-01
+	[VCS Label A4_0K] Corrected one of the potential results for
+	Subtest2(4) to be “Iafcf”, not “IafcF”.
 
-C831001 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+C831001 [New] VCS Label: A4_0F
 	Check that overriding indicators do not change the dynamic effect
 	of calls.
 
-B831004 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B831004 [New] VCS Label: A4_0F
 	Check that overriding indicators are properly enforced for types
 	derived from a generic formal type. (Nested generic specification
 	cases.)
 
-B831005 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B831005 [New] VCS Label: A4_0F
 	Check that overriding indicators are properly enforced for types
 	derived from a generic formal type. (Library unit and body cases.)
 
-B840002 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B840002 [New] VCS Label: A4_0F
 	Check a package use clause cannot denote a limited view or a
 	non-package.
 
-B840003 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+B840003 [New] VCS Label: A4_0F
 	Check a use all type clause does not make non-primitives or
 	class-wide operations that aren't directly declare where a
 	primitive operation would be visible.
@@ -596,6 +639,37 @@
 	retrieved with Exception_Message.
 	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
+BB42001 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that the arguments of a pragma Assert have to have the
+	correct types.
+
+CB42001 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check the usual operation of pragma Assert, including the optional
+	message.
+
+BB42002 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that the arguments of a pragma Assert cannot be reordered
+	even if named notation is used.
+
+CB42002 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that if the assertion policy is Ignore, none of the
+	expressions of a pragma Assert are evaluated and no exception is
+	raised by the pragma.
+
+BB42003 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that a pragma Assertion_Policy is illegal if the policy is
+	not recognized.
+
+CB42003 [Pending New] New VCS Label: A4_0K
+			Required after 2016-10-01
+	Check that procedure Ada.Assertions.Assert evaluates its arguments
+	and raises Assertion_Error regardless of the assertion policy.
+
 CC30003 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines.
 
@@ -616,22 +690,18 @@
 BC60001 [New] VCS Label: A4_0C
 	Test rules associated with formal subprogram defaults of null.
 
-CC60001 [Pending New] New VCS Label: A4_0G
-			Required after 2016-01-01
+CC60001 [New] VCS Label: A4_0G
 	Check that calls on a formal abstract subprogram are dispatching.
 
-BC60002 [Pending New] New VCS Label: A4_0G
-			Required after 2016-01-01
+BC60002 [New] VCS Label: A4_0G
 	Test rules associated with the controlling type of a formal
 	abstract subprogram.
 
-BC60003 [Pending New] New VCS Label: A4_0G
-			Required after 2016-01-01
+BC60003 [New] VCS Label: A4_0G
 	Check that the actual subprogram for a formal abstract subprogram
 	must be a dispatching operation of the controlling type.
 
-BC60004 [Pending New] New VCS Label: A4_0G
-			Required after 2016-01-01
+BC60004 [New] VCS Label: A4_0G
 	Check that a call on a formal abstract subprogram must be
 	dispatching.
 
@@ -689,8 +759,7 @@
 	approved) and made changes required by AI12-0121-1.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-CXA4037 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+CXA4037 [New] VCS Label: A4_0F
 	Check Ada.Strings.Fixed.Find_Token against rule from 2001
 	Corrigendum.
 
@@ -804,37 +873,29 @@
 	Corrected the name of the package that is reported as being
 	tested.
 
-BXB3001 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+BXB3001 [New] VCS Label: A4_0F
 	Check B.3.3(8/2).
 
-BXB3002 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+BXB3002 [New] VCS Label: A4_0F
 	Check B.3.3(9/3).
 
-BXB3003 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+BXB3003 [New] VCS Label: A4_0F
 	Check B.3.3(11/2).
 
-BXB3004 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+BXB3004 [New] VCS Label: A4_0F
 	Check that rules for the application of aspect Unchecked_Union are
 	enforced.
 
-CXB3019 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+CXB3019 [New] VCS Label: A4_0F
 	Check B.3.3(23/2).
 
-CXB3020 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+CXB3020 [New] VCS Label: A4_0F
 	Check B.3.3(24/2).
 
-CXB3021 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+CXB3021 [New] VCS Label: A4_0F
 	Check B.3.3(25/2).
 
-CXB3022 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+CXB3022 [New] VCS Label: A4_0F
 	Check B.3.3(26/2).
 
 CXB3023 [Pending New] New VCS Label: A4_0J
@@ -874,12 +935,10 @@
 
 ===== Support =====
 
-F416A00 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+F416A00 [New] VCS Label: A4_0F
 	Foundation for tests B416A01, C416A01, and C416A02.
 
-F552A00 [Allowed Modification] New VCS Label: A4_0H Org VCS Label: A4_0E
-			Required after 2016-01-01
+F552A00 [Modified] VCS Label: A4_0H
 	The Constant_Reference routine @237 and @388 needs to return a
 	Bingo_Call value rather than a reference, (and then was renamed)
 	in order to prevent an accessibility failure.
@@ -888,17 +947,13 @@
 			Required after 2016-04-01
 	Foundation for tests C650B01, C650B02, and C650B03.
 
-F732A00 [New] VCS Label: A4_0E
+F732A00 [New] VCS Label: A4_0F
 	[VCS Label A4_0D] Foundation for test C732A01.
 	[VCS Label A4_0E] Eliminated overlong lines.
-
-F732A00 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0E
-			Required after 2016-01-01
 	[VCS Label A4_0F] Added types and operations to support test
 	C732A02. They are only needed for that test.
 
-F732B00 [Pending New] New VCS Label: A4_0F
-			Required after 2016-01-01
+F732B00 [New] VCS Label: A4_0F
 	Foundation for tests C732B01 and C732B02.
 
 F732C00 [New] VCS Label: A4_0E
@@ -933,7 +988,7 @@
 
 The official home of the ACATS test suite is the ACAA web site. The site can be accessed at www.ada-auth.org.
 
-The complete set of official new and modified tests are available in the Mod_4_0J.Zip and Tar files on the ACAA web site.
+The complete set of official new and modified tests are available in the Mod_4_0K.Zip and Tar files on the ACAA web site.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply navigate to the appropriate directory (folder), and select the test you want. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are 
stored in directories that correspond to the test’s prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be con
sidered the 'official' versions.]
 
@@ -957,16 +1012,19 @@
 
 (Refer to the main list for details)
 
-B750A01	2016-01-01
-B750A02	2016-01-01
+B480003	2016-07-01 [VCS Label A4_0K]
+C760015	2016-07-01 [VCS Label A4_0K]
 IMPDEF	2016-04-01 [Only needed for new tests CXB3023 and CXB3024]
 
 
+
 Modified Tests
 
 (Refer to the main list for details)
 
 B730009
+B750A01
+B750A02
 BDD2004
 BDD2005
 C324001
@@ -977,6 +1035,7 @@
 CC30004
 CD30006
 CD30007
+F552A00
 IMPDEF [VCS_Label_A4_0E]
 
 
@@ -990,14 +1049,19 @@
 B3A1009
 B3A1010
 B3A2017
+B415001
+B415002
+B416002
+B416A01
 B431005
 B431006
+B433003
 B457002
 B457003
 B457004
 B457005
 B480002
-B480003
+B480003 [VCS Label A4_0E]
 B551001
 B551002
 B552001
@@ -1010,9 +1074,16 @@
 B732001
 B732C01
 B732C02
+B831004
+B831005
+B840002
+B840003
 BA12017
 BA15003
 BC60001
+BC60002
+BC60003
+BC60004
 BDB3A01
 BXAI001
 BXAI002
@@ -1026,29 +1097,44 @@
 BXAIA02
 BXAIA03
 BXAIA04
+BXB3001
+BXB3002
+BXB3003
+BXB3004
+C324004
+C324005
 C391003
 C3A1003
 C3A1004
 C3A2004
+C416A01
 C431002
 C433002
 C433003
 C433004
 C433005
+C433006
 C550001
 C552001
 C552002
 C640002
 C732001
+C732002
 C732A01
+C732A02
+C732B01
+C732B02
 C732C01
 C760014
-C760015
+C760015 [VCS Label A4_0E]
+C831001
 CA21002
 CB30001
 CB30002
 CC51010
+CC60001
 CDB3A01
+CXA4037
 CXA5016
 CXAA021
 CXAA022
@@ -1061,7 +1147,13 @@
 CXAH001
 CXAH002
 CXAH003
+CXB3019
+CXB3020
+CXB3021
+CXB3022
+F416A00
 F732A00
+F732B00
 F732C00
 FDB3A00
 
@@ -1071,70 +1163,51 @@
 
 (Refer to the main list for details)
 
-B415001	2016-01-01
-B415002	2016-01-01
-B416002	2016-01-01
-B416A01	2016-01-01
-B433003	2016-01-01
 B457006	2016-07-01
 B457007	2016-07-01
+B611001	2016-10-01
+B611002	2016-10-01
+B611003	2016-10-01
+B611004	2016-10-01
+B611005	2016-10-01
+B611006	2016-10-01
 B750A04	2016-04-01
 B750A05	2016-04-01
 B750A06	2016-04-01
-B750A07	2016-04-01
+B750A07	2016-10-01
 B750A08	2016-04-01
 B750A09	2016-04-01
 B750A10	2016-04-01
 B750A11	2016-04-01
 B750A12	2016-04-01
 B750A13	2016-04-01
-B831004	2016-01-01
-B831005	2016-01-01
-B840002	2016-01-01
-B840003	2016-01-01
 B860001	2016-07-01
-BC60002	2016-01-01
-BC60003	2016-01-01
-BC60004	2016-01-01
+BB42001	2016-10-01
+BB42002	2016-10-01
+BB42003	2016-10-01
 BD11002	2016-07-01
-BXB3001	2016-01-01
-BXB3002	2016-01-01
-BXB3003	2016-01-01
-BXB3004	2016-01-01
 C324003	2016-04-01
-C324004	2016-01-01
-C324005	2016-01-01
 C390012	2016-04-01
-C416A01	2016-01-01
+C3A0030	2016-10-01
 C416A02	2016-07-01
-C433006	2016-01-01
 C457005	2016-07-01
 C457006	2016-07-01
 C457007	2016-07-01
+C480001	2016-10-01
 C540003	2016-07-01
 C650A02	2016-04-01
 C650B01	2016-04-01
 C650B02	2016-04-01
 C650B03	2016-04-01
-C732002	2016-01-01
-C732A02	2016-01-01
-C732B01	2016-01-01
-C732B02	2016-01-01
-C831001	2016-01-01
-CC60001	2016-01-01
+C650B04	2016-10-01
+CB42001	2016-10-01
+CB42002	2016-10-01
+CB42003	2016-10-01
 CD11001	2016-07-01
 CD30008	2016-07-01
 CD30009	2016-07-01
-CXA4037	2016-01-01
 CXAC008	2016-04-01
-CXB3019	2016-01-01
-CXB3020	2016-01-01
-CXB3021	2016-01-01
-CXB3022	2016-01-01
 CXB3023	2016-07-01
 CXB3024	2016-07-01
-F416A00	2016-01-01
 F650B00	2016-04-01
-F732B00	2016-01-01
-
 

Questions? Ask the ACAA Technical Agent