Flushes the C FILE buffers.
Calls $(CSTDIO fflush) for the file handle.
Exception if the file is not opened or if the call to fflush fails.
See Implementation
Flushes the C FILE buffers.
Calls $(CSTDIO fflush) for the file handle.