0x3ffdeb8b