int _IO_puts(const char *__c);
_IO_puts() writes the string __s and a trailing newline to stdout.
_IO_puts is not in the source standard; it is only in the binary standard.