int debug_fputc(int c, DEBUG_FILE *stream);
debug_fputc writes the character c to the output stream.
debug_fputc returns the character written or -1 if an error occurred.