fflush(stdout)