0x3ffecfe8