[bv-dev] ValueExtractionUnwrappingTest: quibble between spec and TCK