seankramer

Sorry for the delay. I could re-create the problem by using the following code: pic0 = pyvex.lift("\x89\xc0\x48\x8d\x14\x85\x00\x00\x00\x00" "\x48\x8d\x05\x73\x01\x00\x00\x8b\x04\x02" "\x48\x63\xd0\x48\x8d\x05\x66\x01\x00\x00" "\x48\x01\xd0\xff\xe0", 0x400538, archinfo.get_host_arch()) pic1 = pyvex.lift("\x55\x48\x89\xe5\x89\xf8" "\x88\x45\xec\x0f\xbe\x45\xec" "\x83\xf8\x0f\x77\x71", 0x400526, archinfo.get_host_arch()) pic2...