boot3.lisp 220 Bytes