_GL_ATTRIBUTE_NONNULL  842 include/config.h # define _GL_ATTRIBUTE_NONNULL(args) __attribute__ ((__nonnull__ args))
_GL_ATTRIBUTE_NONNULL  844 include/config.h # define _GL_ATTRIBUTE_NONNULL(args)