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

  "Compute LOCATION's end offset in the current buffer."
  (fstar--line-col-offset (fstar-location-line-to location)
                     (fstar-location-col-to location)))

;;; Utilities


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