- Progress on x86 instruction encoding