#include <stdio.h>

int setvbuf(FILE *restrict stream, char *restrict buf, int mode, size_t size) {
	return 0;
}