include/stream_output.h: