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