 (require 'cl-lib)
 (require 'eldoc)
 (require 'help-at-pt)
+(require 'ansi-color)
 (require 'tramp)
+(require 'tramp-sh)
 
 (require 'dash)
 (require 'company)


(defun fstar-subp-find-response (proc)
  "Find full response in PROC's buffer; handle it if found."
  (goto-char (point-min))
  (when (search-forward fstar-subp--done nil t)
    (let* ((status        (cond
                           ((looking-at fstar-subp--success) t)

        (fstar-subp-with-source-buffer proc
          (unless (booleanp status)
            (fstar-subp-kill)
            (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)
