Message        This directive overrides the extern_prefix for
                "<name>" specified by an earlier #pragma
                extern_prefix at <where>.

 Description    Two #pragma extern_prefix directives have specified
                different non-empty extern_prefixes for the same
                identifier.  In such cases the later directive will
                set the extern_prefix for the identifier.

 User Action    If it is necessary to respecify the extern_prefix for
                an identifier, first remove the prefix (by setting it
                to an empty string) and then specify the new prefix
                in a subsequent #pragma.