#include <stdio.h>

void setbuf(FILE *restrict stream, char *restrict buf) {
	return;
}