;)
So I guess the alternate mnemonics "cmpxchg8b" and "cmpxchg16b" are redundant and can be removed.