x = 0xFFFFFFFF
y = 0x00000000FFFFFFFF