x86 Register Encoding https://eklitzke.org/x86-register-encoding (fascinating article on how compilers choose which registers to use — save bytes!)