0x3ffed7bc