HASH(0x7ff4380338f0)