_GL_EXTERN_INLINE_STDHEADER_BUG 975 include/config.h && !defined _GL_EXTERN_INLINE_STDHEADER_BUG) _GL_EXTERN_INLINE_STDHEADER_BUG 980 include/config.h && !defined _GL_EXTERN_INLINE_STDHEADER_BUG)