0x3ffbb4bc