fflush(stdout);