_GL_ATTRIBUTE_EXTERNALLY_VISIBLE  800 include/config.h # define _GL_ATTRIBUTE_EXTERNALLY_VISIBLE __attribute__ ((externally_visible))
_GL_ATTRIBUTE_EXTERNALLY_VISIBLE  802 include/config.h # define _GL_ATTRIBUTE_EXTERNALLY_VISIBLE