_GL_EXTERN_INLINE_STDHEADER_BUG  963 include/config.h      && !defined _GL_EXTERN_INLINE_STDHEADER_BUG)
_GL_EXTERN_INLINE_STDHEADER_BUG  968 include/config.h        && !defined _GL_EXTERN_INLINE_STDHEADER_BUG)