 (require 'help-at-pt)
 (require 'ansi-color)
 (require 'replace)
+(require 'easymenu)
 (require 'tramp)
 (require 'tramp-sh)
 

  "Cleanup F* interactive mode."
  (help-at-pt-cancel-timer))

;;; Main mode

(defun fstar-setup-hooks ()


(defun fstar-subp-start ()
  "Start an F* subprocess attached to the current buffer, if none exists."
  (interactive)
  (unless (and buffer-file-name (file-exists-p buffer-file-name))
    (user-error "Can't start F* subprocess without a backing file (save this buffer first)"))
  (unless (process-live-p fstar-subp--process)
    (let ((f*-abs (fstar-subp-find-fstar)))
      (fstar--init-compatibility-layer f*-abs)
