let prout_endline s =
  Printf.fprintf !tmp_channel "%s\n" s