more stuff, works now with new objdump