commented out some SBCL-specific stuff used for profiling