(in-package sb-cover-test) (defun test1 () (+ 1 2))