Breaking the x86 ISA