xs = 0x00000000
zeros(64) = 0x0000000000000000
