0x3ffcc457