To explain the flinching (since I didn't catch it immediately):

> In 64-bit mode, still use `xor r32, r32`, because writing a 32-bit reg zeros the upper 32. `xor r64, r64` is a waste of a byte, because it needs a REX prefix.

(from https://stackoverflow.com/a/33668295/554577 )