c code flush stdout