3.1.1.5.3.3.1.2 Unique or Full Pointer to Conformant Array Consistency Check
A conformant array or conformant and varying string correlated with another parameter or field can be referred by a unique pointer or full pointer. While it is allowed to have a nonzero correlated value with a NULL pointer (as specified in [C706] section 14.3.10), implementations of these extensions SHOULD indicate the octet stream as invalid if all of the following conditions are met: