 
 (defun fstar-subp-sentinel (proc signal)
   "Handle PROC's SIGNAL."
-  (fstar-log "SENTINEL [%s] [%s]" signal (process-status proc))
+  (fstar-log 'info "Signal received: [%s] [%s]" signal (process-status proc))
   (when (or (memq (process-status proc) '(exit signal))
             (not (process-live-p proc)))
     (message "F*: subprocess exited.")


(defun fstar-subp--query (query continuation)
  "Send QUERY to F* subprocess; handle results with CONTINUATION."
  (fstar-log "QUERY [%s]" query)
  (fstar-assert (not fstar-subp--continuation))
  (setq fstar-subp--continuation continuation)
  (fstar-subp-start)

    ;; Check for results
    (cond
     ((car results-cell) ;; Got results in time!
      (fstar-log 'info "Fetching results for %S took %.2fms"
            query (* 1000 (float-time (time-since start))))
      results-cell)
     (t ;; Results are late.  Set callback to company-supplied one.
      (fstar-log 'info "Results for %S are late" query)
      callback-cell))))

(defun fstar-subp-find-response (proc)
