6:13:41no-defun-allowedFor the record, SBCL 2.0.10 now uses 1000000 internal-time-units-per-second, so metering code that executes quickly is quite a bit more reliable now. I was going to modify SBCL to use that value, but that's the default now.
6:14:05no-defun-allowedAlthough that is more of a temporary problem if you're metering parts of another Lisp implementation :)