/* Implementation of fputc using the DBGU as the standard output. Required for printf(). Returns the character written if successful, or -1 if the output stream is not stdout or stderr.  */
signed int fputc(signed int c, FILE *pStream)
/* Implementation of fputc using the DBGU as the standard output. Required for printf(). Returns the character written if successful, or -1 if the output stream is not stdout or stderr.  */
signed int fputc(signed int c, FILE *pStream)
{
    if ((pStream == stdout) || (pStream == stderr)) {
        DBGU_PutChar(c);
        return c;
    }
    else {
        return EOF;
    }
}