let prout_string s =
  Printf.fprintf !tmp_channel "%s" s