#include <stdio.h>
#include "c99ppe.h"
#undef putchar
int
putchar (c)
int c;
{
/* c gets overwritten before return */
send_to_ppe(SPE_C99_SIGNALCODE, SPE_C99_PUTCHAR, &c);
return c;
}