_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)