If elements are 'MustSupport' for interoperability, they shouldn't be bound to a value set with 'example' strength bindings.   So either the MS should be relaxed, or a suitable VS identified that can be used with extensible or required strength.