_GL_ATTRIBUTE_NONNULL  860 include/config.h # define _GL_ATTRIBUTE_NONNULL(args) __attribute__ ((__nonnull__ args))
_GL_ATTRIBUTE_NONNULL  862 include/config.h # define _GL_ATTRIBUTE_NONNULL(args)