[gioele]

> incurs an extra penalty of 1 byte per instruction, for the REX prefix.

Any hope to see a Thumb mode for x86-64?