_GL_INLINE_HEADER_BEGIN 1001 include/config.h # define _GL_INLINE_HEADER_BEGIN \
_GL_INLINE_HEADER_BEGIN 1009 include/config.h # define _GL_INLINE_HEADER_BEGIN