let _ =
  let fich = Sys.argv.(1) in
  let ch = open_in_bin fich in
  let res = Marshal.from_channel ch in
  close_in ch;
  Spass.process_result res