f << flush -- writes out any buffered output for the output file f.
The manipulator flush is a member of the class Manipulator.