   (run-hook-with-args 'fstar-subp-overlay-processed-hook overlay status response))
 
 (cl-defstruct fstar-issue
-  level locs message)
+  level locs message number)
 
 (defun fstar-issue-alt-locs (issue)
   "Extract locations attached to ISSUE, except the first one."

                                :col-from (string-to-number col-from)
                                :line-to (string-to-number line-to)
                                :col-to (string-to-number col-to)))
                      :message message)))

(defun fstar-subp-json--extract-alt-locs (message)
  "Extract secondary locations (see also, Also see) from MESSAGE.

      (make-fstar-issue
       :level (intern .level)
       :locs (append (mapcar #'fstar-subp-json--parse-location .ranges) alt-locs)
       :message (fstar--string-trim msg)
       :number .number))))

(defun fstar-subp-parse-issues (response)
  "Parse RESPONSE into a list of issues."
