     (fstar-subp-start)
     (unless (fstar-subp--busy-p)
       (-if-let* ((overlay (car-safe (fstar-subp-tracking-overlays 'pending))))
-          (progn (fstar-log "Processing queue")
+          (progn (fstar-log 'info "Processing queue")
                  (fstar-subp-process-overlay overlay))
-        (fstar-log "Queue is empty %S" (mapcar #'fstar-subp-status (fstar-subp-tracking-overlays)))))))
+        (fstar-log 'info "Queue is empty %S" (mapcar #'fstar-subp-status (fstar-subp-tracking-overlays)))))))
 
 ;;;; Advancing and retracting
 

Candidates are provided by the F* subprocess.
COMMAND, ARG: see `company-backends'."
  (interactive '(interactive))
  ;; (fstar-log "fstar-subp-company-backend: %S %S" command arg)
  (when (fstar--has-feature 'completion)
    (pcase command
      (`interactive


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