Actually, a much better solution would be to implement the JIT-debug info generation supported by gdb (including variable mapping etc).
This should make it possible to simply debug using gdb, with symbols. This can be done using a plugin with GDB 7.5+ (I think) http://playingwithpointers.com/archives/633 or the old JIT registration API from GDB 7.0: http://sourceware.org/gdb/current/onlinedocs/gdb/JIT-Interface.html http://llvm.org/docs/DebuggingJITedCode.html Doing it using a plugin seems to be the way to go, since that could also handle things like priting of pike values, etc.
