   "Compute LOCATION's end offset in the current buffer."
   (fstar--line-col-offset (fstar-location-line-to location)
                      (fstar-location-col-to location)))
+
+(cl-defstruct fstar-continuation
+  id body start-time)
+
+(defun fstar-continuation--delay (continuation)
+  "Return the time elapsed since CONTINUATION was created."
+  (time-since (fstar-continuation-start-time continuation)))
 
 ;;; Utilities
 

      (setq query (fstar-subp--serialize-query query id)))
    (fstar-log 'in "%s" query)
    (if continuation
        (puthash id continuation fstar-subp--continuations)
      (remhash id fstar-subp--continuations))
    (fstar-subp-start)
    (process-send-string fstar-subp--process (concat query "\n"))))

Table of continuations was %s" response id conts)))
    (remhash id fstar-subp--continuations)
    (unwind-protect
        (fstar--widened
          (fstar--log 'info "Query %S completed in %.4fs" id
                 (float-time (fstar-continuation--delay continuation)))
          (funcall (fstar-continuation-body continuation) status response))
      (with-current-buffer source-buffer
        (fstar-subp--set-queue-timer)))))

