HASH(0x7ff41c042b30)