#include "stdio.h"

void setbuffer(FILE *stream,char *buf,size_t size)
{ (void)setvbuf(stream,buf,buf?_IOFBF:_IONBF,size); }