__deprecated__    762 include/config.h # define _GL_ATTRIBUTE_DEPRECATED [[__deprecated__]]
__deprecated__    764 include/config.h # define _GL_ATTRIBUTE_DEPRECATED __attribute__ ((__deprecated__))