HASH(0x7ff438d0f480)