HASH(0x7ff44dff5bb0)