HASH(0x7ff42405d5d0)