Write any buffered bytes to the destination stream and reset the buffer.
Declared in <streams.h>
<streams.h>
void flush();