boot4.lisp 394 Bytes