#include <stdio.h>

void setbuf(FILE *stream,char *buf)
{
    setvbuf(stream,buf,buf?_IOFBF:_IONBF,BUFSIZ);
}