; Get a hard copy on Amazon for $10.

[0x30]
dec [xchg rax,rax] inc
and      rax,rdx

sub      rax,rdx
and      rax,rdx

dec      rax
and      rax,rdx
; xorpd(&)xorpd.net