   level filename line-from line-to col-from col-to message)
 
 (defconst fstar-subp-issue-regexp
-  "\\(.*?\\)(\\([[:digit:]]+\\),\\([[:digit:]]+\\)-\\([[:digit:]]+\\),\\([[:digit:]]+\\)):\\s-*\\(.*\\)")
+  "\\(.*?\\)(\\([[:digit:]]+\\),\\([[:digit:]]+\\)-\\([[:digit:]]+\\),\\([[:digit:]]+\\))\\s-*:\\s-*\\(.*\\)")
 
 (defun fstar-subp-parse-issue (context)
   "Construct an issue object from the current match data and CONTEXT."

           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."

  (fstar-subp-log "SENTINEL [%s] [%s]" signal (process-status proc))
  (when (or (memq (process-status proc) '(exit signal))
            (not (process-live-p proc)))
    (message "F*: subprocess exited.")
    (fstar-subp-with-source-buffer proc
      (fstar-subp-killed))))

