1#define _GNU_SOURCE
2#include <stdio.h>
3
4void setbuffer(FILE *f, char *buf, size_t size)
5{
6	setvbuf(f, buf, buf ? _IOFBF : _IONBF, size);
7}
8