 (defun fstar-subp-process-queue (buffer)
   "Process the next pending overlay of BUFFER, if any."
   (with-current-buffer buffer
+    (setq fstar-subp--queue-timer nil)
     (fstar-subp-start)
-    (setq fstar-subp--queue-timer nil)
     (unless (fstar-subp--busy-p)
       (-if-let* ((overlay (car-safe (fstar-subp-tracking-overlays 'pending))))
           (progn (fstar-log 'info "Processing queue")

This is a map from query ID to continuation.  In legacy mode, it
never contains more than one entry (with ID nil).")

(defvar fstar-subp--lax nil
  "Whether to process newly sent regions in lax mode.")


(defun fstar-subp--flycheck-continuation (callback status response)
  "Forward results of Flycheck check (STATUS and RESPONSE) to CALLBACK."
  (if (eq status 'interrupted)
      (funcall callback 'interrupted nil)
    (let* ((raw-issues (fstar-subp-parse-issues response))
           (issues (mapcar #'fstar-subp-cleanup-issue raw-issues)))
      (fstar-log 'info "Highlighting Flycheck issues: %S" issues)
