Postscript: Divergence between SBCL results on Mac and on Linux revealed that I have antique SBCL on Linux. Retested there, and the BACKTRACE function replacement didn't cause a failure, so I think we are good with PRINT-BACKTRACE. Cheers, r