      (overlay-start overlay) (overlay-end overlay) (if lax 'lax 'full)
      (apply-partially #'fstar-subp--overlay-continuation overlay))))
 
-(defvar-local fstar-subp--queue-timer nil)
-
 (defun fstar-subp--set-queue-timer ()
   "Set the queue timer for the current buffer."
   (unless fstar-subp--queue-timer

  (setq fstar--vernum nil
        fstar--features nil
        fstar-subp--process nil
        fstar-subp--next-query-id 0))

(defun fstar-subp-kill ()

            (end (fstar-subp--next-unprocessed-start 3))) ;; FIXME customize number
        (if (< beg end)
            (fstar-subp-peek-region
             beg end 'lax ;; FIXME make configurable
             (apply-partially #'fstar-subp--flycheck-continuation callback))
          (funcall callback 'finished nil)))
    (funcall callback 'interrupted nil)))
