 Table of continuations was %s" response id conts)))
     (remhash id fstar-subp--continuations)
     (unwind-protect
-        (fstar--widened (funcall continuation status response))
+        (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)))))
 

      (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"))))

                   ("query" . ,(fstar-subp-query-query query))
                   ("args" . ,(or (fstar-subp-query-args query) dummy-alist))))))

(defun fstar-subp-continuations--put (id continuation)
  "Add CONTINUATION with ID in continuations table."
  (puthash id (make-fstar-continuation
               :id id :body continuation
               :start-time (current-time))
           fstar-subp--continuations))

(defvar-local fstar-subp--next-query-id 0)

(defun fstar-subp--query (query continuation)
