On 07/04/2012 01:26 AM, John Rose wrote: > On Jul 3, 2012, at 4:11 PM, Rémi Forax wrote: > >> I've found something really weird > > Isn't "dec %esi" really a REX prefix? — John > I have no idea, is there a way to print the encoding of each instructions ? Rémi