truncate(0x0, 0xfffffffffffffffd)