x = 0xfffffffffff