0x3ffbde9e