#include <stdio.h>
int puts(const char *s)
{
while(*s)
if(fputc(*s++,stdout)==EOF)
return EOF;
if(fputc('\n',stdout)==EOF)
return 0;
}
int putchar(int c) {
return fputc(c, stdout);