$z=0x7fffffffffffffff .* 0x7fffffffffffffff
