$z=0x7fffffffffffffff  * 0x7fffffffffffffff
