truncate(0x0, 0xfffffffffffffff8)