Update bf.lisp