2.2.4.9 pointer_default

With these extensions, the pointer_default attribute, as specified in [C706] section 4.2.4, is not required. Its default value MUST be pointer_default (unique) when the attribute is absent.