#include <stdio.h>
void fbuff_(void) {
   fflush(0);
}