#include <stdio.h>
#include "c99ppe.h"
#ifndef _REENT_ONLY
int
puts (char const * s)
{
CHECK_STD_INIT(_REENT);
/* The return value gets written over s
*/
return __send_to_ppe(SPE_C99_SIGNALCODE, SPE_C99_PUTS, &s);
}
#endif /* ! _REENT_ONLY */