An intel 64 symbolic emulator