int _IO_putc(int __c, _IO_FILE *__fp);
_IO_putc() writes the character __c, cast to an unsigned char, to __fp.