       (fstar-subp-kill))))
 
 (defconst fstar--ps-line-regexp
-  "^ *\\([0-9]+\\) +\\([0-9]+\\) +\\([^ ]+\\) +\\(.+\\) *$")
+  "^ *\\([0-9]+\\) +\\([0-9]+\\) \\(.+\\) *$")
 
 (defun fstar--ps-processes ()
   "Collect all running processes using `ps'.

    (when attrs
      (list pid
            (cdr (assq 'ppid attrs))
            (cdr (assq 'comm attrs))
            (cdr (assq 'args attrs))))))

(defun fstar--elisp-processes ()
  "Collect all running processes using `system-processes'.

    (unless (or all parent-live)
      (user-error "No F* process in this buffer"))
    (let ((subp-pid (and parent-live (process-id fstar-subp--process))))
      (pcase-dolist (`(,pid ,ppid ,cmd) (fstar--system-processes))
        (when (and (or all (eq ppid subp-pid))
                   (or (string-suffix-p "z3" cmd)
                       (string-suffix-p "z3.exe" cmd)))
          (signal-process pid 'int)
          (message "Sent SIGINT to %S (%S)" pid cmd))))))

;;; ;; Parsing and display issues

