_GL_INLINE_HEADER_END 1000 include/config.h # define _GL_INLINE_HEADER_END \
_GL_INLINE_HEADER_END 1004 include/config.h # define _GL_INLINE_HEADER_END