$z=0x7fffffffffffffff  + 0x7fffffffffffffff
