 (defun fstar-subp-toggle-debug ()
   "Toggle `fstar-subp-debug'."
   (interactive)
-  (message "Debugging set to %s." (setq-local fstar-subp-debug (not fstar-subp-debug))))
+  (message "F*: Debugging set to %s." (setq-local fstar-subp-debug (not fstar-subp-debug))))
 
 (defmacro fstar-subp-log (format &rest args)
   "Log a message, conditional on fstar-subp-debug.

           unless (fstar-subp-status-eq overlay 'processed)
           do (delete-overlay overlay)))

(defun fstar-subp-filter (proc string)
  "Handle PROC's output (STRING)."
  (when string
    (fstar-subp-log "OUTPUT [%s]" string)
    (when (fstar-subp-live-p proc)
      (fstar-subp-with-process-buffer proc
        (goto-char (point-max))
        (insert string)
        (fstar-subp-find-response proc)))))

(defun fstar-subp-buffer-killed ()
  "Kill F* process associated to current buffer."

  level filename line-from line-to col-from col-to message)

(defconst fstar-subp-issue-regexp
  "\\(.*?\\)(\\([[:digit:]]+\\),\\([[:digit:]]+\\)-\\([[:digit:]]+\\),\\([[:digit:]]+\\))\\s-*:\\s-*\\(.*\\)")

(defun fstar-subp-parse-issue (context)
  "Construct an issue object from the current match data and CONTEXT."
