let output_translations m = 
  let (fd,close_on_exit) = 
    match !Pcaml.output_file with
      Some f -> (open_out f,true)
    | None -> (stdout,false)
  in
  Marshal.to_channel fd m [];
  flush fd;
  if close_on_exit then
    close_out fd
  else
    ()