int _IO_puts(const char *__c );
int _IO_puts
_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.
