1 2 3
(ql:quickload :vampire) (sb-ext:save-lisp-and-die "bin/vampire" :toplevel #'vampire::run-vampire :executable t )