truncate(0x0, 0xfffffffffffff800)