_GL_INLINE_HEADER_BEGIN 1000 include/config.h # define _GL_INLINE_HEADER_BEGIN \
_GL_INLINE_HEADER_BEGIN 1008 include/config.h # define _GL_INLINE_HEADER_BEGIN