man sbcl | cat