The fflush ([ filename ]) function