let
tmp_channel = ref stdout