Copyright Digital Equipment Corp. All rights reserved.

EXTPREAGAIN

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.