_GL_ATTRIBUTE_LEAF  800 include/config.h # define _GL_ATTRIBUTE_LEAF __attribute__ ((__leaf__))
_GL_ATTRIBUTE_LEAF  802 include/config.h # define _GL_ATTRIBUTE_LEAF