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