0x3ffdd8fc