         (fstar-subp-with-source-buffer proc
           (unless (booleanp status)
             (fstar-subp-kill)
-            (error "Unknown status [%s] from F* subprocess (response was [%s])"
-                   status response))
+            (error "Unknown status [%s] from F* subprocess \
+\(response was [%s])" status response))
           (fstar-subp-process-response status response))))))
 
 (defun fstar-subp-process-response (success response)

(require 'cl-lib)
(require 'eldoc)
(require 'help-at-pt)
(require 'tramp)

(require 'dash)
(require 'company)


(defun fstar-subp-find-response (proc)
  "Find full response in PROC's buffer; handle it if found."
  (setq ansi-color-context-region nil)
  (ansi-color-filter-region (point-min) (point-max))
  (goto-char (point-min)) ;; FIXME better protocol wouldn't require re-scans
  (when (search-forward fstar-subp--done nil t)
    (let* ((status        (cond
                           ((looking-at fstar-subp--success) t)
