_GL_ATTRIBUTE_DEPRECATED   42 lib/ignore-value.h #   define _GL_ATTRIBUTE_DEPRECATED /* empty */
_GL_ATTRIBUTE_DEPRECATED   44 lib/ignore-value.h #   define _GL_ATTRIBUTE_DEPRECATED __attribute__ ((__deprecated__))