let prout_newline () =
  Printf.fprintf !tmp_channel "\n"