flush_output(Stream) flushes pending output on output stream Stream. Stream must have been opened in write mode in order to use it in this predicate.