I have VirtualBox VM of Lion. I use that for making 32 bit x86 builds of TXR for older Macs. (I ssh out to the Compile Farm for M1 on newer MacOS.)