HASH(0x7ff438067bd0)