HASH(0x7ff43008c2b0)