             (if (string-match fstar--ps-line-regexp line)
                 (list (string-to-number (match-string 1 line))
                       (string-to-number (match-string 2 line))
-                      (match-string 3 line)
-                      (match-string 4 line))
+                      (match-string 3 line))
               (error "Unexpected line in PS output: %S" line)))
-          (cdr (process-lines "ps" "-ax" "-o" "pid,ppid,comm,args"))))
+          (cdr (process-lines "ps" "-axww" "-o" "pid,ppid,comm"))))
 
 (defun fstar--elisp-process-attributes (pid)
   "Get attributes of process PID, or nil."

    (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 ,args) (fstar--system-processes))
        (when (and (or all (eq ppid subp-pid))
                   (member cmd '("z3" "z3.exe")))
          (signal-process pid 'int)
          (message "Sent SIGINT to %S" args))))))

;;; ;; Parsing and display issues


      (fstar-subp-kill))))

(defconst fstar--ps-line-regexp
  "^ *\\([0-9]+\\) +\\([0-9]+\\) \\(.+\\) *$")

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