HASH(0x7ff41c08c8e0)