16 /* The AVX registers are 256 bits, but the low bits are the xmmregs */