0x3ffbfbdc