_GL_ATTRIBUTE_NONNULL  854 include/config.h # define _GL_ATTRIBUTE_NONNULL(args) __attribute__ ((__nonnull__ args))
_GL_ATTRIBUTE_NONNULL  856 include/config.h # define _GL_ATTRIBUTE_NONNULL(args)