#include <cstdio>
nbamespace std {
    int setvbuf(FILE* stream, char* buf, int mode, size_t size);
}