Хотел применить puts

Код:
puts( (const char*)pxTaskParam->string );

но посмотрев функцию puts

Код:
extern _ARMABI int puts(const char * /*s*/) __attribute__((__nonnull__(1)));


Объясните это заглушка __attribute__((__nonnull__(1)));  ?