A short introduction to the x86 instruction set encoding