boot17.lisp 92 Bytes