_GL_INLINE_HEADER_END 1012 include/config.h # define _GL_INLINE_HEADER_END \
_GL_INLINE_HEADER_END 1016 include/config.h # define _GL_INLINE_HEADER_END