let
stdout () =
new
out_channel_media stdout