0x3ffecb0c