fflush() implemented