HASH(0x7ff43808a2d8)