add a printf and fflush