let
channel_stdout () =
Format
.std_formatter