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