Much more works now. xep-allocate-frame appears to be working and we actually reach GLOBALDB-INIT. Haven't verified all the vops yet, but things look promising. In addition, we can successfully compile files with :trace-file t which makes it much easier to examine what code is being generated for each function.