HASH(0x7ff438066e10)