This thing seems to work now. I'll hijack address decoding off gdb, should be the easiest.