anchor.diff:      (let x = BU.trim_string s = "Done!" in
   //     BU.print5 "On thread %s, Z3 %s (%s) says: %s\n\t%s\n" (tid()) id pid s (if x then "finished" else "waiting for more output");
        x) in
  -   BU.start_process id ((Options.z3_exe())) (ini_params()) cond
  +   BU.start_process id ((z3_exe())) (ini_params()) cond
   
   type bgproc = {
       grab:unit -> proc;
  
positive.code:      x) in
    let stdout =
      if fresh then
        BU.launch_process (tid()) ((Options.z3_exe())) (ini_params()) input cond
      else
        let proc = bg_z3_proc.grab() in
        let stdout = BU.ask_process proc input in
  
negative.code:     match !_z3version with
      | Some version -> version
      | None ->
          let _, out, _ = BU.run_proc (z3_exe()) "-version" "" in
          let out =
              match splitlines out with
              | x :: _ when starts_with x prefix -> begin
  