0x3fffaf5c