#include <stdio.h>

int puts(const char *s)
/*  s.o. was muss hier zurueckgegeben werden?   */
{
    if(fputs(s,stdout)==EOF) return(EOF);
    if(__putc('\n',stdout)==EOF) return(EOF);
    if(fflush(stdout)==EOF) return(EOF); else return(1);
}