_GL_ATTRIBUTE_NONNULL  845 include/config.h # define _GL_ATTRIBUTE_NONNULL(args) __attribute__ ((__nonnull__ args))
_GL_ATTRIBUTE_NONNULL  847 include/config.h # define _GL_ATTRIBUTE_NONNULL(args)